Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Ali Rezaei Divroodi, Linh Anh Nguyen |
On Bisimulations for Description Logics |
CoRR |
2011 |
DBLP BibTeX RDF |
|
19 | Miroslav Ciric 0001, Jelena Ignjatovic, Milan Basic, Ivana Jancic |
Nondeterministic automata: equivalence, bisimulations, and uniform relations |
CoRR |
2011 |
DBLP BibTeX RDF |
|
19 | Miroslav Ciric 0001, Jelena Ignjatovic, Nada Damljanovic, Milan Basic |
Bisimulations for fuzzy automata |
CoRR |
2011 |
DBLP BibTeX RDF |
|
19 | Iain Phillips 0001, Irek Ulidowski |
A Logic with Reverse Modalities for History-preserving Bisimulations |
EXPRESS |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Miroslav Ciric 0001, Jelena Ignjatovic, Ivana Jancic, Nada Damljanovic |
Algorithms for computing the greatest simulations and bisimulations between fuzzy automata |
CoRR |
2011 |
DBLP BibTeX RDF |
|
19 | Yongzhi Cao, Guoqing Chen, Etienne E. Kerre |
Bisimulations for Fuzzy-Transition Systems. |
IEEE Trans. Fuzzy Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Davide Sangiorgi, Naoki Kobayashi 0001, Eijiro Sumii |
Environmental bisimulations for higher-order languages. |
ACM Trans. Program. Lang. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Roland Glück |
Using Bisimulations for Optimality Problems in Model Refinement. |
RAMiCS |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Adrien Piérard, Eijiro Sumii |
Sound Bisimulations for Higher-Order Distributed Process Calculus. |
FoSSaCS |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Sanam Mirzazad-Barijough, Ji-Woong Lee |
Finite-state simulations and bisimulations for discrete-time piecewise affine systems. |
CDC/ECC |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino |
Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations. |
FSEN |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Lei Song 0001, Lijun Zhang 0001, Jens Chr. Godskesen |
Bisimulations Meet PCTL Equivalences for Probabilistic Automata. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Venanzio Capretta |
Bisimulations Generated from Corecursive Equations. |
MFPS |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Ernst-Erich Doberkat |
Weak bisimulations for the Giry monad. |
Math. Struct. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Rocco De Nicola, Daniele Gorla, Anna Labella |
Tree-functors, determinacy and bisimulations. |
Math. Struct. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Simone Tini |
Non-expansive epsilon-bisimulations for probabilistic processes. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Pedro R. D'Argenio, Pedro Sánchez Terraf, Nicolás Wolovick |
Bisimulations for Nondeterministic Labeled Markov Processes |
CoRR |
2010 |
DBLP BibTeX RDF |
|
19 | Yongzhi Cao, Guoqing Chen, Etienne E. Kerre |
Bisimulations for fuzzy transition systems |
CoRR |
2010 |
DBLP BibTeX RDF |
|
19 | Adrien Piérard, Eijiro Sumii |
Sound Bisimulations for Higher-Order Distributed Process Calculus |
CoRR |
2010 |
DBLP BibTeX RDF |
|
19 | Nick Bezhanishvili, Gaëlle Fontaine, Yde Venema |
Vietoris Bisimulations. |
J. Log. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Giordano Pola, Pierdomenico Pepe, Maria Domenica Di Benedetto, Paulo Tabuada |
Symbolic models for nonlinear time-delay systems using approximate bisimulations. |
Syst. Control. Lett. |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Domagoj Vrgoc, Mladen Vukovic |
Bisimulations and bisimulation quotients of generalized Veltman models. |
Log. J. IGPL |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Alessandro Abate |
Probabilistic bisimulations of switching and resetting diffusions. |
CDC |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Zining Cao |
Bisimulations for Open Processes in Higher Order p-Calculus. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Iain C. C. Phillips, Irek Ulidowski |
Reverse Bisimulations on Stable Configuration Structures |
SOS |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Jennifer M. Davoren |
On intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations. |
Ann. Pure Appl. Log. |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Giordano Pola, Paulo Tabuada |
Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations. |
SIAM J. Control. Optim. |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Roland Glück, Bernhard Möller, Michel Sintzoff |
A Semiring Approach to Equivalences, Bisimulations and Control. |
RelMiCS |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Pedro R. D'Argenio, Nicolás Wolovick, Pedro Sánchez Terraf, Pablo Celayes |
Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
logical characterization, measurable, bisimulation, nondeterminism |
19 | Harsh Vinjamoor, Arjan van der Schaft |
On achievable bisimulations for linear time-invariant systems. |
ECC |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Andrew G. Lamperski |
Representations and algorithms for finite-state bisimulations of linear discrete-time control systems. |
CDC |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Alessandro Abate |
A contractivity approach for probabilistic bisimulations of diffusion processes. |
CDC |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Hua Jiang, Xinxing Tan |
Bisimulations in the Boxed Safe Ambients with Password. |
ITNG |
2009 |
DBLP DOI BibTeX RDF |
mobile ambient calculus, p-calculus, model checking, computational model, process calculus |
19 | Michael Winter 0001 |
A Relation-Algebraic Theory of Bisimulations. |
Fundam. Informaticae |
2008 |
DBLP BibTeX RDF |
|
19 | Taolue Chen, Jian Lu |
Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration. |
FICS |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Mladen Vukovic |
Bisimulations between generalized Veltman models and Veltman models. |
Math. Log. Q. |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Davide Grohmann, Marino Miculan |
Deriving Barbed Bisimulations for Bigraphical Reactive Systems. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Simone Tini |
Non Expansive epsilon-Bisimulations. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Isabella Mastroeni |
Deriving Bisimulations by Simplifying Partitions. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
19 | David de Frutos-Escrig, Carlos Gregorio-Rodríguez |
Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations. |
PROLE |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Thomas Brihaye |
Words and Bisimulations of Dynamical Systems. |
Discret. Math. Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Yuan Feng 0001, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying |
Probabilistic bisimulations for quantum processes. |
Inf. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Jennifer M. Davoren, Paulo Tabuada |
On Simulations and Bisimulations of General Flow Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Augusto Parma, Roberto Segala |
Logical Characterizations of Bisimulations for Discrete Probabilistic Systems. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Jennifer M. Davoren |
Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics. |
LFCS |
2007 |
DBLP DOI BibTeX RDF |
|
19 | David de Frutos-Escrig, Carlos Gregorio-Rodríguez |
Process Equivalences as Global Bisimulations. |
J. Univers. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Vincent Schmitt, Krzysztof Worytkiewicz |
Bisimulations of enrichments |
CoRR |
2006 |
DBLP BibTeX RDF |
|
19 | Jan A. Bergstra, Cornelis A. Middelburg |
Splitting bisimulations and retrospective conditions. |
Inf. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Margarita V. Korovina, Nicolai N. Vorobjov Jr. |
Upper and Lower Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems. |
Reliable Implementation of Real Number Algorithms |
2006 |
DBLP BibTeX RDF |
|
19 | Johannes Borgström, Uwe Nestmann |
On bisimulations for the spi calculus. |
Math. Struct. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Ernst-Erich Doberkat |
Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem. |
SIAM J. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Rob J. van Glabbeek |
On Cool Congruence Formats for Weak Bisimulations. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Antoine Girard, George J. Pappas |
Approximate Bisimulations for Nonlinear Dynamical Systems. |
CDC/ECC |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Antoine Girard, George J. Pappas |
Approximate Bisimulations for Constrained Linear Systems. |
CDC/ECC |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Carla Piazza, Alberto Policriti |
Ackermann Encoding, Bisimulations, and OBDDs. |
Theory Pract. Log. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Brian Ross |
Computing symbolic bisimulations for multiway synchronising processes. |
|
2004 |
RDF |
|
19 | Ling Cheung, Jesse Hughes |
Concise Graphs and Functional Bisimulations. |
CMCIM/GETCO@CONCUR |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Carla Piazza, Alberto Policriti |
Ackermann Encoding, Bisimulations, and OBDDs |
CoRR |
2003 |
DBLP BibTeX RDF |
|
19 | Paulo Tabuada, George J. Pappas |
Finite bisimulations of controllable linear systems. |
CDC |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Vitus S. W. Lam, Julian A. Padget |
Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations. |
HCC |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Hendrik Tews |
Greatest Bisimulations for Binary Methods. |
CMCS |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Irek Ulidowski, Iain C. C. Phillips |
Ordered SOS Process Languages for Branching and Eager Bisimulations. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Mireille E. Broucke, Maria D. DiBenedetto, Stefano Di Gennaro |
Effective synthesis of optimal controllers using bisimulations. |
CDC |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Melvin Fitting |
Bisimulations and Boolean Vectors. |
Advances in Modal Logic |
2002 |
DBLP BibTeX RDF |
|
19 | Stavros Tripakis, Sergio Yovine |
Analysis of Timed Systems Using Time-Abstracting Bisimulations. |
Formal Methods Syst. Des. |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Cédric Fournet, Cosimo Laneve |
Bisimulations in the join-calculus. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Hendrik Tews |
Coalgebras for Binary Methods: Properties of Bisimulations and Invariants. |
RAIRO Theor. Informatics Appl. |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Mireille E. Broucke, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto L. Sangiovanni-Vincentelli |
Optimal Control Using Bisimulations: Implementation. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Huimin Lin |
Computing Bisimulations for Finite-Control pi-Calculus. |
J. Comput. Sci. Technol. |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Mireille E. Broucke, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli, Stefano Di Gennaro |
Theory of Optimal Control Using Bisimulations. |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Christine Röckl |
Proving Write Invalidate Cache Coherence with Bisimulations in Isabelle/HOL. |
FBT |
2000 |
DBLP BibTeX RDF |
|
19 | Jennifer M. Davoren |
Topologies, continuity and bisimulations. |
RAIRO Theor. Informatics Appl. |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Cristian Calude, Elena Calude |
Bisimulations and behaviour of nondeterministic automata. |
Developments in Language Theory |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Christine Röckl, Javier Esparza |
Proof-Checking Protocols Using Bisimulations. |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Yuxi Fu |
Open Bisimulations on Chi Processes. |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Rocco De Nicola, Anna Labella |
Tree Morphisms and Bisimulations. |
MFCS Workshop on Concurrency |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Irina B. Virbitskaite |
On Semantics of Concurrency and Nondeterminism: Bisimulations and Temporal Logics. |
MFCS Workshop on Concurrency |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Jan J. M. M. Rutten |
Relators and Metric Bisimulations. |
CMCS |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Matthew Hennessy, Julian Rathke |
Bisimulations for a Calculus of Broadcasting Systems. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi |
On Bisimulations for the Asynchronous pi-Calculus. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Gerardo Lafferriere, George J. Pappas, Shankar Sastry 0001 |
Subanalytic Stratifications and Bisimulations. |
HSCC |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Michele Boreale, Cédric Fournet, Cosimo Laneve |
Bisimulations in the join-calculus. |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
19 | Natasha Kurtonina, Maarten de Rijke |
Bisimulations for Temporal Logic. |
J. Log. Lang. Inf. |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Bart Jacobs 0001 |
Invariants, Bisimulations and the Correctness of Coalgebraic Refinements. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Yoram Hirshfeld |
Bisimulation trees and the decidability of weak bisimulations. |
INFINITY |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi |
On Bisimulations for the Asynchronous pi-Calculus. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Martín Llamas Nistal, Juan Quemada, Manuel J. Fernández-Iglesias |
Direct Verification of Bisimulations. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
19 | Bard Bloom |
Structural Operational Semantics for Weak Bisimulations. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Matthew Hennessy, Huimin Lin |
Symbolic Bisimulations. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Matthew Hennessy, Julian Rathke |
Bisimulations for a Calculus of Broadcasting Systems. |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Tim Fernando |
Bisimulations and Predicate Logic. |
J. Symb. Log. |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Pierpaolo Degano, Rocco De Nicola, Ugo Montanari |
Universal Axioms for Bisimulations. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
19 | Matthew Hennessy |
Symbolic Bisimulations (Abstract). |
MFCS |
1993 |
DBLP DOI BibTeX RDF |
|
19 | Juan Vicente Echagüe Zappettini |
Sémantique des systèmes réactifs : raffinement, bisimulations et sémantique opérationnelle structurée dans les systèmes de transitions asynchrones. (Semantics of reactive systems : refinement, bisimulation and structured operational semantics on asynchronous transition systems). |
|
1993 |
RDF |
|
19 | Miranda Mowbray |
Finitary Logics for Some CCS Observational Bisimulations. |
Inf. Process. Lett. |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Ferroudja Cherief |
Contributions à la sémantique du parallélisme : bisimulations pour le raffinement et le vrai parallélisme. |
|
1992 |
RDF |
|
19 | Ferroudja Cherief, Philippe Schnoebelen |
τ-Bisimulations and Full Abstraction for Refinement of Actions. |
Inf. Process. Lett. |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Eike Best, Raymond R. Devillers, Astrid Kiehn, Lucia Pomello |
Concurrent Bisimulations in Petri Nets. |
Acta Informatica |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Roberto Gorrieri, Cosimo Laneve |
The Limit of Split_n-Bisimulations for CCS Agents. |
MFCS |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Rocco De Nicola, Ugo Montanari, Frits W. Vaandrager |
Back and Forth Bisimulations. |
CONCUR |
1990 |
DBLP DOI BibTeX RDF |
|