Year of publication
Type of material
Licence
Language
1–20 of 1,027 hits
Sort by:
Sort by:
-
Computing maximal weak and other bisimulations
Online Contents | 2016|Keywords: Bisimulation, Weak bisimulation, Strong bisimulation, Delay bisimulation -
On cool congruence formats for weak bisimulations
Elsevier | 2011|Keywords: Branching bisimulation, -bisimulation, Delay bisimulation, Weak bisimulation -
An O(mlog n) algorithm for computing stuttering equivalence and branching bisimulation
Free accessBASE | 2017|Keywords: Branching bisimulation -
Highly Automated Formal Proofs over Memory Usage of Assembly Code
TIBKAT | 2020|Keywords: Bisimulation -
An O(m log n) algorithm for branching bisimilarity on labelled transition systems
TIBKAT | 2020|Keywords: Bisimulation -
Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems
TIBKAT | 2020|Keywords: Bisimulation -
Map2Check: Using Symbolic Execution and Fuzzing (Competition Contribution)
TIBKAT | 2020|Keywords: Bisimulation -
Verifying Quantum Communication Protocols with Ground Bisimulation
TIBKAT | 2020|Keywords: Bisimulation -
CPU Energy Meter: A Tool for Energy-Aware Algorithms Engineering
TIBKAT | 2020|Keywords: Bisimulation -
Computing maximal weak and other bisimulations
Online Contents | 2016|Keywords: Strong bisimulation, Delay bisimulation, Bisimulation, Weak bisimulation -
GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts
TIBKAT | 2020|Keywords: Bisimulation -
Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions (Competition Contribution)
TIBKAT | 2020|Keywords: Bisimulation -
PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution)
TIBKAT | 2020|Keywords: Bisimulation -
Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities
TIBKAT | 2020|Keywords: Bisimulation
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.