dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Michael Hoffmann (Selection)

University of Leicester, UK

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Hoffmann, Derek F. Holt, Matthew D. Owens, Richard M. Thomas: Semigroups with a Context-Free Word Problem. Developments in Language Theory 2012: 97-108
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuth Corran, Michael Hoffmann, Dietrich Kuske, Richard M. Thomas: Singular Artin Monoids of Finite Coxeter Type Are Automatic. LATA 2011: 250-261
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Hoffmann, Richard M. Thomas: Notions of hyperbolicity in monoids. Theor. Comput. Sci. 411(4-5): 799-811 (2010)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Hoffmann, Thomas Erlebach, Danny Krizanc, Matús Mihalák, Rajeev Raman: Computing Minimum Spanning Trees with Uncertainty. STACS 2008: 277-288
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Erlebach, Michael Hoffmann, Danny Krizanc, Matús Mihalák, Rajeev Raman: Computing Minimum Spanning Trees with Uncertainty CoRR abs/0802.2855: (2008)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Hoffmann, S. Muthukrishnan, Rajeev Raman: Streaming Algorithms for Data in Motion. ESCAPE 2007: 294-304
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Hoffmann, Richard M. Thomas: Notions of Hyperbolicity in Monoids. FCT 2007: 341-352
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Erlebach, Alexander Hall, Michael Hoffmann, Matús Mihalák: Network Discovery and Verification with Distance Queries. CIAC 2006: 69-80
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZuzana Beerliova, Felix Eberhard, Thomas Erlebach, Alexander Hall, Michael Hoffmann, Matús Mihalák, L. Shankar Ram: Network Discovery and Verification. IEEE Journal on Selected Areas in Communications 24(12): 2168-2181 (2006)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Hoffmann, Richard M. Thomas: A geometric characterization of automatic semigroups. Theor. Comput. Sci. 369(1-3): 300-313 (2006)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZuzana 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
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Hoffmann, Richard M. Thomas: Biautomatic Semigroups. FCT 2005: 56-67
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZuzana Beerliova, Felix Eberhard, Thomas Erlebach, Alexander Hall, Michael Hoffmann, Matús Mihalák, L. Shankar Ram: Network Discovery and Verification. WG 2005: 127-138
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Bruce, Michael Hoffmann, Danny Krizanc, Rajeev Raman: Efficient Update Strategies for Geometric Computing with Uncertainty. Theory Comput. Syst. 38(4): 411-423 (2005)
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Bruce, Michael Hoffmann, Danny Krizanc, Rajeev Raman: Efficient Update Strategies for Geometric Computing with Uncertainty. CIAC 2003: 12-23
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Hoffmann, Richard M. Thomas, Nikola Ruskuc: Automatic Semigroups with Subsemigroups of Finite Rees Index. IJAC 12(3): 463-461 (2002)

Selection of 16 from 16 records - Michael Hoffmann has 16 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page