The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Tobias Schubert 0001" ( http://dblp.L3S.de/Authors/Tobias_Schubert_0001 )

URL (Homepage):  https://ira.informatik.uni-freiburg.de/src/team_view.php?teamID=15  Author page on DBLP  Author page in RDF  Community of Tobias Schubert 0001 in ASPL-2

Publication years (Num. hits)
2000-2008 (15) 2009-2013 (18) 2014-2018 (11)
Publication types (Num. hits)
article(9) inproceedings(34) phdthesis(1)
Venues (Conferences, Journals, ...)
SAT(4) MBMV(3) ASP-DAC(2) DATE(2) JSAT(2) MTV(2) PDPTA(2) S-CUBE(2) AACC(1) ACM Trans. Design Autom. Elect...(1) ARCS Workshops(1) ATVA(1) CLUSTER(1) DDECS(1) DFT(1) e-Energy(1) More (+10 of total 32)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords

Results
Found 45 publication records. Showing 44 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Benjamin Völker, Philipp M. Scholl, Tobias Schubert 0001, Bernd Becker 0001 Towards the Fusion of Intrusive and Non-intrusive Load Monitoring: A Hybrid Approach. Search on Bibsonomy e-Energy The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jan Burchard, Ange Salome Messeng Ekossono, Jan Horácek, Mael Gay, Bernd Becker 0001, Tobias Schubert 0001, Martin Kreuzer, Ilia Polian Towards mixed structural-functional models for algebraic fault attacks on ciphers. Search on Bibsonomy IVSW The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jan Burchard, Mael Gay, Ange Salome Messeng Ekossono, Jan Horácek, Bernd Becker 0001, Tobias Schubert 0001, Martin Kreuzer, Ilia Polian AutoFault: Towards Automatic Construction of Algebraic Fault Attacks. Search on Bibsonomy FDTC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Benjamin Völker, Tobias Schubert 0001, Bernd Becker 0001 iHouse: A Voice-Controlled, Centralized, Retrospective Smart Home. Search on Bibsonomy S-CUBE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marc Pfeifer, Tobias Schubert 0001, Bernd Becker 0001 PackSens: A Condition and Transport Monitoring System Based on an Embedded Sensor Platform. Search on Bibsonomy S-CUBE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jan Burchard, Tobias Schubert 0001, Bernd Becker 0001 Distributed Parallel #SAT Solving. Search on Bibsonomy CLUSTER The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Linus Feiten, Matthias Sauer 0002, Tobias Schubert 0001, Victor Tomashevich, Ilia Polian, Bernd Becker 0001 Formal Vulnerability Analysis of Security Components. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jan Burchard, Tobias Schubert 0001, Bernd Becker 0001 Laissez-Faire Caching for Parallel #SAT Solving. Search on Bibsonomy SAT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dominik Erb, Michael A. Kochte, Matthias Sauer 0002, Stefan Hillebrecht, Tobias Schubert 0001, Hans-Joachim Wunderlich, Bernd Becker 0001 Exact Logic and Fault Simulation in Presence of Unknowns. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sven Reimer, Matthias Sauer 0002, Tobias Schubert 0001, Bernd Becker 0001 Using MaxBMC for Pareto-optimal circuit initialization. Search on Bibsonomy DATE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sven Reimer, Matthias Sauer 0002, Tobias Schubert 0001, Bernd Becker 0001 Incremental Encoding and Solving of Cardinality Constraints. Search on Bibsonomy ATVA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Linus Feiten, Andreas Spilla, Matthias Sauer 0002, Tobias Schubert 0001, Bernd Becker 0001 Implementation and Analysis of Ring Oscillator PUFs on 60 nm Altera Cyclone FPGAs. Search on Bibsonomy Information Security Journal: A Global Perspective The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Matthias Sauer 0002, Alexander Czutro, Tobias Schubert 0001, Stefan Hillebrecht, Ilia Polian, Bernd Becker 0001 SAT-Based Analysis of Sensitizable Paths. Search on Bibsonomy IEEE Design & Test The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Matthias Sauer 0002, Sven Reimer, Tobias Schubert 0001, Ilia Polian, Bernd Becker 0001 Efficient SAT-based dynamic compaction and relaxation for longest sensitizable paths. Search on Bibsonomy DATE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Matthias Sauer 0002, Sven Reimer, Ilia Polian, Tobias Schubert 0001, Bernd Becker 0001 Provably optimal test cube generation using quantified boolean formula solving. Search on Bibsonomy ASP-DAC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Benjamin Andres, Matthias Sauer 0002, Martin Gebser, Tobias Schubert 0001, Bernd Becker 0001, Torsten Schaub Accurate Computation of Sensitizable Paths Using Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Linus Feiten, Matthias Sauer 0002, Tobias Schubert 0001, Alexander Czutro, Eberhard Böhl, Ilia Polian, Bernd Becker 0001 #SAT-based vulnerability analysis of security components - A case study. Search on Bibsonomy DFT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alexander Czutro, Matthias Sauer 0002, Tobias Schubert 0001, Ilia Polian, Bernd Becker 0001 SAT-ATPG using preferences for improved detection of complex defect mechanisms. Search on Bibsonomy VTS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Matthew D. T. Lewis, Tobias Schubert 0001, Bernd Becker 0001, Paolo Marin, Massimo Narizzano, Enrico Giunchiglia Parallel QBF Solving with Advanced Knowledge Sharing. Search on Bibsonomy Fundam. Inform. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stefan Kupferschmid, Matthew D. T. Lewis, Tobias Schubert 0001, Bernd Becker 0001 Incremental preprocessing methods for use in BMC. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Tobias Schubert 0001, Bernd Becker 0001, Martin Fränzle, Christian Herde Parallel SAT Solving in Bounded Model Checking. Search on Bibsonomy J. Log. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Matthias Sauer 0002, Alexander Czutro, Tobias Schubert 0001, Stefan Hillebrecht, Ilia Polian, Bernd Becker 0001 SAT-based analysis of sensitisable paths. Search on Bibsonomy DDECS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Natalia Kalinnik, Erika Ábrahám, Tobias Schubert 0001, Ralf Wimmer, Bernd Becker 0001 Exploiting Different Strategies for the Parallelization of an SMT Solver. Search on Bibsonomy MBMV The full citation details ... 2010 DBLP  BibTeX  RDF
1Tobias Schubert 0001, Matthew D. T. Lewis, Bernd Becker 0001 PaMiraXT: Parallel SAT Solving with Threads and Message Passing. Search on Bibsonomy JSAT The full citation details ... 2009 DBLP  BibTeX  RDF
1Matthew D. T. Lewis, Tobias Schubert 0001, Bernd Becker 0001 QmiraXT - A Multithreaded QBF Solver. Search on Bibsonomy MBMV The full citation details ... 2009 DBLP  BibTeX  RDF
1Matthew D. T. Lewis, Paolo Marin, Tobias Schubert 0001, Massimo Narizzano, Bernd Becker 0001, Enrico Giunchiglia PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. Search on Bibsonomy SAT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Parallel QBF Solving, Master/Slave Architecture, MPI, Message Passing
1Paolo Marin, Massimo Narizzano, Enrico Giunchiglia, Matthew D. T. Lewis, Tobias Schubert 0001, Bernd Becker 0001 Comparison of knowledge sharing strategies in a parallel QBF solver. Search on Bibsonomy HPCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Natalia Kalinnik, Tobias Schubert 0001, Erika Ábrahám, Ralf Wimmer, Bernd Becker 0001 Picoso - A Parallel Interval Constraint Solver. Search on Bibsonomy PDPTA The full citation details ... 2009 DBLP  BibTeX  RDF
1Paolo Marin, Matthew D. T. Lewis, Tobias Schubert 0001, Massimo Narizzano, Bernd Becker 0001, Enrico Giunchiglia Evaluation of Knowledge Sharing Strategies in a Parallel QBF Solver. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2009 DBLP  BibTeX  RDF
1Tobias Schubert 0001 SAT-Algorithmen und Systemaspekte: vom Mikroprozessor zum parallelen System. Search on Bibsonomy 2008   RDF
1Martin Fränzle, Christian Herde, Tino Teige, Stefan Ratschan, Tobias Schubert 0001 Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure. Search on Bibsonomy JSAT The full citation details ... 2007 DBLP  BibTeX  RDF
1Matthew D. T. Lewis, Tobias Schubert 0001, Bernd Becker 0001 Multithreaded SAT Solving. Search on Bibsonomy ASP-DAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Tobias Schubert 0001, Bernd Becker 0001, Martin Fränzle, Christian Herde Parallel SAT Solving in Bounded Model Checking. Search on Bibsonomy FMICS/PDMC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Tobias Schubert 0001, Matthew D. T. Lewis, Bernd Becker 0001 PaMira - A Parallel SAT Solver with Knowledge Sharing. Search on Bibsonomy MTV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Tobias Schubert 0001, Bernd Becker 0001 Lemma Exchange in a Microcontroller Based Parallel SAT Solver. Search on Bibsonomy ISVLSI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Matthew D. T. Lewis, Tobias Schubert 0001, Bernd Becker 0001 Speedup Techniques Utilized in Modern SAT Solvers. Search on Bibsonomy SAT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Tobias Schubert 0001, Bernd Becker 0001 Knowledge Sharing in a Microcontroller based Parallel SAT Solver. Search on Bibsonomy PDPTA The full citation details ... 2005 DBLP  BibTeX  RDF
1Tobias Schubert 0001, Bernd Becker 0001 PICHAFF2 - A Hierarchical Parallel SAT Solver. Search on Bibsonomy MTV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Tobias Schubert 0001, Bernd Becker 0001 A Distributed SAT Solver for Microcontroller. Search on Bibsonomy ARCS Workshops The full citation details ... 2004 DBLP  BibTeX  RDF
1Matthew D. T. Lewis, Tobias Schubert 0001, Bernd Becker 0001 Early Conflict Detection Based SAT Solving. Search on Bibsonomy MBMV The full citation details ... 2004 DBLP  BibTeX  RDF
1Matthew D. T. Lewis, Tobias Schubert 0001, Bernd Becker 0001 Early Conflict Detection Based BCP for SAT Solving. Search on Bibsonomy SAT The full citation details ... 2004 DBLP  BibTeX  RDF
1Tobias Schubert 0001, Bernd Becker 0001 Parallel SAT Solving with Microcontrollers. Search on Bibsonomy AACC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Tobias Schubert 0001, Elke Mackensen, Nicole Drechsler, Rolf Drechsler, Bernd Becker 0001 Specialized Hardware for Implementation of Evolutionary Algorithms. Search on Bibsonomy GECCO The full citation details ... 2000 DBLP  BibTeX  RDF
1Rolf Drechsler, Nicole Drechsler, Elke Mackensen, Tobias Schubert 0001, Bernd Becker 0001 Design Reuse by Modularity: A Scalable Dynamical (Re)Configurable Multiprocessor System. Search on Bibsonomy EUROMICRO The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #44 of 44 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license