I agree that this site is using cookies. You can find further informations here.
X
Scholl, Tobias
11  results:
Bookchapter (Online) X
Search for persons X
?
1

Solving Modal Logic Problems by Translation to Higher-Order..:

, In: Lecture Notes in Computer Science; Logic and Argumentation,
Steen, Alexander ; Sutcliffe, Geoff ; Scholl, Tobias. - p. 25-43 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Collaborative query coordination in community-driven data g..:

, In: Proceedings of the 18th ACM international symposium on High performance distributed computing,
Scholl, Tobias ; Reiser, Angelika ; Kemper, Alfons - p. 197-206 , 2009
Link: https://dl.acm.org/doi/1..
 
?
3

Workload-aware data partitioning in community-driven data g..:

, In: Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology,
Scholl, Tobias ; Bauer, Bernhard ; Müller, Jessica... - p. 36-47 , 2009
Link: https://dl.acm.org/doi/1..
 
?
4

Making PROGRESS in Property Directed Reachability:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Seufert, Tobias ; Scholl, Christoph ; Chandrasekharan, Arun.. - p. 355-377 , 2022
Link: https://doi.org/10.1007/..
 
?
5

Wissenschaftliche Kinder von Günter Hotz:

, In: Festschrift zum 90. Geburtstag von Prof. Dr. Dr. h.c. mult. Günter Hotz,
Schnorr, Claus-Peter ; Walter, Hermann ; Claus, Volker... - p. 1-151 , 2022
Link: https://doi.org/10.1007/..
 
?
6

A 32 MHz Crystal Oscillator with Fast Start-Up Using Dither..:

, In: ESSCIRC 2019 - IEEE 45th European Solid State Circuits Conference (ESSCIRC),
Scholl, Markus ; Saalfeld, Tobias ; Beyerstedt, Christoph... - p. 49-52 , 2019
Link: https://doi.org/10.1109/..
 
?
7

Maturity and usability of open data in North Rhine-Westphal..:

, In: Proceedings of the 19th Annual International Conference on Digital Government Research: Governance in the Data Age,
Akyürek, Haydar ; Scholl, Cora ; Stodden, Regina.. - p. 1-10 , 2018
Link: https://dl.acm.org/doi/1..
 
?
8

List of Contributors:

, In: Molecular Beam Epitaxy,
Addou, Rafik ; Aho, Arto ; Andrews, Aaron M.... - p. xi-xiii , 2018
Link: https://doi.org/10.1016/..
 
?
9

Operationalisierung von Nachhaltigkeit im Produktionskontex..:

, In: Forschung für Nachhaltigkeit an deutschen Hochschulen,
Viere, Tobias ; Hottenroth, Heidi ; Lambrecht, Hendrik... - p. 349-363 , 2016
Link: https://doi.org/10.1007/..
 
?
10

Computation of minimal counterexamples by using black box t..:

, In: Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design,
Nopper, Tobias ; Scholl, Christoph ; Becker, Bernd - p. 273-280 , 2007
Link: https://dl.acm.org/doi/1..
 
?
11

RFID-based compound identification in wet laboratories with..:

, In: Proceedings of the 2nd international Workshop on Sensor-based Activity Recognition and Interaction,
Scholl, Philipp M. ; Schultes, Tobias ; Van Laerhoven, Kristof - p. 1-5 , 2015
Link: https://dl.acm.org/doi/1..
 
1-11