Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Kunal Banerjee 0001, Dipankar Sarkar 0001, Chittaranjan Mandal 0001 |
Deriving Bisimulation Relations from Path Extension Based Equivalence Checkers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 43(10), pp. 946-953, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Borja Balle, Pascale Gourdeau, Prakash Panangaden |
Bisimulation Metrics for Weighted Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1702.08017, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
Syntactic Markovian Bisimulation for Chemical Reaction Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1707.02132, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | James Ferlez, Rance Cleaveland, Steven I. Marcus |
Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, EXPRESS/SOS 2017, Berlin, Germany, 4th September 2017., pp. 35-50, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Hao Wu 0013 |
Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1701.06104, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Ki Yung Ahn, Ross Horne, Alwen Tiu |
A Characterisation of Open Bisimulation using an Intuitionistic Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1701.05324, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Harsh Beohar, Sebastian Küpper |
On path-based coalgebras and weak notions of bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1705.08715, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Pengfei Yang, David N. Jansen, Lijun Zhang 0001 |
Distribution-based bisimulation for labelled Markov processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1706.10049, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Barbara König 0001, Christina Mika |
Bisimulation Games on Coalgebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1705.10165, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Marco Peressotti |
On the trade-off between labels and weights in quantitative bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1705.06439, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Ivano Ciardelli, Martin Otto 0001 |
Bisimulation in Inquisitive Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, Liverpool, UK, 24-26 July 2017., pp. 151-166, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Marino Miculan, Marco Peressotti |
Reductions for Transition Systems at Work: Deriving a Logical Characterization of Quantitative Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1704.07181, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Gaoang Bian, Alessandro Abate |
On the Relationship between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context (Extended Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1701.04547, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Makoto Hamana |
Cyclic Datatypes modulo Bisimulation based on Second-Order Algebraic Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1705.06430, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Makoto Hamana |
Cyclic Datatypes modulo Bisimulation based on Second-Order Algebraic Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 13(4), 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Kunal Banerjee 0001, Dipankar Sarkar 0001, Chittaranjan A. Mandal |
Deriving bisimulation relations from path based equivalence checkers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 29(2), pp. 365-379, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Sergio Abriola, María Emilia Descotte, Santiago Figueira |
Model theory of XPath on data trees. Part II: Binary bisimulation and definability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 255, pp. 195-223, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Zeinab Bakhtiari, Hans van Ditmarsch, Helle Hvid Hansen |
Neighbourhood Contingency Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings, pp. 48-63, 2017, Springer, 978-3-662-54068-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Xinxin Liu 0009, Tingting Yu, Wenhui Zhang |
Analyzing divergence in bisimulation semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017, pp. 735-747, 2017, ACM, 978-1-4503-4660-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Muthukumaran Chandrasekaran, Junhuan Zhang, Prashant Doshi, Yifeng Zeng |
Robust Model Equivalence using Stochastic Bisimulation for N-Agent Interactive DIDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UAI ![In: Proceedings of the Thirty-Third Conference on Uncertainty in Artificial Intelligence, UAI 2017, Sydney, Australia, August 11-15, 2017, 2017, AUAI Press. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Borja Balle, Pascale Gourdeau, Prakash Panangaden |
Bisimulation Metrics for Weighted Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, pp. 103:1-103:14, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-041-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
Syntactic Markovian Bisimulation for Chemical Reaction Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models, Algorithms, Logics and Tools ![In: Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, pp. 466-483, 2017, Springer, 978-3-319-63120-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Gaoang Bian, Alessandro Abate |
On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, pp. 321-337, 2017, 978-3-662-54457-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Kuize Zhang, Majid Zamani 0001 |
Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 56th IEEE Annual Conference on Decision and Control, CDC 2017, Melbourne, Australia, December 12-15, 2017, pp. 5615-5619, 2017, IEEE, 978-1-5090-2873-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Marino Miculan, Marco Peressotti |
Deciding Weak Weighted Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS/CILC ![In: Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), Naples, Italy, September 26-28, 2017., pp. 126-137, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Vahid Hashemi, Andrea Turrini, Ernst Moritz Hahn, Holger Hermanns, Khaled M. Elbassioni |
Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings, pp. 25-41, 2017, Springer, 978-3-319-69482-5. The full citation details ...](Pics/full.jpeg) |
2017 |
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) |
CONCUR ![In: 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany, pp. 17:1-17:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-048-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | James Jerson Ortiz, Moussa Amrani, Pierre-Yves Schobbens |
Multi-timed Bisimulation for Distributed Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NFM ![In: NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings, pp. 52-67, 2017, 978-3-319-57287-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Harsh Beohar, Sebastian Küpper |
On Path-Based Coalgebras and Weak Notions of Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, pp. 6:1-6:17, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Zeinab Bakhtiari, Helle Hvid Hansen |
Bisimulation for Weakly Expressive Coalgebraic Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, pp. 4:1-4:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Pengfei Yang, David N. Jansen, Lijun Zhang 0001 |
Distribution-Based Bisimulation for Labelled Markov Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pp. 170-186, 2017, Springer, 978-3-319-65764-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Daiki Ishii, Toshimitsu Ushio |
A Bisimulation-Based Design of User Interface With Alerts Avoiding Automation Surprises. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Hum. Mach. Syst. ![In: IEEE Trans. Hum. Mach. Syst. 46(2), pp. 317-323, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Ernst-Erich Doberkat |
Bisimulation Cuts For Structuring Markov Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 149(4), pp. 363-383, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Abel Armas-Cervantes, Paolo Baldan, Luciano García-Bañuelos |
Reduction of event structures under history preserving bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 85(6), pp. 1110-1130, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Riadh Matmat, Ilham Kitouni, Djamel-Eddine Saïdouni |
Towards an Optimal Generation of Zones Graph Relating Timed Bisimulation Relation and Distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Distributed Syst. Technol. ![In: Int. J. Distributed Syst. Technol. 7(3), pp. 21-41, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Bas Luttik |
Unique parallel decomposition in branching and weak bisimulation semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 612, pp. 29-44, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Eric Madelaine, Min Zhang 0002 |
Towards a bisimulation theory for open synchronized networks of automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Inf. Sci. ![In: Sci. China Inf. Sci. 59(5), pp. 050107:1-050107:3, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Peter Buneman, Slawek Staworko |
RDF Graph Alignment with Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1606.08657, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Jan Friso Groote, Anton Wijs |
An O(m log n) Algorithm for Stuttering Equivalence and Branching Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1601.01478, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan |
Approximate Bisimulation and Discretization of Hybrid CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1609.00091, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Hao Wu 0013 |
Proving Linearizability via Branching Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1609.07546, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Daniel Gebler, Kim G. Larsen, Simone Tini |
Compositional bisimulation metric reasoning with Probabilistic Process Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 12(4), 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Valentina Castiglioni, Daniel Gebler, Simone Tini |
Logical Characterization of Bisimulation Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL 2016, Eindhoven, The Netherlands, April 2-3, 2016., pp. 44-62, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Peter Buneman, Slawek Staworko |
RDF Graph Alignment with Bisimulation. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. VLDB Endow. ![In: Proc. VLDB Endow. 9(12), pp. 1149-1160, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Hengyang Wu, Yuxin Deng |
Logical characterizations of simulation and bisimulation for fuzzy transition systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 301, pp. 19-36, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Luis María Ferrer Fioriti, Vahid Hashemi, Holger Hermanns, Andrea Turrini |
Deciding probabilistic automata weak bisimulation: theory and practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 28(1), pp. 109-143, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Ievgen Ivanov |
On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS ![In: Coalgebraic Methods in Computer Science - 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers, pp. 216-234, 2016, Springer, 978-3-319-40369-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Andrea Turrini |
Exploiting Robust Optimization for Interval Probabilistic Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings, pp. 55-71, 2016, Springer, 978-3-319-43424-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan |
Approximate Bisimulation and Discretization of Hybrid CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, pp. 702-720, 2016, 978-3-319-48988-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Nishanthan Kamaleson, David Parker 0001, Jonathan E. Rowe |
Finite-Horizon Bisimulation Minimisation for Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, pp. 147-164, 2016, Springer, 978-3-319-32581-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Noorma Yulia Megawati, Arjan van der Schaft |
Equivalence of regular matrix pencil DAE systems by bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECC ![In: 15th European Control Conference, ECC 2016, Aalborg, Denmark, June 29 - July 1, 2016, pp. 1093-1098, 2016, IEEE, 978-1-5090-2591-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Taichi Yachi, Eijiro Sumii |
A Sound and Complete Bisimulation for Contextual Equivalence in \lambda -Calculus with Call/cc. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings, pp. 171-186, 2016, 978-3-319-47957-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Vahid Hashemi, Holger Hermanns, Lei Song 0001, K. Subramani 0001, Andrea Turrini, Piotr Wojciechowski 0002 |
Compositional Bisimulation Minimization for Interval Markov Decision Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings, pp. 114-126, 2016, Springer, 978-3-319-29999-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Giordano Pola, Costanzo Manes, Arjan van der Schaft, Maria Domenica Di Benedetto |
Model reduction of continuous-time stochastic linear control systems via bisimulation equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 55th IEEE Conference on Decision and Control, CDC 2016, Las Vegas, NV, USA, December 12-14, 2016, pp. 6577-6582, 2016, IEEE, 978-1-5090-1837-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Linh Anh Nguyen |
Computing Bisimulation-Based Comparisons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CS&P ![In: Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, Rostock, Germany, September 28-30, 2016., pp. 245-256, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP 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) |
MFCS ![In: 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, August 22-26, 2016 - Kraków, Poland, pp. 52:1-52:13, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-016-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Matias David Lee, Erik P. de Vink |
Logical Characterization of Bisimulation for Transition Relations over Probability Distributions with Internal Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, August 22-26, 2016 - Kraków, Poland, pp. 29:1-29:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-016-3. The full citation details ...](Pics/full.jpeg) |
2016 |
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) |
DNA ![In: DNA Computing and Molecular Programming - 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016, Proceedings, pp. 114-134, 2016, Springer, 978-3-319-43993-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Marino Miculan, Marco Peressotti |
On the Bisimulation Hierarchy of State-to-Function Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 17th Italian Conference on Theoretical Computer Science, Lecce, Italy, September 7-9, 2016., pp. 88-102, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Mona Noori Hosseini, Bengt Lennartson |
Diagnosability verification using compositional branching bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODES ![In: 13th International Workshop on Discrete Event Systems, WODES 2016, Xi'an, China, May 30 - June 1, 2016, pp. 245-250, 2016, IEEE, 978-1-5090-4190-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Andrew J. Wagenmaker, Necmiye Ozay |
A bisimulation-like algorithm for abstracting control systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Allerton ![In: 54th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2016, Monticello, IL, USA, September 27-30, 2016, pp. 569-576, 2016, IEEE, 978-1-5090-4550-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Tom van Dijk, Jaco van de Pol |
Multi-core Symbolic Bisimulation Minimisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, pp. 332-348, 2016, Springer, 978-3-662-49673-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Jan Friso Groote, Anton Wijs |
An O(m\log n) Algorithm for Stuttering Equivalence and Branching Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, pp. 607-624, 2016, Springer, 978-3-662-49673-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Xiaoju Dong, Yuxi Fu, Daniele Varacca |
Place Bisimulation and Liveness for Open Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering: Theories, Tools, and Applications - Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings, pp. 1-17, 2016, 978-3-319-47676-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Johannes Åman Pohjola, Joachim Parrow |
Bisimulation up-to techniques for psi-calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016, pp. 142-153, 2016, ACM, 978-1-4503-4127-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi, Valeria Vignudelli |
Up-To Techniques for Generalized Bisimulation Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 35:1-35:14, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | David de Frutos-Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse |
Branching Bisimulation Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings, pp. 142-157, 2016, Springer, 978-3-319-39569-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Moses Ganardi, Stefan Göller, Markus Lohrey |
On the Parallel Complexity of Bisimulation on Finite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France, pp. 12:1-12:17, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-022-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Shahan Khatchadourian |
Bisimulation-based Structural Summaries of Large Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
15 | Prakash Panangaden |
Probabilistic bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGLOG News ![In: ACM SIGLOG News 2(3), pp. 72-84, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Harsh Beohar, Pieter J. L. Cuijpers |
Open Maps in Concrete Categories and Branching Bisimulation for Prefix Orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: The 31st Conference on the Mathematical Foundations of Programming Semantics, MFPS 2015, Nijmegen, The Netherlands, June 22-25, 2015, pp. 51-66, 2015, Elsevier. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Wayne Wobcke |
A logic of intention and action for regular BDI agents based on bisimulation of agent programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Agents Multi Agent Syst. ![In: Auton. Agents Multi Agent Syst. 29(4), pp. 569-620, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Xiaocong Zhou, Yong-Ji Li, Wen-Jun Li, Hai-Yan Qiao, Zhongmei Shu |
Bisimulation proof methods in a path-based specification language for polynomial coalgebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 25(4), pp. 765-804, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Mustafa Jarrar, Anton Deik |
The Graph Signature: A Scalable Query Optimization Index for RDF Graph Databases Using Bisimulation and Trace Equivalence Summarization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Semantic Web Inf. Syst. ![In: Int. J. Semantic Web Inf. Syst. 11(2), pp. 36-65, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Thanh-Luong Tran, Linh Anh Nguyen, Thi-Lan-Giao Hoang |
Bisimulation-based concept learning for information systems in description logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vietnam. J. Comput. Sci. ![In: Vietnam. J. Comput. Sci. 2(3), pp. 149-167, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Giovanna D'Agostino, Giacomo Lenzi |
Bisimulation quantifiers and uniform interpolation for guarded first order logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 563, pp. 75-85, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Md. Ariful Islam, Abhishek Murthy, Ezio Bartocci, Elizabeth Cherry, Flavio H. Fenton, James Glimm, Scott A. Smolka, Radu Grosu |
Model-order reduction of ion channel dynamics using approximate bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 599, pp. 34-46, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Nisansala Yatapanage, Kirsten Winter |
Next-preserving branching bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 594, pp. 120-142, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Diego Figueira, Santiago Figueira, Carlos Areces |
Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Intell. Res. ![In: J. Artif. Intell. Res. 53, pp. 271-314, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Diego Latella, Mieke Massink, Erik P. de Vink |
Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 11(4), 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX 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) |
CoRR ![In: CoRR abs/1506.07990, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
15 | Matias David Lee, Erik P. de Vink |
Rooted branching bisimulation as a congruence for probabilistic transition systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2015, London, UK, 11th-12th April 2015., pp. 79-94, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Makoto Hamana |
Iteration Algebras for UnQL Graphs and Completeness for Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings Tenth International Workshop on Fixed Points in Computer Science, FICS 2015, Berlin, Germany, September 11-12, 2015., pp. 75-89, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Diego Latella, Mieke Massink, Erik P. de Vink |
A Definition Scheme for Quantitative Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2015, London, UK, 11th-12th April 2015., pp. 63-78, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Ugo Dal Lago, Alessandro Rioli |
Applicative Bisimulation and Quantum λ-Calculi (Long Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1506.06661, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
15 | Tessa Belder, Maurice H. ter Beek, Erik P. de Vink |
Coherent branching feature bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMSPLE ![In: Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, FMSPLE@ETAPS 2015, London, UK, 11 April 2015., pp. 14-30, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | David Romero-Hernández, David de Frutos-Escrig, Dario Della Monica |
Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings XV Jornadas sobre Programación y Lenguajes, PROLE 2015, Santander, Spain, 15-17th September 2015., pp. 48-63, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Xiangru Xu, Necmiye Ozay, Vijay Gupta 0001 |
Passivity Degradation In Discrete Control Implementations: An Approximate Bisimulation Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1509.02366, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
15 | Tomasz Brengos |
Weak bisimulation for coalgebras over order enriched monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 11(2), 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Sebastian Enqvist, Fatemeh Seifan, Yde Venema |
Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1501.07215, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
15 | Mariano P. Consens, Valeria Fionda, Shahan Khatchadourian, Giuseppe Pirrò |
S+EPPs: Construct and Explore Bisimulation Summaries, plus Optimize Navigational Queries; all on Existing SPARQL Systems. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. VLDB Endow. ![In: Proc. VLDB Endow. 8(12), pp. 2028-2031, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Tuan-Fang Fan |
Fuzzy Bisimulation for Gödel Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 23(6), pp. 2387-2396, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Facundo Carreiro |
PDL Is the Bisimulation-Invariant Fragment of Weak Chain Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015, pp. 341-352, 2015, IEEE Computer Society, 978-1-4799-8875-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Sebastian Enqvist, Fatemeh Seifan, Yde Venema |
Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015, pp. 353-365, 2015, IEEE Computer Society, 978-1-4799-8875-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Christian Eisentraut, Jens Chr. Godskesen, Holger Hermanns, Lei Song 0001, Lijun Zhang 0001 |
Probabilistic Bisimulation for Realistic Schedulers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, pp. 248-264, 2015, Springer, 978-3-319-19248-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Abhishek Murthy, Md. Ariful Islam, Scott A. Smolka, Radu Grosu |
Computing bisimulation functions using SOS optimization and δ-decidability over the reals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015, pp. 78-87, 2015, ACM, 978-1-4503-3433-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Peter D. Mosses, Ferdinand Vesely |
Weak Bisimulation as a Congruence in MSOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic, Rewriting, and Concurrency ![In: Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday, pp. 519-538, 2015, Springer, 978-3-319-23164-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Babak Tavassoli |
A computational procedure for bisimulation of hybrid dynamical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECC ![In: 14th European Control Conference, ECC 2015, Linz, Austria, July 15-17, 2015, pp. 1432-1437, 2015, IEEE, 978-3-9524-2693-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Guilhem Jaber, Nicolas Tabareau |
Kripke Open Bisimulation - A Marriage of Game Semantics and Operational Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, pp. 271-291, 2015, Springer, 978-3-319-26528-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Xiangru Xu, Necmiye Ozay, Vijay Gupta 0001 |
Passivity degradation in discrete control implementations: An approximate bisimulation approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 54th IEEE Conference on Decision and Control, CDC 2015, Osaka, Japan, December 15-18, 2015, pp. 6817-6822, 2015, IEEE, 978-1-4799-7886-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|