Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Andrzej
Last name:	Zbrzezny
DBLP:	12/159
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 10 of 15  

Select a publication
Show	Title	Venue	Rating	Date
	Artur Rataj, Bozena Wozna, Andrzej Zbrzezny. A Translator of Java Programs to TADDs.	Fundam. Inform. 2009, Volume 93	(0)	2009
	Magdalena 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.	Fundam. Inform. 2008, Volume 85	(0)	2008
	Andrzej Zbrzezny, Bozena Wozna. Towards Verification of Java Programs in perICS.	Fundam. Inform. 2008, Volume 85	(0)	2008
	Andrzej Zbrzezny. Improving the Translation from ECTL to SAT.	Fundam. Inform. 2008, Volume 85	(0)	2008
	Andrzej Zbrzezny, Agata Pólrola. SAT-Based Reachability Checking for Timed Automata with Discrete Data.	Fundam. Inform. 2007, Volume 79	(0)	2007
	Bozena Wozna, Andrzej Zbrzezny. Bounded Model Checking for the Existential Fragment of TCTL	Fundam. Inform. 2007, Volume 79	(0)	2007
	Miroslaw Kurkowski, Wojciech Penczek, Andrzej Zbrzezny. SAT-Based Verification of Security Protocols Via Translation to Networks of Automata.	Model Checking and Artificial Intelligence, 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers 2007	(0)	2006
	Alessio Lomuscio, Bozena Wozna, Andrzej Zbrzezny. Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation.	Model Checking and Artificial Intelligence, 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers 2007	(0)	2006
	Andrzej Zbrzezny. SAT-based Reachability Checking for Timed Automata with Diagonal Constraints.	Fundam. Inform. 2005, Volume 67	(0)	2005
	Andrzej Zbrzezny. Improvements in SAT-based Reachability Analysis for Timed Automata.	Fundam. Inform. 2004, Volume 60	(0)	2004

Your query returned 15 matches in the database.