Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
136 | David de Frutos-Escrig, Miguel Palomino, Ignacio Fábregas |
Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings, pp. 283-298, 2008, Springer, 978-3-540-68854-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
87 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina |
Bisimulations in calculi modelling membranes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 20(4-5), pp. 351-377, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Calculus of Looping Sequences, Brane Calculi, Labelled Semantics, Bioinformatics, Bisimulations |
84 | Ferroudja Cherief |
Back and Forth Bisimulations On Prime Event Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE ![In: PARLE '92: Parallel Architectures and Languages Europe, 4th International PARLE Conference, Paris, France, June 15-18, 1992, Proceedings, pp. 843-858, 1992, Springer, 3-540-55599-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Semantics of parallelism, back and forth bisimulations, refinement of actions, Concurrency, bisimulations, Event structures |
75 | Margarita V. Korovina, Nicolai N. Vorobjov Jr. |
Upper and Lower Bounds on Sizes of Finite Bisimulations of Pfaffian Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings, pp. 267-276, 2006, Springer, 3-540-35466-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
61 | Peng Wu 0002, Catuscia Palamidessi, Huimin Lin |
Symbolic Bisimulations for Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 17-19 September 2007, Edinburgh, Scotland, UK, pp. 179-188, 2007, IEEE Computer Society, 0-7695-2883-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
61 | Vasileios Koutavas, Mitchell Wand |
Bisimulations for Untyped Imperative Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings, pp. 146-161, 2006, Springer, 3-540-33095-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
61 | Johannes Borgström, Uwe Nestmann |
On Bisimulations for the Spi Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings, pp. 287-303, 2002, Springer, 3-540-44144-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
54 | Eijiro Sumii, Benjamin C. Pierce |
A bisimulation for type abstraction and recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 54(5), pp. 26, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
bisimulations, Lambda-calculus, logical relations, recursive types, existential types, contextual equivalence |
54 | Eijiro Sumii, Benjamin C. Pierce |
A bisimulation for type abstraction and recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005, pp. 63-74, 2005, ACM, 1-58113-830-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
bisimulations, lambda-calculus, logical relations, recursive types, existential types, contextual equivalence |
47 | Elena S. Oshevskaya |
Open Maps Bisimulations for Higher Dimensional Automata Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009. Proceedings, pp. 274-286, 2009, Springer, 978-3-642-03408-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
47 | Margarita V. Korovina, Nicolai N. Vorobjov Jr. |
Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 43(3-4), pp. 498-515, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Semialgebraic geometry, Hybrid system, Dynamical system, Bisimulation |
47 | Luís Soares Barbosa, José Nuno Oliveira, Alexandra Silva 0001 |
Calculating Invariants as Coreflexive 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. 83-99, 2008, Springer, 978-3-540-79979-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
coalgebraic reasoning, pointfree transform, proof obligations, program calculation |
47 | Ernst-Erich Doberkat |
Weak Bisimulations for the Giry Monad (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation, 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008. Proceedings, pp. 400-409, 2008, Springer, 978-3-540-79227-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
47 | Zining Cao |
Bisimulations for a Distributed Higher Order pi -Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings, pp. 94-108, 2007, Springer, 978-3-540-75290-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Davide Sangiorgi, Naoki Kobayashi 0001, Eijiro Sumii |
Environmental Bisimulations for Higher-Order Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings, pp. 293-302, 2007, IEEE Computer Society, 0-7695-2908-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Zining Cao |
More on Bisimulations for Higher Order pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings, pp. 63-78, 2006, Springer, 3-540-33045-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
47 | David de Frutos-Escrig, Carlos Gregorio-Rodríguez |
Bisimulations Up-to for the Linear Time Branching Time Spectrum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings, pp. 278-292, 2005, Springer, 3-540-28309-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
47 | Gerardo Lafferriere, George J. Pappas, Shankar Sastry 0001 |
Hybrid Systems with Finite Bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hybrid Systems ![In: Hybrid Systems V, Proceedings of the Fifth International Workshop on Hybrid Systems, Notre Dame, IN, USA, September 11-13, 1997, pp. 186-203, 1997, Springer, 3-540-65643-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
47 | Cyril Autant, Philippe Schnoebelen |
Place Bisimulations in Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings, pp. 45-61, 1992, Springer, 3-540-55676-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
partial order theory of concurrency, structure and behavior of nets, bisimulation theory of nets |
45 | Vasileios Koutavas, Mitchell Wand |
Small bisimulations for reasoning about higher-order imperative programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006, pp. 141-152, 2006, ACM, 1-59593-027-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
higher-order procedures, bisimulations, lambda-calculus, imperative languages, contextual equivalence |
42 | Gabriel Ciobanu |
Behaviour Equivalences in Timed Distributed pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software-Intensive Systems and New Computing Paradigms ![In: Software-Intensive Systems and New Computing Paradigms - Challenges and Visions, pp. 190-208, 2008, Springer, 978-3-540-89436-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
42 | Zining Cao |
A Logic for Distributed Higher Order pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation, 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008. Proceedings, pp. 351-363, 2008, Springer, 978-3-540-79227-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
42 | Ralf Wimmer 0001, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker 0001 |
Sigref- A Symbolic Bisimulation Tool Box. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006., pp. 477-492, 2006, Springer, 3-540-47237-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
42 | S. Arun-Kumar |
On Bisimilarities Induced by Relations on Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 11-15 September 2006, Pune, India, pp. 41-49, 2006, IEEE Computer Society, 0-7695-2678-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
42 | Dennis Dams, Yassine Lakhnech, Martin Steffen |
Iterating Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings, pp. 286-297, 2001, Springer, 3-540-42345-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
42 | Sibylle B. Fröschle, Thomas T. Hildebrandt |
On Plain and Hereditary History-Preserving Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1999, 24th International Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999, Proceedings, pp. 354-365, 1999, Springer, 3-540-66408-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
42 | Ichiro Satoh, Mario Tokoro |
A Timed Calculus for Distributed Objects with Clocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'93 - Object-Oriented Programming, 7th European Conference, Kaiserslautern, Germany, July 26-30, 1993, Proceedings, pp. 326-345, 1993, Springer, 3-540-57120-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
40 | Géraud Sénizergues |
Semi-Groups Acting on Context-Free Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 23rd International Colloquium, ICALP96, Paderborn, Germany, 8-12 July 1996, Proceedings, pp. 206-218, 1996, Springer, 3-540-61440-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
infinite graphs, ends, semi-groups, groups, bisimulations, pushdown automata, automorphisms |
38 | David de Frutos-Escrig, Miguel Palomino, Ignacio Fábregas |
Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.00962, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
38 | Sergueï Lenglet |
Bisimulations dans les calculs avec passivation. (Bisimulations in calculi with passivation). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
38 | Damien Pous |
Techniques modulo pour les bisimulations. (Up to techniques for bisimulations). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2008 |
RDF |
|
38 | Wilfried Quivrin-Pfister |
Des bisimulations de places pour la réduction des réseaux de Petri. (Place bisimulations for the reduction of Petri nets). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1995 |
RDF |
|
38 | Sophie Pinchinat |
Des bisimulations pour la sémantique des systèmes réactifs. (Bisimulations for the semantics of reactive systems). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1993 |
RDF |
|
33 | Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani |
Normal Bisimulations in Calculi with Passivation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 257-271, 2009, Springer, 978-3-642-00595-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Davide Sangiorgi, Naoki Kobayashi 0001, Eijiro Sumii |
Logical Bisimulations and Functional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings, pp. 364-379, 2007, Springer, 978-3-540-75697-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Ernst-Erich Doberkat |
Congruences and Bisimulations for Continuous-Time Stochastic Logic. ![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. 409-423, 2005, Springer, 3-540-29107-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Astrid Kiehn, S. Arun-Kumar |
Amortised Bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings, pp. 320-334, 2005, Springer, 3-540-29189-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Jens Chr. Godskesen, Thomas T. Hildebrandt |
Extending Howe's Method to Early Bisimulations for Typed Mobile Embedded Resources with Local Names. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings, pp. 140-151, 2005, Springer, 3-540-30495-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Ernst-Erich Doberkat |
Semi-pullbacks and Bisimulations in Categories of Stochastic Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings, pp. 996-1007, 2003, Springer, 3-540-40493-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
semi-pullback, stochastic relations, labelled Markov processes, Hennessy-Milner logic, Bisimulation |
33 | Christel Baier, Mariëlle Stoelinga |
Norm Functions for Probabilistic Bisimulations with Delays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, Third International Conference, FOSSACS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 1-16, 2000, Springer, 3-540-67257-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
33 | Louise A. Dennis, Alan Bundy, Ian Green |
Using A Generalisation Critic to Find Bisimulations for Coinductive Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings, pp. 276-290, 1997, Springer, 3-540-63104-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
28 | Zining Cao |
A Spatial Logical Characterisation of Context Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers, pp. 231-239, 2006, Springer, 978-3-540-77504-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Alberto Ciaffaglione, Matthew Hennessy, Julian Rathke |
Proof Methodologies for Behavioural Equivalence in DPI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings, pp. 335-350, 2005, Springer, 3-540-29189-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Ernst-Erich Doberkat |
Look: Simple Stochastic Relations Are Just, Well, Simple. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings, pp. 127-141, 2005, Springer, 3-540-28620-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Paulo Tabuada |
Open Maps, Alternating Simulations and Control Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings, pp. 466-480, 2004, Springer, 3-540-22940-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Margarita V. Korovina, Nicolai N. Vorobjov Jr. |
Pfaffian Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings, pp. 430-441, 2004, Springer, 3-540-23024-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Thomas A. Henzinger, Sriram K. Rajamani |
Fair Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 299-314, 2000, Springer, 3-540-67282-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Thomas Hune, Mogens Nielsen |
Timed Bisimulation and Open Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings, pp. 378-387, 1998, Springer, 3-540-64827-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Christel Baier, Holger Hermanns |
Weak Bisimulation for Fully Probabilistic Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings, pp. 119-130, 1997, Springer, 3-540-63166-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
28 | Mogens Nielsen, Allan Cheng |
Obseving Behaviour Categorically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings, pp. 263-278, 1995, Springer, 3-540-60692-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
26 | Elsa L. Gunter, Ayesha Yasmeen |
Secure Broadcast Ambients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers, pp. 257-271, 2008, Springer. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Ambient calculi, security, broadcast, bisimulations, process calculi, congruence |
26 | Agostino Dovier, Eugenio G. Omodeo, Alberto Policriti |
Solvable Set/Hyperset Contexts: II. A Goal-Driven Unification Algorithm for the Blended Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 9(4), pp. 293-332, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Semantic unification, Hypersets, NP-completeness, Bisimulations, Set theory |
19 | Linh Anh Nguyen, Dat Xuan Tran |
Computing crisp bisimulations for fuzzy structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 166, pp. 109121, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Sha Qiao, Jun-e Feng, Ping Zhu 0001 |
Distribution-based limited fuzzy bisimulations for nondeterministic fuzzy transition systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Frankl. Inst. ![In: J. Frankl. Inst. 361(1), pp. 135-149, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Safa Zouari, Krzysztof Ziemianski, Uli Fahrenberg |
Bisimulations and Logics for Higher-Dimensional Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.01589, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Antonio Jiménez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski |
Forward and Backward Constrained Bisimulations for Quantum Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II, pp. 343-362, 2024, Springer, 978-3-031-57248-7. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Linh Anh Nguyen |
Fuzzy simulations and bisimulations between fuzzy automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 155, pp. 113-131, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Sebastijan Horvat, Tin Perkov, Mladen Vukovic |
Bisimulations and bisimulation games between Verbrugge models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 69(2), pp. 231-243, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Beniamino Accattoli, Claudia Faggian, Adrienne Lancelot |
Normal Form Bisimulations By Value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.08161, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Jérémy Dubut |
Aczel-Mendler Bisimulations in a Regular Category. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.04442, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Linh Anh Nguyen |
Minimizing Fuzzy Interpretations in Fuzzy Description Logics by Using Crisp Bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.11438, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Linh Anh Nguyen, Ivana Micic, Stefan Stanimirovic |
Depth-Bounded Fuzzy Simulations and Bisimulations between Fuzzy Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.03318, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Massimo Bartoletti, Maurizio Murgia 0001, Roberto Zunino |
Sound approximate and asymptotic probabilistic bisimulations for PCTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 19(1), 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Linh Anh Nguyen, Ivana Micic, Stefan Stanimirovic |
Depth-bounded fuzzy simulations and bisimulations between fuzzy automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 473, pp. 108729, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Sha Qiao, Ping Zhu 0001, Witold Pedrycz |
Approximate bisimulations for fuzzy-transition systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 472, pp. 108533, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Linh Anh Nguyen, Ngoc Thanh Nguyen 0001 |
Logical Characterizations of Crisp Bisimulations in Fuzzy Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 31(4), pp. 1294-1304, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Sha Qiao, Ping Zhu 0001, Jun-e Feng |
Fuzzy Bisimulations for Nondeterministic Fuzzy Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 31(7), pp. 2450-2463, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Tin Perkov |
Bisimulations Between Verbrugge Models and Veltman Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings, pp. 305-317, 2023, Springer, 978-3-031-39783-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Yucheng Liu |
ε-Approximate Bisimulations for Nondeterministic Fuzzy Kripke Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCTCS ![In: Theoretical Computer Science - 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers, pp. 107-132, 2023, Springer, 978-981-99-7742-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Stefan Stanimirovic, Ivana Micic, Linh Anh Nguyen |
On Relationships Between Approximate Bisimulations for Fuzzy Graphs and Their Approximation Degrees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSFLAT/AGOP ![In: Fuzzy Logic and Technology, and Aggregation Operators - 13th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2023, and 12th International Summer School on Aggregation Operators, AGOP 2023, Palma de Mallorca, Spain, September 4-8, 2023, Proceedings, pp. 579-590, 2023, Springer, 978-3-031-39964-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Ivana Micic, Jelena Matejic, Stefan Stanimirovic, Linh Anh Nguyen |
Towards New Types of Weak Bisimulations for Fuzzy Automata Using the Product T-Norm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSFLAT/AGOP ![In: Fuzzy Logic and Technology, and Aggregation Operators - 13th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2023, and 12th International Summer School on Aggregation Operators, AGOP 2023, Palma de Mallorca, Spain, September 4-8, 2023, Proceedings, pp. 567-578, 2023, Springer, 978-3-031-39964-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Jérémy Dubut |
Aczel-Mendler Bisimulations in a Regular Category. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, June 19-21, 2023, Indiana University Bloomington, IN, USA, pp. 19:1-19:18, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-287-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Jannik Rau, David Richerby, Ansgar Scherp |
Computing k-Bisimulations for Large Graphs: A Comparison and Efficiency Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation - 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings, pp. 223-242, 2023, Springer, 978-3-031-36708-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Linh Anh Nguyen |
Fuzzy Simulations and Bisimulations between Fuzzy Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.01955, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Michal Knapik |
Bisimulations for Verifying Strategic Abilities with an Application to the ThreeBallot Voting Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.13692, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Clément Aubert, Ross Horne, Christian Johansen |
Bisimulations Respecting Duration and Causality for the Non-interleaving Applied π-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, EXPRESS/SOS 2022, Warsaw, Poland, 12th September 2022., pp. 3-22, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Jannik Rau, David Richerby, Ansgar Scherp |
Single-Purpose Algorithms vs. a Generic Graph Summarizer for Computing k-Bisimulations on Large Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.05821, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Linh Anh Nguyen |
Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 431, pp. 70-93, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Ivana Micic, Linh Anh Nguyen, Stefan Stanimirovic |
Characterization and computation of approximate bisimulations for fuzzy automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 442, pp. 331-350, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Rui Li 0007, Qi Zhang 0005, Tianguang Chu |
Bisimulations of Probabilistic Boolean Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Control. Optim. ![In: SIAM J. Control. Optim. 60(5), pp. 2631-2657, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Raul Fervari, Fernando R. Velázquez-Quesada, Yanjing Wang 0001 |
Bisimulations for Knowing How Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 15(2), pp. 450-486, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Li Zhang, Ping Zhu 0001 |
Generalized fuzzy variable precision rough sets based on bisimulations and the corresponding decision-making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Mach. Learn. Cybern. ![In: Int. J. Mach. Learn. Cybern. 13(8), pp. 2313-2344, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Stefan Stanimirovic, Ivana Micic, Miroslav Ciric 0001 |
Approximate Bisimulations for Fuzzy Automata Over Complete Heyting Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 30(2), pp. 437-447, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Pavithra Prabhakar |
Bisimulations for Neural Network Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings, pp. 285-300, 2022, Springer, 978-3-030-94582-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Philippe Balbiani, Joseph Boudou, Martín Diéguez, David Fernández-Duque |
Bisimulations for Intuitionistic Temporal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(8), pp. 2265-2286, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
19 | Sha Qiao, Ping Zhu 0001 |
Limited approximate bisimulations and the corresponding rough approximations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 130, pp. 50-82, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Frédéric Lang, Radu Mateescu 0001, Franco Mazzanti |
Compositional verification of concurrent systems by combining bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 58(1-2), pp. 83-125, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Malgorzata Kruszelnicka |
Games and Bisimulations for Intuitionistic First-Order Kripke Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 109(5), pp. 903-916, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Linh Anh Nguyen |
Logical Characterizations of Fuzzy Bisimulations in Fuzzy Modal Logics over Residuated Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.12349, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
19 | Pavithra Prabhakar |
Bisimulations for Neural Network Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.03726, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
19 | Giorgio Bacci, Giovanni Bacci 0001, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.13160, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
19 | Linh Anh Nguyen, Dat Xuan Tran |
Computing Fuzzy Bisimulations for Fuzzy Structures Under the Gödel Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 29(7), pp. 1715-1724, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
19 | David Sprunger, Shin-ya Katsumata, Jérémy Dubut, Ichiro Hasuo |
Fibrational bisimulations and quantitative reasoning: Extended version. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 31(6), pp. 1526-1559, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Michal Knapik |
Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 276, pp. 104552, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Giorgio Bacci, Giovanni Bacci 0001, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021, pp. 1-14, 2021, IEEE, 978-1-6654-4895-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Linh Anh Nguyen, Dat Xuan Tran |
Computing Crisp Bisimulations for Fuzzy Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.15671, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
19 | Jim de Groot, Helle Hvid Hansen, Alexander Kurz 0001 |
Logic-Induced Bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2008.09238, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
19 | Chao Yang, Yongming Li 0001 |
Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 391, pp. 72-95, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Roberto Gorrieri |
A Study on Team Bisimulations for BPP Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Application and Theory of Petri Nets and Concurrency - 41st International Conference, PETRI NETS 2020, Paris, France, June 24-25, 2020, Proceedings, pp. 153-175, 2020, Springer, 978-3-030-51830-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
19 | Jim de Groot, Helle Hvid Hansen, Alexander Kurz 0001 |
Logic-Induced Bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020., pp. 289-308, 2020, College Publications, 978-1-84890-341-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|