PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Schubert, Tobias"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Accurate Computation of Sensitizable Paths Using Answer Set Programming.

, , , , , und . LPNMR, Volume 8148 von Lecture Notes in Computer Science, Seite 92-101. Springer, (2013)

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.

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", und . 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.

Ricarda Schubert University of Stuttgart

Tobias Menold University of Stuttgart

Tobias Rentschler University of Stuttgart

Tobias Schwinn University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

PaMiraXT: Parallel SAT Solving with Threads and Message Passing., , und . JSAT, 6 (4): 203-222 (2009)Lemma Exchange in a Microcontroller Based Parallel SAT Solver., und . ISVLSI, Seite 142-147. IEEE Computer Society, (2005)Picoso - A Parallel Interval Constraint Solver., , , , und . PDPTA, Seite 473-479. CSREA Press, (2009)Knowledge Sharing in a Microcontroller based Parallel SAT Solver., und . PDPTA, Seite 1049-1055. CSREA Press, (2005)Efficient SAT-based dynamic compaction and relaxation for longest sensitizable paths., , , , und . DATE, Seite 448-453. EDA Consortium San Jose, CA, USA / ACM DL, (2013)Exploiting Different Strategies for the Parallelization of an SMT Solver., , , , und . MBMV, Seite 97-106. Fraunhofer Verlag, (2010)Specialized Hardware for Implementation of Evolutionary Algorithms., , , , und . GECCO, Seite 369. Morgan Kaufmann, (2000)Distributed Parallel #SAT Solving., , und . CLUSTER, Seite 326-335. IEEE Computer Society, (2016)A probabilistic approach to liquid level detection in cups using an RGB-D camera., , und . IROS, Seite 2075-2080. IEEE, (2016)Recursive decentralized localization for multi-robot systems with asynchronous pairwise communication., , , und . I. J. Robotics Res., (2018)