Nelma Moreira

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

Pages