Mojmír Křetínský

From MaRDI portal
Revision as of 17:09, 12 December 2023 by AuthorDisambiguator (talk | contribs) (AuthorDisambiguator moved page Mojmír Křetínský to Mojmír Křetínský: Duplicate)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:1006888

Available identifiers

zbMath Open kretinsky.mojmirMaRDI QIDQ1006888

List of research outcomes





PublicationDate of PublicationType
A process algebra for synchronous concurrent constraint programming2017-01-19Paper
On Decidability of LTL+Past Model Checking for Process Rewrite Systems2015-03-19Paper
Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment2014-07-08Paper
Comparison of LTL to Deterministic Rabin Automata Translators2014-01-17Paper
https://portal.mardi4nfdi.de/entity/Q28520142013-10-07Paper
https://portal.mardi4nfdi.de/entity/Q28474152013-09-09Paper
LTL to Büchi Automata Translation: Fast and More Deterministic2012-06-29Paper
Reachability is decidable for weakly extended process rewrite systems2009-06-11Paper
On decidability of LTL model checking for process rewrite systems2009-03-26Paper
On Decidability of LTL Model Checking for Process Rewrite Systems2008-04-17Paper
Petri nets are less expressive than state-extended PA2008-04-15Paper
Model-Checking Large Finite-State Systems and Beyond2008-03-07Paper
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science2006-11-14Paper
https://portal.mardi4nfdi.de/entity/Q46801782005-10-07Paper
CONCUR 2004 - Concurrency Theory2005-08-23Paper
https://portal.mardi4nfdi.de/entity/Q44739852004-08-04Paper
Comparing expressibility of normed BPA and normed BPP processes1999-11-29Paper
https://portal.mardi4nfdi.de/entity/Q42228691998-12-20Paper

Research outcomes over time

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1006888&oldid=10942013"
Powered by MediaWiki