Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Edward Ochmanski
@article{DBLP:journals/corr/BarylskaO15,
author = {Kamila Barylska and
Edward Ochmanski},
title = {Hierarchy of persistence with respect to the length of action's disability},
journal = {CoRR},
volume = {abs/1512.01952},
year = {2015},
url = {http://arxiv.org/abs/1512.01952},
eprinttype = {arXiv},
eprint = {1512.01952},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BarylskaO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BarylskaMO13,
author = {Kamila Barylska and
Lukasz Mikulski and
Edward Ochmanski},
title = {On persistent reachability in Petri nets},
journal = {Inf. Comput.},
volume = {223},
pages = {67--77},
year = {2013},
url = {https://doi.org/10.1016/j.ic.2012.11.004},
doi = {10.1016/J.IC.2012.11.004},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BarylskaMO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BarylskaO12,
author = {Kamila Agata Barylska and
Edward Ochmanski},
editor = {Lawrence Cabac and
Michael Duvigneau and
Daniel Moldt},
title = {Hierarchy of persistency with respect to the length of actions disability},
booktitle = {Proceedings of the International Workshop on Petri Nets and Software
Engineering, Hamburg, Germany, June 25-26, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {851},
pages = {125--137},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-851/paper9.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/BarylskaO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BarylskaMO10,
author = {Kamila Barylska and
Lukasz Mikulski and
Edward Ochmanski},
editor = {Susanna Donatelli and
Jetty Kleijn and
Ricardo Jorge Machado and
Jo{\~{a}}o M. Fernandes},
title = {On Persistent Reachability in Petri Nets},
booktitle = {Proceedings of the Workshops of the 31st International Conference
on Application and Theory of Petri Nets and Other Models of Concurrency
{(PETRI} {NETS} 2010) and of the 10th International Conference on
Application of Concurrency to System Design {(ACSD} 2010), Braga,
Portugal, June, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {827},
pages = {373--384},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-827/29\_KamilaBarylska\_article.pdf},
timestamp = {Wed, 09 Aug 2023 08:39:51 +0200},
biburl = {https://dblp.org/rec/conf/acsd/BarylskaMO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BarylskaO09,
author = {Kamila Barylska and
Edward Ochmanski},
title = {Levels of Persistency in Place/Transition Nets},
journal = {Fundam. Informaticae},
volume = {93},
number = {1-3},
pages = {33--43},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-0086},
doi = {10.3233/FI-2009-0086},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BarylskaO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/JolkowskaO08,
author = {Joanna J{\'{o}}lkowska and
Edward Ochmanski},
title = {On Trace-Expressible Behaviour of Petri Nets},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {281--295},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-20},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/JolkowskaO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfcs/2008,
editor = {Edward Ochmanski and
Jerzy Tyszkiewicz},
title = {Mathematical Foundations of Computer Science 2008, 33rd International
Symposium, {MFCS} 2008, Torun, Poland, August 25-29, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5162},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85238-4},
doi = {10.1007/978-3-540-85238-4},
isbn = {978-3-540-85237-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/OchmanskiP07,
author = {Edward Ochmanski and
Joanna Pieckowska},
title = {On Ethics of Mazurkiewicz Traces},
journal = {Fundam. Informaticae},
volume = {80},
number = {1-3},
pages = {259--272},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi80-1-3-14},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/OchmanskiP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/OchmanskiS07,
author = {Edward Ochmanski and
Krystyna Stawikowska},
editor = {Tero Harju and
Juhani Karhum{\"{a}}ki and
Arto Lepist{\"{o}}},
title = {A Star Operation for Star-Free Trace Languages},
booktitle = {Developments in Language Theory, 11th International Conference, {DLT}
2007, Turku, Finland, July 3-6, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4588},
pages = {337--345},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73208-2\_32},
doi = {10.1007/978-3-540-73208-2\_32},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dlt/OchmanskiS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/StawikowskaO07,
author = {Krystyna Stawikowska and
Edward Ochmanski},
editor = {Remco Loos and
Szil{\'{a}}rd Zsolt Fazekas and
Carlos Mart{\'{\i}}n{-}Vide},
title = {On Star-Free Trace Languages and their Lexicographic Representations},
booktitle = {{LATA} 2007. Proceedings of the 1st International Conference on Language
and Automata Theory and Applications},
volume = {Report 35/07},
pages = {541--552},
publisher = {Research Group on Mathematical Linguistics, Universitat Rovira i Virgili,
Tarragona},
year = {2007},
timestamp = {Mon, 15 Jun 2015 11:59:26 +0200},
biburl = {https://dblp.org/rec/conf/lata/StawikowskaO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/OchmanskiP06,
author = {Edward Ochmanski and
Joanna Pieckowska},
title = {Trace Nets and Conflict-free Computations},
journal = {Fundam. Informaticae},
volume = {72},
number = {1-3},
pages = {311--321},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-23},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/OchmanskiP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/OchmanskiS06,
author = {Edward Ochmanski and
Krystyna Stawikowska},
title = {Star-free Star and Trace Languages},
journal = {Fundam. Informaticae},
volume = {72},
number = {1-3},
pages = {323--331},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-24},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/OchmanskiS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KlunderOS05,
author = {Barbara Klunder and
Edward Ochmanski and
Krystyna Stawikowska},
title = {On Star-Connected Flat Languages},
journal = {Fundam. Informaticae},
volume = {67},
number = {1-3},
pages = {93--105},
year = {2005},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi67-1-3-08},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KlunderOS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Ochmanski04,
author = {Edward Ochmanski},
title = {Best Fairness Hierarchy in Elementary Nets},
journal = {Fundam. Informaticae},
volume = {60},
number = {1-4},
pages = {237--250},
year = {2004},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi60-1-4-17},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Ochmanski04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Ochmanski04,
author = {Edward Ochmanski},
editor = {Jordi Cortadella and
Wolfgang Reisig},
title = {Covering Fairness against Conspiracies},
booktitle = {Applications and Theory of Petri Nets 2004, 25th International Conference,
{ICATPN} 2004, Bologna, Italy, June 21-25, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3099},
pages = {312--330},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27793-4\_18},
doi = {10.1007/978-3-540-27793-4\_18},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/Ochmanski04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ws/95/Ochmanski95,
author = {Edward Ochmanski},
editor = {Volker Diekert and
Grzegorz Rozenberg},
title = {Recognizable Trace Languages},
booktitle = {The Book of Traces},
pages = {167--204},
publisher = {World Scientific},
year = {1995},
url = {https://doi.org/10.1142/9789814261456\_0006},
doi = {10.1142/9789814261456\_0006},
timestamp = {Mon, 22 Jul 2019 19:53:40 +0200},
biburl = {https://dblp.org/rec/books/ws/95/Ochmanski95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DiekertOR94,
author = {Volker Diekert and
Edward Ochmanski and
Klaus Reinhardt},
title = {On Confluent Semi-commutations: Decidability and Complexity Results},
journal = {Inf. Comput.},
volume = {110},
number = {1},
pages = {164--182},
year = {1994},
url = {https://doi.org/10.1006/inco.1994.1029},
doi = {10.1006/INCO.1994.1029},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/DiekertOR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/OchmanskiW93,
author = {Edward Ochmanski and
Pierre{-}Andr{\'{e}} Wacrenier},
editor = {Andrzej Lingas and
Rolf G. Karlsson and
Svante Carlsson},
title = {On Regular Compatibility of Semi-Commutations},
booktitle = {Automata, Languages and Programming, 20nd International Colloquium,
ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {700},
pages = {445--456},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56939-1\_93},
doi = {10.1007/3-540-56939-1\_93},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/OchmanskiW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/GastinOPR92,
author = {Paul Gastin and
Edward Ochmanski and
Antoine Petit and
Brigitte Rozoy},
title = {Decidability of the Star Problem in A* x \{b\}*},
journal = {Inf. Process. Lett.},
volume = {44},
number = {2},
pages = {65--71},
year = {1992},
url = {https://doi.org/10.1016/0020-0190(92)90187-Z},
doi = {10.1016/0020-0190(92)90187-Z},
timestamp = {Thu, 14 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/GastinOPR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Ochmanski92,
author = {Edward Ochmanski},
editor = {Ivan M. Havel and
V{\'{a}}clav Koubek},
title = {Modelling Concurrency with Semi-Commutations},
booktitle = {Mathematical Foundations of Computer Science 1992, 17th International
Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {629},
pages = {412--420},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55808-X\_40},
doi = {10.1007/3-540-55808-X\_40},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Ochmanski92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DiekertOR91,
author = {Volker Diekert and
Edward Ochmanski and
Klaus Reinhardt},
editor = {Javier Leach Albert and
Burkhard Monien and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {On Confluent Semi-Commutations - Decidability and Complexity Results},
booktitle = {Automata, Languages and Programming, 18th International Colloquium,
ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {510},
pages = {229--241},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54233-7\_137},
doi = {10.1007/3-540-54233-7\_137},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/icalp/DiekertOR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Ochmanski90,
author = {Edward Ochmanski},
title = {Notes on a star mystery},
journal = {Bull. {EATCS}},
volume = {40},
pages = {252--256},
year = {1990},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/Ochmanski90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/OchmanskiP90,
author = {Edward Ochmanski and
Wojciech Penczek},
title = {Inevitability in diamond processes},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {24},
pages = {37--46},
year = {1990},
url = {https://doi.org/10.1051/ita/1990240100371},
doi = {10.1051/ITA/1990240100371},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/OchmanskiP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Ochmanski90,
author = {Edward Ochmanski},
editor = {Branislav Rovan},
title = {Semi-Commutation and Deterministic Petri Nets},
booktitle = {Mathematical Foundations of Computer Science 1990, MFCS'90, Bansk{\'{a}}
Bystrica, Czechoslovakia, August 27-31, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {452},
pages = {430--438},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0029639},
doi = {10.1007/BFB0029639},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Ochmanski90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:tr/tum/TUM-I-9041,
author = {Volker Diekert and
Edward Ochmanski and
Klaus Reinhardt},
title = {On confluent semi-commutations: decidability and complexity results},
journal = {Forschungsberichte, {TU} Munich},
volume = {{TUM} {I} 9041},
pages = {1--18},
year = {1990},
url = {https://d-nb.info/920791859},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/tr/tum/TUM-I-9041.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Ochmanski89,
author = {Edward Ochmanski},
title = {Semi-commutation for {P-T} Systems},
journal = {Bull. {EATCS}},
volume = {38},
pages = {191--198},
year = {1989},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/Ochmanski89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MazurkiewiczOP89,
author = {Antoni W. Mazurkiewicz and
Edward Ochmanski and
Wojciech Penczek},
title = {Concurrent Systems and Inevitability},
journal = {Theor. Comput. Sci.},
volume = {64},
number = {3},
pages = {281--304},
year = {1989},
url = {https://doi.org/10.1016/0304-3975(89)90052-2},
doi = {10.1016/0304-3975(89)90052-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MazurkiewiczOP89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Ochmanski88,
author = {Edward Ochmanski},
editor = {Robert Cori and
Martin Wirsing},
title = {On Morphisms of Trace Monoids},
booktitle = {{STACS} 88, 5th Annual Symposium on Theoretical Aspects of Computer
Science, Bordeaux, France, February 11-13, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {294},
pages = {346--355},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0035858},
doi = {10.1007/BFB0035858},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Ochmanski88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Ochmanski87,
author = {Edward Ochmanski},
title = {A non-invertible {PCF} language},
journal = {Bull. {EATCS}},
volume = {33},
pages = {83--84},
year = {1987},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/Ochmanski87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Ochmanski87,
author = {Edward Ochmanski},
title = {Inevitability in Concurrent Systems},
journal = {Inf. Process. Lett.},
volume = {25},
number = {4},
pages = {221--225},
year = {1987},
url = {https://doi.org/10.1016/0020-0190(87)90164-5},
doi = {10.1016/0020-0190(87)90164-5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Ochmanski87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/MetivierO87,
author = {Yves M{\'{e}}tivier and
Edward Ochmanski},
title = {On Lexicographic Semi-Commutations},
journal = {Inf. Process. Lett.},
volume = {26},
number = {2},
pages = {55--59},
year = {1987},
url = {https://doi.org/10.1016/0020-0190(87)90037-8},
doi = {10.1016/0020-0190(87)90037-8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/MetivierO87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Ochmanski87,
author = {Edward Ochmanski},
editor = {Grzegorz Rozenberg},
title = {Occurrence Traces: Processes of Elementary Net Systems},
booktitle = {Advances in Petri Nets 1988, covers the 8th European Workshop on Applications
and Theory of Petri Nets, held in Zaragoza, Spain in June 1987, selected
papers},
series = {Lecture Notes in Computer Science},
volume = {340},
pages = {331--342},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-50580-6\_36},
doi = {10.1007/3-540-50580-6\_36},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/Ochmanski87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Ochamanski85,
author = {Edward Ochmanski},
title = {Regular behaviour of concurrent systems},
journal = {Bull. {EATCS}},
volume = {27},
pages = {56--67},
year = {1985},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/Ochamanski85.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-21 17:22 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:
