Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Olivia Oanea
@article{DBLP:journals/ipl/Oanea11,
author = {Olivia Oanea},
title = {Boundedness of adaptive nets is decidable},
journal = {Inf. Process. Lett.},
volume = {111},
number = {15},
pages = {738--743},
year = {2011},
url = {https://doi.org/10.1016/j.ipl.2011.05.004},
doi = {10.1016/J.IPL.2011.05.004},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Oanea11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/OaneaWW10,
author = {Olivia Oanea and
Harro Wimmel and
Karsten Wolf},
editor = {Johan Lilius and
Wojciech Penczek},
title = {New Algorithms for Deciding the Siphon-Trap Property},
booktitle = {Applications and Theory of Petri Nets, 31st International Conference,
{PETRI} {NETS} 2010, Braga, Portugal, June 21-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6128},
pages = {267--286},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13675-7\_16},
doi = {10.1007/978-3-642-13675-7\_16},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/OaneaWW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/OaneaSW10,
author = {Olivia Oanea and
Jan S{\"{u}}rmeli and
Karsten Wolf},
editor = {Paul P. Maglio and
Mathias Weske and
Jian Yang and
Marcelo Fantinato},
title = {Service Discovery Using Communication Fingerprints},
booktitle = {Service-Oriented Computing - 8th International Conference, {ICSOC}
2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6470},
pages = {612--618},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17358-5\_46},
doi = {10.1007/978-3-642-17358-5\_46},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/OaneaSW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zeus/OaneaW09,
author = {Olivia Oanea and
Karsten Wolf},
editor = {Oliver Kopp and
Niels Lohmann},
title = {An efficient necessary condition for compatibility},
booktitle = {1st Central-European Workshop on Services and their Composition, {ZEUS}
2009, Stuttgart, Germany, March 2-3, 2009. Proceedings},
series = {{CEUR} Workshop Proceedings},
volume = {438},
pages = {81--87},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-438/paper13.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:18 +0100},
biburl = {https://dblp.org/rec/conf/zeus/OaneaW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/HeeOSSV08,
author = {Kees M. van Hee and
Olivia Oanea and
Alexander Serebrenik and
Natalia Sidorova and
Marc Voorhoeve},
title = {History-based joins: Semantics, soundness and implementation},
journal = {Data Knowl. Eng.},
volume = {64},
number = {1},
pages = {24--37},
year = {2008},
url = {https://doi.org/10.1016/j.datak.2007.06.005},
doi = {10.1016/J.DATAK.2007.06.005},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dke/HeeOSSV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HeeOSSVL07,
author = {Kees M. van Hee and
Olivia Oanea and
Alexander Serebrenik and
Natalia Sidorova and
Marc Voorhoeve and
Irina A. Lomazova},
title = {Checking Properties of Adaptive Workflow Nets},
journal = {Fundam. Informaticae},
volume = {79},
number = {3-4},
pages = {347--362},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-3-4-08},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/HeeOSSVL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HeeOSSV07,
author = {Kees M. van Hee and
Olivia Oanea and
Alexander Serebrenik and
Natalia Sidorova and
Marc Voorhoeve},
title = {LogLogics: {A} logic for history-dependent business processes},
journal = {Sci. Comput. Program.},
volume = {65},
number = {1},
pages = {30--40},
year = {2007},
url = {https://doi.org/10.1016/j.scico.2006.08.004},
doi = {10.1016/J.SCICO.2006.08.004},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/HeeOSSV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/HeeOPSW06,
author = {Kees M. van Hee and
Olivia Oanea and
Reinier Post and
Lou J. Somers and
Jan Martijn E. M. van der Werf},
title = {Yasper: a tool for workflow modeling and analysis},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {279--282},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.37},
doi = {10.1109/ACSD.2006.37},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsd/HeeOPSW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HeeLOSSV06,
author = {Kees M. van Hee and
Irina A. Lomazova and
Olivia Oanea and
Alexander Serebrenik and
Natalia Sidorova and
Marc Voorhoeve},
editor = {Susanna Donatelli and
P. S. Thiagarajan},
title = {Nested Nets for Adaptive Systems},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2006, 27th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4024},
pages = {241--260},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11767589\_14},
doi = {10.1007/11767589\_14},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/HeeLOSSV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/HeeOSSV06,
author = {Kees M. van Hee and
Olivia Oanea and
Alexander Serebrenik and
Natalia Sidorova and
Marc Voorhoeve},
editor = {Schahram Dustdar and
Jos{\'{e}} Luiz Fiadeiro and
Amit P. Sheth},
title = {History-Based Joins: Semantics, Soundness and Implementation},
booktitle = {Business Process Management, 4th International Conference, {BPM} 2006,
Vienna, Austria, September 5-7, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4102},
pages = {225--240},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841760\_16},
doi = {10.1007/11841760\_16},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/HeeOSSV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/HeeOSV06,
author = {Kees M. van Hee and
Olivia Oanea and
Natalia Sidorova and
Marc Voorhoeve},
editor = {Irina B. Virbitskaite and
Andrei Voronkov},
title = {Verifying Generalized Soundness of Workflow Nets},
booktitle = {Perspectives of Systems Informatics, 6th International Andrei Ershov
Memorial Conference, {PSI} 2006, Novosibirsk, Russia, June 27-30,
2006. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4378},
pages = {235--247},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-70881-0\_21},
doi = {10.1007/978-3-540-70881-0\_21},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/HeeOSV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/HeeOSSV06,
author = {Kees M. van Hee and
Olivia Oanea and
Alexander Serebrenik and
Natalia Sidorova and
Marc Voorhoeve},
editor = {Joseph Barjis and
Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto},
title = {Modelling History-Dependent Business Processes},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 4th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
Cyprus, May 2006},
pages = {76--85},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Wed, 06 Sep 2006 13:10:42 +0200},
biburl = {https://dblp.org/rec/conf/vveis/HeeOSSV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/HeeOS05,
author = {Kees M. van Hee and
Olivia Oanea and
Natalia Sidorova},
editor = {Robert Meersman and
Zahir Tari and
Mohand{-}Said Hacid and
John Mylopoulos and
Barbara Pernici and
{\"{O}}zalp Babaoglu and
Hans{-}Arno Jacobsen and
Joseph P. Loyall and
Michael Kifer and
Stefano Spaccapietra},
title = {Colored Petri Nets to Verify Extended Event-Driven Process Chains},
booktitle = {On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and
ODBASE, {OTM} Confederated International Conferences CoopIS, DOA,
and {ODBASE} 2005, Agia Napa, Cyprus, October 31 - November 4, 2005,
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {3760},
pages = {183--201},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11575771\_14},
doi = {10.1007/11575771\_14},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/otm/HeeOS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/MelinteOOT02,
author = {Roxana Melinte and
Olivia Oanea and
Ioana Olga and
Ferucio Laurentiu Tiplea},
title = {The Home Marking Problem and Some Related Concepts},
journal = {Acta Cybern.},
volume = {15},
number = {3},
pages = {467--478},
year = {2002},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3590},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/MelinteOOT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emisa/MelinteOOT02,
author = {Roxana Melinte and
Olivia Oanea and
Ioana Olga and
Ferucio Laurentiu Tiplea},
editor = {J{\"{o}}rg Desel and
Mathias Weske},
title = {The home marking problem and some related concepts},
booktitle = {Prozessorientierte Methoden und Werkzeuge f{\"{u}}r die Entwicklung
von Informationssystemen - Promise 2002, 9.-11. Oktober 2002, Potsdam},
series = {{LNI}},
volume = {{P-21}},
pages = {104--115},
publisher = {{GI}},
year = {2002},
url = {https://dl.gi.de/handle/20.500.12116/30159},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emisa/MelinteOOT02.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:28 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:
