Old Web
English
Sign In
Acemap
>
authorDetail
>
Lukasz Fronc
Lukasz Fronc
University of Évry Val d'Essonne
Computer science
Petri net
Theoretical computer science
State space
Programming language
5
Papers
27
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Building Petri nets tools around Neco compiler
2013
Lukasz Fronc
Franck Pommereau
Show All
Source
Cite
Save
Citations (4)
Model Checking Contest @ Petri Nets‚ Report on the 2013 edition
2013
arXiv: Software Engineering
Fabrice Kordon
Alban Linard
Marco Beccuti
Didier Buchs
Lukasz Fronc
Lom Messan Hillah
Francis Hulin-Hubard
Fabrice Legond-Aubry
Niels Lohmann
Alexis Marechal
Emmanuel Paviot-Adet
Franck Pommereau
César Rodríguez
Christian Rohr
Yann Thierry-Mieg
Harro Wimmel
Karsten Wolf
Show All
Source
Cite
Save
Citations (8)
Raw Report on the Model Checking Contest at Petri Nets 2012
2012
arXiv: Software Engineering
Fabrice Kordon
Alban Linard
Didier Buchs
Maximilien Colange
Sami Evangelista
Lukasz Fronc
Lom Messan Hillah
Niels Lohmann
Emmanuel Paviot-Adet
Franck Pommereau
Christian Rohr
Yann Thierry-Mieg
Harro Wimmel
Karsten Wolf
Show All
Source
Cite
Save
Citations (9)
Towards a certified petri net model-checker
2011
APLAS | Asian Symposium on Programming Languages and Systems
Lukasz Fronc
Franck Pommereau
Show All
Source
Cite
Save
Citations (3)
Optimising the compilation of Petri net models
2011
Lukasz Fronc
Franck Pommereau
Show All
Source
Cite
Save
Citations (3)
1