Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Toby Wilkinson |
A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation. |
MFPS |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Silvia Crafa, Francesco Ranzato |
Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation. |
Formal Methods Syst. Des. |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Antoine Girard |
Controller synthesis for safety and reachability via approximate bisimulation. |
Autom. |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Jia Liu, Huimin Lin |
A complete symbolic bisimulation for full applied pi calculus. |
Theor. Comput. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Hongyan Xing, Qiansheng Zhang, Kaisheng Huang |
Analysis and control of fuzzy discrete event systems using bisimulation equivalence. |
Theor. Comput. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Suzana Andova, Sonja Georgievska, Nikola Trcka |
Branching bisimulation congruence for probabilistic systems. |
Theor. Comput. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Vladimir A. Bashkin |
Approximating bisimulation in one-counter nets. |
Autom. Control. Comput. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Holger Hermanns, Andrea Turrini |
Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time |
CoRR |
2012 |
DBLP BibTeX RDF |
|
15 | Yuan Feng 0001, Yuxin Deng, Mingsheng Ying |
Symbolic bisimulation for quantum processes |
CoRR |
2012 |
DBLP BibTeX RDF |
|
15 | Yuxin Deng, Yuan Feng 0001 |
Open Bisimulation for Quantum Processes |
CoRR |
2012 |
DBLP BibTeX RDF |
|
15 | Marco Bernardo 0001 |
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes |
QAPL |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Johann Schuster, Markus Siegle |
Markov Automata: Deciding Weak Bisimulation by means of non-naively Vanishing States |
CoRR |
2012 |
DBLP BibTeX RDF |
|
15 | Jasen Markovski |
Scalable Minimization Algorithm for Partial Bisimulation |
WS-FMDS |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Lei Song 0001, Lijun Zhang 0001, Jens Chr. Godskesen |
Late Weak Bisimulation for Markov Automata |
CoRR |
2012 |
DBLP BibTeX RDF |
|
15 | Yongming Luo, George H. L. Fletcher, Jan Hidders, Yuqing Wu, Paul De Bra |
I/O-efficient algorithms for localized bisimulation partition construction and maintenance on massive graphs |
CoRR |
2012 |
DBLP BibTeX RDF |
|
15 | Bas Luttik |
Unique Parallel Decomposition in Branching and Weak Bisimulation Semantics |
CoRR |
2012 |
DBLP BibTeX RDF |
|
15 | Prithviraj Sen, Amol Deshpande, Lise Getoor |
Bisimulation-based Approximate Lifted Inference |
CoRR |
2012 |
DBLP BibTeX RDF |
|
15 | Antoine Girard |
Low-Complexity Quantized Switching Controllers using Approximate Bisimulation |
CoRR |
2012 |
DBLP BibTeX RDF |
|
15 | Diego Latella, Mieke Massink, Erik P. de Vink |
Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages |
ACCAT |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Pantelis E. Eleftheriou, Costas D. Koutras, Christos Nomikos |
Notions of Bisimulation for Heyting-Valued Modal Languages. |
J. Log. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Yuan Feng 0001, Runyao Duan, Mingsheng Ying |
Bisimulation for Quantum Processes. |
ACM Trans. Program. Lang. Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Hui Kang, Zhi Wang, Shuang Zhang, Fang Mei |
A New-type Pi Calculus with Buffers and Its Bisimulation. |
J. Comput. |
2012 |
DBLP BibTeX RDF |
|
15 | Davide Sangiorgi, Jan J. M. M. Rutten (eds.) |
Advanced Topics in Bisimulation and Coinduction. |
|
2012 |
DBLP BibTeX RDF |
|
15 | Quang-Thuy Ha, Thi-Lan-Giao Hoang, Linh Anh Nguyen, Hung Son Nguyen, Andrzej Szalas, Thanh-Luong Tran |
A bisimulation-based method of concept learning for knowledge bases in description logics. |
SoICT |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Gheorghe Comanici, Prakash Panangaden, Doina Precup |
On-the-Fly Algorithms for Bisimulation Metrics. |
QEST |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Mathias Hülsbusch, Barbara König 0001 |
Deriving Bisimulation Congruences for Conditional Reactive Systems. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Pedro R. D'Argenio, Matias David Lee |
Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation. |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Jelle Hellings, George H. L. Fletcher, Herman J. Haverkort |
Efficient external-memory bisimulation on DAGs. |
SIGMOD Conference |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Alessandro Petriccone, Giordano Pola, Maria Domenica Di Benedetto, Elena De Santis |
Safety criticality analysis of complex Air Traffic Management systems via compositional bisimulation. |
ADHS |
2012 |
DBLP DOI BibTeX RDF |
|
15 | David N. Jansen, Flemming Nielson, Lijun Zhang 0001 |
Belief Bisimulation for Hidden Markov Models - Logical Characterisation and Decision Algorithm. |
NASA Formal Methods |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Deepak D'Souza, K. R. Raghavendra |
Model-Checking Bisimulation-Based Information Flow Properties for Infinite State Systems. |
ESORICS |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Yuxin Deng, Yuan Feng 0001 |
Open Bisimulation for Quantum Processes. |
IFIP TCS |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Bas Luttik |
Unique Parallel Decomposition in Branching and Weak Bisimulation Semantics. |
IFIP TCS |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Cristian Gratie, Adina Magda Florea, John-Jules Ch. Meyer |
Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation. |
CLIMA |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Michael Katz 0001, Jörg Hoffmann 0001, Malte Helmert |
How to Relax a Bisimulation? |
ICAPS |
2012 |
DBLP BibTeX RDF |
|
15 | Holger Hermanns, Andrea Turrini |
Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time. |
FSTTCS |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Haiyu Pan, Min Zhang 0007, Yixiang Chen |
Bisimulation for Lattice-valued Transition Systems. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
15 | |
Bisimulation Equivalence. |
Encyclopedia of Parallel Computing |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Rob J. van Glabbeek |
Bisimulation. |
Encyclopedia of Parallel Computing |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii |
From Applicative to Environmental Bisimulation. |
MFPS |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Antoine Girard, George J. Pappas |
Approximate Bisimulation: A Bridge Between Computer Science and Control Theory. |
Eur. J. Control |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Julia M. B. Braman, Richard M. Murray |
Bisimulation conversion and verification procedure for goal-based control systems. |
Formal Methods Syst. Des. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Mathias Hülsbusch |
Application Conditions for Reactive Systems with Applications to Bisimulation Theory. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Géraud Sénizergues |
Jancar's formal system for deciding bisimulation of first-order grammars and its non-soundness |
CoRR |
2011 |
DBLP BibTeX RDF |
|
15 | Yuxin Deng, Wenjie Du |
Logical, Metric, and Algorithmic Characterisations of Probabilistic Bisimulation |
CoRR |
2011 |
DBLP BibTeX RDF |
|
15 | Jelle Hellings, George H. L. Fletcher, Herman J. Haverkort |
I/O efficient bisimulation partitioning on very large directed acyclic graphs |
CoRR |
2011 |
DBLP BibTeX RDF |
|
15 | Yajuan Sun, Hai Lin 0002, Ben M. Chen |
Decentralized Supervisory Control of Discrete Event Systems for Bisimulation Equivalence |
CoRR |
2011 |
DBLP BibTeX RDF |
|
15 | Sam Staton |
Relating coalgebraic notions of bisimulation |
Log. Methods Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Domagoj Vrgoc, Mladen Vukovic |
Bisimulation quotients of Veltman models. |
Reports Math. Log. |
2011 |
DBLP BibTeX RDF |
|
15 | Pedro Sánchez Terraf |
Unprovability of the logical characterization of bisimulation. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Norm Ferns, Prakash Panangaden, Doina Precup |
Bisimulation Metrics for Continuous Markov Decision Processes. |
SIAM J. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Geoff W. Hamilton, Neil D. Jones |
Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation. |
Ershov Memorial Conference |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Marco Bernardo 0001 |
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes. |
TGC |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Yuan Feng 0001, Runyao Duan, Mingsheng Ying |
Bisimulation for quantum processes. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Silvia Crafa, Francesco Ranzato |
Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation. |
ICALP (2) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Rodica Ceterchi, Alexandru Ioan Tomescu |
Computing the Maximum Bisimulation with Spiking Neural P Systems. |
Computation, Cooperation, and Life |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Ilya Tkachev, Alessandro Abate |
On infinite-horizon probabilistic properties and stochastic bisimulation functions. |
CDC/ECC |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Gheorghe Comanici, Doina Precup |
Basis Function Discovery Using Spectral Clustering and Bisimulation Metrics. |
AAAI |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Pablo Samuel Castro, Doina Precup |
Automatic Construction of Temporally Extended Actions for MDPs Using Bisimulation Metrics. |
EWRL |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Jintian Deng, Byron Choi, Jianliang Xu, Sourav S. Bhowmick |
Optimizing Incremental Maintenance of Minimal Bisimulation of Cyclic Graphs. |
DASFAA (1) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Wojciech Czerwinski, Piotr Hofman, Slawomir Lasota 0001 |
Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Malcolm Mumme, Gianfranco Ciardo |
A Fully Symbolic Bisimulation Algorithm. |
RP |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Martin Otto 0001 |
The Freedoms of Guarded Bisimulation. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Raz Nissim, Jörg Hoffmann 0001, Malte Helmert |
Computing Perfect Heuristics in Polynomial Time: On Bisimulation and Merge-and-Shrink Abstraction in Optimal Planning. |
IJCAI |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Haiyu Pan, Min Zhang 0007, Yixiang Chen, Hengyang Wu |
Approximate Bisimulation for Metric Doubly Labeled Transition System. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Gheorghe Comanici, Doina Precup |
Basis Function Discovery Using Spectral Clustering and Bisimulation Metrics. |
ALA |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Gheorghe Comanici, Doina Precup |
Basis function discovery using spectral clustering and bisimulation metrics. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
15 | Julian Gutierrez 0001 |
On bisimulation and model-checking for concurrent systems with partial order semantics. |
|
2011 |
RDF |
|
15 | Alwen Tiu, Dale Miller 0001 |
Proof search specifications of bisimulation and modal logics for the pi-calculus. |
ACM Trans. Comput. Log. |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Eijiro Sumii |
A bisimulation-like proof method for contextual properties in untyped lambda-calculus with references and deallocation. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina |
Weak bisimulation for Probabilistic Timed Automata. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Pedro Sánchez Terraf |
Unprovability of the Logical Characterization of Bisimulation |
CoRR |
2010 |
DBLP BibTeX RDF |
|
15 | Antoine Girard |
Controller Synthesis for Safety and Reachability via Approximate Bisimulation |
CoRR |
2010 |
DBLP BibTeX RDF |
|
15 | Yuan Feng 0001, Runyao Duan, Mingsheng Ying |
Bisimulation for quantum processes |
CoRR |
2010 |
DBLP BibTeX RDF |
|
15 | Ian M. Hodkinson, Hicham Tahiri |
A Bisimulation characterization Theorem for Hybrid Logic with the current-State Binder. |
Rev. Symb. Log. |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan |
Symbolic bisimulation for the applied pi calculus. |
J. Comput. Secur. |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Domagoj Vrgoc, Mladen Vukovic |
Bisimulations and bisimulation quotients of generalized Veltman models. |
Log. J. IGPL |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Sibylle B. Fröschle, Petr Jancar, Slawomir Lasota 0001, Zdenek Sawa |
Non-interleaving bisimulation equivalences on Basic Parallel Processes. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Josée Desharnais, Vineet Gupta 0001, Radha Jagadeesan, Prakash Panangaden |
Weak bisimulation is sound and complete for pCTL*. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii |
Limitations of Applicative Bisimulation (Preliminary Report). |
Modelling, Controlling and Reasoning About State |
2010 |
DBLP BibTeX RDF |
|
15 | Pablo F. Castro, T. S. E. Maibaum |
Characterizing Locality (Encapsulation) with Bisimulation. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Roland Glück, Bernhard Möller, Michel Sintzoff |
Model Refinement Using Bisimulation Quotients. |
AMAST |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Natalya Gribovskaya, Irina B. Virbitskaite |
A Categorical View of Timed Weak Bisimulation. |
TAMC |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Shun-Ichi Azuma, George J. Pappas |
Discrete abstraction of stochastic nonlinear systems: A bisimulation function approach. |
ACC |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Manfred Broy |
Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence. |
Concurrency, Compositionality, and Correctness |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Ralf Wimmer 0001, Bernd Becker 0001 |
Correctness Issues of Symbolic Bisimulation Computation for Markov Chains. |
MMB/DFT |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Xiaocong Zhou, Yongji Li, Wenjun Li, Hai-Yan Qiao, Zhongmei Shu |
Bisimulation Proof Methods in a Path-Based Specification Language for Polynomial Coalgebras. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Nils Grimsmo, Truls Amundsen Bjørklund, Magnus Lie Hetland |
Linear Computation of the Maximum Simultaneous Forward and Backward Bisimulation for Node-Labeled Trees. |
XSym |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Mouhebeddine Berrima, Narjes Ben Rajeb |
Linking Algebraic Observational Equivalence and Bisimulation. |
Developments in Language Theory |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Pablo Samuel Castro, Doina Precup |
Using Bisimulation for Policy Transfer in MDPs. |
AAAI |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Guang Zheng, Xiaojuan He, Miao Jiang 0001, Aiping Lu |
Goal based bisimulation for testing therapies in traditional Chinese medicine. |
BIBM Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Jia Liu, Huimin Lin |
A Complete Symbolic Bisimulation for Full Applied Pi Calculus. |
SOFSEM |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Mathias Hülsbusch |
Bisimulation Theory for Graph Transformation Systems. |
ICGT |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Jeremy Sproston, Angelo Troina |
Simulation and Bisimulation for Probabilistic Timed Automata. |
FORMATS |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Pablo Samuel Castro, Doina Precup |
Using bisimulation for policy transfer in MDPs. |
AAMAS |
2010 |
DBLP BibTeX RDF |
|
15 | Johanna Högberg, Andreas Maletti, Heiko Vogler |
Bisimulation Minimisation of Weighted Automata on Unranked Trees. |
Fundam. Informaticae |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Natalya Gribovskaya, Irina B. Virbitskaite |
Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems. |
Fundam. Informaticae |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Sibylle B. Fröschle, Slawomir Lasota 0001 |
Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences. |
INFINITY |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Yanfang Ma, Min Zhang 0007 |
Topological Construction of Parameterized Bisimulation Limit. |
ISDT |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Johanna Högberg, Andreas Maletti, Jonathan May |
Backward and forward bisimulation minimization of tree automata. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|