Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Marta Z. Kwiatkowska, Gethin Norman |
Probabilistic Metric Semantics for a Simple Language with Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings, pp. 419-430, 1996, Springer, 3-540-61550-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Flavio Corradini, Marco Pistore |
Specification and Verification of Timed Lazy Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings, pp. 279-290, 1996, Springer, 3-540-61550-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Otmane Aït Mohamed |
Mechanizing a pi-Calculus Equivalence in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Higher Order Logic Theorem Proving and Its Applications, 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings, pp. 1-16, 1995, Springer, 3-540-60275-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Roberto M. Amadio, Mads Dam |
Reasoning about Higher-Order Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings, pp. 202-216, 1995, Springer, 3-540-59293-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Luca Aceto, Anna Ingólfsdóttir |
CPO Models for a Class of GSOS Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings, pp. 439-453, 1995, Springer, 3-540-59293-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Mogens Nielsen, Lutz Priese, Vladimiro Sassone |
Characterizing Behavioural Congruences for Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings, pp. 175-189, 1995, Springer, 3-540-60218-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Adnan Aziz, Vigyan Singhal, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
Equivalences for Fair Kripke Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 21st International Colloquium, ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings, pp. 364-375, 1994, Springer, 3-540-58201-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger |
The Observational Power of Clocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, pp. 162-177, 1994, Springer, 3-540-58329-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Astrid Kiehn |
On the Decidability of Non-Interleaving Process Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, pp. 18-33, 1994, Springer, 3-540-58329-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Kim Guldstrand Larsen, Wang Yi 0001 |
Time Abstracted Bisimiulation: Implicit Specifications and Decidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings, pp. 160-176, 1993, Springer, 3-540-58027-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | K. V. S. Prasad |
Programming with Broadcasts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings, pp. 173-187, 1993, Springer, 3-540-57208-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
CR classification F3. 2 Semantics of Programming Languages-operational semantics, algebraic approaches to semantics |
16 | Jos C. M. Baeten, Chris Verhoef |
A Congruence Theorem for Structured Operational Semantics with Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings, pp. 477-492, 1993, Springer, 3-540-57208-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
CR Categories D.3.1, F.1.1, F.4.3, F.3.2 |
16 | Luca Aceto, David Murphy |
On the Ill-Timed but Well-Caused. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings, pp. 97-111, 1993, Springer, 3-540-57208-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Moshe Rabinovich |
Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 19th International Colloquium, ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings, pp. 696-707, 1992, Springer, 3-540-55719-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn |
A Theory of Process with Localities (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings, pp. 108-122, 1992, Springer, 3-540-55822-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Steven Klusener |
The Silent Step in Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings, pp. 421-435, 1992, Springer, 3-540-55822-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
& Phrases Real Time Process Algebra, Abstraction, ACP |
16 | Søren Christensen |
Distributed Bisimularity is Decidable for a Class of Infinite State-Space Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings, pp. 148-161, 1992, Springer, 3-540-55822-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Tim Fernando |
Comparative Transition System Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers, pp. 149-166, 1992, Springer, 3-540-56992-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Costas Courcoubetis, Susanne Graf, Joseph Sifakis |
An Algebra of Boolean Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 3rd International Workshop, CAV '91, Aalborg, Denmark, July, 1-4, 1991, Proceedings, pp. 454-465, 1991, Springer, 3-540-55179-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Uno Holmer, Kim Guldstrand Larsen, Wang Yi 0001 |
Deciding Properties of Regular Real Time Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 3rd International Workshop, CAV '91, Aalborg, Denmark, July, 1-4, 1991, Proceedings, pp. 443-453, 1991, Springer, 3-540-55179-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Walter Vogler |
Deciding History Preserving Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings, pp. 495-505, 1991, Springer, 3-540-54233-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Philippe Darondeau, Pierpaolo Degano |
Causal Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 16th International Colloquium, ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings, pp. 234-248, 1989, Springer, 3-540-51371-X. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Kim Guldstrand Larsen, Bent Thomsen |
Compositional Proofs by Partial Specification of Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1988, MFCS'88, Carlsbad, Czechoslovakia, August 29 - September 2, 1988, Proceedings, pp. 414-423, 1988, Springer, 3-540-50110-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Ahmed Bouajjani, Susanne Graf, Joseph Sifakis |
A logig for the description of behaviours and properties of concurrent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings, pp. 398-410, 1988, Springer, 3-540-51080-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
compositional proof methods, process algebra, expressivity, calculus, Program logic, adequacy |
16 | Kim Guldstrand Larsen |
A Context Dependent Equivalence between Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece, July 15-19, 1985, Proceedings, pp. 373-382, 1985, Springer, 3-540-15650-X. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
15 | Jonas Krook, Robi Malik, Sahar Mohajerani, Martin Fabian |
Robust stutter bisimulation for abstraction and controller synthesis with disturbance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 160, pp. 111394, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Eduardo Bonelli, Delia Kesner, Andrés Viso |
A Strong Bisimulation for a Classical Term Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 20(2), 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Sujata Ghosh, Shreyas Gupta, Lei Li |
Bisimulation in model-changing modal logics: An algorithmic study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 34(2), pp. 399-427, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Maximilian Pflueger, David Tena Cucala, Egor V. Kostylev |
Recurrent Graph Neural Networks and Their Connections to Bisimulation and Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada, pp. 14608-14616, 2024, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Ryan G. Scott, Mike Dodds, Ivan Perez 0001, Alwyn E. Goodloe, Robert Dockins |
Trustworthy Runtime Verification via Bisimulation (Experience Report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(ICFP), pp. 305-321, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Hao Wu, Huan Long |
Probabilistic weak bisimulation and axiomatization for probabilistic models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 182, pp. 106399, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Linh Anh Nguyen |
Computing the fuzzy partition corresponding to the greatest fuzzy auto-bisimulation of a fuzzy graph-based structure under the Gödel semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 630, pp. 482-506, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Rob van Glabbeek |
Reactive bisimulation semantics for a process algebra with timeouts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 60(1), pp. 11-57, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | 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 |
|
15 | Hongyu Zang, Xin Li, Leiji Zhang, Yang Liu 0155, Baigui Sun, Riashat Islam, Remi Tachet des Combes, Romain Laroche |
Understanding and Addressing the Pitfalls of Bisimulation-based Representations in Offline Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.17139, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Darko Drakulic, Sofia Michel, Florian Mai, Arnaud Sors, Jean-Marc Andreoli |
BQ-NCO: Bisimulation Quotienting for Generalizable Neural Combinatorial Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.03313, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Clemens Grabmayer |
The Image of the Process Interpretation of Regular Expressions is Not Closed under Bisimulation Collapse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.08553, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos |
Fully Abstract Normal Form Bisimulation for Call-by-Value PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.01069, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | MohammadSadegh Mohagheghi, Khayyam Salehi |
Improving Probabilistic Bisimulation for MDPs Using Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.02519, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos |
Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.01325, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | MohammadSadegh Mohagheghi, Khayyam Salehi |
Splitter Orderings for Probabilistic Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.08614, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Qiyuan Liu 0008, Qi Zhou, Rui Yang, Jie Wang 0005 |
Robust Representation Learning by Clustering with Bisimulation Metrics for Visual Reinforcement Learning with Distractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.12003, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Jos C. M. Baeten, Bas Luttik |
Parallel Pushdown Automata and Commutative Context-Free Grammars in Bisimulation Semantics (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, EXPRESS/SOS 2023, and 20th Workshop on Structural Operational SemanticsAntwerp, Belgium, 18th September 2023., pp. 114-131, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Purandar Bhaduri |
Coalgebras for Bisimulation of Weighted Automata over Semirings. ![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 |
|
15 | Jos C. M. Baeten, Cesare Carissimo, Bas Luttik |
Pushdown Automata and Context-Free Grammars in Bisimulation Semantics. ![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 |
|
15 | Jan Friso Groote, Jan Martens 0001, Erik P. de Vink |
Lowerbounds for Bisimulation by Partition Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 19(2), 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Guifei Jiang, Laurent Perrussel, Dongmo Zhang, Heng Zhang 0006, Yuzhi Zhang |
Game equivalence and expressive power of game description languages: a bisimulation approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 33(1), pp. 163-187, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | M. H. Bandukara, Nikos Tzevelekos |
On-the-fly bisimulation equivalence checking for fresh-register automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 145, pp. 103010, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Markel Sanz Ausin, Mark Abdelshiheed, Tiffany Barnes, Min Chi |
A Unified Batch Hierarchical Reinforcement Learning Framework for Pedagogical Policy Induction with Deep Bisimulation Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIED (Posters/Late Breaking Results/...) ![In: Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky - 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings, pp. 599-605, 2023, Springer, 978-3-031-36335-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Roland Glück |
Compatibility of Refining and Controlling Plant Automata with Bisimulation Quotients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings, pp. 87-104, 2023, Springer, 978-3-031-28082-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Stefan Göller, Pawel Parys |
Weak Bisimulation Finiteness of Pushdown Systems With Deterministic ε-Transitions Is 2-EXPTIME-Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the 2023 ACM-SIAM Symposium on Discrete Algorithms, SODA 2023, Florence, Italy, January 22-25, 2023, pp. 2777-2815, 2023, SIAM, 978-1-61197-755-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos |
Fully Abstract Normal Form Bisimulation for Call-by-Value PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: LICS, pp. 1-13, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Qiyuan Liu 0008, Qi Zhou, Rui Yang, Jie Wang 0005 |
Robust Representation Learning by Clustering with Bisimulation Metrics for Visual Reinforcement Learning with Distractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023, pp. 8843-8851, 2023, AAAI Press, 978-1-57735-880-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yiming Wang, Ming Yang, Renzhi Dong, Binbin Sun, Furui Liu, Leong Hou U |
Efficient Potential-based Exploration in Reinforcement Learning using Inverse Dynamic Bisimulation Metric. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023., 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
15 | Darko Drakulic, Sofia Michel, Florian Mai, Arnaud Sors, Jean-Marc Andreoli |
BQ-NCO: Bisimulation Quotienting for Efficient Neural Combinatorial Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023., 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
15 | Hongyu Zang, Xin Li, Leiji Zhang, Yang Liu 0155, Baigui Sun, Riashat Islam, Remi Tachet des Combes, Romain Laroche |
Understanding and Addressing the Pitfalls of Bisimulation-based Representations in Offline Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023., 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
15 | Andrea Esposito 0006, Alessandro Aldini, Marco Bernardo 0001 |
Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Distributed Objects, Components, and Systems - 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings, pp. 57-74, 2023, Springer, 978-3-031-35354-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Charline Le Lan, Rishabh Agarwal |
Revisiting Bisimulation: A Sampling-Based State Similarity Pseudo-metric. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tiny Papers @ ICLR ![In: The First Tiny Papers Track at ICLR 2023, Tiny Papers @ ICLR 2023, Kigali, Rwanda, May 5, 2023, 2023, OpenReview.net. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
15 | Mete Kemertas, Allan Douglas Jepson |
Approximate Policy Iteration with Bisimulation Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Mach. Learn. Res. ![In: Trans. Mach. Learn. Res. 2022, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
15 | Claudio Hermida, Uday S. Reddy, Edmund Robinson, Alessio Santamaria |
Bisimulation as a logical relation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 32(4), pp. 442-471, April 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Weiming Xiang 0001, Zhongzhu Shao |
Approximate Bisimulation Relations for Neural Networks and Application to Assured Neural Network Compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.01214, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
15 | Florian Bruse, David Kronenberger, Martin Lange |
Capturing Bisimulation-Invariant Exponential-Time Complexity Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022., pp. 17-33, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Philippe Hansen-Estruch, Amy Zhang 0001, Ashvin Nair, Patrick Yin, Sergey Levine |
Bisimulation Makes Analogies in Goal-Conditioned Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.13060, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Xian Xu |
On Bisimulation in Absence of Restriction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.10574, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Pablo F. Castro, Pedro R. D'Argenio, Luciano Putruele, Ramiro Demasi |
A Stochastic Game Approach to Masking Fault-Tolerance: Bisimulation and Quantification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.02045, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik |
On the Axiomatisation of Branching Bisimulation Congruence over CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.13927, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Mete Kemertas, Allan D. Jepson |
Trusted Approximate Policy Iteration with Bisimulation Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.02881, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
15 | Herman Geuvers, Anton Golov |
Directed branching bisimulation via apartness and positive logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.07380, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jonas Krook, Robi Malik, Sahar Mohajerani, Martin Fabian |
Robust Stutter Bisimulation for Abstraction and Controller Synthesis with Disturbance: Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.13959, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Martin Bertran Lopez, Walter Talbott, Nitish Srivastava, Joshua M. Susskind |
Efficient Embedding of Semantic Similarity in Control Policies via Entangled Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2201.12300, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
15 | Jos C. M. Baeten, Cesare Carissimo, Bas Luttik |
Pushdown Automata and Context-Free Grammars in Bisimulation Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.01713, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jonathan Warrell, Alexey Potapov, Adam Vandervorst, Ben Goertzel |
A meta-probabilistic-programming language for bisimulation of probabilistic and non-well-founded type systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.15970, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jan Friso Groote, Jan Martens 0001, Erik P. de Vink |
Lowerbounds for Bisimulation by Partition Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.07158, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Wenbo Zhang |
The parametric complexity of bisimulation equivalence of normed pushdown automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. ![In: Frontiers Comput. Sci. 16(4), pp. 164405, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Thomas Chatain, Maurice Comlan, David Delfieu, Loïg Jezequel, Olivier Henri Roux |
Pomset bisimulation and unfolding for reset Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 283, pp. 104674, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Borja Balle, Pascale Gourdeau, Prakash Panangaden |
Bisimulation metrics and norms for real-weighted automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 282, pp. 104649, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Weiming Xiang 0001, Zhongzhu Shao |
Approximate Bisimulation Relations for Neural Networks and Application to Assured Neural Network Compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2022, Atlanta, GA, USA, June 8-10, 2022, pp. 3248-3253, 2022, IEEE, 978-1-6654-5196-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Hubert Garavel, Frédéric Lang |
Equivalence Checking 40 Years After: A Review of Bisimulation Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 213-265, 2022, Springer, 978-3-031-15628-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Mousumi Mukherjee, Naim Bajçinca |
Bisimulation of strongly autonomous n-D systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECC ![In: European Control Conference, ECC 2022, London, United Kingdom, July 12-15, 2022, pp. 1367-1372, 2022, IEEE, 978-3-9071-4407-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jonathan Warrell, Alexey Potapov, Adam Vandervorst, Ben Goertzel |
A Meta-Probabilistic-Programming Language for Bisimulation of Probabilistic and Non-Well-Founded Type Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGI ![In: Artificial General Intelligence - 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings, pp. 434-451, 2022, Springer, 978-3-031-19906-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Mark Bouwman, Maurice Laveaux, Bas Luttik, Tim A. C. Willemse |
Decompositional Branching Bisimulation Minimisation of Monolithic Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings, pp. 161-182, 2022, Springer, 978-3-031-20871-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik |
On the Axiomatisation of Branching Bisimulation Congruence over CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland., pp. 6:1-6:18, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-246-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Philippe Hansen-Estruch, Amy Zhang 0001, Ashvin Nair, Patrick Yin, Sergey Levine |
Bisimulation Makes Analogies in Goal-Conditioned Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: International Conference on Machine Learning, ICML 2022, 17-23 July 2022, Baltimore, Maryland, USA., pp. 8407-8426, 2022, PMLR. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
15 | Shu Feng, Yi Zhu, Mei Song, Yuxiang Gao |
Analysis and Verification of Bisimulation Relationship for Learning Time-Behavior Sequence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSA ![In: 9th International Conference on Dependable Systems and Their Applications, DSA 2022, Wulumuqi, China, August 4-5, 2022, pp. 803-812, 2022, IEEE, 978-1-6654-8877-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Francesco Basile, Gianmaria De Tommasi |
Assessment of Bisimulation Non-Interference in Discrete Event Systems Modelled With Bounded Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 5(4), pp. 1151-1156, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Gabriel de Albuquerque Gleizer, Manuel Mazo Jr. |
Towards Traffic Bisimulation of Linear Periodic Event-Triggered Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 5(1), pp. 25-30, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Hong Nguyen Thi Khanh |
Classification of Concepts Using Decision Trees for Inconsistent Knowledge Systems Based on Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Hiding Multim. Signal Process. ![In: J. Inf. Hiding Multim. Signal Process. 12(1), pp. 22-30, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Ivano Ciardelli, Martin Otto 0001 |
Inquisitive Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 86(1), pp. 77-109, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Sahar Mohajerani, Robi Malik, Andrew Wintenberg, Stéphane Lafortune, Necmiye Ozay |
Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 130, pp. 109723, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Ruggero Lanotte, Simone Tini |
A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 869, pp. 29-61, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Francesco Andreuzzi |
BisPy: Bisimulation in Python. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Open Source Softw. ![In: J. Open Source Softw. 6(65), pp. 3519, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Jie Fan 0001 |
Bimodal Logic with Contingency and Accident: Bisimulation and Axiomatizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logica Universalis ![In: Logica Universalis 15(2), pp. 123-147, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Linh Anh Nguyen |
Computing the Fuzzy Partition Corresponding to the Greatest Fuzzy Auto-Bisimulation of a Fuzzy Graph-Based Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.08542, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Mete Kemertas, Tristan Aumentado-Armstrong |
Towards Robust Bisimulation Metric Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.14096, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Purandar Bhaduri |
Coalgebras for Bisimulation of Weighted Automata over Semirings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2109.00732, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Stefan Kiefer, Qiyi Tang 0001 |
Approximate Bisimulation Minimisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.00326, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Eduardo Bonelli, Delia Kesner, Andrés Viso |
A Strong Bisimulation for Control Operators by Means of Multiplicative and Exponential Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.05754, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Rob van Glabbeek, Peter Höfner, Weiyou Wang |
Enabling Preserving Bisimulation Equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.00142, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Jan Martens 0001, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma, Anton Wijs |
A linear parallel algorithm to compute bisimulation and relational coarsest partitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.11788, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Raoul Koudijs |
Finite Model Property and Bisimulation for LFD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021., pp. 166-178, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|