PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Merz, Florian"

Author of the publication

copydeleteadd this publication to your clipboard
The global version of the gyrokinetic turbulence code GENE.

, , , , , , and . J. Comput. Physics, 230 (18): 7053-7071 (2011)

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.

Florian Weiss

PD Dr. -Ing. Florian Bauer University of Stuttgart

Florian Helber University of Stuttgart

Florian Seibold University of Stuttgart

Florian Reichelt University of Stuttgart

 

Other publications of authors with the same name

Fast eigenvalue calculations in a massively parallel plasma turbulence code., , , and . Parallel Computing, 36 (5-6): 339-358 (2010)Theory and Implementation of Software Bounded Model Checking.. Karlsruhe Institute of Technology, Germany, (2016)Challenges in Comparing Software Verification Tools for C., , and . COMPARE, volume 873 of CEUR Workshop Proceedings, page 60-65. CEUR-WS.org, (2012)Extending the Theory of Arrays: memset, memcpy, and Beyond., , and . VSTTE, volume 8164 of Lecture Notes in Computer Science, page 108-128. Springer, (2013)LLBMC: Bounded Model Checking of C and C++ Programs Using a Compiler IR., , and . VSTTE, volume 7152 of Lecture Notes in Computer Science, page 146-161. Springer, (2012)PReaCH: A Fast Lightweight Reachability Index Using Pruning and Contraction Hierarchies., and . ESA, volume 8737 of Lecture Notes in Computer Science, page 701-712. Springer, (2014)Abstract Testing: Connecting Source Code Verification with Requirements., , , , and . QUATIC, page 89-96. IEEE Computer Society, (2010)The bounded model checker LLBMC., , and . ASE, page 706-709. IEEE, (2013)The global version of the gyrokinetic turbulence code GENE., , , , , , and . J. Comput. Physics, 230 (18): 7053-7071 (2011)Automatic Heavy-weight Static Analysis Tools for Fin- ding Bugs in Safety-critical Embedded C/C++ Code., , and . Softwaretechnik-Trends, (2014)