Nelma Moreira's Annual Report

Nelma Moreira's Annual Report

Year: 

2013

Brief description of the research activities: 

With S. Broda, A. Machiavelo, and R. Reis: study of average case complexity of Glushkov and Equation Automata for KAT Expressions

With J. Bell, J.Brzozowski, and R. Reis:study the quotient complexity of boolean operations over languages which syntatc semigroups are symmetric groups.

With E. Maia and R. Reis: study of the worst-case operational transition and state complexity on incomplete deterministic finite automata for finite languages

With D. Pereira and S. Sousa: formalization of decidability procedures for equivalence of Kleene Albegra with Tests expressions in the Coq
proof assistant.

 

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.

 

Proceedings classified as book chapters (peer reviewed): 

Papers accepted for publication in peer reviewed journals: 

Nelma Moreira

Talks / Seminars / Courses : 

Organization of scientific meetings: 

Role: 

Program Committee member

Name of the event: 

CIAA 2013

start and end date: 

July 16, 2013 to July 19, 2013

Country: 

Canada

Location / City: 

Halifax

Role: 

Program Committee member.

Name of the event: 

DCFS 2013 - 15th International Workshop on Descriptional Complexity of Formal System

start and end date: 

July 22, 2013 to July 25, 2013

Country: 

Canada

Location / City: 

London, Ontario

Role: 

Program Committee member

Name of the event: 

Inforum 2013 - 5o Simpósio de Informática

start and end date: 

September 5, 2013 to September 6, 2013

Country: 

Portugal

Location / City: 

Évora

Organization of regular seminars: 

Seminar "Voices of Cante", in the scope of the CANTE project
(organized with S. Broda , A. Machiavelo, and Rogério Reis), : (http://www.dcc.fc.up.pt/cante/news/files/tag-voices-of-cante.php)

 

Computational applications: 

FAdo: Tools for manipulation of formal languages (http://fado.dcc.fc.up.pt)

DesCo:Web based system for descriptional complexity results on formal languages (http://desco.up.pt)

Student Mentoring: 

David Pereira, Towards Towards Certified Program Logics for the Verification of Imperative Programs, SFRH/BD/78392/2011
Davide Nabais, Desco: a Web-base Knowledge System for Descriptional Complexity of Formal Languages.
Error | CMUP

Error

The website encountered an unexpected error. Please try again later.