Skip to contents

Moreira, Nelma [Author] ; Reis, Rogério [Other]

Implementation and Application of Automata : 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer, 2012

Published in: Lecture notes in computer science ; 7381
Moreira, Nelma [Editor]; Reis, Rogério [Editor]

Developments in Language Theory : 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings - [1st ed. 2021.]

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer International Publishing, 2021. ; Cham: Imprint: Springer, 2021.

Published in: Theoretical Computer Science and General Issues ; 12811
Kutrib, Martin [Author] ; Moreira, Nelma [Other]; Reis, Rogério [Other]

Descriptional Complexity of Formal Systems : 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer, 2012

Published in: Lecture notes in computer science ; 7386
Filgueiras, Miguel [Author] ; Damas, Luis [Other]; Moreira, Nelma [Other]; Tomas, Ana P. [Other]

Natural Language Processing : EAIA '90, 2nd Advanced School in Artificial Intelligence Guarda, Portugal, October 8-12, 1990. Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1991

Published in: Lecture notes in computer science ; 476
Ferreira, Miguel [Author]; Moreira, Nelma [Author]; Reis, Rogério [Author] ; Miguel Ferreira and Nelma Moreira and Rogério Reis [Contributor]

Automata Serialization for Manipulation and Drawing

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
Sekerinski, Emil [Editor]; Moreira, Nelma [Editor]; Oliveira, José N. [Editor]; Ratiu, Daniel [Editor]; Guidotti, Riccardo [Editor]; Farrell, Marie [Editor]; Luckcuck, Matt [Editor]; Marmsoler, Diego [Editor]; Campos, José [Editor]; Astarte, Troy [Editor]; Gonnord, Laure [Editor]; Cerone, Antonio [Editor]; Couto, Luis [Editor]; Dongol, Brijesh [Editor]; Kutrib, Martin [Editor]; Monteiro, Pedro [Editor]; Delmas, David [Editor]

Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I - [1st ed. 2020.]

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer International Publishing, 2020. ; Cham: Imprint: Springer, 2020.

Published in: Programming and Software Engineering ; 12232- Springer eBook Collection
Sekerinski, Emil [Editor]; Moreira, Nelma [Editor]; Oliveira, José N. [Editor]; Ratiu, Daniel [Editor]; Guidotti, Riccardo [Editor]; Farrell, Marie [Editor]; Luckcuck, Matt [Editor]; Marmsoler, Diego [Editor]; Campos, José [Editor]; Astarte, Troy [Editor]; Gonnord, Laure [Editor]; Cerone, Antonio [Editor]; Couto, Luis [Editor]; Dongol, Brijesh [Editor]; Kutrib, Martin [Editor]; Monteiro, Pedro [Editor]; Delmas, David [Editor]

Formal Methods. FM 2019 International Workshops : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II - [1st ed. 2020.]

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer International Publishing, 2020. ; Cham: Imprint: Springer, 2020.

Published in: Programming and Software Engineering ; 12233- Springer eBook Collection
Moreira, Nelma

EPIA 89: Semantic analysis of time and tense in natural language: an implementation

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1989

Published in: EPIA 89 (1989), Seite 198-209
Moreira, Nelma; Reis, Rogério

Implementation and Application of Automata: Manipulation of Regular Expressions Using Derivatives: An Overview

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2022

Published in: Implementation and Application of Automata (2022), Seite 19-33
Moreira, Nelma; Reis, Rogério

Series-Parallel Automata and Short Regular Expressions

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

IOS Press, 2009

Published in: Fundamenta Informaticae, 91 (2009) 3-4, Seite 611-629
Pereira, David; Moreira, Nelma

KAT and PHL in Coq

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

National Library of Serbia, 2008

Published in: Computer Science and Information Systems, 5 (2008) 2, Seite 137-160
Moreira, Nelma; Reis, Rogério

Interactive manipulation of regular objects with FAdo

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2005

Published in: ACM SIGCSE Bulletin, 37 (2005) 3, Seite 335-339
Reis, Rogério; Moreira, Nelma

Apoo : an environment for a first course in assembly language programming : an environment for a first course in assembly language programming

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2001

Published in: ACM SIGCSE Bulletin, 33 (2001) 4, Seite 43-47
Damas, Luís; Moreira, Nelma

Progress in Artificial Intelligence: Constraint categorial grammars

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1995

Published in: Progress in Artificial Intelligence (1995), Seite 347-358
Loff, Bruno; Moreira, Nelma; Reis, Rogério

The computational power of parsing expression grammars

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2020

Published in: Journal of Computer and System Sciences, 111 (2020), Seite 1-21
Ferreira, Miguel; Moreira, Nelma; Reis, Rogério

Descriptional Complexity of Formal Systems: Forward Injective Finite Automata: Exact and Random Generation of Nonisomorphic NFAs

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2018

Published in: Descriptional Complexity of Formal Systems (2018), Seite 88-100
Loff, Bruno; Moreira, Nelma; Reis, Rogério

Developments in Language Theory: The Computational Power of Parsing Expression Grammars

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2018

Published in: Developments in Language Theory (2018), Seite 491-502
Konstantinidis, Stavros; Moreira, Nelma; Reis, Rogério

Randomized generation of error control codes with automata and transducers

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

EDP Sciences, 2018

Published in: RAIRO - Theoretical Informatics and Applications, 52 (2018) 2-3-4, Seite 169-184
Moreira, Nelma; Pighizzini, Giovanni; Reis, Rogério

Optimal state reductions of automata with partially specified behaviors

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2017

Published in: Theoretical Computer Science, 658 (2017), Seite 235-245
Câmpeanu, Cezar; Moreira, Nelma; Reis, Rogério

Distinguishability Operations and Closures

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

IOS Press, 2016

Published in: Fundamenta Informaticae, 148 (2016) 3-4, Seite 243-266

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication