Nelma Moreira

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

Pages