Nelma Moreira's Annual Report
Year:
Brief description of the research activities:
With S. Broda, A. Machiavelo and R.Reis: new algorithms for deciding the equivalence of Kleene algrebra with tests expressions
With C. Campeanu and R. Reis: study of the distinguishability operation on regular languages, considering closure properties and state complexity
With G. Pighizzini and R.Reis: study the descriptional complexity of "don't care"automata
With E. Maia and R.Reis: structural characterazition of partial derivative automata and its relationship with the bisimilarity of the position automata.
With S. Broda and S. Cavadas: new derivative based algorithms for deciding equivalence of synchronous Kleene algebras (with tests)
External projects:
AVIACC:Análise e Verificação de Programas Concorrentes Críticos, FCT PTDC/EIA-CCO/117590/2010. Researcher.
Preprints:
Articles in international peer reviewed journals :
Proceedings of international conferences (peer reviewed):
Proceedings classified as book chapters (peer reviewed):
Papers accepted for publication in peer reviewed journals:
Communications in national conferences:
Talks / Seminars / Courses :
Organization of scientific meetings:
Role:
Name of the event:
start and end date:
Country:
Location / City:
Website:
Role:
Name of the event:
start and end date:
Country:
Location / City:
Website:
Role:
Name of the event:
start and end date:
Country:
Location / City:
Website:
Role:
Name of the event:
start and end date:
Country:
Location / City:
Website:
Computational applications:
FAdo system: a module for transducers and a module to deal with synchronous KA terms
Student Mentoring:
Work visits:
Universitá degli Studi di Milano, Itália: visiting Giovanni Pighizzini , February
University of Prince Edward Island, Charlottetown. PEI Canada, visiting Cezar Campeanu, April
University of St. Mary, Halifax, Nova Scotia, Canada, visiting Stavros Konstantinidis, May