Sabine Broda's Annual Report
Year:
2013
Brief description of the research activities:
With A. Machiavelo, N. Moreira and R. Reis: study of average case complexity of Glushkov and Equation Automata for KAT Expressions.
With S. Alves: study of the Formula-Tree Proof method in terms
of game-semantics.
External projects:
AVIACC:Análise e Verificação de Programas Concorrentes Críticos, FCT PTDC/EIA-CCO/117590/2010. Researcher.
CANTE: Descriptional and computational complexity of formal languages. FCT PTDC/EIA-CCO/101904/2008. Researcher.
Preprints:
Proceedings classified as book chapters (peer reviewed):
Papers accepted for publication in peer reviewed journals:
Sabine Broda