Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Andrzej Zbrzezny" ( http://dblp.L3S.de/Authors/Andrzej_Zbrzezny )

  Author page on DBLP  Author page in RDF  Community of Andrzej Zbrzezny in ASPL-2

Publication years (Num. hits)
2002-2009 (15) 2010-2011 (5)
Publication types (Num. hits)
article(11) inproceedings(9)
Venues (Conferences, Journals, ...)
Fundam. Inform.(11) MoChArt(2) T. Petri Nets and Other Models...(2) ACSD/Petri Nets Workshops(1) EPIA(1) FORMATS(1) FTRTFT(1) TACAS(1)
Authors
Andrzej Zbrzezny(20) Bozena Wozna(10) Wojciech Penczek(10) Agata Pólrola(7) Maciej Szreter(4) Artur Niewiadomski(3) Agata Janowska(1) Agnieszka Zbrzezny(1) Alessio Lomuscio(1) Artur Rataj(1) Bozena Wozna-Szczesniak(1) Dariusz Doliwa(1) Magdalena Kacprzak(1) Mariusz Jarocki(1) Michal Knapik(1) Miroslaw Kurkowski(1) More (+10 of total 20)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords
Results
Found 20 publication records. Showing 20 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Dariusz Doliwa, Wojciech Horzelski, Mariusz Jarocki, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny PlanICS - a Web Service Composition Toolset. Search on Bibsonomy Fundam. Inform. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny The BMC Method for the Existential Part of RTCTLK and Interleaved Interpreted Systems. Search on Bibsonomy EPIA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michal Knapik, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Andrzej Zbrzezny Parametric Model Checking with VerICS. Search on Bibsonomy T. Petri Nets and Other Models of Concurrency The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny SAT-Based (Parametric) Reachability for a Class of Distributed Time Petri Nets. Search on Bibsonomy T. Petri Nets and Other Models of Concurrency The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny Towards Automatic Composition of Web Services: A SAT-Based Phase. Search on Bibsonomy ACSD/Petri Nets Workshops The full citation details ... 2010 DBLP  BibTeX  RDF
1Artur Rataj, Bozena Wozna, Andrzej Zbrzezny A Translator of Java Programs to TADDs. Search on Bibsonomy Fundam. Inform. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Magdalena Kacprzak, Wojciech Nabialek, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny VerICS 2007 - a Model Checker for Knowledge and Real-Time. Search on Bibsonomy Fundam. Inform. The full citation details ... 2008 DBLP  BibTeX  RDF
1Andrzej Zbrzezny, Bozena Wozna Towards Verification of Java Programs in perICS. Search on Bibsonomy Fundam. Inform. The full citation details ... 2008 DBLP  BibTeX  RDF
1Andrzej Zbrzezny Improving the Translation from ECTL to SAT. Search on Bibsonomy Fundam. Inform. The full citation details ... 2008 DBLP  BibTeX  RDF
1Andrzej Zbrzezny, Agata Pólrola SAT-Based Reachability Checking for Timed Automata with Discrete Data. Search on Bibsonomy Fundam. Inform. The full citation details ... 2007 DBLP  BibTeX  RDF
1Bozena Wozna, Andrzej Zbrzezny Bounded Model Checking for the Existential Fragment of TCTL-G and Diagonal Timed Automata. Search on Bibsonomy Fundam. Inform. The full citation details ... 2007 DBLP  BibTeX  RDF
1Alessio Lomuscio, Bozena Wozna, Andrzej Zbrzezny Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation. Search on Bibsonomy MoChArt The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Miroslaw Kurkowski, Wojciech Penczek, Andrzej Zbrzezny SAT-Based Verification of Security Protocols Via Translation to Networks of Automata. Search on Bibsonomy MoChArt The full citation details ... 2006 DBLP  DOI  BibTeX  RDF model checking, authentication, security protocols
1Andrzej Zbrzezny SAT-based Reachability Checking for Timed Automata with Diagonal Constraints. Search on Bibsonomy Fundam. Inform. The full citation details ... 2005 DBLP  BibTeX  RDF
1Andrzej Zbrzezny Improvements in SAT-based Reachability Analysis for Timed Automata. Search on Bibsonomy Fundam. Inform. The full citation details ... 2004 DBLP  BibTeX  RDF
1Bozena Wozna, Andrzej Zbrzezny, Wojciech Penczek Checking Reachability Properties for Timed Automata via SAT. Search on Bibsonomy Fundam. Inform. The full citation details ... 2003 DBLP  BibTeX  RDF
1Piotr Dembinski, Agata Janowska, Pawel Janowski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny Verics: A Tool for Verifying Timed Automata and Estelle Specifications. Search on Bibsonomy TACAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Bozena Wozna, Andrzej Zbrzezny Checking ACTL* Properties of Discrete Timed Automata via Bounded Model Checking. Search on Bibsonomy FORMATS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Wojciech Penczek, Bozena Wozna, Andrzej Zbrzezny Bounded Model Checking for the Universal Fragment of CTL. Search on Bibsonomy Fundam. Inform. The full citation details ... 2002 DBLP  BibTeX  RDF
1Wojciech Penczek, Bozena Wozna, Andrzej Zbrzezny Towards Bounded Model Checking for the Universal Fragment of TCTL. Search on Bibsonomy FTRTFT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #20 of 20 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.