Michael Hoffmann

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 7

Top Topics

Temporal Consistency

Top Venues

Theor. Comput. Sci.

J. Comput. Syst. Sci.

Publications

Thomas Erlebach, Michael Hoffmann, Murilo Santos de Lima
Round-Competitive Algorithms for Uncertainty Problems with Parallel Queries. Algorithmica 85 (2) (2023)
Thomas Erlebach, Michael Hoffmann, Murilo Santos de Lima
Round-Competitive Algorithms for Uncertainty Problems with Parallel Queries. STACS (2021)
Thomas Erlebach, Michael Hoffmann, Murilo S. de Lima
Round-Competitive Algorithms for Uncertainty Problems with Parallel Queries. CoRR (2021)
Thomas Erlebach, Michael Hoffmann, Frank Kammer
On temporal graph exploration. J. Comput. Syst. Sci. 119 (2021)
Thomas Erlebach, Michael Hoffmann, Murilo S. de Lima, Nicole Megow, Jens Schlöter
Untrusted Predictions Improve Trustable Query Policies. CoRR (2020)
Michael Hoffmann, John Iacono, Patrick K. Nicholson, Rajeev Raman
Encoding nearest larger values. Theor. Comput. Sci. 710 (2018)
Thomas Erlebach, Michael Hoffmann, Frank Kammer
Query-competitive algorithms for cheapest set problems under uncertainty. Theor. Comput. Sci. 613 (2016)
Thomas Erlebach, Michael Hoffmann, Frank Kammer
On Temporal Graph Exploration. CoRR (2015)
Thomas Erlebach, Michael Hoffmann
Query-Competitive Algorithms for Computing with Uncertainty. Bull. EATCS 116 (2015)
Thomas Erlebach, Michael Hoffmann, Frank Kammer
On Temporal Graph Exploration. ICALP (1) (2015)
Thomas Erlebach, Michael Hoffmann, Frank Kammer
Query-Competitive Algorithms for Cheapest Set Problems under Uncertainty. MFCS (2) (2014)
Thomas Erlebach, Michael Hoffmann
Minimum Spanning Tree Verification Under Uncertainty. WG (2014)
George Charalambous, Michael Hoffmann
Verification Problem of Maximal Points under Uncertainty. IWOCA (2013)
Ruth Corran, Michael Hoffmann, Dietrich Kuske, Richard M. Thomas
On the automaticity of singular Artin monoids of finite type. Int. J. Comput. Math. 90 (6) (2013)
Michael Hoffmann, Derek F. Holt, Matthew D. Owens, Richard M. Thomas
Semigroups with a Context-Free Word Problem. Developments in Language Theory (2012)
Ruth Corran, Michael Hoffmann, Dietrich Kuske, Richard M. Thomas
Singular Artin Monoids of Finite Coxeter Type Are Automatic. LATA (2011)
Michael Hoffmann, Richard M. Thomas
Notions of hyperbolicity in monoids. Theor. Comput. Sci. 411 (4-5) (2010)
Michael Hoffmann, Thomas Erlebach, Danny Krizanc, Matús Mihalák, Rajeev Raman
Computing Minimum Spanning Trees with Uncertainty. STACS (2008)
Thomas Erlebach, Michael Hoffmann, Danny Krizanc, Matús Mihalák, Rajeev Raman
Computing Minimum Spanning Trees with Uncertainty CoRR (2008)
Michael Hoffmann, S. Muthukrishnan, Rajeev Raman
Streaming Algorithms for Data in Motion. ESCAPE (2007)
Michael Hoffmann, Richard M. Thomas
Notions of Hyperbolicity in Monoids. FCT (2007)
Michael Hoffmann, Richard M. Thomas
A geometric characterization of automatic semigroups. Theor. Comput. Sci. 369 (1-3) (2006)
Thomas Erlebach, Alexander Hall, Michael Hoffmann, Matús Mihalák
Network Discovery and Verification with Distance Queries. CIAC (2006)
Zuzana Beerliova, Felix Eberhard, Thomas Erlebach, Alexander Hall, Michael Hoffmann, Matús Mihalák, L. Shankar Ram
Network Discovery and Verification. IEEE J. Sel. Areas Commun. 24 (12) (2006)
Zuzana Beerliova, Felix Eberhard, Thomas Erlebach, Alexander Hall, Michael Hoffmann, Matús Mihalák, L. Shankar Ram
Network Discovery and Verification. WG (2005)
Zuzana Beerliova, Felix Eberhard, Thomas Erlebach, Alexander Hall, Michael Hoffmann, Matús Mihalák, L. Shankar Ram
Network Discovery and Verification. Algorithms for Optimization with Incomplete Information (2005)
Richard Bruce, Michael Hoffmann, Danny Krizanc, Rajeev Raman
Efficient Update Strategies for Geometric Computing with Uncertainty. Theory Comput. Syst. 38 (4) (2005)
Michael Hoffmann, Richard M. Thomas
Biautomatic Semigroups. FCT (2005)
Richard Bruce, Michael Hoffmann, Danny Krizanc, Rajeev Raman
Efficient Update Strategies for Geometric Computing with Uncertainty. CIAC (2003)
Michael Hoffmann, Richard M. Thomas, Nikola Ruskuc
Automatic Semigroups with Subsemigroups of Finite Rees Index. Int. J. Algebra Comput. 12 (3) (2002)