Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Raoul Koudijs |
Finite Model Property and Bisimulation for LFD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.06042, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Herman Geuvers, Bart Jacobs 0001 |
Relating Apartness and Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 17(3), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Rui Li 0007, Qi Zhang 0005, Tianguang Chu |
Reduction and Analysis of Boolean Control Networks by Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Control. Optim. ![In: SIAM J. Control. Optim. 59(2), pp. 1033-1056, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Raul Fervari, Francisco Trucco, Beta Ziliani |
Verification of dynamic bisimulation theorems in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 120, pp. 100642, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI 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) |
FACS ![In: Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings, pp. 115-133, 2021, Springer, 978-3-030-90635-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Mete Kemertas, Tristan Aumentado-Armstrong |
Towards Robust Bisimulation Metric Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, NeurIPS 2021, December 6-14, 2021, virtual., pp. 4764-4777, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Jan Friso Groote, Jan Martens 0001, Erik P. de Vink |
Bisimulation by Partitioning Is Ω((m+n)log n). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 32nd International Conference on Concurrency Theory, CONCUR 2021, August 24-27, 2021, Virtual Conference., pp. 31:1-31:16, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-203-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Rob van Glabbeek, Peter Höfner, Weiyou Wang |
Enabling Preserving Bisimulation Equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 32nd International Conference on Concurrency Theory, CONCUR 2021, August 24-27, 2021, Virtual Conference., pp. 33:1-33:20, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-203-7. The full citation details ...](Pics/full.jpeg) |
2021 |
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) |
CALCO ![In: 9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021, August 31 to September 3, 2021, Salzburg, Austria., pp. 8:1-8:16, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-212-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Stefan Kiefer, Qiyi Tang 0001 |
Approximate Bisimulation Minimisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2021, December 15-17, 2021, Virtual Conference., pp. 48:1-48:16, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-215-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Gerard Ekembe Ngondi, Vasileios Koutavas, Andrew Butterfield |
Translation of CCS into CSP, Correct up to Strong Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings, pp. 243-261, 2021, Springer, 978-3-030-92123-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Nan Jiang, Chi Huang, Yao Chen, Jürgen Kurths |
Bisimulation-based stabilization of probabilistic Boolean control networks with state feedback control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Inf. Technol. Electron. Eng. ![In: Frontiers Inf. Technol. Electron. Eng. 21(2), pp. 268-280, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Christel Baier, Pedro R. D'Argenio, Holger Hermanns |
On the probabilistic bisimulation spectrum with silent moves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 57(3-5), pp. 465-512, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Mathias Claus Jensen, Kim Guldstrand Larsen |
A complete axiomatization of weighted branching bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 57(3-5), pp. 689-725, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Hikmat Farhat |
Control of Nondeterministic Systems for Bisimulation Equivalence Under Partial Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 65(12), pp. 5437-5443, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Achim Blumensath, Felix Wolf 0002 |
Bisimulation invariant monadic-second order logic in the finite. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 823, pp. 26-43, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Robert F. Johnson, Erik Winfree |
Verifying polymer reaction networks using bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 843, pp. 84-114, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Petr Jancar |
Deciding semantic finiteness of pushdown processes and first-order grammars w.r.t. bisimulation equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 109, pp. 22-44, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Linh Anh Nguyen, Quang-Thuy Ha, Ngoc Thanh Nguyen 0001, Thi Hong Khanh Nguyen, Thanh-Luong Tran |
Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2008.02857, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
15 | Stefan Göller, Pawel Parys |
Bisimulation Finiteness of Pushdown Systems Is Elementary. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.06285, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
15 | Rob van Glabbeek |
Reactive Bisimulation Semantics for a Process Algebra with Time-Outs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2008.11499, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
15 | Clément Aubert, Ioana Cristescu |
How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.06814, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
15 | Yannick Zakowski, Paul He, Chung-Kil Hur, Steve Zdancewic |
An Equational Theory for Weak Bisimulation via Generalized Parameterized Coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2001.02659, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
15 | Chih-Duo Hong, Anthony W. Lin, Rupak Majumdar, Philipp Rümmer |
Probabilistic Bisimulation for Parameterized Systems (Technical Report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.02413, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
15 | Herman Geuvers, Bart Jacobs 0001 |
Relating Apartness and Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.02512, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP 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) |
CoRR ![In: CoRR abs/2005.14504, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
15 | Claudio Hermida, Uday S. Reddy, Edmund P. Robinson, Alessio Santamaria |
Bisimulation as a Logical Relation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.13542, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
15 | Nicolas Behr, Vincent Danos, Ilias Garnier |
Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 16(3), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
15 | Linh Anh Nguyen, Quang-Thuy Ha, Ngoc Thanh Nguyen 0001, Thi Hong Khanh Nguyen, Thanh-Luong Tran |
Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 388, pp. 146-178, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Zechen Hou, Eric Madelaine |
Symbolic bisimulation for open and parameterized systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM@POPL ![In: Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2020, New Orleans, LA, USA, January 20, 2020, pp. 14-26, 2020, ACM, 978-1-4503-7096-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Malte Lochau, Lars Luthmann, Hendrik Göttmann, Isabelle Bacher |
Parametric Timed Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (2) ![In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II, pp. 55-71, 2020, Springer, 978-3-030-61469-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Gianluca Curzi, Michele Pagani |
The Benefit of Being Non-Lazy in Probabilistic λ-calculus: Applicative Bisimulation is Fully Abstract for Non-Lazy Probabilistic Call-by-Name. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020., pp. 327-340, 2020, ACM, 978-1-4503-7104-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Stefan Göller, Pawel Parys |
Bisimulation Finiteness of Pushdown Systems Is Elementary. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020., pp. 521-534, 2020, ACM, 978-1-4503-7104-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Wenbo Zhang 0004, Qiang Yin 0002, Huan Long, Xian Xu 0001 |
Bisimulation Equivalence of Pushdown Automata Is Ackermann-Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020, July 8-11, 2020, Saarbrücken, Germany (Virtual Conference)., pp. 141:1-141:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-138-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Xudong Qin, Yuxin Deng, Wenjie Du |
Verifying Quantum Communication Protocols with Ground Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II, pp. 21-38, 2020, Springer, 978-3-030-45236-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Yannick Zakowski, Paul He, Chung-Kil Hur, Steve Zdancewic |
An equational theory for weak bisimulation via generalized parameterized coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2020, New Orleans, LA, USA, January 20-21, 2020., pp. 71-84, 2020, ACM, 978-1-4503-7097-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Rob van Glabbeek |
Reactive Bisimulation Semantics for a Process Algebra with Time-Outs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference)., pp. 6:1-6:23, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-160-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Clément Aubert, Ioana Cristescu |
How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference)., pp. 7:1-7:23, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-160-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Giuseppe Crincoli, Tiziano Marinaro, Fabio Martinelli, Francesco Mercaldo, Antonella Santone |
Code Reordering Obfuscation Technique Detection by Means of Weak Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA ![In: Advanced Information Networking and Applications - Proceedings of the 34th International Conference on Advanced Information Networking and Applications, AINA-2020, Caserta, Italy, 15-17 April., pp. 1368-1382, 2020, Springer, 978-3-030-44040-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Delia Kesner, Eduardo Bonelli, Andrés Viso |
Strong Bisimulation for Control Operators (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain., pp. 4:1-4:23, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-132-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Giordano Pola, Costanzo Manes, Maria Domenica Di Benedetto |
Output Feedback Control via Bisimulation of Stochastic Linear Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 3(1), pp. 25-30, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Rasmus Ejlers Møgelberg, Niccolò Veltri |
Bisimulation as path type for guarded recursive types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 3(POPL), pp. 4:1-4:29, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Deng Hui, Li Zhi |
Multi-valued bisimulation quotienting algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 36(1), pp. 37-45, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Linan Chen, Florence Clerc, Prakash Panangaden |
Bisimulation for Feller-Dynkin Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2019, London, UK, June 4-7, 2019, pp. 45-63, 2019, Elsevier. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Harsh Beohar, Sebastian Küpper |
Bisimulation Maps in Presheaf Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2019, London, UK, June 4-7, 2019, pp. 5-24, 2019, Elsevier. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Huili Xing |
The Extension of Bisimulation Quantified Modal Logic Based on Covariant-Contravariant Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 7, pp. 160248-160262, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Robert F. Johnson, Qing Dong, Erik Winfree |
Verifying chemical reaction network implementations: A bisimulation approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 765, pp. 3-46, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Harsh Beohar, Sebastian Küpper |
Bisimulation maps in presheaf categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1909.01796, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Martin Otto 0001 |
Graded modal logic and counting bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1910.00039, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Lars Luthmann, Hendrik Göttmann, Malte Lochau |
Checking Timed Bisimulation with Bounded Zone-History Graphs - Technical Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1910.08992, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Nicolas Behr, Vincent Danos, Ilias Garnier |
Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1904.07313, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Eduardo Bonelli, Delia Kesner, Andrés Viso |
Strong Bisimulation for Control Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1906.09370, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Achim Blumensath, Felix Wolf 0002 |
Bisimulation Invariant Monadic-Second Order Logic in the Finite. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1905.06668, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Linan Chen, Florence Clerc, Prakash Panangaden |
Bisimulation for Feller-Dynkin Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1904.00976, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Petr Jancar, Sylvain Schmitz |
Bisimulation Equivalence of First-Order Grammars is ACKERMANN-Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1901.07170, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Marzieh Shamsizadeh, Mohammad Mehdi Zahedi |
Bisimulation of type 2 for BL-general fuzzy automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 23(20), pp. 9843-9852, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Julian Gutierrez 0001, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge |
Nash Equilibrium and Bisimulation Invariance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 15(3), 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Damien Pous, Davide Sangiorgi |
Bisimulation and Coinduction Enhancements: A Historical Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 31(6), pp. 733-749, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Chih-Duo Hong, Anthony W. Lin, Rupak Majumdar, Philipp Rümmer |
Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I, pp. 455-474, 2019, Springer, 978-3-030-25539-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Petr Jancar, Sylvain Schmitz |
Bisimulation Equivalence of First-Order Grammars is ACKERMANN-Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019, pp. 1-12, 2019, IEEE, 978-1-7281-3608-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Jan Friso Groote, Erik P. de Vink |
An Axiomatization of Strong Distribution Bisimulation for a Language with a Parallel Operator and Probabilistic Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Software Engineering to Formal Methods and Tools, and Back ![In: From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 449-463, 2019, Springer, 978-3-030-30984-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Valentina Castiglioni, Ruggero Lanotte, Simone Tini |
Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Art of Modelling Computational Systems ![In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, pp. 293-312, 2019, Springer, 978-3-030-31174-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Ivan Lanese, Davide Sangiorgi, Gianluigi Zavattaro |
Playing with Bisimulation in Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models, Languages, and Tools for Concurrent and Distributed Programming ![In: Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday, pp. 71-91, 2019, Springer, 978-3-030-21484-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Bernhard Steffen, Marc Jasper |
Generating Hard Benchmark Problems for Weak Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Reactive Systems to Cyber-Physical Systems ![In: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, pp. 126-145, 2019, Springer, 978-3-030-31513-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Ugo Dal Lago, Francesco Gavazzo |
Effectful Normal Form Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, pp. 263-292, 2019, Springer, 978-3-030-17183-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Guifei Jiang, Laurent Perrussel, Dongmo Zhang, Heng Zhang 0006, Yuzhi Zhang |
Game Equivalence and Bisimulation for Game Description Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI (1) ![In: PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part I, pp. 583-596, 2019, Springer, 978-3-030-29907-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Raul Fervari, Francisco Trucco, Beta Ziliani |
Mechanizing Bisimulation Theorems for Relation-Changing Logics in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DaLí ![In: Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 3-18, 2019, Springer, 978-3-030-38807-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Richard Huybers, Alfons Laarman |
A Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings, pp. 535-554, 2019, Springer, 978-3-030-11244-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Linh Anh Nguyen |
Computing Bisimulation-Based Comparisons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 157(4), pp. 385-401, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Marco Bernardo 0001 |
ULTraS at work: Compositionality metaresults for bisimulation and trace semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 94, pp. 150-182, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Noorma Yulia Megawati, Arjan van der Schaft |
Bisimulation equivalence of differential-algebraic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Control ![In: Int. J. Control 91(1), pp. 45-56, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Lijun Zhang 0001, Pengfei Yang, Lei Song 0001, Holger Hermanns, Christian Eisentraut, David N. Jansen, Jens Chr. Godskesen |
Probabilistic bisimulation for realistic schedulers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 55(6), pp. 461-488, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Giordano Pola, Costanzo Manes, Arjan van der Schaft, Maria Domenica Di Benedetto |
Bisimulation Equivalence of Discrete-Time Stochastic Linear Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 63(7), pp. 1897-1912, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Alexandru Baltag, Giovanni Ciná |
Bisimulation for Conditional Modalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 106(1), pp. 1-33, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Tom van Dijk, Jaco van de Pol |
Multi-core symbolic bisimulation minimisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 20(2), pp. 157-177, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Moses Ganardi, Stefan Göller, Markus Lohrey |
The Complexity of Bisimulation and Simulation on Finite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1806.00256, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Ivano Ciardelli, Martin Otto 0001 |
Inquisitive bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1803.03483, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Rasmus Ejlers Møgelberg, Niccolò Veltri |
Bisimulation as path type for guarded recursive types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1810.13261, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Julian Gutierrez 0001, Paul Harrenstein, Giuseppe Perelli, Michael J. Wooldridge |
Nash Equilibrium and Bisimulation Invariance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1808.09213, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Chao Yang, Yongming Li 0001 |
Approximate bisimulation relations for fuzzy automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 22(14), pp. 4535-4547, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Moses Ganardi, Stefan Göller, Markus Lohrey |
The Complexity of Bisimulation and Simulation on Finite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 14(4), 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Chao Yang, Yongming Li 0001 |
ε-Bisimulation Relations for Fuzzy Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 26(4), pp. 2017-2029, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Fernando R. Velázquez-Quesada |
Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 28(8), pp. 1805-1832, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Jan Friso Groote, Jao Rivera Verduzco, Erik P. de Vink |
An Efficient Algorithm to Determine Probabilistic Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithms ![In: Algorithms 11(9), pp. 131, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Gaoang Liu, Hao Wu 0013 |
Branching Bisimulation and Concurrent Object Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2018, Luxembourg City, Luxembourg, June 25-28, 2018, pp. 267-278, 2018, IEEE Computer Society, 978-1-5386-5596-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Hazhar Rahmani, Jason M. O'Kane |
On the Relationship Between Bisimulation and Combinatorial Filter Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2018 IEEE International Conference on Robotics and Automation, ICRA 2018, Brisbane, Australia, May 21-25, 2018, pp. 7314-7321, 2018, IEEE, 978-1-5386-3081-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Ruggero Lanotte, Simone Tini |
Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings, pp. 292-312, 2018, Springer, 978-3-030-02507-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Achim Blumensath, Felix Wolf 0002 |
Bisimulation Invariant Monadic-Second Order Logic in the Finite. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic, pp. 117:1-117:13, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-076-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Thi Hong Khanh Nguyen, Quang-Thuy Ha, Trong Hieu Tran |
A Learning Method based on Bisimulation in Inconsistent Knowledge Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: 15th International Conference on Control, Automation, Robotics and Vision, ICARCV 2018, Singapore, November 18-21, 2018, pp. 430-435, 2018, IEEE, 978-1-5386-9582-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Xinxin Liu 0009, Tingting Yu, Wenhui Zhang |
Logics for Bisimulation and Divergence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, pp. 221-237, 2018, Springer, 978-3-319-89365-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Sahar Mohajerani, Yiding Ji, Stéphane Lafortune |
Efficient Synthesis of Edit Functions for Opacity Enforcement Using Bisimulation-Based Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 57th IEEE Conference on Decision and Control, CDC 2018, Miami, FL, USA, December 17-19, 2018, pp. 4849-4854, 2018, IEEE, 978-1-5386-1395-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | James Ferlez, Rance Cleaveland, Steven I. Marcus |
Bisimulation in Behavioral Dynamical Systems and Generalized Synchronization Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 57th IEEE Conference on Decision and Control, CDC 2018, Miami, FL, USA, December 17-19, 2018, pp. 751-758, 2018, IEEE, 978-1-5386-1395-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Barbara König 0001, Christina Mika-Michalski |
(Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China, pp. 37:1-37:17, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-087-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Arpit Sharma 0002 |
Non-bisimulation Based Behavioral Relations for Markov Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings, pp. 179-196, 2018, Springer, 978-3-030-00150-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Gburek |
Stochastic transition systems: bisimulation, logic, and composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
15 | Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch, Martin Holm Jensen |
Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 194(7), pp. 2447-2487, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Yanfang Ma, Haiyu Pan |
The Approximate Correctness of Systems Based on δ-bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISDT ![In: Seventh International Symposium on Domain Theory and Its Applications, ISDT 2017, Shijiazhuang, China, June 2-6, 2017, pp. 73-87, 2017, Elsevier. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Jan Friso Groote, David N. Jansen, Jeroen J. A. Keiren, Anton Wijs |
An O(mlogn) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 18(2), pp. 13:1-13:34, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Jurriaan Rot, Filippo Bonchi, Marcello M. Bonsangue, Damien Pous, Jan Rutten, Alexandra Silva 0001 |
Enhanced coalgebraic bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 27(7), pp. 1236-1264, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Dimitrios Kouzapas, Jorge A. Pérez 0001, Nobuko Yoshida |
Characteristic bisimulation for higher-order session processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 54(3), pp. 271-341, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|