Nelma Moreira

TypeTitleAuthorRepliesLast updated
Annual reportNelma Moreira's Annual Report Nelma Moreira04 years 5 months ago
Editorial activityNelma Moreira's editorial activity Nelma Moreira04 years 5 months ago
ThesisTowards Certified Program Logics for the Verification of Imperative Programs. Nelma Moreira04 years 5 months ago
StudentDavid Miguel Ramalho Pereira Nelma Moreira04 years 5 months ago
PublicationA Survey on Operational State Complexity Nelma Moreira04 years 6 months ago
PublicationAutomata for Regular Expressions with Shuffle Nelma Moreira04 years 6 months ago
PublicationOn the Average Complexity of Strong Star Normal Form Nelma Moreira04 years 6 months ago
PublicationOn the Mother of All Automata: the Position Automaton Nelma Moreira04 years 6 months ago
PublicationThe Role of Theory in Computer Science: Essays Dedicated to Janusz Brzozowski Nelma Moreira04 years 6 months ago
ThesisOn the Descriptional Complexity of Some Operations and Simulations of Regular Models Nelma Moreira04 years 8 months ago
StudentEva Maia Nelma Moreira04 years 8 months ago
ProjectsAVIACC - Análise e Verificação de Programas Concorrentes Críticos Nelma Moreira05 years 4 months ago
Annual reportNelma Moreira's Annual Report Nelma Moreira05 years 4 months ago
SeminarA 4-Line Meeting of CMUP: War of the Worlds Nelma Moreira05 years 6 months ago
SeminarImproved Bounds on the Growth Constant of Polyiamonds Nelma Moreira05 years 7 months ago
Seminar2nd Dual Meeting of CMUP: Alien vs. Predator ou Algebra vs. Analysis Nelma Moreira06 years 2 weeks ago
ConferenceFSCD 2016 Nelma Moreira06 years 1 month ago
ConferenceIJCAR 2016 Nelma Moreira06 years 1 month ago
SeminarAgainst all Odds: Probability & Statistics vs. Geometry Nelma Moreira06 years 3 months ago
PublicationIncomplete Transition Complexity on Finite and Infinite Regular Languages Nelma Moreira06 years 4 months ago
Annual reportNelma Moreira's Annual Report Nelma Moreira06 years 4 months ago
ThesisManipulation of Extended Regular Expressions with Derivatives Nelma Moreira06 years 4 months ago
StudentRafaela Bastos Nelma Moreira06 years 4 months ago
PublicationSymbolic Manipulation of Code Properties Nelma Moreira06 years 4 months ago
PublicationDeciding Synchronous Kleene Algebra with Derivatives Nelma Moreira06 years 4 months ago

Pages