default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNelma Moreira
Person information
- affiliation: University of Porto, Portugal
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j39]Stavros Konstantinidis, Nelma Moreira, Rogério Reis, Juraj Sebej:
On the difference set of two transductions. Theor. Comput. Sci. 1016: 114780 (2024)- [c60]Guilherme Duarte
, Nelma Moreira, Luca Prigioniero, Rogério Reis:
Block Languages and Their Bitmap Representations. CIAA 2024: 124-137 - [i20]Guilherme Duarte, Nelma Moreira, Luca Prigioniero, Rogério Reis:
On the Representation of Block Languages. CoRR abs/2404.11746 (2024) - [i19]Guilherme Duarte, Nelma Moreira, Luca Prigioniero, Rogério Reis:
Operational State Complexity of Block Languages. CoRR abs/2409.06970 (2024) - 2023
- [j38]Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis:
Location automata for regular expressions with shuffle and intersection. Inf. Comput. 295(Part B): 104917 (2023) - [j37]Nelma Moreira, Rogério Reis:
Special Issue: 25th International Conference on Developments in Language Theory (DLT 2021) - Preface. Int. J. Found. Comput. Sci. 34(2&3): 81-83 (2023) - [j36]Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis:
Location automata for synchronised shuffle expressions. J. Log. Algebraic Methods Program. 132: 100847 (2023) - [j35]Stavros Konstantinidis, António Machiavelo, Nelma Moreira, Rogério Reis:
On the average complexity of partial derivative transducers. Theor. Comput. Sci. 956: 113830 (2023) - [j34]Stavros Konstantinidis, Mitja Mastnak, Nelma Moreira, Rogério Reis:
Approximate NFA universality and related problems motivated by information theory. Theor. Comput. Sci. 972: 114076 (2023) - [c59]Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis:
Average Complexity of Partial Derivatives for Synchronised Shuffle Expressions. CIAA 2023: 103-115 - 2022
- [c58]Stavros Konstantinidis, Mitja Mastnak, Nelma Moreira, Rogério Reis:
Approximate NFA Universality Motivated by Information Theory. DCFS 2022: 142-154 - [c57]Nelma Moreira, Rogério Reis:
Manipulation of Regular Expressions Using Derivatives: An Overview. CIAA 2022: 19-33 - [i18]Stavros Konstantinidis, Mitja Mastnak, Nelma Moreira, Rogério Reis:
Approximate NFA Universality and Related Problems Motivated by Information Theory. CoRR abs/2202.01594 (2022) - 2021
- [j33]Stavros Konstantinidis, António Machiavelo, Nelma Moreira, Rogério Reis:
On the size of partial derivatives and the word membership problem. Acta Informatica 58(4): 357-375 (2021) - [j32]Sabine Broda, Eva Maia, Nelma Moreira, Rogério Reis:
The Prefix Automaton. J. Autom. Lang. Comb. 26(1-2): 17-53 (2021) - [j31]Stavros Konstantinidis, Nelma Moreira, Rogério Reis:
Partial derivatives of regular expressions over alphabet-invariant and user-defined labels. Theor. Comput. Sci. 870: 103-120 (2021) - [c56]Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis:
On the Uniform Distribution of Regular Expressions. DCFS 2021: 13-25 - [c55]Stavros Konstantinidis, António Machiavelo, Nelma Moreira, Rogério Reis:
Partial Derivative Automaton by Compressing Regular Expressions. DCFS 2021: 100-112 - [c54]Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis:
Location Based Automata for Expressions with Shuffle. LATA 2021: 43-54 - [p1]Martin Kutrib, Nelma Moreira, Giovanni Pighizzini, Rogério Reis:
Hot Current Topics of Descriptional Complexity. IFIP's Exciting First 60+ Years 2021: 3-28 - [e8]Nelma Moreira, Rogério Reis:
Developments in Language Theory - 25th International Conference, DLT 2021, Porto, Portugal, August 16-20, 2021, Proceedings. Lecture Notes in Computer Science 12811, Springer 2021, ISBN 978-3-030-81507-3 [contents] - [i17]Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis:
On the Uniform Distribution of Regular Expressions. CoRR abs/2103.13175 (2021) - 2020
- [j30]Stavros Konstantinidis, Nelma Moreira, Rogério Reis, Joshua Young:
Regular Expressions and Transducers Over Alphabet-Invariant and User-Defined Labels. Int. J. Found. Comput. Sci. 31(8): 983-1019 (2020) - [j29]Bruno Loff, Nelma Moreira, Rogério Reis:
The computational power of parsing expression grammars. J. Comput. Syst. Sci. 111: 1-21 (2020) - [j28]Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis:
Guest Column: Analytic Combinatorics and Descriptional Complexity of Regular Languages on Average. SIGACT News 51(1): 38-56 (2020) - [c53]Stavros Konstantinidis, António Machiavelo, Nelma Moreira, Rogério Reis:
On the Average State Complexity of Partial Derivative Transducers. SOFSEM 2020: 174-186 - [e7]Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Creissac Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas:
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I. Lecture Notes in Computer Science 12232, Springer 2020, ISBN 978-3-030-54993-0 [contents] - [e6]Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Creissac Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas:
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II. Lecture Notes in Computer Science 12233, Springer 2020, ISBN 978-3-030-54996-1 [contents]
2010 – 2019
- 2019
- [j27]Sabine Broda, Markus Holzer, Eva Maia, Nelma Moreira, Rogério Reis:
A mesh of automata. Inf. Comput. 265: 94-111 (2019) - [j26]Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis:
On Average Behaviour of Regular Expressions in Strong Star Normal Form. Int. J. Found. Comput. Sci. 30(6-7): 899-920 (2019) - [c52]Stavros Konstantinidis, Nelma Moreira, João Pires, Rogério Reis:
Partial Derivatives of Regular Expressions over Alphabet-Invariant and User-Defined Labels. CIAA 2019: 184-196 - [i16]Bruno Loff, Nelma Moreira, Rogério Reis:
The computational power of parsing expression grammars. CoRR abs/1902.08272 (2019) - 2018
- [j25]Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis:
Automata for regular expressions with shuffle. Inf. Comput. 259(2): 162-173 (2018) - [j24]Stavros Konstantinidis, Nelma Moreira, Rogério Reis:
Randomized generation of error control codes with automata and transducers. RAIRO Theor. Informatics Appl. 52(2-3-4): 169-184 (2018) - [j23]Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis:
Position Automata for Semi-extended Expressions. J. Autom. Lang. Comb. 23(1-3): 39-65 (2018) - [j22]Stavros Konstantinidis, Casey Meijer, Nelma Moreira, Rogério Reis:
Symbolic Manipulation of Code Properties. J. Autom. Lang. Comb. 23(1-3): 243-269 (2018) - [c51]Miguel Ferreira, Nelma Moreira, Rogério Reis:
Forward Injective Finite Automata: Exact and Random Generation of Nonisomorphic NFAs. DCFS 2018: 88-100 - [c50]Bruno Loff, Nelma Moreira, Rogério Reis:
The Computational Power of Parsing Expression Grammars. DLT 2018: 491-502 - [c49]Stavros Konstantinidis, Nelma Moreira, Rogério Reis, Joshua Young:
Regular Expressions and Transducers over Alphabet-Invariant and User-Defined Labels. CIAA 2018: 4-27 - [c48]Marcus V. M. Ramos, José Carlos Bacelar Almeida, Nelma Moreira, Ruy J. G. B. de Queiroz:
Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages. LSFA 2018: 151-167 - [i15]Stavros Konstantinidis, Nelma Moreira, Rogério Reis, Joshua Young:
Regular Expressions and Transducers over Alphabet-invariant and User-defined Labels. CoRR abs/1805.01829 (2018) - 2017
- [j21]Yuan Gao, Nelma Moreira, Rogério Reis, Sheng Yu:
A Survey on Operational State Complexity. J. Autom. Lang. Comb. 21(4): 251-310 (2017) - [j20]Rafaela Bastos, Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis:
On the Average Complexity of Partial Derivative Automata for Semi-extended Expressions. J. Autom. Lang. Comb. 22(1-3): 5-28 (2017) - [j19]Nelma Moreira, Giovanni Pighizzini, Rogério Reis:
Optimal state reductions of automata with partially specified behaviors. Theor. Comput. Sci. 658: 235-245 (2017) - [c47]Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis:
On the Average Complexity of Strong Star Normal Form. DCFS 2017: 77-88 - [c46]Sabine Broda, Markus Holzer, Eva Maia, Nelma Moreira, Rogério Reis:
On the Mother of All Automata: The Position Automaton. DLT 2017: 134-146 - [e5]Stavros Konstantinidis, Nelma Moreira, Rogério Reis, Jeffrey O. Shallit:
The Role of Theory in Computer Science - Essays Dedicated to Janusz Brzozowski. World Scientific 2017, ISBN 978-981-3148-19-2 [contents] - 2016
- [j18]Cezar Câmpeanu, Nelma Moreira, Rogério Reis:
Distinguishability Operations and Closures. Fundam. Informaticae 148(3-4): 243-266 (2016) - [j17]Marcus Vinícius Midena Ramos, José Carlos Bacelar Almeida, Nelma Moreira, Ruy José Guerra Barretto de Queiroz:
Formalization of the pumping lemma for context-free languages. J. Formaliz. Reason. 9(2): 53-68 (2016) - [c45]Rafaela Bastos, Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis:
On the State Complexity of Partial Derivative Automata For Regular Expressions with Intersection. DCFS 2016: 45-59 - [c44]Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis:
Position Automaton Construction for Regular Expressions with Intersection. DLT 2016: 51-63 - [c43]Cezar Câmpeanu, Nelma Moreira, Rogério Reis:
On the dissimilarity operation on finite languages. NCMA 2016: 105-120 - [c42]Stavros Konstantinidis, Nelma Moreira, Rogério Reis:
Generating error control codes with automata and transducers. NCMA 2016: 211-226 - [c41]Miguel Ferreira, Nelma Moreira, Rogério Reis:
Automata Serialization for Manipulation and Drawing. SLATE 2016: 15:1-15:7 - [c40]Stavros Konstantinidis, Casey Meijer, Nelma Moreira, Rogério Reis:
Implementation of Code Properties via Transducers. CIAA 2016: 189-201 - [c39]Marcus Vinícius Midena Ramos, Ruy J. G. B. de Queiroz, Nelma Moreira, José Carlos Bacelar Almeida:
On the Formalization of Some Results of Context-Free Language Theory. WoLLIC 2016: 338-357 - [i14]Stavros Konstantinidis, Nelma Moreira, Rogério Reis:
Channels with Synchronization/Substitution Errors and Computation of Error Control Codes. CoRR abs/1601.06312 (2016) - 2015
- [j16]Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis:
Average Size of Automata Constructions from Regular Expressions. Bull. EATCS 116 (2015) - [j15]Eva Maia, Nelma Moreira, Rogério Reis:
Incomplete operational transition complexity of regular languages. Inf. Comput. 244: 1-22 (2015) - [j14]Nelma Moreira, David Pereira, Simão Melo de Sousa:
Deciding Kleene algebra terms equivalence in Coq. J. Log. Algebraic Methods Program. 84(3): 377-401 (2015) - [c38]Eva Maia, Nelma Moreira, Rogério Reis:
Prefix and Right-Partial Derivative Automata. CiE 2015: 258-267 - [c37]Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis:
Partial Derivative Automaton for Regular Expressions with Shuffle. DCFS 2015: 21-32 - [c36]Nelma Moreira, Giovanni Pighizzini, Rogério Reis:
Universal Disjunctive Concatenation and Star. DCFS 2015: 197-208 - [c35]Nelma Moreira, Giovanni Pighizzini, Rogério Reis:
Optimal State Reductions of Automata with Partially Specified Behaviors. SOFSEM 2015: 339-351 - [c34]Sabine Broda, Sílvia Cavadas, Miguel Ferreira, Nelma Moreira:
Deciding Synchronous Kleene Algebra with Derivatives. CIAA 2015: 49-62 - [e4]Rudolf Freund, Markus Holzer, Nelma Moreira, Rogério Reis:
Seventh Workshop on Non-Classical Models of Automata and Applications - NCMA 2015, Porto, Portugal, August 31 - September 1, 2015. Proceedings. books@ocg.at 318, Österreichische Computer Gesellschaft 2015, ISBN 978-3-903035-07-2 [contents] - [i13]Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis:
Partial Derivative Automaton for Regular Expressions with Shuffle. CoRR abs/1503.00279 (2015) - [i12]Stavros Konstantinidis, Casey Meijer, Nelma Moreira, Rogério Reis:
Symbolic Manipulation of Code Properties. CoRR abs/1504.04715 (2015) - [i11]Yuan Gao, Nelma Moreira, Rogério Reis, Sheng Yu:
A Survey on Operational State Complexity. CoRR abs/1509.03254 (2015) - [i10]Marcus Vinícius Midena Ramos, Ruy J. G. B. de Queiroz, Nelma Moreira, José Carlos Bacelar Almeida:
Formalization of the pumping lemma for context-free languages. CoRR abs/1510.04748 (2015) - [i9]Marcus V. M. Ramos, Ruy J. G. B. de Queiroz, Nelma Moreira, José Carlos Bacelar Almeida:
Formalization of context-free language theory. CoRR abs/1510.09092 (2015) - 2014
- [j13]Marco Almeida, Nelma Moreira, Rogério Reis:
Incremental DFA minimisation. RAIRO Theor. Informatics Appl. 48(2): 173-186 (2014) - [j12]Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis:
A Hitchhiker's Guide to descriptional complexity through analytic combinatorics. Theor. Comput. Sci. 528: 85-100 (2014) - [c33]Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis:
On the Equivalence of Automata for KAT-expressions. CiE 2014: 73-83 - [c32]Jason P. Bell, Janusz A. Brzozowski, Nelma Moreira, Rogério Reis:
Symmetric Groups and Quotient Complexity of Boolean Operations. ICALP (2) 2014: 1-12 - [c31]Cezar Câmpeanu, Nelma Moreira, Rogério Reis:
The distinguishability operation on regular languages. NCMA 2014: 85-100 - [c30]Eva Maia, Nelma Moreira, Rogério Reis:
Partial Derivative and Position Bisimilarity Automata. CIAA 2014: 264-277 - [i8]Cezar Câmpeanu, Nelma Moreira, Rogério Reis:
The Distinguishability Operation On Regular Languages. CoRR abs/1407.0160 (2014) - 2013
- [j11]Nelma Moreira, Rogério Reis:
Preface. Int. J. Found. Comput. Sci. 24(6): 689-690 (2013) - [c29]Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis:
On the Average Size of Glushkov and Equation Automata for KAT Expressions. FCT 2013: 72-83 - [c28]Eva Maia, Nelma Moreira, Rogério Reis:
Incomplete Transition Complexity of Some Basic Operations. SOFSEM 2013: 319-331 - [c27]Eva Maia, Nelma Moreira, Rogério Reis:
Incomplete Transition Complexity of Basic Operations on Finite Languages. CIAA 2013: 349-356 - [i7]Eva Maia, Nelma Moreira, Rogério Reis:
Incomplete Transition Complexity of Basic Operations on Finite Languages. CoRR abs/1302.0750 (2013) - [i6]Jason P. Bell, Janusz A. Brzozowski, Nelma Moreira, Rogério Reis:
Symmetric Groups and Quotient Complexity of Boolean Operations. CoRR abs/1310.1841 (2013) - 2012
- [j10]Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis:
On the Average Size of Glushkov and Partial derivative Automata. Int. J. Found. Comput. Sci. 23(5): 969-984 (2012) - [j9]Jürgen Dassow, Martin Kutrib, Nelma Moreira, Rogério Reis:
Editorial. J. Autom. Lang. Comb. 17(2-4): 59-60 (2012) - [c26]Nelma Moreira, David Pereira, Simão Melo de Sousa:
Deciding Regular Expressions (In-)Equivalence in Coq. RAMiCS 2012: 98-113 - [c25]Ricardo Almeida, Sabine Broda, Nelma Moreira:
Deciding KAT and Hoare Logic with Derivatives. GandALF 2012: 127-140 - [e3]Martin Kutrib, Nelma Moreira, Rogério Reis:
Descriptional Complexity of Formal Systems - 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings. Lecture Notes in Computer Science 7386, Springer 2012, ISBN 978-3-642-31622-7 [contents] - [e2]Nelma Moreira, Rogério Reis:
Implementation and Application of Automata - 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings. Lecture Notes in Computer Science 7381, Springer 2012, ISBN 978-3-642-31605-0 [contents] - [r1]Marco Almeida, Nelma Moreira, Rogério Reis:
Finite Automata Minimization. Handbook of Finite State Based Models and Applications 2012: 145-169 - 2011
- [j8]Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis:
On the Average State Complexity of Partial derivative Automata: an analytic Combinatorics Approach. Int. J. Found. Comput. Sci. 22(7): 1593-1606 (2011) - [c24]Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis:
The Average Transition Complexity of Glushkov and Partial Derivative Automata. Developments in Language Theory 2011: 93-104 - 2010
- [j7]Marco Almeida, Nelma Moreira, Rogério Reis:
Testing the Equivalence of Regular Languages. J. Autom. Lang. Comb. 15(1/2): 7-25 (2010) - [c23]Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis:
On the Average Number of States of Partial Derivative Automata. Developments in Language Theory 2010: 112-123 - [c22]Marco Almeida, Nelma Moreira, Rogério Reis:
Incremental DFA Minimisation. CIAA 2010: 39-48 - [c21]José Bacelar Almeida, Nelma Moreira, David Pereira, Simão Melo de Sousa:
Partial Derivative Automata Formalized in Coq. CIAA 2010: 59-68 - [c20]Nelma Moreira, Davide Nabais, Rogério Reis:
State Elimination Ordering Strategies: Some Experimental Results. DCFS 2010: 139-148 - [i5]Hugo Gouveia, Nelma Moreira, Rogério Reis:
Small NFAs from Regular Expressions: Some Experimental Results. CoRR abs/1009.3599 (2010)
2000 – 2009
- 2009
- [j6]Nelma Moreira, Rogério Reis:
Series-Parallel Automata and Short Regular Expressions. Fundam. Informaticae 91(3-4): 611-629 (2009) - [j5]Marco Almeida, Nelma Moreira, Rogério Reis:
Antimirov and Mosses's Rewrite System Revisited. Int. J. Found. Comput. Sci. 20(4): 669-684 (2009) - [c19]André Almeida, Marco Almeida, José Alves, Nelma Moreira, Rogério Reis:
FAdo and GUItar. CIAA 2009: 65-74 - [c18]Marco Almeida, Nelma Moreira, Rogério Reis:
Testing the Equivalence of Regular Languages. DCFS 2009: 47-57 - [i4]Rogério Reis, Nelma Moreira, Marco Almeida:
On the Representation of Finite Automata. CoRR abs/0906.2477 (2009) - [i3]Marco Almeida, Nelma Moreira, Rogério Reis:
Aspects of enumeration and generation with a string automata representation. CoRR abs/0906.3853 (2009) - [i2]Marco Almeida, Nelma Moreira, Rogério Reis:
Exact generation of acyclic deterministic finite automata. CoRR abs/0908.3315 (2009) - 2008
- [j4]David Pereira, Nelma Moreira:
KAT and PHL in Coq. Comput. Sci. Inf. Syst. 5(2): 137-160 (2008) - [j3]Marco Almeida, Nelma Moreira, Rogério Reis:
Exact Generation of Minimal Acyclic Deterministic Finite Automata. Int. J. Found. Comput. Sci. 19(4): 751-765 (2008) - [c17]Marco Almeida, Nelma Moreira, Rogério Reis:
Exact Generation of Acyclic Deterministic Finite Automata. DCFS 2008: 48-60 - [c16]Marco Almeida, Nelma Moreira, Rogério Reis:
Antimirov and Mosses's Rewrite System Revisited. CIAA 2008: 46-56 - 2007
- [j2]Marco Almeida, Nelma Moreira, Rogério Reis:
Enumeration and generation with a string automata representation. Theor. Comput. Sci. 387(2): 93-102 (2007) - [c15]David Pereira, Eugénio C. Oliveira, Nelma Moreira:
Formal Modelling of Emotions in BDI Agents. CLIMA 2007: 62-81 - [c14]Marco Almeida, Nelma Moreira, Rogério Reis:
Exact Generation of Minimal Acyclic Deterministic Finite Automata. DCFS 2007: 57-68 - 2006
- [c13]Marco Almeida, Nelma Moreira, Rogério Reis:
Aspects of Enumeration and Generation with a String Automata Representation. DCFS 2006: 58-69 - [c12]Ana Paula Tomás, Nelma Moreira, Nuno Pereira:
Designing a Solver for Arithmetic Constraints to Support Education in Mathematics. AIAI 2006: 433-441 - 2005
- [c11]Rogério Reis, Nelma Moreira, Marco Almeida:
On the Representation of Finite Automata. DCFS 2005: 269-276 - [c10]Nelma Moreira, Rogério Reis:
Interactive manipulation of regular objects with FAdo. ITiCSE 2005: 335-339 - [c9]José João Morais, Nelma Moreira, Rogério Reis:
Acyclic Automata with Easy-to-Find Short Regular Expressions. CIAA 2005: 349-350 - 2001
- [j1]Rogério Reis, Nelma Moreira:
Apoo: an environment for a first course in assembly language programming. ACM SIGCSE Bull. 33(4): 43-47 (2001)
1990 – 1999
- 1995
- [c8]Luís Damas, Nelma Moreira:
Constraint Categorial Grammars. EPIA 1995: 347-358 - [i1]Luís Damas, Nelma Moreira:
Constraint Categorial Grammars. CoRR abs/cmp-lg/9507001 (1995) - 1993
- [c7]Luís Damas, Nelma Moreira, Sabine Broda:
Resolution of Constraints in Algebras of Rational Trees. EPIA 1993: 61-76 - 1991
- [c6]Luís Damas, Giovanni B. Varile, Nelma Moreira:
The Formal and Processing Models of CLG. EACL 1991: 173-178 - [c5]José Paulo Leal, Luís Damas, Nelma Moreira:
An History Based Interface. LPE 1991: 10-16 - [e1]Miguel Filgueiras, Luís Damas, Nelma Moreira, Ana Paula Tomás:
Natural Language Processing, EAIA '90, 2nd Advanced School in Artificial Intelligence, Guarda, Portugal, October 8-12, 1990, Proceedings. Lecture Notes in Computer Science 476, Springer 1991, ISBN 3-540-53678-7 [contents] - 1990
- [c4]Sergio Balari, Giovanni B. Varile, Luís Damas, Nelma Moreira:
CLG(n): Constraint Logic Grammars. COLING 1990: 7-12 - [c3]Miguel Filgueiras, Nelma Moreira, Ana Paula Tomás:
General Introduction. EAIA 1990: 1-3 - [c2]Miguel Filgueiras, Ana Paula Tomás, Nelma Moreira, Rogério Reis, José Paulo Leal:
Natural Language and Natural Menus Interfaces. Modelling the Innovation 1990: 299-306
1980 – 1989
- 1989
- [c1]Nelma Moreira:
Semantic Analysis of Time and Tense in Natural Language: An Implementation. EPIA 1989: 198-209
Coauthor Index
[j39] [c60] [i20] [i19] [j38] [j37] [j36] [j35] [j34] [c59] [c58] [c57] [i18] [j33] [j32] [j31] [c56] [c55] [c54] [p1] [e8] [i17] [j30] [j29] [j28] [c53] [j27] [j26] [c52] [i16] [j25] [j24] [j23] [j22] [c51] [c50] [c49] [i15] [j21] [j20] [j19] [c47] [c46] [e5] [j18] [c45] [c44] [c43] [c42] [c41] [c40] [i14] [j16] [j15] [c38] [c37] [c36] [c35] [e4] [i13] [i12] [i11] [j13] [j12] [c33] [c32] [c31] [c30] [i8] [j11] [c29] [c28] [c27] [i7] [i6] [j10] [j9] [e3] [e2] [r1] [j8] [c24] [j7] [c23] [c22] [c20] [i5] [j6] [j5] [c19] [c18] [i4] [i3] [i2] [j3] [c17] [c16] [j2] [c14] [c13] [c11] [c10] [c9] [j1] [c2]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-15 21:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
