Nelma Moreira

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

Pages