Statistics
Publications
11
Citations
292
H-Index
10
Active since
2012
Nils Przigoda is an author at University of Bremen specializing in computer science, formal methods, and computing.
Publications per year
2012–2016
11
11
Synthesis of reversible circuits with minimal lines for large functions
Mathias Soeken, Robert Wille, Christoph Hilken et al. · 2012 · 108 citations
Exact Synthesis of Toffoli Gate Circuits with Negative Control Lines
Robert Wille, Mathias Soeken, Nils Przigoda et al. · 2012 · 31 citations
Checking concurrent behavior in UML/OCL models
Nils Przigoda, Christoph Hilken, Robert Wille et al. · 2015 · 21 citations
A generic representation of CCSL time constraints for UML/MARTE models
Judith M. Peters, Robert Wille, Nils Przigoda et al. · 2015 · 20 citations
1–5 of 11