Olivia Oanea

According to our database1, Olivia Oanea authored at least 13 papers between 2002 and 2011.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
Boundedness of adaptive nets is decidable.
Inf. Process. Lett., 2011

2010
Service Discovery Using Communication Fingerprints.
Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

New Algorithms for Deciding the Siphon-Trap Property.
Proceedings of the Applications and Theory of Petri Nets, 2010

2009
An efficient necessary condition for compatibility.
Proceedings of the 1st Central-European Workshop on Services and their Composition, 2009

2007
LogLogics: A logic for history-dependent business processes.
Sci. Comput. Program., 2007

Checking Properties of Adaptive Workflow Nets.
Fundam. Informaticae, 2007

2006
Modelling History-Dependent Business Processes.
Proceedings of the Modelling, 2006

Verifying Generalized Soundness of Workflow Nets.
Proceedings of the Perspectives of Systems Informatics, 2006

History-Based Joins: Semantics, Soundness and Implementation.
Proceedings of the Business Process Management, 4th International Conference, 2006

Nested Nets for Adaptive Systems.
Proceedings of the Petri Nets and Other Models of Concurrency, 2006

Yasper: a tool for workflow modeling and analysis.
Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005
Colored Petri Nets to Verify Extended Event-Driven Process Chains.
Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005

2002
The home marking problem and some related concepts.
Proceedings of the Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen, 2002


  Loading...