×

zbMATH — the first resource for mathematics

Jacobsen, Lasse

Compute Distance To:
Author ID: jacobsen.lasse Recent zbMATH articles by "Jacobsen, Lasse"
Published as: Jacobsen, Lasse; Jacobsen, L.
Documents Indexed: 5 Publications since 1989, including 1 Book

Publications by Year

Citations contained in zbMATH Open

5 Publications have been cited 13 times in 10 Documents Cited by Year
Verification of timed-arc Petri nets. Zbl 1298.68175
Jacobsen, Lasse; Jacobsen, Morten; Møller, Mikael H.; Srba, Jiří
6
2011
TAPAAL 2.0: integrated development environment for timed-arc Petri nets. Zbl 1352.68181
David, Alexandre; Jacobsen, Lasse; Jacobsen, Morten; Jørgensen, Kenneth Yrke; Møller, Mikael H.; Srba, Jiří
4
2012
Undecidability of coverability and boundedness for timed-arc Petri nets with invariants. Zbl 1247.68186
Jacobsen, Lasse; Jacobsen, Morten; Møller, Mikael H.
1
2009
TCTL-preserving translations from timed-arc Petri nets to networks of timed automata. Zbl 1359.68216
Byg, Joakim; Jacobsen, Morten; Jacobsen, Lasse; Jørgensen, Kenneth Yrke; Møller, Mikael Harkjær; Srba, Jiří
1
2014
Analytic theory of continued fractions III. Proceedings of a seminar- workshop, held in Redstone/CO, USA, June 26-July 5, 1988. Zbl 0678.00011
Jacobsen, L. (ed.)
1
1989
TCTL-preserving translations from timed-arc Petri nets to networks of timed automata. Zbl 1359.68216
Byg, Joakim; Jacobsen, Morten; Jacobsen, Lasse; Jørgensen, Kenneth Yrke; Møller, Mikael Harkjær; Srba, Jiří
1
2014
TAPAAL 2.0: integrated development environment for timed-arc Petri nets. Zbl 1352.68181
David, Alexandre; Jacobsen, Lasse; Jacobsen, Morten; Jørgensen, Kenneth Yrke; Møller, Mikael H.; Srba, Jiří
4
2012
Verification of timed-arc Petri nets. Zbl 1298.68175
Jacobsen, Lasse; Jacobsen, Morten; Møller, Mikael H.; Srba, Jiří
6
2011
Undecidability of coverability and boundedness for timed-arc Petri nets with invariants. Zbl 1247.68186
Jacobsen, Lasse; Jacobsen, Morten; Møller, Mikael H.
1
2009
Analytic theory of continued fractions III. Proceedings of a seminar- workshop, held in Redstone/CO, USA, June 26-July 5, 1988. Zbl 0678.00011
Jacobsen, L.
1
1989

Citations by Year