Technical Reports

A list sorted by author - J

Lasse Jacobsen

e-mail:
ljacob09(a)student.aau.dk

A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking

by Lasse Jacobsen, Morten Jacobsen, Mikael Moeller, Jiří Srba, A full version of the paper presented at EPEW`10. August 2010, 34 pages.

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

Morten Jacobsen

e-mail:
mjacob09(a)student.aau.dk

A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking

by Lasse Jacobsen, Morten Jacobsen, Mikael Moeller, Jiří Srba, A full version of the paper presented at EPEW`10. August 2010, 34 pages.

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

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, A full version of the paper presented at ICALP 2010. 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.

Petr Jarušek

e-mail:
zblebt(a)mail.muni.cz

Human Problem Solving: Sokoban Case Study

by Petr Jarušek, Radek Pelánek, April 2010, 25 pages.

FIMU-RS-2010-01. 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.

Responsible contact: unix(atsign)fi(dot)muni(dot)cz