Autor der Publikation

Theory Solving Made Easy with Clingo 5.

, , , , , und . ICLP (Technical Communications), Volume 52 von OASIcs, Seite 2:1-2:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Philipp Stärk University of Stuttgart

Supporting Information: Chemical Potential Differences in Nanoscopic Teflon/Kapton Capillaries, und . Software, (2024)Related to: Artemov, V.; Frank, L.; Doronin, R.; Stärk, P.; Schlaich, A.; Andreev, A.; Leisner, T.; Radenovic, A.; Kiselev, A. The Three-Phase Contact Potential Difference Modulates the Water Surface Charge. J. Phys. Chem. Lett. 2023, 14, 4796-4802. doi: 10.1021/acs.jpclett.3c00479.

Philipp Miermeister

Modelling of kinematics and dynamics of the IPAnema 3 cable robot for simulative analysis, , , und . WGP Congress 2015 : progress in production engineering ; selected, peer reviewed papers from the 2015 WGP Congress, 794, Seite 419-426. Pfaffikon, Trans Tech Publ., (2015)
 

Weitere Publikationen von Autoren mit dem selben Namen

Design Space Exploration with Answer Set Programming., , , und . KI, 32 (2-3): 205-206 (2018)Scalable Design Space Exploration via Answer Set Programming.. ICLP (Technical Communications), Volume 52 von OASIcs, Seite 23:1-23:11. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Hybrid Metabolic Network Completion., , , , und . CoRR, (2018)clingo goes Linear Constraints over Reals and Integers., , , , , und . ASPOCP@LPNMR, Volume 1868 von CEUR Workshop Proceedings, CEUR-WS.org, (2017)Train Scheduling with Hybrid ASP., , , , , und . LPNMR, Volume 11481 von Lecture Notes in Computer Science, Seite 3-17. Springer, (2019)On leveraging approximations for exact system-level design space exploration: work-in-progress., , , und . CODES+ISSS, Seite 15. IEEE / ACM, (2018)Theory Solving Made Easy with Clingo 5., , , , , und . ICLP (Technical Communications), Volume 52 von OASIcs, Seite 2:1-2:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Computing Diverse Optimal Stable Models., , und . ICLP (Technical Communications), Volume 52 von OASIcs, Seite 3:1-3:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Domain-Specific Heuristics in Answer Set Programming., , , , , und . AAAI, AAAI Press, (2013)The Potsdam Answer Set Solving Collection 5.0., , , , , , , , , und . KI, 32 (2-3): 181-182 (2018)