Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Agostino Dovier |
Logic Programming and Bisimulation. |
ICLP (Technical Communications) |
2015 |
DBLP BibTeX RDF |
|
15 | Giulio Iacobelli, Mirco Tribastone, Andrea Vandin |
Differential Bisimulation for a Markovian Process Algebra. |
MFCS (1) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Shahan Khatchadourian, Mariano P. Consens |
Constructing Bisimulation Summaries on a Multi-Core Graph Processing Framework. |
GRADES@SIGMOD/PODS |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Sherry Shanshan Ruan, Gheorghe Comanici, Prakash Panangaden, Doina Precup |
Representation Discovery for MDPs Using Bisimulation Metrics. |
AAAI |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Sherry Shanshan Ruan, Gheorghe Comanici, Prakash Panangaden, Doina Precup |
Representation Discovery for MDPs Using Bisimulation Metrics. |
AAAI |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Ugo Dal Lago, Alessandro Rioli |
Applicative Bisimulation and Quantum λ-Calculi. |
FSEN |
2015 |
DBLP DOI BibTeX RDF |
|
15 | GuanJun Liu, Changjun Jiang |
Secure Bisimulation for Interactive Systems. |
ICA3PP (3) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Kaustuv Chaudhuri, Matteo Cimini, Dale Miller 0001 |
A Lightweight Formalization of the Metatheory of Bisimulation-Up-To. |
CPP |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Dimitrios Kouzapas, Jorge A. Pérez 0001, Nobuko Yoshida |
Characteristic Bisimulation for Higher-Order Session Processes. |
CONCUR |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Lei Song, Yuan Feng, Lijun Zhang 0001 |
Decentralized Bisimulation for Multiagent Systems. |
AAMAS |
2015 |
DBLP BibTeX RDF |
|
15 | Valentina Castiglioni, Ruggero Lanotte, Simone Tini |
A Specification Format for Rooted Branching Bisimulation. |
Fundam. Informaticae |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Thanh-Luong Tran, Quang-Thuy Ha, Thi-Lan-Giao Hoang, Linh Anh Nguyen, Hung Son Nguyen |
Bisimulation-Based Concept Learning in Description Logics. |
Fundam. Informaticae |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Yuan Feng 0001, Yuxin Deng, Mingsheng Ying |
Symbolic Bisimulation for Quantum Processes. |
ACM Trans. Comput. Log. |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Guang Zheng, Kai Cui, Junping Zhan, Zekun Ning, Miao Jiang 0001, Cheng Lu 0008, Aiping Lu |
Bisimulation-based Consistency Checking on Syndrome Feng-Shi-Re-Bi in Rheumatoid Arthritis. |
J. Softw. |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Koichi Kobayashi, Yasuhito Fukui, Kunihiko Hiraishi |
Discrete Abstraction for a Class of Stochastic Hybrid Systems Based on Bounded Bisimulation. |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Stanislav Böhm, Stefan Göller, Petr Jancar |
Bisimulation equivalence and regularity for real-time one-counter automata. |
J. Comput. Syst. Sci. |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Wojciech Czerwinski, Piotr Hofman, Slawomir Lasota 0001 |
Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes. |
Theory Comput. Syst. |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Lei Song 0001, Lijun Zhang 0001, Holger Hermanns, Jens Chr. Godskesen |
Incremental Bisimulation Abstraction Refinement. |
ACM Trans. Embed. Comput. Syst. |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Anne-Kathrin Schmuck, Jörg Raisch |
Simulation and Bisimulation over Multiple Time Scales in a Behavioral Setting. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
15 | Tomasz Brengos |
Lax Kleisli-valued presheaves and coalgebraic weak bisimulation. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
15 | Sergey Goncharov 0001, Dirk Pattinson |
Coalgebraic Weak Bisimulation from Recursive Equations over Monads. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
15 | Raphaëlle Crubillé, Ugo Dal Lago |
On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi (Long Version). |
CoRR |
2014 |
DBLP BibTeX RDF |
|
15 | Abel Armas-Cervantes, Paolo Baldan, Luciano García-Bañuelos |
Reduction of Event Structures under History Preserving Bisimulation. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
15 | Shibashis Guha, Chinmay Narayan, S. Arun-Kumar 0004 |
Reducing Clocks in Timed Automata while Preserving Bisimulation. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
15 | Petr Jancar |
Bisimulation Equivalence of First-Order Grammars. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
15 | Babak Tavassoli |
A Computational Approach to Bisimulation of Hybrid Dynamical Systems. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
15 | Holger Hermanns, Jan Krcál, Jan Kretínský |
Probabilistic Bisimulation: Naturally on Distributions. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
15 | Ryan Kavanagh, Jean-Marie Madiot |
On Coupled Logical Bisimulation for the Lambda-Calculus. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
15 | Hans van Ditmarsch, David Fernández-Duque, Wiebe van der Hoek |
On the definability of simulation and bisimulation in epistemic logic. |
J. Log. Comput. |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Tin Perkov, Mladen Vukovic |
A bisimulation characterization for interpretability logic. |
Log. J. IGPL |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Shunsuke Yatabe |
On the crispness of ω and arithmetic with a bisimulation in a constructive naive set theory. |
Log. J. IGPL |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Johann Schuster, Markus Siegle |
Markov Automata: Deciding weak bisimulation by means of non-naïvely vanishing states. |
Inf. Comput. |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Erich Grädel, Martin Otto 0001 |
The Freedoms of (Guarded) Bisimulation. |
Johan van Benthem on Logic and Information Dynamics |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Thanh-Luong Tran, Linh Anh Nguyen, Thi-Lan-Giao Hoang |
A Domain Partitioning Method for Bisimulation-Based Concept Learning in Description Logics. |
ICCSAMA |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Nataliya S. Gribovskaya |
Timed History Preserving Bisimulation and Open Maps. |
Ershov Memorial Conference |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Neil D. Jones, Geoff W. Hamilton |
Asymptotic Speedups, Bisimulation and Distillation (Work in Progress). |
Ershov Memorial Conference |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Davide Sangiorgi |
Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract). |
CMCS |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Agostino Dovier |
Set Graphs VI: Logic Programming and Bisimulation. |
CILC |
2014 |
DBLP BibTeX RDF |
|
15 | Yuan Feng 0001, Lijun Zhang 0001 |
When Equivalence and Bisimulation Join Forces in Probabilistic Automata. |
FM |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Norman Ferns, Doina Precup |
Bisimulation Metrics are Optimal Value Functions. |
UAI |
2014 |
DBLP BibTeX RDF |
|
15 | Sergey Goncharov 0001, Dirk Pattinson |
Coalgebraic Weak Bisimulation from Recursive Equations over Monads. |
ICALP (2) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Petr Jancar |
Bisimulation Equivalence of First-Order Grammars. |
ICALP (2) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Giorgio Bacci, Giovanni Bacci 0001, Kim Guldstrand Larsen, Radu Mardare |
Bisimulation on Markov Processes over Arbitrary Measurable Spaces. |
Horizons of the Mind |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Norm Ferns, Doina Precup, Sophia Knight |
Bisimulation for Markov Decision Processes through Families of Functional Expressions. |
Horizons of the Mind |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Pedro R. D'Argenio, Daniel Gebler, Matias David Lee |
Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules. |
FoSSaCS |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Raphaëlle Crubillé, Ugo Dal Lago |
On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi. |
ESOP |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Himanshu Zade, Santosh Arvind Adimoolam, Sai Gollapudi, Anind K. Dey, Venkatesh Choppella |
Edit distance modulo bisimulation: a quantitative measure to study evolution of user models. |
CHI |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Anne-Kathrin Schmuck, Jörg Raisch |
Simulation and bisimulation over multiple time scales in a behavioral setting. |
MED |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Faried Abu Zaid, Erich Grädel, Stephan Jaax |
Bisimulation Safe Fixed Point Logic. |
Advances in Modal Logic |
2014 |
DBLP BibTeX RDF |
|
15 | Konstantinos Chatzikokolakis 0001, Daniel Gebler, Catuscia Palamidessi, Lili Xu |
Generalized Bisimulation Metrics. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Shibashis Guha, Chinmay Narayan, S. Arun-Kumar 0004 |
Reducing Clocks in Timed Automata while Preserving Bisimulation. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Holger Hermanns, Jan Krcál, Jan Kretínský |
Probabilistic Bisimulation: Naturally on Distributions. |
CONCUR |
2014 |
DBLP DOI BibTeX RDF |
|
15 | David Romero-Hernández, David de Frutos-Escrig |
Coinductive Definition of Distances between Processes: Beyond Bisimulation Distances. |
FORTE |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Bartosz Papis, Andrzej Pacut |
Neighbourhood approach to bisimulation in state abstraction for quantized domains. |
MMAR |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Martin Lange, Étienne Lozes |
Capturing Bisimulation-Invariant Complexity Classes with Higher-Order Modal Fixpoint Logic. |
IFIP TCS |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Mona Noori Hosseini, Bengt Lennartson |
Verification of diagnosability based on compositional branching bisimulation. |
ETFA |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Vedran Cacic, Domagoj Vrgoc |
A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic. |
Stud Logica |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Ping Liang |
A Bisimulation-based Hierarchical Framework for Software Development Models. |
J. Networks |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Vahid Hashemi, Holger Hermanns, Andrea Turrini |
On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Jintian Deng, Byron Choi, Jianliang Xu, Haibo Hu 0001, Sourav S. Bhowmick |
Incremental Maintenance of the Minimum Bisimulation of Cyclic Graphs. |
IEEE Trans. Knowl. Data Eng. |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Yuan Feng 0001, Lijun Zhang 0001 |
When Equivalence and Bisimulation Join Forces in Probabilistic Automata. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
15 | Antoine Girard |
A composition theorem for bisimulation functions |
CoRR |
2013 |
DBLP BibTeX RDF |
|
15 | Hans van Ditmarsch, Tim French 0002, Fernando R. Velázquez-Quesada, Yi Nicholas Wang |
Knowledge, Awareness, and Bisimulation. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
15 | Xian Xu 0001 |
On Context Bisimulation for Parameterized Higher-order Processes. |
ICE |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Ali Rezaei Divroodi, Linh Anh Nguyen |
Bisimulation-Based Comparisons for Interpretations in Description Logics |
CoRR |
2013 |
DBLP BibTeX RDF |
|
15 | Ahmet A. Husainov |
Homology and Bisimulation of Asynchronous Transition Systems and Petri Nets. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
15 | Konrad Kulakowski |
Concurrent bisimulation algorithm. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
15 | Petr Jancar |
Bisimulation equivalence of first-order grammars is Ackermann-hard. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
15 | Daniel Gebler, Simone Tini |
Compositionality of Approximate Bisimulation for Probabilistic Systems. |
EXPRESS/SOS |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Alberto Gatto |
Bisimulation and p-morphism for branching-time logics with indistinguishability relations |
CoRR |
2013 |
DBLP BibTeX RDF |
|
15 | Tin Perkov |
Tableau-based bisimulation invariance testing. |
Reports Math. Log. |
2013 |
DBLP BibTeX RDF |
|
15 | Malcolm Mumme, Gianfranco Ciardo |
An Efficient Fully Symbolic Bisimulation Algorithm for Non-Deterministic Systems. |
Int. J. Found. Comput. Sci. |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Changyan Zhou, Ratnesh Kumar 0001 |
Finite Bisimulation of Reactive Untimed Infinite State Systems Modeled as Automata With Variables. |
IEEE Trans Autom. Sci. Eng. |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Yongming Luo, George H. L. Fletcher, Jan Hidders, Yuqing Wu, Paul De Bra |
External memory K-bisimulation reduction of big graphs. |
CIKM |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Martin Otto 0001 |
Bisimulation and Coverings for Graphs and Hypergraphs. |
ICLA |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Martin Churchill, Peter D. Mosses |
Modular Bisimulation Theory for Computations and Values. |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Davide Pezzuti, Giordano Pola, Elena De Santis, Maria Domenica Di Benedetto |
A critical bisimulation approach to safety criticality analysis of large-scale Air Traffic Management systems. |
CDC |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Koichi Kobayashi, Yasuhito Fukui, Kunihiko Hiraishi |
Discrete abstraction for a class of stochastic hybrid systems based on bounded bisimulation. |
CDC |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Valentina Castiglioni, Ruggero Lanotte, Simone Tini |
A Rule Format for Rooted Branching Bisimulation. |
CS&P |
2013 |
DBLP BibTeX RDF |
|
15 | Thanh-Luong Tran, Quang-Thuy Ha, Thi-Lan-Giao Hoang, Linh Anh Nguyen, Hung Son Nguyen |
Bisimulation-Based Concept Learning in Description Logics. |
CS&P |
2013 |
DBLP BibTeX RDF |
|
15 | Alexander Schätzle, Antony Neu, Georg Lausen, Martin Przyjaciel-Zablocki |
Large-scale bisimulation of RDF graphs. |
SWIM@SIGMOD Conference |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Yongming Luo, George H. L. Fletcher, Jan Hidders, Paul De Bra, Yuqing Wu |
Regularities and dynamics in bisimulation reductions of big graphs. (PDF / PS) |
GRADES |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Hans van Ditmarsch, Tim French 0002, Fernando R. Velázquez-Quesada, Yì N. Wáng |
Knowledge, awareness, and bisimulation. |
TARK |
2013 |
DBLP BibTeX RDF |
|
15 | Felipe Martins dos Santos, Leliane Nunes de Barros, Mijail Gamarra Holguin |
Stochastic Bisimulation for MDPs Using Reachability Analysis. |
BRACIS |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Lei Song 0001, Lijun Zhang 0001, Holger Hermanns, Jens Chr. Godskesen |
Incremental Bisimulation Abstraction Refinement. |
ACSD |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Yongming Luo, Yannick de Lange, George H. L. Fletcher, Paul De Bra, Jan Hidders, Yuqing Wu |
Bisimulation Reduction of Big Graphs on MapReduce. |
BNCOD |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Guang Zheng, Zekun Ning, Junping Zhan, Kai Cui, Miao Jiang 0001, Cheng Lu 0008, Aiping Lu |
Bisimulation-based consistency checking on Feng-Han-Shi-Bi syndrome for rheumatoid arthritis. |
FSKD |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Thomas Given-Wilson, Daniele Gorla |
Pattern Matching and Bisimulation. |
COORDINATION |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Jörg Endrullis, Dimitri Hendriks, Martin Bodin |
Circular Coinduction in Coq Using Bisimulation-Up-To Techniques. |
ITP |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Vasileios Koutavas, Matthew Hennessy |
Symbolic Bisimulation for a Higher-Order Distributed Language with Passivation - (Extended Abstract). |
CONCUR |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Christian Dehnert, Joost-Pieter Katoen, David Parker 0001 |
SMT-Based Bisimulation Minimisation of Markov Models. |
VMCAI |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Tomoyuki Yokogawa, Sousuke Amasaki, Keisuke Okazaki, Yoichiro Sato, Kazutami Arimoto, Hisashi Miyazaki |
Consistency Verification of UML Diagrams Based on Process Bisimulation. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Ali Rezaei Divroodi, Linh Anh Nguyen |
Bisimulation-Based Comparisons for Interpretations in Description Logics. |
Description Logics |
2013 |
DBLP BibTeX RDF |
|
15 | Mahfuza Farooque, Stéphane Graham-Lengrand, Assia Mahboubi |
A bisimulation between DPLL(T) and a proof-search strategy for the focused sequent calculus. |
LFMTP |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Jurriaan Rot, Marcello M. Bonsangue, Jan J. M. M. Rutten |
Coalgebraic Bisimulation-Up-To. |
SOFSEM |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Zining Cao |
Normal Bisimulation for Higher Order Pi-Calculus with Unguarded Choice. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Masaki Murakami |
Congruent Bisimulation Equivalence of Ambient Calculus Based on Contextual Transition System. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Zining Cao |
Normal Bisimulation for Higher Order Pi-Calculus with Unguarded Choice. |
TASE |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch, Martin Holm Jensen |
Bisimulation for Single-Agent Plausibility Models. |
Australasian Conference on Artificial Intelligence |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Dimitrios Kouzapas |
A study of bisimulation theory for session types. |
|
2013 |
RDF |
|