Skip to main content
CMUP

CMUP

Search form

  • Log in
  • CMUP
    • About
    • Members
    • Direction board
    • Advisory board
    • Contact
    • News
    • Partners & Collaborators
    • Editions
    • Memories
    • CMUP's old webpage
  • Research
    • Research areas
    • Publications
    • Preprints
    • Theses
    • Bibliographic resources
  • Projects
    • Current research projects
    • Past research projects
    • GEMAC
    • Outreach projects
      • Art and Mathematics
      • Bibliakos
      • INIGMA
      • Mathematics at FCUP
      • Mathematics Promotion
      • Pólya
      • Summer School
  • Events
    • Courses
    • Conferences
    • Seminars

Publications

Found 5 results
Author Title Type [ Year(Asc)]
Filters: Author is Markus Holzer  [Clear All Filters]
2017
Broda S, Holzer M, Maia E, Moreira N, Reis R. On the Mother of All Automata: the Position Automaton. In: Developments in Language Theory.; 2017. Edit
2015
Seventh Workshop on Non-Classical Models of Automata and Applications (NCMA 2015). Freund R, Holzer M, Moreira N, Reis R, editors Österreichische Computer Gesellschaft 2015.Edit
2014
Amorim I, Machiavelo A, Reis R. Counting Equivalent Linear Finite Transducers Using a Canonical Form. Vol 8587. Holzer M, Kutrib M, editors 2014 (LNCS; vol 8587).Edit
Amorim I, Machiavelo A, Reis R. Counting Equivalent Linear Finite Transducers Using a Canonical Form. Holzer M, Kutrib M, editors Germany, Giessen: Springer 2014.Edit
Maia E, Moreira N, Reis R. Partial Derivative and Position Bisimilarity Automata. Vol 8587. Holzer M, Kutrib M, editors SV 2014 (LNCS; vol 8587).Edit
Apoio Fundação para a Ciência e Tecnologia, Compete, QRENe Faculdade de Ciencias da Universidade do Porto

Footer Menu

  • About CMUP
  • Contacts