Search results for "bisimulation"

Hits ?▲	Authors	Title	Venue	Year	Link
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