| Annual report | Nelma Moreira's Annual Report | Nelma Moreira | 0 | 8 years 1 week ago |
| Editorial activity | Nelma Moreira's editorial activity | Nelma Moreira | 0 | 8 years 1 week ago |
| Thesis | Towards Certified Program Logics for the Verification of Imperative Programs. | Nelma Moreira | 0 | 8 years 1 week ago |
| Student | David Miguel Ramalho Pereira | Nelma Moreira | 0 | 8 years 1 week ago |
| Publication | A Survey on Operational State Complexity | Nelma Moreira | 0 | 8 years 1 month ago |
| Publication | Automata for Regular Expressions with Shuffle | Nelma Moreira | 0 | 8 years 1 month ago |
| Publication | On the Average Complexity of Strong Star Normal Form | Nelma Moreira | 0 | 8 years 1 month ago |
| Publication | On the Mother of All Automata: the Position Automaton | Nelma Moreira | 0 | 8 years 1 month ago |
| Publication | The Role of Theory in Computer Science: Essays Dedicated to Janusz Brzozowski | Nelma Moreira | 0 | 8 years 1 month ago |
| Thesis | On the Descriptional Complexity of Some Operations and Simulations of Regular Models | Nelma Moreira | 0 | 8 years 2 months ago |
| Student | Eva Maia | Nelma Moreira | 0 | 8 years 2 months ago |
| Projects | AVIACC - Análise e Verificação de Programas Concorrentes Críticos | Nelma Moreira | 0 | 8 years 10 months ago |
| Annual report | Nelma Moreira's Annual Report | Nelma Moreira | 0 | 8 years 11 months ago |
| Seminar | A 4-Line Meeting of CMUP: War of the Worlds | Nelma Moreira | 0 | 9 years 1 month ago |
| Seminar | Improved Bounds on the Growth Constant of Polyiamonds | Nelma Moreira | 0 | 9 years 1 month ago |
| Seminar | 2nd Dual Meeting of CMUP: Alien vs. Predator ou Algebra vs. Analysis | Nelma Moreira | 0 | 9 years 7 months ago |
| Conference | FSCD 2016 | Nelma Moreira | 0 | 9 years 7 months ago |
| Conference | IJCAR 2016 | Nelma Moreira | 0 | 9 years 7 months ago |
| Seminar | Against all Odds: Probability & Statistics vs. Geometry | Nelma Moreira | 0 | 9 years 10 months ago |
| Publication | Incomplete Transition Complexity on Finite and Infinite Regular Languages | Nelma Moreira | 0 | 9 years 11 months ago |
| Annual report | Nelma Moreira's Annual Report | Nelma Moreira | 0 | 9 years 11 months ago |
| Thesis | Manipulation of Extended Regular Expressions with Derivatives | Nelma Moreira | 0 | 9 years 11 months ago |
| Student | Rafaela Bastos | Nelma Moreira | 0 | 9 years 11 months ago |
| Publication | Symbolic Manipulation of Code Properties | Nelma Moreira | 0 | 9 years 11 months ago |
| Publication | Deciding Synchronous Kleene Algebra with Derivatives | Nelma Moreira | 0 | 9 years 11 months ago |
