Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Thomas Hujsa
@inproceedings{DBLP:conf/tacas/AmatDH22,
author = {Nicolas Amat and
Silvano Dal{-}Zilio and
Thomas Hujsa},
editor = {Dana Fisman and
Grigore Rosu},
title = {Property Directed Reachability for Generalized Petri Nets},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 28th International Conference, {TACAS} 2022, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13243},
pages = {505--523},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99524-9\_28},
doi = {10.1007/978-3-030-99524-9\_28},
timestamp = {Fri, 29 Apr 2022 14:50:36 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AmatDH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-03043,
author = {Nicolas Amat and
Silvano Dal{-}Zilio and
Thomas Hujsa},
title = {Property Directed Reachability for Generalized Petri Nets},
journal = {CoRR},
volume = {abs/2208.03043},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.03043},
doi = {10.48550/ARXIV.2208.03043},
eprinttype = {arXiv},
eprint = {2208.03043},
timestamp = {Wed, 10 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-03043.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/DevillersEH21,
author = {Raymond R. Devillers and
Evgeny Erofeev and
Thomas Hujsa},
title = {Efficient Synthesis of Weighted Marked Graphs with Circular Reachability
Graph, and Beyond},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {15},
pages = {75--100},
year = {2021},
url = {https://doi.org/10.1007/978-3-662-63079-2\_4},
doi = {10.1007/978-3-662-63079-2\_4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/DevillersEH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-04818,
author = {Thomas Hujsa and
Bernard Berthomieu and
Silvano Dal{-}Zilio and
Didier Le Botlan},
title = {On the Petri Nets with a Single Shared Place and Beyond},
journal = {CoRR},
volume = {abs/2005.04818},
year = {2020},
url = {https://arxiv.org/abs/2005.04818},
eprinttype = {arXiv},
eprint = {2005.04818},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-04818.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-05600,
author = {Thomas Hujsa and
Bernard Berthomieu and
Silvano Dal{-}Zilio and
Didier Le Botlan},
title = {Checking marking reachability with the state equation in Petri net
subclasses},
journal = {CoRR},
volume = {abs/2006.05600},
year = {2020},
url = {https://arxiv.org/abs/2006.05600},
eprinttype = {arXiv},
eprint = {2006.05600},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-05600.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DevillersH19,
author = {Raymond R. Devillers and
Thomas Hujsa},
title = {Analysis and Synthesis of Weighted Marked Graph Petri Nets: Exact
and Approximate Methods},
journal = {Fundam. Informaticae},
volume = {169},
number = {1-2},
pages = {1--30},
year = {2019},
url = {https://doi.org/10.3233/FI-2019-1837},
doi = {10.3233/FI-2019-1837},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DevillersH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/DevillersEH19,
author = {Raymond R. Devillers and
Evgeny Erofeev and
Thomas Hujsa},
title = {Synthesis of Weighted Marked Graphs from Constrained Labelled Transition
Systems: {A} Geometric Approach},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {14},
pages = {172--191},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-60651-3\_7},
doi = {10.1007/978-3-662-60651-3\_7},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/DevillersEH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DevillersEH19,
author = {Raymond R. Devillers and
Evgeny Erofeev and
Thomas Hujsa},
editor = {Wil M. P. van der Aalst and
Robin Bergenthum and
Josep Carmona},
title = {Synthesis of Weighted Marked Graphs from Circular Labelled Transition
Systems},
booktitle = {Proceedings of the International Workshop on Algorithms {\&} Theories
for the Analysis of Event Data 2019 Satellite event of the conferences:
40th International Conference on Application and Theory of Petri Nets
and Concurrency Petri Nets 2019 and 19th International Conference
on Application of Concurrency to System Design {ACSD} 2019, ATAED@Petri
Nets/ACSD 2019, Aachen, Germany, June 25, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2371},
pages = {6--22},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2371/ATAED2019-6-22.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/DevillersEH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-14387,
author = {Raymond R. Devillers and
Evgeny Erofeev and
Thomas Hujsa},
title = {Efficient Synthesis of Weighted Marked Graphs with Circular Reachability
Graph, and Beyond},
journal = {CoRR},
volume = {abs/1910.14387},
year = {2019},
url = {http://arxiv.org/abs/1910.14387},
eprinttype = {arXiv},
eprint = {1910.14387},
timestamp = {Mon, 04 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-14387.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-00474,
author = {Raymond R. Devillers and
Evgeny Erofeev and
Thomas Hujsa},
title = {Synthesis of Weighted Marked Graphs from Constrained Labelled Transition
Systems: {A} Geometric Approach},
journal = {CoRR},
volume = {abs/1911.00474},
year = {2019},
url = {http://arxiv.org/abs/1911.00474},
eprinttype = {arXiv},
eprint = {1911.00474},
timestamp = {Mon, 11 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-00474.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HujsaD18,
author = {Thomas Hujsa and
Raymond R. Devillers},
title = {On Deadlockability, Liveness and Reversibility in Subclasses of Weighted
Petri Nets},
journal = {Fundam. Informaticae},
volume = {161},
number = {4},
pages = {383--421},
year = {2018},
url = {https://doi.org/10.3233/FI-2018-1708},
doi = {10.3233/FI-2018-1708},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/HujsaD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BestHW18,
author = {Eike Best and
Thomas Hujsa and
Harro Wimmel},
title = {Sufficient conditions for the marked graph realisability of labelled
transition systems},
journal = {Theor. Comput. Sci.},
volume = {750},
pages = {101--116},
year = {2018},
url = {https://doi.org/10.1016/j.tcs.2017.10.006},
doi = {10.1016/J.TCS.2017.10.006},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BestHW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DevillersH18,
author = {Raymond R. Devillers and
Thomas Hujsa},
editor = {Victor Khomenko and
Olivier H. Roux},
title = {Analysis and Synthesis of Weighted Marked Graph Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International
Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10877},
pages = {19--39},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4\_2},
doi = {10.1007/978-3-319-91268-4\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/DevillersH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DevillersEH18,
author = {Raymond R. Devillers and
Evgeny Erofeev and
Thomas Hujsa},
editor = {Wil M. P. van der Aalst and
Robin Bergenthum and
Josep Carmona},
title = {Synthesis of Weighted Marked Graphs from Constrained Labelled Transition
Systems},
booktitle = {Proceedings of the International Workshop on Algorithms {\&} Theories
for the Analysis of Event Data 2018 Satellite event of the conferences:
39th International Conference on Application and Theory of Petri Nets
and Concurrency Petri Nets 2018 and 18th International Conference
on Application of Concurrency to System Design {ACSD} 2018, Bratislava,
Slovakia, June 25, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2115},
pages = {75--90},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2115/ATAED2018-75-90.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/DevillersEH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BrunelCCHMT18,
author = {Julien Brunel and
David Chemouil and
Alcino Cunha and
Thomas Hujsa and
Nuno Macedo and
Jeanne Tawa},
editor = {Michael J. Butler and
Alexander Raschke and
Thai Son Hoang and
Klaus Reichl},
title = {Proposition of an Action Layer for Electrum},
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International
Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10817},
pages = {397--402},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91271-4\_30},
doi = {10.1007/978-3-319-91271-4\_30},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/BrunelCCHMT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HujsaD17,
author = {Thomas Hujsa and
Raymond R. Devillers},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {On Liveness and Deadlockability in Subclasses of Weighted Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 38th International
Conference, {PETRI} {NETS} 2017, Zaragoza, Spain, June 25-30, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10258},
pages = {267--287},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57861-3\_16},
doi = {10.1007/978-3-319-57861-3\_16},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/HujsaD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HujsaDK16,
author = {Thomas Hujsa and
Jean{-}Marc Delosme and
Alix Munier Kordon},
title = {On Liveness and Reversibility of Equal-Conflict Petri Nets},
journal = {Fundam. Informaticae},
volume = {146},
number = {1},
pages = {83--119},
year = {2016},
url = {https://doi.org/10.3233/FI-2016-1376},
doi = {10.3233/FI-2016-1376},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/HujsaDK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HujsaDK15,
author = {Thomas Hujsa and
Jean{-}Marc Delosme and
Alix Munier Kordon},
editor = {Raymond R. Devillers and
Antti Valmari},
title = {On the Reversibility of Live Equal-Conflict Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 36th International
Conference, {PETRI} {NETS} 2015, Brussels, Belgium, June 21-26, 2015,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9115},
pages = {234--253},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19488-2\_12},
doi = {10.1007/978-3-319-19488-2\_12},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/HujsaDK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Hujsa14,
author = {Thomas Hujsa},
title = {Contribution to the study of weighted Petri nets. (Contribution {\`{a}}
l'{\'{e}}tude des r{\'{e}}seaux de Petri g{\'{e}}n{\'{e}}ralis{\'{e}}s)},
school = {Pierre and Marie Curie University, Paris, France},
year = {2014},
url = {https://tel.archives-ouvertes.fr/tel-01127406},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Hujsa14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/HujsaDK14,
author = {Thomas Hujsa and
Jean{-}Marc Delosme and
Alix Munier Kordon},
title = {Polynomial Sufficient Conditions of Well-Behavedness and Home Markings
in Subclasses of Weighted Petri Nets},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {13},
number = {4s},
pages = {141:1--141:25},
year = {2014},
url = {https://doi.org/10.1145/2627349},
doi = {10.1145/2627349},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/HujsaDK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HujsaDK14,
author = {Thomas Hujsa and
Jean{-}Marc Delosme and
Alix Munier Kordon},
editor = {Gianfranco Ciardo and
Ekkart Kindler},
title = {On the Reversibility of Well-Behaved Weighted Choice-Free Systems},
booktitle = {Application and Theory of Petri Nets and Concurrency - 35th International
Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8489},
pages = {334--353},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07734-5\_18},
doi = {10.1007/978-3-319-07734-5\_18},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/HujsaDK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/DelosmeHK13,
author = {Jean{-}Marc Delosme and
Thomas Hujsa and
Alix Munier Kordon},
editor = {Josep Carmona and
Mihai T. Lazarescu and
Marta Pietkiewicz{-}Koutny},
title = {Polynomial Sufficient Conditions of Well-Behavedness for Weighted
Join-Free and Choice-Free Systems},
booktitle = {13th International Conference on Application of Concurrency to System
Design, {ACSD} 2013, Barcelona, Spain, 8-10 July, 2013},
pages = {90--99},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ACSD.2013.12},
doi = {10.1109/ACSD.2013.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/DelosmeHK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/BenazouzKHB13,
author = {Mohamed Benazouz and
Alix Munier Kordon and
Thomas Hujsa and
Bruno Bodin},
title = {Liveness evaluation of a cyclo-static DataFlow graph},
booktitle = {The 50th Annual Design Automation Conference 2013, {DAC} '13, Austin,
TX, USA, May 29 - June 07, 2013},
pages = {3:1--3:7},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2463209.2488736},
doi = {10.1145/2463209.2488736},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/BenazouzKHB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
