You are here: Faculty of Informatics » Research and Development » Technical Reports » List by Author

Technical Reports

A list sorted by author - J

Jean-Marie Jacquet

e-mail:
jmj(a)info.fundp.ac.be

A Fully Abstract Semantics for a Version of Synchronous Concurrent Constraint Programming

by Jean-Marie Jacquet, Luboš Brim, David Gilbert, Mojmír Křetínský, December 1999, 62 pages.

FIMU-RS-99-08. Abstract, Postscript, PDF.

Petr Jančar

e-mail:
jancar(a)osu.cz

Reachability Games on Extended Vector Addition Systems with States

by Tomáš Brázdil, Petr Jančar, Antonín Kučera, February 2010, 38 pages.

FIMU-RS-2010-02. Abstract, Postscript, PDF.

MFCS`98 Workshop on Concurrency - Preproceedings

by Petr Jančar, Mojmír Křetínský, Pre-proceedings of the MFCS`98 Workshop on Concurrency (the PS file is NOT provided, as it is too large (approx. 30MB); take pdf (3.5 MB) instead). July 1998, 209 pages.

FIMU-RS-98-06. Abstract, Postscript, PDF.

Bisimulation Equivalence is Decidable for One-Counter Processes

by Petr Jančar, Accepted for presentation at the 24th International Colloquium on Automata, Languages, and Programming (ICALP`97). May 1997, 13 pages.

FIMU-RS-97-06. Abstract, Postscript, PDF.

Bisimilarity of Processes with Finite-state Systems

by Petr Jančar, Antonín Kučera, These results will be presented at INFINITY`97 workshop. May 1997, 19 pages.

FIMU-RS-97-02. Abstract, Postscript, PDF.

Kenneth Yrke Joergensen

e-mail:
kyrke(a)cs.aau.dk

An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata

by Joakim Byg, Kenneth Yrke Joergensen, Jiří Srba, A full version of the paper presented at ICFEM`09. October 2009, 29 pages.

FIMU-RS-2009-06. Abstract, Postscript, PDF.