Agata Półrola

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Web services composition -- from ontology to plan by query	2015-08-10	Paper
SMT-based reachability checking for bounded time Petri nets Fundamenta Informaticae	2015-06-26	Paper
Using integer time steps for checking branching time properties of time Petri nets Transactions on Petri Nets and Other Models of Concurrency VIII	2013-09-17	Paper
Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios	2013-01-14	Paper
BDD-based bounded model checking for temporal properties of 1-safe Petri nets Fundamenta Informaticae	2011-11-10	Paper
Bounded parametric verification for distributed time Petri nets with discrete-time semantics	2011-03-09	Paper
Parametric model checking with VerICS Transactions on Petri Nets and Other Models of Concurrency IV	2011-01-08	Paper
SAT-based (parametric) reachability for a class of distributed time Petri nets Transactions on Petri Nets and Other Models of Concurrency IV	2011-01-08	Paper
VERICS 2007 -- a model checker for knowledgee and real-time	2009-01-28	Paper
SAT-based reachability checking for timed automata with discrete data	2007-10-17	Paper
Advances in verification of time Petri nets and timed automata. A temporal logic approach. Studies in Computational Intelligence	2006-06-13	Paper
Formal Modeling and Analysis of Timed Systems Lecture Notes in Computer Science	2006-01-10	Paper
Applications and Theory of Petri Nets 2004 Lecture Notes in Computer Science	2005-12-23	Paper
scientific article; zbMATH DE number 2104635 (Why is no real title available?)	2004-10-01	Paper
scientific article; zbMATH DE number 2086795 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2064231 (Why is no real title available?)	2004-05-18	Paper
scientific article; zbMATH DE number 1956587 (Why is no real title available?)	2003-07-30	Paper
scientific article; zbMATH DE number 1799517 (Why is no real title available?)	2002-09-11	Paper
scientific article; zbMATH DE number 1755150 (Why is no real title available?)	2002-06-13	Paper

Research outcomes over time

This page was built for person: Agata Półrola