PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Iser, Markus"

Author of the publication

copydeleteadd this publication to your clipboard
Integrating Static Code Analysis Toolchains.

, , , , , , and . COMPSAC (1), page 523-528. IEEE, (2019)

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. Christof Iserlohe University of Stuttgart

Markus Nitzlader University of Stuttgart

Interdisziplinäre Entwicklung einer adaptiven Geschossdecke als leichtes Tragwerkselement im Bauwesen, , , , , , , and . Stuttgarter Symposium für Produktentwicklung SSP 2023 : Tagungsband zur Konferenz, Stuttgart, 25. Mai 2023, page 211-222. Stuttgart, Fraunhofer IAO, (2023)

Hon. -Prof. Dr. -Ing. Markus Fischer University of Stuttgart

Influence of Switching Contact Materials with Superimposed Axial Magnetic Field on the Vacuum Arc’s Chopping Behavior, , , , and . 2023 30th International Symposium on Discharges and Electrical Insulation in Vacuum (ISDEIV), page 177-180. IEEE, (2023)

Markus Wagner

Markus Wagner

 

Other publications of authors with the same name

Using Gate Recognition and Random Simulation for Under-Approximation and Optimized Branching in SAT Solvers., , and . ICTAI, page 1029-1036. IEEE Computer Society, (2017)Minimizing Models for Tseitin-Encoded SAT Instances., , and . SAT, volume 7962 of Lecture Notes in Computer Science, page 224-232. Springer, (2013)Recognition of Nested Gates in CNF Formulas., , and . SAT, volume 9340 of Lecture Notes in Computer Science, page 255-271. Springer, (2015)SAT Race 2015., , , and . Artif. Intell., (2016)Integrating Static Code Analysis Toolchains., , , , , , and . COMPSAC (1), page 523-528. IEEE, (2019)A Problem Meta-Data Library for Research in SAT., and . POS@SAT, volume 59 of EPiC Series in Computing, page 144-152. EasyChair, (2018)Problem-Sensitive Restart Heuristics for the DPLL Procedure., and . SAT, volume 5584 of Lecture Notes in Computer Science, page 356-362. Springer, (2009)Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod - (Poster Presentation)., , and . SAT, volume 7317 of Lecture Notes in Computer Science, page 483-484. Springer, (2012)