×

zbMATH — the first resource for mathematics

Kristensen, Lars Michael

Compute Distance To:
Author ID: kristensen.lars-michael Recent zbMATH articles by "Kristensen, Lars Michael"
Published as: Kristensen, L.; Kristensen, L. M.; Kristensen, Lars M.; Kristensen, Lars Michael
Documents Indexed: 34 Publications since 1996, including 7 Books

Publications by Year

Citations contained in zbMATH

13 Publications have been cited 55 times in 44 Documents Cited by Year
Coloured Petri nets. Modeling and validation of concurrent systems. Zbl 1215.68153
Jensen, Kurt; Kristensen, Lars M.
31
2009
The practitioner’s guide to coloured Petri nets. Zbl 1033.68590
Kristensen, Lars M.; Christensen, Søren; Jensen, Kurt
5
1998
A sweep-line method for state space exploration. Zbl 0978.68547
Christensen, Søren; Kristensen, Lars Michael; Mailund, Thomas
4
2001
Question-guided stubborn set methods for state properties. Zbl 1109.68075
Kristensen, L. M.; Schmidt, K.; Valmari, A.
3
2006
Applications of coloured Petri nets for functional validation of protocol designs. Zbl 1382.68151
Kristensen, Lars M.; Simonsen, Kent Inge Fagerland
2
2013
Application of coloured Petri nets in system development. Zbl 1088.68664
Kristensen, Lars Michael; Jørgensen, Jens Bæk; Jensen, Kurt
2
2004
Improved question-guided stubborn set methods for state properties. Zbl 0986.68083
Kristensen, Lars Michael; Valmari, Antti
2
2000
The ComBack method revisited: caching strategies and extension with delayed duplicate detection. Zbl 1266.68048
Evangelista, Sami; Westergaard, Michael; Kristensen, Lars M.
1
2009
The ComBack method – extending hash compaction with backtracking. Zbl 1226.68066
Westergaard, Michael; Kristensen, Lars Michael; Brodal, Gerth Stølting; Arge, Lars
1
2007
A generalised sweep-line method for safety properties. Zbl 1064.68553
Kristensen, Lars Michael; Mailund, Thomas
1
2002
Verification of a revised WAP wireless transaction protocol. Zbl 1047.68508
Gordon, Steven; Kristensen, Lars Michael; Billington, Jonathan
1
2002
A compositional sweep-line state space exploration method. Zbl 1037.68515
Kristensen, Lars Michael; Mailund, Thomas
1
2002
Condensed state spaces for timed Petri nets. Zbl 0986.68076
Christensen, Søren; Kristensen, Lars Michael; Mailund, Thomas
1
2001
Applications of coloured Petri nets for functional validation of protocol designs. Zbl 1382.68151
Kristensen, Lars M.; Simonsen, Kent Inge Fagerland
2
2013
Coloured Petri nets. Modeling and validation of concurrent systems. Zbl 1215.68153
Jensen, Kurt; Kristensen, Lars M.
31
2009
The ComBack method revisited: caching strategies and extension with delayed duplicate detection. Zbl 1266.68048
Evangelista, Sami; Westergaard, Michael; Kristensen, Lars M.
1
2009
The ComBack method – extending hash compaction with backtracking. Zbl 1226.68066
Westergaard, Michael; Kristensen, Lars Michael; Brodal, Gerth Stølting; Arge, Lars
1
2007
Question-guided stubborn set methods for state properties. Zbl 1109.68075
Kristensen, L. M.; Schmidt, K.; Valmari, A.
3
2006
Application of coloured Petri nets in system development. Zbl 1088.68664
Kristensen, Lars Michael; Jørgensen, Jens Bæk; Jensen, Kurt
2
2004
A generalised sweep-line method for safety properties. Zbl 1064.68553
Kristensen, Lars Michael; Mailund, Thomas
1
2002
Verification of a revised WAP wireless transaction protocol. Zbl 1047.68508
Gordon, Steven; Kristensen, Lars Michael; Billington, Jonathan
1
2002
A compositional sweep-line state space exploration method. Zbl 1037.68515
Kristensen, Lars Michael; Mailund, Thomas
1
2002
A sweep-line method for state space exploration. Zbl 0978.68547
Christensen, Søren; Kristensen, Lars Michael; Mailund, Thomas
4
2001
Condensed state spaces for timed Petri nets. Zbl 0986.68076
Christensen, Søren; Kristensen, Lars Michael; Mailund, Thomas
1
2001
Improved question-guided stubborn set methods for state properties. Zbl 0986.68083
Kristensen, Lars Michael; Valmari, Antti
2
2000
The practitioner’s guide to coloured Petri nets. Zbl 1033.68590
Kristensen, Lars M.; Christensen, Søren; Jensen, Kurt
5
1998
all top 5

Cited by 116 Authors

3 Kristensen, Lars Michael
3 Lomazova, Irina A.
2 Baez, John C.
2 Dworzański, Leonid W.
2 Nepomniaschy, Valery A.
2 Szpyrka, Marcin
2 Wolf, Karsten
1 Aćimović, Teodora
1 Ahmad, Farooq
1 Akhtar Khan, Naeem
1 André, Étienne
1 Andrews, John D.
1 Argirov, V. S.
1 Baldan, Paolo
1 Bandyopadhyay, Soumyadip
1 Bashirov, Rza
1 Bashkin, Vladimir A.
1 Beloglazov, D. M.
1 Benmoussa, Mohamed Mahdi
1 Bønneland, Frederik M.
1 Bruni, Roberto
1 Bystrov, Aleksandr V.
1 Cambronero, María Emilia
1 Carvalho, Rafael V.
1 Chetvertakov, E. A.
1 Choppy, Christine
1 Chung, Lawrence M. L.
1 Churina, T. G.
1 Corradini, Andrea
1 Crespi, Valentino
1 Cui, Yidong
1 Dashti, M. Torabi
1 Dellnitz, Michael
1 Diaz, Gregorio
1 Ding, Zhijun
1 Dyhr, Jakob
1 Essani, Furqan Hussain
1 Fang, Xianwen
1 Gadducci, Fabio
1 Garrido, José Luis
1 Glybovets’, Mykola M.
1 Gratie, Cristian
1 Gratie, Diana-Elena
1 Haider, Sajjad A.
1 Heath, Allison P.
1 Heiner, Monika
1 Herajy, Mostafa
1 Hessel-von Molo, Mirko
1 Hlomozda, D. K.
1 Hurtado, María V.
1 Jasiul, Bartosz
1 Jensen, Kurt
1 Jensen, Peter Gjøl
1 Johannsen, Mads
1 Júlvez, Jorge
1 Kavraki, Lydia E.
1 Khan, Sher Afzal
1 Kim, Deok-Soo
1 Kleijn, Jetty H. C. M.
1 Lee, Byunghoon
1 Li, Jing
1 Liu, Fei
1 Liu, Jing
1 Liu, Junxian
1 Liu, Lin
1 Ma, Yan
1 Macià, Hermenegilda
1 Maggi, Fabrizio M.
1 Mahulea, Cristian
1 Mailund, Thomas
1 Makajić-Nikolić, Dragana
1 Maksymets, O. M.
1 Mandal, Chittaranjan
1 Martí-Oliet, Narcisco
1 Martín, Óscar
1 Master, Jade
1 Meijer, Annemarie H.
1 Melgratti, Hernán
1 Meling, Hein
1 Meyer, Anne
1 Montali, Marco
1 Montanari, Ugo G.
1 Neves, Luís Costa
1 Noguera, Manuel
1 Pardo, Juan José
1 Philippou, Anna
1 Pollard, Blake S.
1 Psara, Kyriaki
1 Rama, Dovile
1 Rivkin, Andrey
1 Rodríguez, María Luisa
1 Sarkar, Dipankar
1 Savić, Gordana
1 Siegel, Stephen F.
1 Šiljak, Harun
1 Silva, Manuel Americo G.
1 Silva, Manuel M.
1 Srba, Jiří
1 Stenenko, A. A.
1 Stolz, Volker
...and 16 more Authors

Citations by Year