Agata Półrola

From MaRDI portal
Person:2493433

Available identifiers

zbMath Open polrola.agataMaRDI QIDQ2493433

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q55008522015-08-10Paper
SMT-Based Reachability Checking for Bounded Time Petri Nets2015-06-26Paper
Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets2013-09-17Paper
Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios2013-01-14Paper
BDD-based Bounded Model Checking for Temporal Properties of 1-Safe Petri Nets2011-11-10Paper
https://portal.mardi4nfdi.de/entity/Q30818982011-03-09Paper
Parametric Model Checking with VerICS2011-01-08Paper
SAT-Based (Parametric) Reachability for a Class of Distributed Time Petri Nets2011-01-08Paper
https://portal.mardi4nfdi.de/entity/Q55063772009-01-28Paper
https://portal.mardi4nfdi.de/entity/Q54222992007-10-17Paper
Advances in verification of time Petri nets and timed automata. A temporal logic approach.2006-06-13Paper
Formal Modeling and Analysis of Timed Systems2006-01-10Paper
Applications and Theory of Petri Nets 20042005-12-23Paper
https://portal.mardi4nfdi.de/entity/Q48187492004-10-01Paper
https://portal.mardi4nfdi.de/entity/Q47373662004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44617582004-05-18Paper
https://portal.mardi4nfdi.de/entity/Q44179312003-07-30Paper
https://portal.mardi4nfdi.de/entity/Q31462742002-09-11Paper
https://portal.mardi4nfdi.de/entity/Q45351852002-06-13Paper

Research outcomes over time

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2493433&oldid=7152506"
Powered by MediaWiki