PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Gruner, Stefan"

Author of the publication

copydeleteadd this publication to your clipboard
Abstraction Refinement with Path Constraints for 3-Valued Bounded Model Checking.

, and . FTSCS, volume 1008 of Communications in Computer and Information Science, page 139-157. Springer, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. Friedrich Grüner University of Stuttgart

Stefan Schubert University of Stuttgart

Experimental and Numerical Data for: "Micro-PIV study on the influence of viscosity on the dynamics of droplet impact onto a thin film", and . Dataset, (2024)Related to: Schubert, S., Steigerwald, J., Geppert, A.K. et al. Micro-PIV study on the influence of viscosity on the dynamics of droplet impact onto a thin film. Exp Fluids 65, 69 (2024). doi: 10.1007/s00348-024-03800-5.

Stefan Kunert University of Stuttgart

Stefan Schippling University of Stuttgart

Stefan Hecht University of Stuttgart

 

Other publications of authors with the same name

Eric Winsberg: Science in the Age of Computer Simulation - The University of Chicago Press, Chicago, IL, 2010, 168 pp., $ 24.00 (paper), ISBN: 978-0-226-90204-3.. Minds and Machines, 23 (2): 251-254 (2013)Informatics for Historians: Tools for Medieval Document XML Markup, and their Impact on the History-Sciences., , and . J. UCS, 14 (2): 193-210 (2008)Computational Analysis of Medieval Manuscripts: A New Tool for Analysis and Mapping of Medieval Documents to Modern Orthography., , and . J. UCS, 18 (20): 2750-2770 (2012)FM+AM'09: workshop on formal methods and agile methods - Editorial preface and foreword.. ISSE, 6 (1-2): 135-136 (2010)Concurrent Development of Model and Implementation, , , , and . CoRR, (2011)Integration Tools Supporting Development Processes., , and . Requirements Targeting Software and Systems Engineering, volume 1526 of Lecture Notes in Computer Science, page 235-256. Springer, (1997)Static typing with value space-based subtyping., and . SAICSIT, page 177-186. ACM, (2011)A domain-specific language for URDAD based requirements elicitation., , , and . SAICSIT, page 224-230. ACM, (2011)Quality and usability of mashup tools: criteria and evaluation., , and . SAICSIT, page 154-159. ACM, (2013)Special section on software engineering and formal methods: extended versions of contributions presented at SEFM 2008., and . Software and Systems Modeling, 10 (2): 143-145 (2011)