Volker Stolz

26 papers and 143 indexed citations i.

About

Volker Stolz has authored 26 papers that have received a total of 143 indexed citations. This includes 17 papers in Artificial Intelligence, 10 papers in Computer Networks and Communications and 10 papers in Computational Theory and Mathematics. The topics of these papers are Advanced Software Engineering Methodologies (8 papers), Model-Driven Software Engineering Techniques (8 papers) and Formal Methods in Verification (7 papers). Volker Stolz is often cited by papers focused on Advanced Software Engineering Methodologies (8 papers), Model-Driven Software Engineering Techniques (8 papers) and Formal Methods in Verification (7 papers) and collaborates with scholars based in Norway, Macao and China. Volker Stolz's co-authors include Zhiming Liu, Martín Steffen, Giorgio Audrito, Ferruccio Damiani and Mirko Viroli and has published in prestigious journals such as Lecture notes in computer science, Journal of Systems and Software and Science China Information Sciences

In The Last Decade

Papers:10 Indexedcitations:70 20152020
arXiv(CornellUniversity) JournalofSystemsandSoftware ElectronicNotesinTheoreticalComputerScience ScienceofComputerProgramming TheJournalofLogicandAlgebraicProgramming JournalofLogicalandAlgebraicMethodsinProgramming ACMSIGSOFTSoftwareEngineeringNotes JournalofLogicandComputation FrontiersofComputerScience DuoResearchArchive(UniversityofOslo) VolkerStolz

Papers by

i Specialization
i since
published in

Volker Stolz

140 citations, 20 papers

Rankless by CCL
2025