Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Ali Rezaei Divroodi, Linh Anh Nguyen |
On Bisimulations for Description Logics ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1104.1964, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
19 | Miroslav Ciric 0001, Jelena Ignjatovic, Milan Basic, Ivana Jancic |
Nondeterministic automata: equivalence, bisimulations, and uniform relations ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1102.5449, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
19 | Miroslav Ciric 0001, Jelena Ignjatovic, Nada Damljanovic, Milan Basic |
Bisimulations for fuzzy automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1102.5452, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
19 | Iain Phillips 0001, Irek Ulidowski |
A Logic with Reverse Modalities for History-preserving Bisimulations ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings 18th International Workshop on Expressiveness in Concurrency, EXPRESS 2011, Aachen, Germany, 5th September 2011., pp. 104-118, 2011. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1103.5078, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
19 | Yongzhi Cao, Guoqing Chen, Etienne E. Kerre |
Bisimulations for Fuzzy-Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 19(3), pp. 540-552, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Davide Sangiorgi, Naoki Kobayashi 0001, Eijiro Sumii |
Environmental bisimulations for higher-order languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 33(1), pp. 5:1-5:69, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Roland Glück |
Using Bisimulations for Optimality Problems in Model Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. Proceedings, pp. 164-179, 2011, Springer, 978-3-642-21069-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Adrien Piérard, Eijiro Sumii |
Sound Bisimulations for Higher-Order Distributed Process Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures - 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings, pp. 123-137, 2011, Springer, 978-3-642-19804-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Sanam Mirzazad-Barijough, Ji-Woong Lee |
Finite-state simulations and bisimulations for discrete-time piecewise affine systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC/ECC ![In: 50th IEEE Conference on Decision and Control and European Control Conference, 11th European Control Conference, CDC/ECC 2011, Orlando, FL, USA, December 12-15, 2011, pp. 8020-8025, 2011, IEEE, 978-1-61284-800-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: Fundamentals of Software Engineering - 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers, pp. 268-283, 2011, Springer, 978-3-642-29319-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Lei Song 0001, Lijun Zhang 0001, Jens Chr. Godskesen |
Bisimulations Meet PCTL Equivalences for Probabilistic Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2011 - Concurrency Theory - 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings, pp. 108-123, 2011, Springer, 978-3-642-23216-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Venanzio Capretta |
Bisimulations Generated from Corecursive Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2010, Ottawa, Ontario, Canada, May 6-10, 2010, pp. 245-258, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Ernst-Erich Doberkat |
Weak bisimulations for the Giry monad. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 20(5), pp. 781-798, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Rocco De Nicola, Daniele Gorla, Anna Labella |
Tree-functors, determinacy and bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 20(3), pp. 319-358, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Simone Tini |
Non-expansive epsilon-bisimulations for probabilistic processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 411(22-24), pp. 2202-2222, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Pedro R. D'Argenio, Pedro Sánchez Terraf, Nicolás Wolovick |
Bisimulations for Nondeterministic Labeled Markov Processes ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1011.3362, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
19 | Yongzhi Cao, Guoqing Chen, Etienne E. Kerre |
Bisimulations for fuzzy transition systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1012.2148, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
19 | Adrien Piérard, Eijiro Sumii |
Sound Bisimulations for Higher-Order Distributed Process Calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1006.4943, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
19 | Nick Bezhanishvili, Gaëlle Fontaine, Yde Venema |
Vietoris Bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 20(5), pp. 1017-1040, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Control. Lett. ![In: Syst. Control. Lett. 59(6), pp. 365-373, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Domagoj Vrgoc, Mladen Vukovic |
Bisimulations and bisimulation quotients of generalized Veltman models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 18(6), pp. 870-880, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Alessandro Abate |
Probabilistic bisimulations of switching and resetting diffusions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 49th IEEE Conference on Decision and Control, CDC 2010, December 15-17, 2010, Atlanta, Georgia, USA, pp. 5918-5923, 2010, IEEE, 978-1-4244-7745-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Zining Cao |
Bisimulations for Open Processes in Higher Order p-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, 25-27 August 2010, pp. 135-144, 2010, IEEE Computer Society, 978-0-7695-4148-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Iain C. C. Phillips, Irek Ulidowski |
Reverse Bisimulations on Stable Configuration Structures ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS ![In: Proceedings Sixth Workshop on Structural Operational Semantics, SOS 2009, Bologna, Italy, August 31, 2009., pp. 62-76, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Jennifer M. Davoren |
On intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 161(3), pp. 349-367, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Giordano Pola, Paulo Tabuada |
Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Control. Optim. ![In: SIAM J. Control. Optim. 48(2), pp. 719-733, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Roland Glück, Bernhard Möller, Michel Sintzoff |
A Semiring Approach to Equivalences, Bisimulations and Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings, pp. 134-149, 2009, Springer, 978-3-642-04638-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009, pp. 11-20, 2009, IEEE Computer Society, 978-0-7695-3808-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECC ![In: 10th European Control Conference, ECC 2009, Budapest, Hungary, 23-26 August 2009, pp. 794-801, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Andrew G. Lamperski |
Representations and algorithms for finite-state bisimulations of linear discrete-time control systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 48th IEEE Conference on Decision and Control, CDC 2009, combined withe the 28th Chinese Control Conference, December 16-18, 2009, Shanghai, China, pp. 51-56, 2009, IEEE, 978-1-4244-3871-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Alessandro Abate |
A contractivity approach for probabilistic bisimulations of diffusion processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 48th IEEE Conference on Decision and Control, CDC 2009, combined withe the 28th Chinese Control Conference, December 16-18, 2009, Shanghai, China, pp. 2230-2235, 2009, IEEE, 978-1-4244-3871-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Hua Jiang, Xinxing Tan |
Bisimulations in the Boxed Safe Ambients with Password. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Sixth International Conference on Information Technology: New Generations, ITNG 2009, Las Vegas, Nevada, USA, 27-29 April 2009, pp. 443-448, 2009, IEEE Computer Society, 978-0-7695-3596-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 83(4), pp. 429-449, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
19 | Taolue Chen, Jian Lu |
Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, FICS 2008, Shanghai, China, June 3-6, 2008, pp. 55-70, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Mladen Vukovic |
Bisimulations between generalized Veltman models and Veltman models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 54(4), pp. 368-373, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Davide Grohmann, Marino Miculan |
Deriving Barbed Bisimulations for Bigraphical Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 16, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Simone Tini |
Non Expansive epsilon-Bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings, pp. 362-376, 2008, Springer, 978-3-540-79979-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Isabella Mastroeni |
Deriving Bisimulations by Simplifying Partitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings, pp. 157-171, 2008, Springer, 978-3-540-78162-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | David de Frutos-Escrig, Carlos Gregorio-Rodríguez |
Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, PROLE 2007, Zaragoza, Spain, September 12-14, 2007, pp. 41-58, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Thomas Brihaye |
Words and Bisimulations of Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. Theor. Comput. Sci. ![In: Discret. Math. Theor. Comput. Sci. 9(2), 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Yuan Feng 0001, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying |
Probabilistic bisimulations for quantum processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 205(11), pp. 1608-1639, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Jennifer M. Davoren, Paulo Tabuada |
On Simulations and Bisimulations of General Flow Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings, pp. 145-158, 2007, Springer, 978-3-540-71492-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Augusto Parma, Roberto Segala |
Logical Characterizations of Bisimulations for Discrete Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings, pp. 287-301, 2007, Springer, 978-3-540-71388-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Jennifer M. Davoren |
Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings, pp. 162-179, 2007, Springer, 978-3-540-72732-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | David de Frutos-Escrig, Carlos Gregorio-Rodríguez |
Process Equivalences as Global Bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 12(11), pp. 1521-1550, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Vincent Schmitt, Krzysztof Worytkiewicz |
Bisimulations of enrichments ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0602077, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
19 | Jan A. Bergstra, Cornelis A. Middelburg |
Splitting bisimulations and retrospective conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 204(7), pp. 1083-1138, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Implementation of Real Number Algorithms ![In: Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01. - 13.01.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
19 | Johannes Borgström, Uwe Nestmann |
On bisimulations for the spi calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 15(3), pp. 487-552, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Ernst-Erich Doberkat |
Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 35(3), pp. 590-626, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Rob J. van Glabbeek |
On Cool Congruence Formats for Weak Bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings, pp. 318-333, 2005, Springer, 3-540-29107-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Antoine Girard, George J. Pappas |
Approximate Bisimulations for Nonlinear Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC/ECC ![In: 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, CDC/ECC 2005, Seville, Spain, 12-15 December, 2005, pp. 684-689, 2005, IEEE, 0-7803-9567-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Antoine Girard, George J. Pappas |
Approximate Bisimulations for Constrained Linear Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC/ECC ![In: 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, CDC/ECC 2005, Seville, Spain, 12-15 December, 2005, pp. 4700-4705, 2005, IEEE, 0-7803-9567-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Carla Piazza, Alberto Policriti |
Ackermann Encoding, Bisimulations, and OBDDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 4(5-6), pp. 695-718, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Brian Ross |
Computing symbolic bisimulations for multiway synchronising processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2004 |
RDF |
|
19 | Ling Cheung, Jesse Hughes |
Concise Graphs and Functional Bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCIM/GETCO@CONCUR ![In: Combined Proceedings of the Second Workshop on Categorical Methods for Concurrency, Interaction, and Mobility, CMCIM 2003, and the Fifth Workshop on Geometric and Topological Methods in Concurrency, GETCO 2003, Satellite Events of CONCUR 2003, Marseille, France, September 6, 2003, pp. 5-29, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Carla Piazza, Alberto Policriti |
Ackermann Encoding, Bisimulations, and OBDDs ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.LO/0311018, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
19 | Paulo Tabuada, George J. Pappas |
Finite bisimulations of controllable linear systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 42nd IEEE Conference on Decision and Control, CDC 2003, Maui, Hawaii, USA, December 9-12, 2003, pp. 634-639, 2003, IEEE, 0-7803-7924-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCC ![In: 2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), 28-31 October 2003, Auckland, New Zealand, pp. 137-144, 2003, IEEE Computer Society, 0-7803-8225-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Hendrik Tews |
Greatest Bisimulations for Binary Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS ![In: Coalgebraic Methods in Computer Science, CMCS 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 6-7, 2002, pp. 317-336, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Irek Ulidowski, Iain C. C. Phillips |
Ordered SOS Process Languages for Branching and Eager Bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 178(1), pp. 180-213, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Mireille E. Broucke, Maria D. DiBenedetto, Stefano Di Gennaro |
Effective synthesis of optimal controllers using bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 41st IEEE Conference on Decision and Control, CDC 2002, Las Vegas, NV, USA, December 10-13, 2002, pp. 3194-3199, 2002, IEEE, 0-7803-7516-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Melvin Fitting |
Bisimulations and Boolean Vectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Modal Logic ![In: Advances in Modal Logic 4, papers from the fourth conference on `Advances in Modal logic,` held in Toulouse, France, 30 September - 2 October 2002, pp. 97-126, 2002, King's College Publications, 0-9543006-2-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
19 | Stavros Tripakis, Sergio Yovine |
Analysis of Timed Systems Using Time-Abstracting Bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 18(1), pp. 25-68, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Cédric Fournet, Cosimo Laneve |
Bisimulations in the join-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 266(1-2), pp. 569-603, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Hendrik Tews |
Coalgebras for Binary Methods: Properties of Bisimulations and Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 35(1), pp. 83-111, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001, Proceedings, pp. 175-188, 2001, Springer, 3-540-41866-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Huimin Lin |
Computing Bisimulations for Finite-Control pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 15(1), pp. 1-9, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings, pp. 89-102, 2000, Springer, 3-540-67259-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Christine Röckl |
Proving Write Invalidate Cache Coherence with Bisimulations in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FBT ![In: Formale Beschreibungstechniken für verteilte Systeme, 10. GI/ITG-Fachgespräch, Lübeck, Juni 2000, pp. 69-78, 2000, Verlag Shaker, 3-8265-7491-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
19 | Jennifer M. Davoren |
Topologies, continuity and bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 33(4/5), pp. 357-382, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Cristian Calude, Elena Calude |
Bisimulations and behaviour of nondeterministic automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, Foundations, Applications, and Perspectives, Aachen, Germany, 6-9 July 1999, pp. 60-70, 1999, World Scientific, 981-02-4380-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Christine Röckl, Javier Esparza |
Proof-Checking Protocols Using Bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings, pp. 525-540, 1999, Springer, 3-540-66425-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Yuxi Fu |
Open Bisimulations on Chi Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings, pp. 304-319, 1999, Springer, 3-540-66425-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Rocco De Nicola, Anna Labella |
Tree Morphisms and Bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS Workshop on Concurrency ![In: Proceedings of the MFCS '98 Workshop on Concurrency, Brno, Czech Republic, August 27-29, 1998, pp. 46-64, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Irina B. Virbitskaite |
On Semantics of Concurrency and Nondeterminism: Bisimulations and Temporal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS Workshop on Concurrency ![In: Proceedings of the MFCS '98 Workshop on Concurrency, Brno, Czech Republic, August 27-29, 1998, pp. 207-222, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Jan J. M. M. Rutten |
Relators and Metric Bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS ![In: First Workshop on Coalgebraic Methods in Computer Science, CMCS 1998, Lisbon, Portugal, March 28-29, 1998, pp. 252-258, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Matthew Hennessy, Julian Rathke |
Bisimulations for a Calculus of Broadcasting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 200(1-2), pp. 225-260, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi |
On Bisimulations for the Asynchronous pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 195(2), pp. 291-324, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Gerardo Lafferriere, George J. Pappas, Shankar Sastry 0001 |
Subanalytic Stratifications and Bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, First International Workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998, Proceedings, pp. 205-220, 1998, Springer, 3-540-64358-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Michele Boreale, Cédric Fournet, Cosimo Laneve |
Bisimulations in the join-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA, pp. 68-86, 1998, Chapman & Hall, 0-412-83760-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
19 | Natasha Kurtonina, Maarten de Rijke |
Bisimulations for Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 6(4), pp. 403-425, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Bart Jacobs 0001 |
Invariants, Bisimulations and the Correctness of Coalgebraic Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings, pp. 276-291, 1997, Springer, 3-540-63888-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Yoram Hirshfeld |
Bisimulation trees and the decidability of weak bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: First International Workshop on Verification of Infinite State Systems, Infinity 1996, Università di Pisa, Pisa, Italy, August 30-31, 1996, pp. 2-13, 1996, Elsevier. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi |
On Bisimulations for the Asynchronous pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings, pp. 147-162, 1996, Springer, 3-540-61604-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Martín Llamas Nistal, Juan Quemada, Manuel J. Fernández-Iglesias |
Direct Verification of Bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996, pp. 349-363, 1996, Chapman & Hall, 0-412-79490-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
19 | Bard Bloom |
Structural Operational Semantics for Weak Bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 146(1&2), pp. 25-68, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Matthew Hennessy, Huimin Lin |
Symbolic Bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 138(2), pp. 353-389, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Matthew Hennessy, Julian Rathke |
Bisimulations for a Calculus of Broadcasting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings, pp. 486-500, 1995, Springer, 3-540-60218-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Tim Fernando |
Bisimulations and Predicate Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 59(3), pp. 924-944, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Pierpaolo Degano, Rocco De Nicola, Ugo Montanari |
Universal Axioms for Bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 114(1), pp. 63-91, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
19 | Matthew Hennessy |
Symbolic Bisimulations (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1993, 18th International Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993, Proceedings, pp. 83, 1993, Springer, 3-540-57182-5. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1993 |
RDF |
|
19 | Miranda Mowbray |
Finitary Logics for Some CCS Observational Bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 42(3), pp. 161-165, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Ferroudja Cherief |
Contributions à la sémantique du parallélisme : bisimulations pour le raffinement et le vrai parallélisme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1992 |
RDF |
|
19 | Ferroudja Cherief, Philippe Schnoebelen |
τ-Bisimulations and Full Abstraction for Refinement of Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 40(4), pp. 219-222, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Eike Best, Raymond R. Devillers, Astrid Kiehn, Lucia Pomello |
Concurrent Bisimulations in Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 28(3), pp. 231-264, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Roberto Gorrieri, Cosimo Laneve |
The Limit of Split_n-Bisimulations for CCS Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1991, 16th International Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings, pp. 170-180, 1991, Springer, 3-540-54345-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Rocco De Nicola, Ugo Montanari, Frits W. Vaandrager |
Back and Forth Bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings, pp. 152-165, 1990, Springer, 3-540-53048-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|