Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Approximating Succinct MaxSat.

C. Schallhart, und L. Trevisan. J. Log. Comput., 15 (4): 551-557 (2005)

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.

Dr. -Ing. Christian Hagenlocher University of Stuttgart

Synchrotron X-ray video of full-penetration laser welding of aluminum AA1050AJ. Wagner, C. Hagenlocher, R. Weber, M. Hummel, F. Beckmann, J. Moosmann, und T. Graf. Dataset, (2024)

Christian León University of Stuttgart

Univ. -Prof. Dr. Christian Stoy University of Stuttgart

Asset information requirement templates for the building information modelling-based provision of facility services in corporate real estate managementM. Benn. Universität Stuttgart, Stuttgart, Dissertation, (2024)

Univ. -Prof. Dr. -Ing. Hans-Christian Möhring University of Stuttgart

Process Stability Monitoring : Potential of Internal Control Data for Drilling Processes in the Aerospace IndustryJ. Ramme, T. Reeber, M. Rapp, und H. Möhring. Proceedings of the Machining Innovations Conference for Aerospace Industry (MIC) 2023, Seite 57-64. Rochester, SSRN, (2023)

Christian Hölzl University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Approximating Succinct MaxSat.C. Schallhart, und L. Trevisan. J. Log. Comput., 15 (4): 551-557 (2005)deqa: Deep Web Extraction for Question Answering.J. Lehmann, T. Furche, G. Grasso, A. Ngomo, C. Schallhart, A. Sellers, C. Unger, L. Bühmann, D. Gerber, K. Höffner und 2 andere Autor(en). International Semantic Web Conference (2), Volume 7650 von Lecture Notes in Computer Science, Seite 131-147. Springer, (2012)The ontological key: automatically understanding and integrating forms to access the deep Web.T. Furche, G. Gottlob, G. Grasso, X. Guo, G. Orsi, und C. Schallhart. VLDB J., 22 (5): 615-640 (2013)Robust and Noise Resistant Wrapper Induction.T. Furche, J. Guo, S. Maneth, und C. Schallhart. SIGMOD Conference, Seite 773-784. ACM, (2016)Comparing LTL Semantics for Runtime Verification.A. Bauer, M. Leucker, und C. Schallhart. J. Log. Comput., 20 (3): 651-674 (2010)DIADEM: Thousands of Websites to a Single Database.T. Furche, G. Gottlob, G. Grasso, X. Guo, G. Orsi, C. Schallhart, und C. Wang. PVLDB, 7 (14): 1845-1856 (2014)Monitoring of Real-Time Properties.A. Bauer, M. Leucker, und C. Schallhart. FSTTCS, Volume 4337 von Lecture Notes in Computer Science, Seite 260-272. Springer, (2006)Detecting Malicious Code by Model Checking.J. Kinder, S. Katzenbeisser, C. Schallhart, und H. Veith. DIMVA, Volume 3548 von Lecture Notes in Computer Science, Seite 174-187. Springer, (2005)Little Knowledge Rules the Web: Domain-Centric Result Page Extraction.T. Furche, G. Gottlob, G. Grasso, G. Orsi, C. Schallhart, und C. Wang. RR, Volume 6902 von Lecture Notes in Computer Science, Seite 61-76. Springer, (2011)A brief account of runtime verification.M. Leucker, und C. Schallhart. J. Log. Algebr. Program., 78 (5): 293-303 (2009)