Vitali Kozioura is an author at University of Stuttgart specializing in systems engineering, computer science, and formal methods.
Top concepts
EngineeringData ScienceGraph TheoryVerificationFormal MethodsComputer ScienceGraph AlgorithmsGraph ProcessingNetwork AnalysisProgram Analysis
Publications per year
2005–2008
3
3
Augur-A Tool for the Analysis of Graph Transformation Systems
Barbara König, Vitali Kozioura · 2005 · 19 citations
Paolo Baldan, Andrea Corradini, Javier Esparza et al. · 2005 · 18 citations
Rows per page
1–3 of 3