Wlodek M. Zuberek
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
4
Active years
2000–2017
Best venue rank
National
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | DEPCoS | Deadlock Detection in Distributed Systems Using the IMDS Formalism and Petri Nets. | Wiktor B. Daszczuk, Wlodek M. Zuberek |
| 2015 | DEPCoS | Symbolic Analysis of Timed Petri Nets. | Wlodek M. Zuberek |
| 2009 | DEPCoS | Siphon-Based Verification of Component Compatibility. | Wlodek M. Zuberek |
| 2009 | WSC | Performance Limitations of Block-multithreaded Distributed-memory Systems. | Wlodek M. Zuberek |
| 2008 | DEPCoS | Performance Analysis of Component-Based Systems. | Wlodek M. Zuberek, Ilona Bluemke |
| 2001 | ETFA | Petri net modeling and performance analysis of cluster tools with chamber revisiting. | Wlodek M. Zuberek |
| 2001 | SMC | Performance analysis of enhanced fine-grain multithreaded distributed-memory systems. | Wlodek M. Zuberek |
| 2001 | SMC | Timed Petri net models of multi-robot cluster tools. | Wlodek M. Zuberek |
| 2000 | SMC | Hierarchical analysis of manufacturing systems using Petri nets. | Wlodek M. Zuberek |
| 2000 | SMC | Timed Petri net models of cluster tools. | Wlodek M. Zuberek |