Mojmír Křetínský

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A process algebra for synchronous concurrent constraint programming Algebraic and Logic Programming	2017-01-19	Paper
On Decidability of LTL+Past Model Checking for Process Rewrite Systems Electronic Notes in Theoretical Computer Science	2015-03-19	Paper
Effective translation of LTL to deterministic Rabin automata: beyond the \((\mathrm F,\mathrm G)\)-fragment Automated Technology for Verification and Analysis	2014-07-08	Paper
Comparison of LTL to Deterministic Rabin Automata Translators Logic for Programming, Artificial Intelligence, and Reasoning	2014-01-17	Paper
Refining the undecidability border of weak bisimilarity	2013-10-07	Paper
On extensions of process rewrite systems: rewrite systems with weak finite-state unit	2013-09-09	Paper
LTL to Büchi automata translation: fast and more deterministic Tools and Algorithms for the Construction and Analysis of Systems	2012-06-29	Paper
Reachability is decidable for weakly extended process rewrite systems Information and Computation	2009-06-11	Paper
On decidability of LTL model checking for process rewrite systems Acta Informatica	2009-03-26	Paper
On Decidability of LTL Model Checking for Process Rewrite Systems FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science	2008-04-17	Paper
Petri nets are less expressive than state-extended PA Theoretical Computer Science	2008-04-15	Paper
Model-Checking Large Finite-State Systems and Beyond Lecture Notes in Computer Science	2008-03-07	Paper
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science Lecture Notes in Computer Science	2006-11-14	Paper
scientific article; zbMATH DE number 2172791 (Why is no real title available?)	2005-10-07	Paper
CONCUR 2004 - Concurrency Theory Lecture Notes in Computer Science	2005-08-23	Paper
scientific article; zbMATH DE number 2080919 (Why is no real title available?)	2004-08-04	Paper
Comparing expressibility of normed BPA and normed BPP processes Acta Informatica	1999-11-29	Paper
scientific article; zbMATH DE number 1231554 (Why is no real title available?)	1998-12-20	Paper

Research outcomes over time

This page was built for person: Mojmír Křetínský