Thomas Schmitz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2015–2018
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | CCS | Faceted Secure Multi Execution. | Thomas Schmitz, Maximilian Algehed, Cormac Flanagan, Alejandro Russo |
| 2018 | ICSE | Combining spreadsheet smells for improved fault prediction. | Patrick W. Koch, Konstantin Schekotihin, Dietmar Jannach, Birgit Hofer, Franz Wotawa, Thomas Schmitz |
| 2018 | WWW | A Better Facet of Dynamic Information Flow Control. | Minh Ngo, Nataliia Bielova, Cormac Flanagan, Tamara Rezk, Alejandro Russo, Thomas Schmitz |
| 2016 | IJCAI | Efficient Sequential Model-Based Fault-Localization with Partial Diagnoses. | Kostyantyn M. Shchekotykhin, Thomas Schmitz, Dietmar Jannach |
| 2015 | AAAI | Parallelized Hitting Set Computation for Model-Based Diagnosis. | Dietmar Jannach, Thomas Schmitz, Kostyantyn M. Shchekotykhin |
| 2015 | IJCAI | MergeXplain: Fast Computation of Multiple Conflicts for Diagnosis. | Kostyantyn M. Shchekotykhin, Dietmar Jannach, Thomas Schmitz |
| 2015 | ICSE | Using Calculation Fragments for Spreadsheet Testing and Debugging. | Dietmar Jannach, Thomas Schmitz |
| 2015 | SAFEProcess | A Divide-And-Conquer-Method for Computing Multiple Conflicts for Diagnosis. | Kostyantyn M. Shchekotykhin, Dietmar Jannach, Thomas Schmitz |