Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Nelma Moreira
@article{DBLP:journals/iandc/BrodaMMR23,
author = {Sabine Broda and
Ant{\'{o}}nio Machiavelo and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Location automata for regular expressions with shuffle and intersection},
journal = {Inf. Comput.},
volume = {295},
number = {Part {B}},
pages = {104917},
year = {2023},
url = {https://doi.org/10.1016/j.ic.2022.104917},
doi = {10.1016/J.IC.2022.104917},
timestamp = {Thu, 02 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BrodaMMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/MoreiraR23,
author = {Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Special Issue: 25th International Conference on Developments in Language
Theory {(DLT} 2021) - Preface},
journal = {Int. J. Found. Comput. Sci.},
volume = {34},
number = {2{\&}3},
pages = {81--83},
year = {2023},
url = {https://doi.org/10.1142/S012905412302001X},
doi = {10.1142/S012905412302001X},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/MoreiraR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/BrodaMMR23,
author = {Sabine Broda and
Ant{\'{o}}nio Machiavelo and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Location automata for synchronised shuffle expressions},
journal = {J. Log. Algebraic Methods Program.},
volume = {132},
pages = {100847},
year = {2023},
url = {https://doi.org/10.1016/j.jlamp.2023.100847},
doi = {10.1016/J.JLAMP.2023.100847},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/BrodaMMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KonstantinidisMMR23,
author = {Stavros Konstantinidis and
Ant{\'{o}}nio Machiavelo and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {On the average complexity of partial derivative transducers},
journal = {Theor. Comput. Sci.},
volume = {956},
pages = {113830},
year = {2023},
url = {https://doi.org/10.1016/j.tcs.2023.113830},
doi = {10.1016/J.TCS.2023.113830},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/KonstantinidisMMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KonstantinidisMMR23a,
author = {Stavros Konstantinidis and
Mitja Mastnak and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Approximate {NFA} universality and related problems motivated by information
theory},
journal = {Theor. Comput. Sci.},
volume = {972},
pages = {114076},
year = {2023},
url = {https://doi.org/10.1016/j.tcs.2023.114076},
doi = {10.1016/J.TCS.2023.114076},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/KonstantinidisMMR23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/BrodaMMR23,
author = {Sabine Broda and
Ant{\'{o}}nio Machiavelo and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Benedek Nagy},
title = {Average Complexity of Partial Derivatives for Synchronised Shuffle
Expressions},
booktitle = {Implementation and Application of Automata - 27th International Conference,
{CIAA} 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14151},
pages = {103--115},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-40247-0\_7},
doi = {10.1007/978-3-031-40247-0\_7},
timestamp = {Thu, 31 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/BrodaMMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/KonstantinidisM22,
author = {Stavros Konstantinidis and
Mitja Mastnak and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Yo{-}Sub Han and
Gy{\"{o}}rgy Vaszil},
title = {Approximate {NFA} Universality Motivated by Information Theory},
booktitle = {Descriptional Complexity of Formal Systems - 24th {IFIP} {WG} 1.02
International Conference, {DCFS} 2022, Debrecen, Hungary, August 29-31,
2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13439},
pages = {142--154},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-13257-5\_11},
doi = {10.1007/978-3-031-13257-5\_11},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dcfs/KonstantinidisM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/MoreiraR22,
author = {Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Pascal Caron and
Ludovic Mignot},
title = {Manipulation of Regular Expressions Using Derivatives: An Overview},
booktitle = {Implementation and Application of Automata - 26th International Conference,
{CIAA} 2022, Rouen, France, June 28 - July 1, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13266},
pages = {19--33},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07469-1\_2},
doi = {10.1007/978-3-031-07469-1\_2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/MoreiraR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-01594,
author = {Stavros Konstantinidis and
Mitja Mastnak and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Approximate {NFA} Universality and Related Problems Motivated by Information
Theory},
journal = {CoRR},
volume = {abs/2202.01594},
year = {2022},
url = {https://arxiv.org/abs/2202.01594},
eprinttype = {arXiv},
eprint = {2202.01594},
timestamp = {Wed, 09 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-01594.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/KonstantinidisM21,
author = {Stavros Konstantinidis and
Ant{\'{o}}nio Machiavelo and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {On the size of partial derivatives and the word membership problem},
journal = {Acta Informatica},
volume = {58},
number = {4},
pages = {357--375},
year = {2021},
url = {https://doi.org/10.1007/s00236-021-00399-6},
doi = {10.1007/S00236-021-00399-6},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/KonstantinidisM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/BrodaMMR21,
author = {Sabine Broda and
Eva Maia and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {The Prefix Automaton},
journal = {J. Autom. Lang. Comb.},
volume = {26},
number = {1-2},
pages = {17--53},
year = {2021},
url = {https://doi.org/10.25596/jalc-2021-017},
doi = {10.25596/JALC-2021-017},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/BrodaMMR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KonstantinidisM21,
author = {Stavros Konstantinidis and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Partial derivatives of regular expressions over alphabet-invariant
and user-defined labels},
journal = {Theor. Comput. Sci.},
volume = {870},
pages = {103--120},
year = {2021},
url = {https://doi.org/10.1016/j.tcs.2020.12.029},
doi = {10.1016/J.TCS.2020.12.029},
timestamp = {Fri, 04 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/KonstantinidisM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/BrodaMMR21,
author = {Sabine Broda and
Ant{\'{o}}nio Machiavelo and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Yo{-}Sub Han and
Sang{-}Ki Ko},
title = {On the Uniform Distribution of Regular Expressions},
booktitle = {Descriptional Complexity of Formal Systems - 23rd {IFIP} {WG} 1.02
International Conference, {DCFS} 2021, Virtual Event, September 5,
2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13037},
pages = {13--25},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-93489-7\_2},
doi = {10.1007/978-3-030-93489-7\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/BrodaMMR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/KonstantinidisM21,
author = {Stavros Konstantinidis and
Ant{\'{o}}nio Machiavelo and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Yo{-}Sub Han and
Sang{-}Ki Ko},
title = {Partial Derivative Automaton by Compressing Regular Expressions},
booktitle = {Descriptional Complexity of Formal Systems - 23rd {IFIP} {WG} 1.02
International Conference, {DCFS} 2021, Virtual Event, September 5,
2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13037},
pages = {100--112},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-93489-7\_9},
doi = {10.1007/978-3-030-93489-7\_9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/KonstantinidisM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/BrodaMMR21,
author = {Sabine Broda and
Ant{\'{o}}nio Machiavelo and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Alberto Leporati and
Carlos Mart{\'{\i}}n{-}Vide and
Dana Shapira and
Claudio Zandron},
title = {Location Based Automata for Expressions with Shuffle},
booktitle = {Language and Automata Theory and Applications - 15th International
Conference, {LATA} 2021, Milan, Italy, March 1-5, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12638},
pages = {43--54},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-68195-1\_4},
doi = {10.1007/978-3-030-68195-1\_4},
timestamp = {Tue, 23 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lata/BrodaMMR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ifip/KutribMPR21,
author = {Martin Kutrib and
Nelma Moreira and
Giovanni Pighizzini and
Rog{\'{e}}rio Reis},
editor = {Michael Goedicke and
Erich J. Neuhold and
Kai Rannenberg},
title = {Hot Current Topics of Descriptional Complexity},
booktitle = {Advancing Research in Information and Communication Technology - IFIP's
Exciting First 60+ Years, Views from the Technical Committees and
Working Groups},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {600},
pages = {3--28},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81701-5\_1},
doi = {10.1007/978-3-030-81701-5\_1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/ifip/KutribMPR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlt/2021,
editor = {Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Developments in Language Theory - 25th International Conference, {DLT}
2021, Porto, Portugal, August 16-20, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12811},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81508-0},
doi = {10.1007/978-3-030-81508-0},
isbn = {978-3-030-81507-3},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-13175,
author = {Sabine Broda and
Ant{\'{o}}nio Machiavelo and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {On the Uniform Distribution of Regular Expressions},
journal = {CoRR},
volume = {abs/2103.13175},
year = {2021},
url = {https://arxiv.org/abs/2103.13175},
eprinttype = {arXiv},
eprint = {2103.13175},
timestamp = {Tue, 06 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-13175.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/KonstantinidisM20,
author = {Stavros Konstantinidis and
Nelma Moreira and
Rog{\'{e}}rio Reis and
Joshua Young},
title = {Regular Expressions and Transducers Over Alphabet-Invariant and User-Defined
Labels},
journal = {Int. J. Found. Comput. Sci.},
volume = {31},
number = {8},
pages = {983--1019},
year = {2020},
url = {https://doi.org/10.1142/S0129054120420010},
doi = {10.1142/S0129054120420010},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/KonstantinidisM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/LoffMR20,
author = {Bruno Loff and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {The computational power of parsing expression grammars},
journal = {J. Comput. Syst. Sci.},
volume = {111},
pages = {1--21},
year = {2020},
url = {https://doi.org/10.1016/j.jcss.2020.01.001},
doi = {10.1016/J.JCSS.2020.01.001},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/LoffMR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/BrodaMMR20,
author = {Sabine Broda and
Ant{\'{o}}nio Machiavelo and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Guest Column: Analytic Combinatorics and Descriptional Complexity
of Regular Languages on Average},
journal = {{SIGACT} News},
volume = {51},
number = {1},
pages = {38--56},
year = {2020},
url = {https://doi.org/10.1145/3388392.3388401},
doi = {10.1145/3388392.3388401},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/BrodaMMR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/KonstantinidisM20,
author = {Stavros Konstantinidis and
Ant{\'{o}}nio Machiavelo and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Alexander Chatzigeorgiou and
Riccardo Dondi and
Herodotos Herodotou and
Christos A. Kapoutsis and
Yannis Manolopoulos and
George A. Papadopoulos and
Florian Sikora},
title = {On the Average State Complexity of Partial Derivative Transducers},
booktitle = {{SOFSEM} 2020: Theory and Practice of Computer Science - 46th International
Conference on Current Trends in Theory and Practice of Informatics,
{SOFSEM} 2020, Limassol, Cyprus, January 20-24, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12011},
pages = {174--186},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-38919-2\_15},
doi = {10.1007/978-3-030-38919-2\_15},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/KonstantinidisM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2019-w1,
editor = {Emil Sekerinski and
Nelma Moreira and
Jos{\'{e}} N. Oliveira and
Daniel Ratiu and
Riccardo Guidotti and
Marie Farrell and
Matt Luckcuck and
Diego Marmsoler and
Jos{\'{e}} Creissac Campos and
Troy Astarte and
Laure Gonnord and
Antonio Cerone and
Luis Couto and
Brijesh Dongol and
Martin Kutrib and
Pedro Monteiro and
David Delmas},
title = {Formal Methods. {FM} 2019 International Workshops - Porto, Portugal,
October 7-11, 2019, Revised Selected Papers, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12232},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-54994-7},
doi = {10.1007/978-3-030-54994-7},
isbn = {978-3-030-54993-0},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/2019-w1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2019-w2,
editor = {Emil Sekerinski and
Nelma Moreira and
Jos{\'{e}} N. Oliveira and
Daniel Ratiu and
Riccardo Guidotti and
Marie Farrell and
Matt Luckcuck and
Diego Marmsoler and
Jos{\'{e}} Creissac Campos and
Troy Astarte and
Laure Gonnord and
Antonio Cerone and
Luis Couto and
Brijesh Dongol and
Martin Kutrib and
Pedro Monteiro and
David Delmas},
title = {Formal Methods. {FM} 2019 International Workshops - Porto, Portugal,
October 7-11, 2019, Revised Selected Papers, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12233},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-54997-8},
doi = {10.1007/978-3-030-54997-8},
isbn = {978-3-030-54996-1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/2019-w2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BrodaHMMR19,
author = {Sabine Broda and
Markus Holzer and
Eva Maia and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {A mesh of automata},
journal = {Inf. Comput.},
volume = {265},
pages = {94--111},
year = {2019},
url = {https://doi.org/10.1016/j.ic.2019.01.003},
doi = {10.1016/J.IC.2019.01.003},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BrodaHMMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BrodaMMR19,
author = {Sabine Broda and
Ant{\'{o}}nio Machiavelo and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {On Average Behaviour of Regular Expressions in Strong Star Normal
Form},
journal = {Int. J. Found. Comput. Sci.},
volume = {30},
number = {6-7},
pages = {899--920},
year = {2019},
url = {https://doi.org/10.1142/S0129054119400227},
doi = {10.1142/S0129054119400227},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/BrodaMMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/KonstantinidisM19a,
author = {Stavros Konstantinidis and
Nelma Moreira and
Jo{\~{a}}o Pires and
Rog{\'{e}}rio Reis},
editor = {Michal Hospod{\'{a}}r and
Galina Jir{\'{a}}skov{\'{a}}},
title = {Partial Derivatives of Regular Expressions over Alphabet-Invariant
and User-Defined Labels},
booktitle = {Implementation and Application of Automata - 24th International Conference,
{CIAA} 2019, Ko{\v{s}}ice, Slovakia, July 22-25, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11601},
pages = {184--196},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-23679-3\_15},
doi = {10.1007/978-3-030-23679-3\_15},
timestamp = {Wed, 19 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/KonstantinidisM19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-08272,
author = {Bruno Loff and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {The computational power of parsing expression grammars},
journal = {CoRR},
volume = {abs/1902.08272},
year = {2019},
url = {http://arxiv.org/abs/1902.08272},
eprinttype = {arXiv},
eprint = {1902.08272},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-08272.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BrodaMMR18,
author = {Sabine Broda and
Ant{\'{o}}nio Machiavelo and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Automata for regular expressions with shuffle},
journal = {Inf. Comput.},
volume = {259},
number = {2},
pages = {162--173},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2017.08.013},
doi = {10.1016/J.IC.2017.08.013},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BrodaMMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/KonstantinidisM18,
author = {Stavros Konstantinidis and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Randomized generation of error control codes with automata and transducers},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {52},
number = {2-3-4},
pages = {169--184},
year = {2018},
url = {https://doi.org/10.1051/ita/2018015},
doi = {10.1051/ITA/2018015},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/KonstantinidisM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/BrodaMMR18,
author = {Sabine Broda and
Ant{\'{o}}nio Machiavelo and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Position Automata for Semi-extended Expressions},
journal = {J. Autom. Lang. Comb.},
volume = {23},
number = {1-3},
pages = {39--65},
year = {2018},
url = {https://doi.org/10.25596/jalc-2018-039},
doi = {10.25596/JALC-2018-039},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/BrodaMMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/KonstantinidisM18,
author = {Stavros Konstantinidis and
Casey Meijer and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Symbolic Manipulation of Code Properties},
journal = {J. Autom. Lang. Comb.},
volume = {23},
number = {1-3},
pages = {243--269},
year = {2018},
url = {https://doi.org/10.25596/jalc-2018-243},
doi = {10.25596/JALC-2018-243},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/KonstantinidisM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/FerreiraMR18,
author = {Miguel Ferreira and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Stavros Konstantinidis and
Giovanni Pighizzini},
title = {Forward Injective Finite Automata: Exact and Random Generation of
Nonisomorphic NFAs},
booktitle = {Descriptional Complexity of Formal Systems - 20th {IFIP} {WG} 1.02
International Conference, {DCFS} 2018, Halifax, NS, Canada, July 25-27,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10952},
pages = {88--100},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94631-3\_8},
doi = {10.1007/978-3-319-94631-3\_8},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/FerreiraMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/LoffMR18,
author = {Bruno Loff and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Mizuho Hoshi and
Shinnosuke Seki},
title = {The Computational Power of Parsing Expression Grammars},
booktitle = {Developments in Language Theory - 22nd International Conference, {DLT}
2018, Tokyo, Japan, September 10-14, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11088},
pages = {491--502},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98654-8\_40},
doi = {10.1007/978-3-319-98654-8\_40},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/LoffMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/KonstantinidisM18,
author = {Stavros Konstantinidis and
Nelma Moreira and
Rog{\'{e}}rio Reis and
Joshua Young},
editor = {Cezar C{\^{a}}mpeanu},
title = {Regular Expressions and Transducers over Alphabet-Invariant and User-Defined
Labels},
booktitle = {Implementation and Application of Automata - 23rd International Conference,
{CIAA} 2018, Charlottetown, PE, Canada, July 30 - August 2, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10977},
pages = {4--27},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94812-6\_2},
doi = {10.1007/978-3-319-94812-6\_2},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/KonstantinidisM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RamosAMQ19,
author = {Marcus V. M. Ramos and
Jos{\'{e}} Carlos Bacelar Almeida and
Nelma Moreira and
Ruy J. G. B. de Queiroz},
editor = {Beniamino Accattoli and
Carlos Olarte},
title = {Some Applications of the Formalization of the Pumping Lemma for Context-Free
Languages},
booktitle = {Proceedings of the 13th Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2018, Fortaleza, Brazil, September 26-28,
2018},
series = {Electronic Notes in Theoretical Computer Science},
volume = {344},
pages = {151--167},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.entcs.2019.07.010},
doi = {10.1016/J.ENTCS.2019.07.010},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/RamosAMQ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-01829,
author = {Stavros Konstantinidis and
Nelma Moreira and
Rog{\'{e}}rio Reis and
Joshua Young},
title = {Regular Expressions and Transducers over Alphabet-invariant and User-defined
Labels},
journal = {CoRR},
volume = {abs/1805.01829},
year = {2018},
url = {http://arxiv.org/abs/1805.01829},
eprinttype = {arXiv},
eprint = {1805.01829},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-01829.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/GaoMRY17,
author = {Yuan Gao and
Nelma Moreira and
Rog{\'{e}}rio Reis and
Sheng Yu},
title = {A Survey on Operational State Complexity},
journal = {J. Autom. Lang. Comb.},
volume = {21},
number = {4},
pages = {251--310},
year = {2017},
url = {https://doi.org/10.25596/jalc-2016-251},
doi = {10.25596/JALC-2016-251},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/GaoMRY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/BastosBMMR17,
author = {Rafaela Bastos and
Sabine Broda and
Ant{\'{o}}nio Machiavelo and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {On the Average Complexity of Partial Derivative Automata for Semi-extended
Expressions},
journal = {J. Autom. Lang. Comb.},
volume = {22},
number = {1-3},
pages = {5--28},
year = {2017},
url = {https://doi.org/10.25596/jalc-2017-005},
doi = {10.25596/JALC-2017-005},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/BastosBMMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MoreiraPR17,
author = {Nelma Moreira and
Giovanni Pighizzini and
Rog{\'{e}}rio Reis},
title = {Optimal state reductions of automata with partially specified behaviors},
journal = {Theor. Comput. Sci.},
volume = {658},
pages = {235--245},
year = {2017},
url = {https://doi.org/10.1016/j.tcs.2016.05.002},
doi = {10.1016/J.TCS.2016.05.002},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/MoreiraPR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/BrodaMMR17,
author = {Sabine Broda and
Ant{\'{o}}nio Machiavelo and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Giovanni Pighizzini and
Cezar C{\^{a}}mpeanu},
title = {On the Average Complexity of Strong Star Normal Form},
booktitle = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02
International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10316},
pages = {77--88},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-60252-3\_6},
doi = {10.1007/978-3-319-60252-3\_6},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dcfs/BrodaMMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Broda0MMR17,
author = {Sabine Broda and
Markus Holzer and
Eva Maia and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {{\'{E}}milie Charlier and
Julien Leroy and
Michel Rigo},
title = {On the Mother of All Automata: The Position Automaton},
booktitle = {Developments in Language Theory - 21st International Conference, {DLT}
2017, Li{\`{e}}ge, Belgium, August 7-11, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10396},
pages = {134--146},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-62809-7\_9},
doi = {10.1007/978-3-319-62809-7\_9},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/Broda0MMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2017brzozowski,
editor = {Stavros Konstantinidis and
Nelma Moreira and
Rog{\'{e}}rio Reis and
Jeffrey O. Shallit},
title = {The Role of Theory in Computer Science - Essays Dedicated to Janusz
Brzozowski},
publisher = {World Scientific},
year = {2017},
url = {https://doi.org/10.1142/10239},
doi = {10.1142/10239},
isbn = {978-981-3148-19-2},
timestamp = {Mon, 09 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/2017brzozowski.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CampeanuMR16,
author = {Cezar C{\^{a}}mpeanu and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Distinguishability Operations and Closures},
journal = {Fundam. Informaticae},
volume = {148},
number = {3-4},
pages = {243--266},
year = {2016},
url = {https://doi.org/10.3233/FI-2016-1434},
doi = {10.3233/FI-2016-1434},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CampeanuMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfrea/RamosAMQ16,
author = {Marcus Vin{\'{\i}}cius Midena Ramos and
Jos{\'{e}} Carlos Bacelar Almeida and
Nelma Moreira and
Ruy Jos{\'{e}} Guerra Barretto de Queiroz},
title = {Formalization of the pumping lemma for context-free languages},
journal = {J. Formaliz. Reason.},
volume = {9},
number = {2},
pages = {53--68},
year = {2016},
url = {https://doi.org/10.6092/issn.1972-5787/5595},
doi = {10.6092/ISSN.1972-5787/5595},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfrea/RamosAMQ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/BastosBMMR16,
author = {Rafaela Bastos and
Sabine Broda and
Ant{\'{o}}nio Machiavelo and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Cezar C{\^{a}}mpeanu and
Florin Manea and
Jeffrey O. Shallit},
title = {On the State Complexity of Partial Derivative Automata For Regular
Expressions with Intersection},
booktitle = {Descriptional Complexity of Formal Systems - 18th {IFIP} {WG} 1.2
International Conference, {DCFS} 2016, Bucharest, Romania, July 5-8,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9777},
pages = {45--59},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41114-9\_4},
doi = {10.1007/978-3-319-41114-9\_4},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dcfs/BastosBMMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/BrodaMMR16,
author = {Sabine Broda and
Ant{\'{o}}nio Machiavelo and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Srecko Brlek and
Christophe Reutenauer},
title = {Position Automaton Construction for Regular Expressions with Intersection},
booktitle = {Developments in Language Theory - 20th International Conference, {DLT}
2016, Montr{\'{e}}al, Canada, July 25-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9840},
pages = {51--63},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-53132-7\_5},
doi = {10.1007/978-3-662-53132-7\_5},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlt/BrodaMMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ncma/CampeanuMR16,
author = {Cezar C{\^{a}}mpeanu and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Henning Bordihn and
Rudolf Freund and
Benedek Nagy and
Gy{\"{o}}rgy Vaszil},
title = {On the dissimilarity operation on finite languages},
booktitle = {Eighth Workshop on Non-Classical Models of Automata and Applications,
{NCMA} 2016, Debrecen, Hungary, August 29-30, 2016. Proceedings},
series = {books@ocg.at},
volume = {321},
pages = {105--120},
publisher = {{\"{O}}sterreichische Computer Gesellschaft},
year = {2016},
timestamp = {Fri, 02 Sep 2016 15:19:04 +0200},
biburl = {https://dblp.org/rec/conf/ncma/CampeanuMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ncma/KonstantinidisM16,
author = {Stavros Konstantinidis and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Henning Bordihn and
Rudolf Freund and
Benedek Nagy and
Gy{\"{o}}rgy Vaszil},
title = {Generating error control codes with automata and transducers},
booktitle = {Eighth Workshop on Non-Classical Models of Automata and Applications,
{NCMA} 2016, Debrecen, Hungary, August 29-30, 2016. Proceedings},
series = {books@ocg.at},
volume = {321},
pages = {211--226},
publisher = {{\"{O}}sterreichische Computer Gesellschaft},
year = {2016},
timestamp = {Fri, 02 Sep 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ncma/KonstantinidisM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slate/FerreiraMR16,
author = {Miguel Ferreira and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Marjan Mernik and
Jos{\'{e}} Paulo Leal and
Hugo Gon{\c{c}}alo Oliveira},
title = {Automata Serialization for Manipulation and Drawing},
booktitle = {5th Symposium on Languages, Applications and Technologies, {SLATE}
2016, June 20-21, 2016, Maribor, Slovenia},
series = {OASIcs},
volume = {51},
pages = {15:1--15:7},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/OASIcs.SLATE.2016.15},
doi = {10.4230/OASICS.SLATE.2016.15},
timestamp = {Tue, 15 Feb 2022 09:40:05 +0100},
biburl = {https://dblp.org/rec/conf/slate/FerreiraMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/KonstantinidisM16,
author = {Stavros Konstantinidis and
Casey Meijer and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Yo{-}Sub Han and
Kai Salomaa},
title = {Implementation of Code Properties via Transducers},
booktitle = {Implementation and Application of Automata - 21st International Conference,
{CIAA} 2016, Seoul, South Korea, July 19-22, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9705},
pages = {189--201},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40946-7\_16},
doi = {10.1007/978-3-319-40946-7\_16},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/KonstantinidisM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/RamosQMA16,
author = {Marcus Vin{\'{\i}}cius Midena Ramos and
Ruy J. G. B. de Queiroz and
Nelma Moreira and
Jos{\'{e}} Carlos Bacelar Almeida},
editor = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen and
{\AA}sa Hirvonen and
Ruy J. G. B. de Queiroz},
title = {On the Formalization of Some Results of Context-Free Language Theory},
booktitle = {Logic, Language, Information, and Computation - 23rd International
Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9803},
pages = {338--357},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-52921-8\_21},
doi = {10.1007/978-3-662-52921-8\_21},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/RamosQMA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KonstantinidisM16,
author = {Stavros Konstantinidis and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Channels with Synchronization/Substitution Errors and Computation
of Error Control Codes},
journal = {CoRR},
volume = {abs/1601.06312},
year = {2016},
url = {http://arxiv.org/abs/1601.06312},
eprinttype = {arXiv},
eprint = {1601.06312},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KonstantinidisM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/BrodaMMR15,
author = {Sabine Broda and
Ant{\'{o}}nio Machiavelo and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Average Size of Automata Constructions from Regular Expressions},
journal = {Bull. {EATCS}},
volume = {116},
year = {2015},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/352},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/BrodaMMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MaiaMR15,
author = {Eva Maia and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Incomplete operational transition complexity of regular languages},
journal = {Inf. Comput.},
volume = {244},
pages = {1--22},
year = {2015},
url = {https://doi.org/10.1016/j.ic.2015.08.004},
doi = {10.1016/J.IC.2015.08.004},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/MaiaMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MoreiraPS15,
author = {Nelma Moreira and
David Pereira and
Sim{\~{a}}o Melo de Sousa},
title = {Deciding Kleene algebra terms equivalence in Coq},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {3},
pages = {377--401},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.12.004},
doi = {10.1016/J.JLAMP.2014.12.004},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/MoreiraPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/MaiaMR15,
author = {Eva Maia and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Arnold Beckmann and
Victor Mitrana and
Mariya Ivanova Soskova},
title = {Prefix and Right-Partial Derivative Automata},
booktitle = {Evolving Computability - 11th Conference on Computability in Europe,
CiE 2015, Bucharest, Romania, June 29 - July 3, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9136},
pages = {258--267},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20028-6\_26},
doi = {10.1007/978-3-319-20028-6\_26},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/MaiaMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/BrodaMMR15,
author = {Sabine Broda and
Ant{\'{o}}nio Machiavelo and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Jeffrey O. Shallit and
Alexander Okhotin},
title = {Partial Derivative Automaton for Regular Expressions with Shuffle},
booktitle = {Descriptional Complexity of Formal Systems - 17th International Workshop,
{DCFS} 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9118},
pages = {21--32},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19225-3\_2},
doi = {10.1007/978-3-319-19225-3\_2},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dcfs/BrodaMMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/MoreiraPR15,
author = {Nelma Moreira and
Giovanni Pighizzini and
Rog{\'{e}}rio Reis},
editor = {Jeffrey O. Shallit and
Alexander Okhotin},
title = {Universal Disjunctive Concatenation and Star},
booktitle = {Descriptional Complexity of Formal Systems - 17th International Workshop,
{DCFS} 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9118},
pages = {197--208},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19225-3\_17},
doi = {10.1007/978-3-319-19225-3\_17},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/MoreiraPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/MoreiraPR15,
author = {Nelma Moreira and
Giovanni Pighizzini and
Rog{\'{e}}rio Reis},
editor = {Giuseppe F. Italiano and
Tiziana Margaria{-}Steffen and
Jaroslav Pokorn{\'{y}} and
Jean{-}Jacques Quisquater and
Roger Wattenhofer},
title = {Optimal State Reductions of Automata with Partially Specified Behaviors},
booktitle = {{SOFSEM} 2015: Theory and Practice of Computer Science - 41st International
Conference on Current Trends in Theory and Practice of Computer Science,
Pec pod Sn{\v{e}}{\v{z}}kou, Czech Republic, January 24-29, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8939},
pages = {339--351},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46078-8\_28},
doi = {10.1007/978-3-662-46078-8\_28},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/MoreiraPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/BrodaCFM15,
author = {Sabine Broda and
S{\'{\i}}lvia Cavadas and
Miguel Ferreira and
Nelma Moreira},
editor = {Frank Drewes},
title = {Deciding Synchronous Kleene Algebra with Derivatives},
booktitle = {Implementation and Application of Automata - 20th International Conference,
{CIAA} 2015, Ume{\aa}, Sweden, August 18-21, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9223},
pages = {49--62},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22360-5\_5},
doi = {10.1007/978-3-319-22360-5\_5},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/BrodaCFM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ncma/2015,
editor = {Rudolf Freund and
Markus Holzer and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Seventh Workshop on Non-Classical Models of Automata and Applications
- {NCMA} 2015, Porto, Portugal, August 31 - September 1, 2015. Proceedings},
series = {books@ocg.at},
volume = {318},
publisher = {{\"{O}}sterreichische Computer Gesellschaft},
year = {2015},
isbn = {978-3-903035-07-2},
timestamp = {Thu, 17 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ncma/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrodaMMR15,
author = {Sabine Broda and
Ant{\'{o}}nio Machiavelo and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Partial Derivative Automaton for Regular Expressions with Shuffle},
journal = {CoRR},
volume = {abs/1503.00279},
year = {2015},
url = {http://arxiv.org/abs/1503.00279},
eprinttype = {arXiv},
eprint = {1503.00279},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BrodaMMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KonstantinidisM15,
author = {Stavros Konstantinidis and
Casey Meijer and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Symbolic Manipulation of Code Properties},
journal = {CoRR},
volume = {abs/1504.04715},
year = {2015},
url = {http://arxiv.org/abs/1504.04715},
eprinttype = {arXiv},
eprint = {1504.04715},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KonstantinidisM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GaoMRY15,
author = {Yuan Gao and
Nelma Moreira and
Rog{\'{e}}rio Reis and
Sheng Yu},
title = {A Survey on Operational State Complexity},
journal = {CoRR},
volume = {abs/1509.03254},
year = {2015},
url = {http://arxiv.org/abs/1509.03254},
eprinttype = {arXiv},
eprint = {1509.03254},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/GaoMRY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RamosQMA15,
author = {Marcus Vin{\'{\i}}cius Midena Ramos and
Ruy J. G. B. de Queiroz and
Nelma Moreira and
Jos{\'{e}} Carlos Bacelar Almeida},
title = {Formalization of the pumping lemma for context-free languages},
journal = {CoRR},
volume = {abs/1510.04748},
year = {2015},
url = {http://arxiv.org/abs/1510.04748},
eprinttype = {arXiv},
eprint = {1510.04748},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RamosQMA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RamosQMA15a,
author = {Marcus V. M. Ramos and
Ruy J. G. B. de Queiroz and
Nelma Moreira and
Jos{\'{e}} Carlos Bacelar Almeida},
title = {Formalization of context-free language theory},
journal = {CoRR},
volume = {abs/1510.09092},
year = {2015},
url = {http://arxiv.org/abs/1510.09092},
eprinttype = {arXiv},
eprint = {1510.09092},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RamosQMA15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/AlmeidaMR14,
author = {Marco Almeida and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Incremental {DFA} minimisation},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {48},
number = {2},
pages = {173--186},
year = {2014},
url = {https://doi.org/10.1051/ita/2013045},
doi = {10.1051/ITA/2013045},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/AlmeidaMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BrodaMMR14,
author = {Sabine Broda and
Ant{\'{o}}nio Machiavelo and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {A Hitchhiker's Guide to descriptional complexity through analytic
combinatorics},
journal = {Theor. Comput. Sci.},
volume = {528},
pages = {85--100},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2014.02.013},
doi = {10.1016/J.TCS.2014.02.013},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BrodaMMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/BrodaMMR14,
author = {Sabine Broda and
Ant{\'{o}}nio Machiavelo and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Arnold Beckmann and
Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
Klaus Meer},
title = {On the Equivalence of Automata for KAT-expressions},
booktitle = {Language, Life, Limits - 10th Conference on Computability in Europe,
CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8493},
pages = {73--83},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08019-2\_8},
doi = {10.1007/978-3-319-08019-2\_8},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cie/BrodaMMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BellBMR14,
author = {Jason P. Bell and
Janusz A. Brzozowski and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Javier Esparza and
Pierre Fraigniaud and
Thore Husfeldt and
Elias Koutsoupias},
title = {Symmetric Groups and Quotient Complexity of Boolean Operations},
booktitle = {Automata, Languages, and Programming - 41st International Colloquium,
{ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {8573},
pages = {1--12},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43951-7\_1},
doi = {10.1007/978-3-662-43951-7\_1},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BellBMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ncma/CampeanuMR14,
author = {Cezar C{\^{a}}mpeanu and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Suna Bensch and
Rudolf Freund and
Friedrich Otto},
title = {The distinguishability operation on regular languages},
booktitle = {Sixth Workshop on Non-Classical Models for Automata and Applications
- {NCMA} 2014, Kassel, Germany, July 28-29, 2014. Proceedings},
series = {books@ocg.at},
volume = {304},
pages = {85--100},
publisher = {{\"{O}}sterreichische Computer Gesellschaft},
year = {2014},
timestamp = {Thu, 23 Jun 2016 15:53:29 +0200},
biburl = {https://dblp.org/rec/conf/ncma/CampeanuMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/MaiaMR14,
author = {Eva Maia and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Markus Holzer and
Martin Kutrib},
title = {Partial Derivative and Position Bisimilarity Automata},
booktitle = {Implementation and Application of Automata - 19th International Conference,
{CIAA} 2014, Giessen, Germany, July 30 - August 2, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8587},
pages = {264--277},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08846-4\_20},
doi = {10.1007/978-3-319-08846-4\_20},
timestamp = {Mon, 05 Feb 2024 20:35:24 +0100},
biburl = {https://dblp.org/rec/conf/wia/MaiaMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CampeanuMR14,
author = {Cezar C{\^{a}}mpeanu and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {The Distinguishability Operation On Regular Languages},
journal = {CoRR},
volume = {abs/1407.0160},
year = {2014},
url = {http://arxiv.org/abs/1407.0160},
eprinttype = {arXiv},
eprint = {1407.0160},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CampeanuMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/MoreiraR13,
author = {Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Preface},
journal = {Int. J. Found. Comput. Sci.},
volume = {24},
number = {6},
pages = {689--690},
year = {2013},
url = {https://doi.org/10.1142/S0129054113020036},
doi = {10.1142/S0129054113020036},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/MoreiraR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BrodaMMR13,
author = {Sabine Broda and
Ant{\'{o}}nio Machiavelo and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Leszek Gasieniec and
Frank Wolter},
title = {On the Average Size of Glushkov and Equation Automata for {KAT} Expressions},
booktitle = {Fundamentals of Computation Theory - 19th International Symposium,
{FCT} 2013, Liverpool, UK, August 19-21, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8070},
pages = {72--83},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40164-0\_10},
doi = {10.1007/978-3-642-40164-0\_10},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/BrodaMMR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/MaiaMR13,
author = {Eva Maia and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Peter van Emde Boas and
Frans C. A. Groen and
Giuseppe F. Italiano and
Jerzy R. Nawrocki and
Harald Sack},
title = {Incomplete Transition Complexity of Some Basic Operations},
booktitle = {{SOFSEM} 2013: Theory and Practice of Computer Science, 39th International
Conference on Current Trends in Theory and Practice of Computer Science,
{\v{S}}pindler{\r{u}}v Ml{\'{y}}n, Czech Republic, January 26-31,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7741},
pages = {319--331},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35843-2\_28},
doi = {10.1007/978-3-642-35843-2\_28},
timestamp = {Mon, 28 Aug 2023 21:17:48 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/MaiaMR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/MaiaMR13,
author = {Eva Maia and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Stavros Konstantinidis},
title = {Incomplete Transition Complexity of Basic Operations on Finite Languages},
booktitle = {Implementation and Application of Automata - 18th International Conference,
{CIAA} 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7982},
pages = {349--356},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39274-0\_31},
doi = {10.1007/978-3-642-39274-0\_31},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wia/MaiaMR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-0750,
author = {Eva Maia and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Incomplete Transition Complexity of Basic Operations on Finite Languages},
journal = {CoRR},
volume = {abs/1302.0750},
year = {2013},
url = {http://arxiv.org/abs/1302.0750},
eprinttype = {arXiv},
eprint = {1302.0750},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-0750.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BellBMR13,
author = {Jason P. Bell and
Janusz A. Brzozowski and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Symmetric Groups and Quotient Complexity of Boolean Operations},
journal = {CoRR},
volume = {abs/1310.1841},
year = {2013},
url = {http://arxiv.org/abs/1310.1841},
eprinttype = {arXiv},
eprint = {1310.1841},
timestamp = {Mon, 03 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BellBMR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BrodaMMR12,
author = {Sabine Broda and
Ant{\'{o}}nio Machiavelo and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {On the Average Size of Glushkov and Partial derivative Automata},
journal = {Int. J. Found. Comput. Sci.},
volume = {23},
number = {5},
pages = {969--984},
year = {2012},
url = {https://doi.org/10.1142/S0129054112400400},
doi = {10.1142/S0129054112400400},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/BrodaMMR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/DassowKMR12,
author = {J{\"{u}}rgen Dassow and
Martin Kutrib and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Editorial},
journal = {J. Autom. Lang. Comb.},
volume = {17},
number = {2-4},
pages = {59--60},
year = {2012},
url = {https://doi.org/10.25596/jalc-2012-059},
doi = {10.25596/JALC-2012-059},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jalc/DassowKMR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/MoreiraPS12,
author = {Nelma Moreira and
David Pereira and
Sim{\~{a}}o Melo de Sousa},
editor = {Wolfram Kahl and
Timothy G. Griffin},
title = {Deciding Regular Expressions (In-)Equivalence in Coq},
booktitle = {Relational and Algebraic Methods in Computer Science - 13th International
Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7560},
pages = {98--113},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33314-9\_7},
doi = {10.1007/978-3-642-33314-9\_7},
timestamp = {Wed, 15 Dec 2021 11:04:21 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/MoreiraPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-2456,
author = {Ricardo Almeida and
Sabine Broda and
Nelma Moreira},
editor = {Marco Faella and
Aniello Murano},
title = {Deciding {KAT} and Hoare Logic with Derivatives},
booktitle = {Proceedings Third International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8,
2012},
series = {{EPTCS}},
volume = {96},
pages = {127--140},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.96.10},
doi = {10.4204/EPTCS.96.10},
timestamp = {Mon, 11 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2456.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dcfs/2012,
editor = {Martin Kutrib and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Descriptional Complexity of Formal Systems - 14th International Workshop,
{DCFS} 2012, Braga, Portugal, July 23-25, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7386},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31623-4},
doi = {10.1007/978-3-642-31623-4},
isbn = {978-3-642-31622-7},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wia/2012,
editor = {Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Implementation and Application of Automata - 17th International Conference,
{CIAA} 2012, Porto, Portugal, July 17-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7381},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31606-7},
doi = {10.1007/978-3-642-31606-7},
isbn = {978-3-642-31605-0},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/crc/AlmeidaMR12,
author = {Marco Almeida and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Jiacun Wang},
title = {Finite Automata Minimization},
booktitle = {Handbook of Finite State Based Models and Applications},
pages = {145--169},
publisher = {Chapman and Hall/CRC},
year = {2012},
url = {https://doi.org/10.1201/b13055-8},
doi = {10.1201/B13055-8},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/crc/AlmeidaMR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BrodaMMR11,
author = {Sabine Broda and
Ant{\'{o}}nio Machiavelo and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {On the Average State Complexity of Partial derivative Automata: an
analytic Combinatorics Approach},
journal = {Int. J. Found. Comput. Sci.},
volume = {22},
number = {7},
pages = {1593--1606},
year = {2011},
url = {https://doi.org/10.1142/S0129054111008908},
doi = {10.1142/S0129054111008908},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/BrodaMMR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/BrodaMMR11,
author = {Sabine Broda and
Ant{\'{o}}nio Machiavelo and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Giancarlo Mauri and
Alberto Leporati},
title = {The Average Transition Complexity of Glushkov and Partial Derivative
Automata},
booktitle = {Developments in Language Theory - 15th International Conference, {DLT}
2011, Milan, Italy, July 19-22, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6795},
pages = {93--104},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22321-1\_9},
doi = {10.1007/978-3-642-22321-1\_9},
timestamp = {Sat, 09 Apr 2022 12:37:59 +0200},
biburl = {https://dblp.org/rec/conf/dlt/BrodaMMR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/AlmeidaMR10,
author = {Marco Almeida and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Testing the Equivalence of Regular Languages},
journal = {J. Autom. Lang. Comb.},
volume = {15},
number = {1/2},
pages = {7--25},
year = {2010},
url = {https://doi.org/10.25596/jalc-2010-007},
doi = {10.25596/JALC-2010-007},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/AlmeidaMR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/BrodaMMR10,
author = {Sabine Broda and
Ant{\'{o}}nio Machiavelo and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Yuan Gao and
Hanlin Lu and
Shinnosuke Seki and
Sheng Yu},
title = {On the Average Number of States of Partial Derivative Automata},
booktitle = {Developments in Language Theory, 14th International Conference, {DLT}
2010, London, ON, Canada, August 17-20, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6224},
pages = {112--123},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14455-4\_12},
doi = {10.1007/978-3-642-14455-4\_12},
timestamp = {Thu, 19 Mar 2020 15:28:05 +0100},
biburl = {https://dblp.org/rec/conf/dlt/BrodaMMR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/AlmeidaMR10,
author = {Marco Almeida and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Michael Domaratzki and
Kai Salomaa},
title = {Incremental {DFA} Minimisation},
booktitle = {Implementation and Application of Automata - 15th International Conference,
{CIAA} 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {6482},
pages = {39--48},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-18098-9\_5},
doi = {10.1007/978-3-642-18098-9\_5},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wia/AlmeidaMR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/AlmeidaMPS10,
author = {Jos{\'{e}} Bacelar Almeida and
Nelma Moreira and
David Pereira and
Sim{\~{a}}o Melo de Sousa},
editor = {Michael Domaratzki and
Kai Salomaa},
title = {Partial Derivative Automata Formalized in Coq},
booktitle = {Implementation and Application of Automata - 15th International Conference,
{CIAA} 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {6482},
pages = {59--68},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-18098-9\_7},
doi = {10.1007/978-3-642-18098-9\_7},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/AlmeidaMPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1008-1656,
author = {Nelma Moreira and
Davide Nabais and
Rog{\'{e}}rio Reis},
editor = {Ian McQuillan and
Giovanni Pighizzini},
title = {State Elimination Ordering Strategies: Some Experimental Results},
booktitle = {Proceedings Twelfth Annual Workshop on Descriptional Complexity of
Formal Systems, {DCFS} 2010, Saskatoon, Canada, 8-10th August 2010},
series = {{EPTCS}},
volume = {31},
pages = {139--148},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.31.16},
doi = {10.4204/EPTCS.31.16},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1008-1656.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1009-3599,
author = {Hugo Gouveia and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Small NFAs from Regular Expressions: Some Experimental Results},
journal = {CoRR},
volume = {abs/1009.3599},
year = {2010},
url = {http://arxiv.org/abs/1009.3599},
eprinttype = {arXiv},
eprint = {1009.3599},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-3599.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MoreiraR09,
author = {Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Series-Parallel Automata and Short Regular Expressions},
journal = {Fundam. Informaticae},
volume = {91},
number = {3-4},
pages = {611--629},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-0061},
doi = {10.3233/FI-2009-0061},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/MoreiraR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/AlmeidaMR09,
author = {Marco Almeida and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Antimirov and Mosses's Rewrite System Revisited},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {4},
pages = {669--684},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006802},
doi = {10.1142/S0129054109006802},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/AlmeidaMR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/AlmeidaAAMR09,
author = {Andr{\'{e}} Almeida and
Marco Almeida and
Jos{\'{e}} Alves and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Sebastian Maneth},
title = {FAdo and GUItar},
booktitle = {Implementation and Application of Automata, 14th International Conference,
{CIAA} 2009, Sydney, Australia, July 14-17, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5642},
pages = {65--74},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02979-0\_10},
doi = {10.1007/978-3-642-02979-0\_10},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wia/AlmeidaAAMR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0907-5058,
author = {Marco Almeida and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {J{\"{u}}rgen Dassow and
Giovanni Pighizzini and
Bianca Truthe},
title = {Testing the Equivalence of Regular Languages},
booktitle = {Proceedings Eleventh International Workshop on Descriptional Complexity
of Formal Systems, {DCFS} 2009, Magdeburg, Germany, July 6-9, 2009},
series = {{EPTCS}},
volume = {3},
pages = {47--57},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.3.4},
doi = {10.4204/EPTCS.3.4},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0907-5058.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0906-2477,
author = {Rog{\'{e}}rio Reis and
Nelma Moreira and
Marco Almeida},
title = {On the Representation of Finite Automata},
journal = {CoRR},
volume = {abs/0906.2477},
year = {2009},
url = {http://arxiv.org/abs/0906.2477},
eprinttype = {arXiv},
eprint = {0906.2477},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0906-2477.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0906-3853,
author = {Marco Almeida and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Aspects of enumeration and generation with a string automata representation},
journal = {CoRR},
volume = {abs/0906.3853},
year = {2009},
url = {http://arxiv.org/abs/0906.3853},
eprinttype = {arXiv},
eprint = {0906.3853},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0906-3853.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0908-3315,
author = {Marco Almeida and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Exact generation of acyclic deterministic finite automata},
journal = {CoRR},
volume = {abs/0908.3315},
year = {2009},
url = {http://arxiv.org/abs/0908.3315},
eprinttype = {arXiv},
eprint = {0908.3315},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0908-3315.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsis/PereiraM08,
author = {David Pereira and
Nelma Moreira},
title = {{KAT} and {PHL} in Coq},
journal = {Comput. Sci. Inf. Syst.},
volume = {5},
number = {2},
pages = {137--160},
year = {2008},
url = {https://doi.org/10.2298/CSIS0802137P},
doi = {10.2298/CSIS0802137P},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/comsis/PereiraM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/AlmeidaMR08,
author = {Marco Almeida and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Exact Generation of Minimal Acyclic Deterministic Finite Automata},
journal = {Int. J. Found. Comput. Sci.},
volume = {19},
number = {4},
pages = {751--765},
year = {2008},
url = {https://doi.org/10.1142/S0129054108005930},
doi = {10.1142/S0129054108005930},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/AlmeidaMR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/AlmeidaMR08,
author = {Marco Almeida and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Cezar C{\^{a}}mpeanu and
Giovanni Pighizzini},
title = {Exact Generation of Acyclic Deterministic Finite Automata},
booktitle = {10th International Workshop on Descriptional Complexity of Formal
Systems, {DCFS} 2008, Charlottetown, Prince Edward Island, Canada,
July 16-18, 2008},
pages = {48--60},
publisher = {University of Prince Edward Island},
year = {2008},
timestamp = {Fri, 21 Oct 2011 14:19:45 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/AlmeidaMR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/AlmeidaMR08,
author = {Marco Almeida and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Oscar H. Ibarra and
Bala Ravikumar},
title = {Antimirov and Mosses's Rewrite System Revisited},
booktitle = {Implementation and Applications of Automata, 13th International Conference,
{CIAA} 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5148},
pages = {46--56},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70844-5\_6},
doi = {10.1007/978-3-540-70844-5\_6},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/wia/AlmeidaMR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlmeidaMR07,
author = {Marco Almeida and
Nelma Moreira and
Rog{\'{e}}rio Reis},
title = {Enumeration and generation with a string automata representation},
journal = {Theor. Comput. Sci.},
volume = {387},
number = {2},
pages = {93--102},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.07.029},
doi = {10.1016/J.TCS.2007.07.029},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AlmeidaMR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/PereiraOM07,
author = {David Pereira and
Eug{\'{e}}nio C. Oliveira and
Nelma Moreira},
editor = {Fariba Sadri and
Ken Satoh},
title = {Formal Modelling of Emotions in {BDI} Agents},
booktitle = {Computational Logic in Multi-Agent Systems, 8th International Workshop,
{CLIMA} VIII, Porto, Portugal, September 10-11, 2007. Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5056},
pages = {62--81},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-88833-8\_4},
doi = {10.1007/978-3-540-88833-8\_4},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/clima/PereiraOM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/AlmeidaMR07,
author = {Marco Almeida and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Viliam Geffert and
Giovanni Pighizzini},
title = {Exact Generation of Minimal Acyclic Deterministic Finite Automata},
booktitle = {9th International Workshop on Descriptional Complexity of Formal Systems
- {DCFS} 2007, High Tatras, Slovakia, July 20 - 22, 2007},
pages = {57--68},
publisher = {University of Kosice, Slovakia},
year = {2007},
timestamp = {Fri, 21 Oct 2011 14:31:30 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/AlmeidaMR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/AlmeidaMR06,
author = {Marco Almeida and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Hing Leung and
Giovanni Pighizzini},
title = {Aspects of Enumeration and Generation with a String Automata Representation},
booktitle = {8th International Workshop on Descriptional Complexity of Formal Systems
- {DCFS} 2006, Las Cruces, New Mexico, USA, June 21 - 23, 2006. Proceedings},
pages = {58--69},
publisher = {New Mexico State University, Las Cruces, New Mexico, {USA}},
year = {2006},
timestamp = {Fri, 21 Oct 2011 14:42:53 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/AlmeidaMR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip12/TomasMP06,
author = {Ana Paula Tom{\'{a}}s and
Nelma Moreira and
Nuno Pereira},
editor = {Ilias Maglogiannis and
Kostas Karpouzis and
Max Bramer},
title = {Designing a Solver for Arithmetic Constraints to Support Education
in Mathematics},
booktitle = {Artificial Intelligence Applications and Innovations, 3rd {IFIP} Conference
on Artificial Intelligence Applications and Innovations {(AIAI)} 2006,
June 7-9, 2006, Athens, Greece},
series = {{IFIP}},
volume = {204},
pages = {433--441},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/0-387-34224-9\_50},
doi = {10.1007/0-387-34224-9\_50},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip12/TomasMP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcfs/ReisMA05,
author = {Rog{\'{e}}rio Reis and
Nelma Moreira and
Marco Almeida},
editor = {Carlo Mereghetti and
Beatrice Palano and
Giovanni Pighizzini and
Detlef Wotschke},
title = {On the Representation of Finite Automata},
booktitle = {7th International Workshop on Descriptional Complexity of Formal Systems
- {DCFS} 2005, Como, Italy, June 30 - July 2, 2005. Proceedings},
pages = {269--276},
publisher = {Universit{\`{a}} degli Studi di Milano, Milan, Italy},
year = {2005},
timestamp = {Fri, 21 Oct 2011 15:06:32 +0200},
biburl = {https://dblp.org/rec/conf/dcfs/ReisMA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/MoreiraR05,
author = {Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Jos{\'{e}} C. Cunha and
William M. Fleischman and
Viera K. Proulx and
Jo{\~{a}}o Louren{\c{c}}o},
title = {Interactive manipulation of regular objects with FAdo},
booktitle = {Proceedings of the 10th Annual {SIGCSE} Conference on Innovation and
Technology in Computer Science Education, ITiCSE 2005, Caparica, Portugal,
June 27-29, 2005},
pages = {335--339},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1067445.1067537},
doi = {10.1145/1067445.1067537},
timestamp = {Wed, 10 Mar 2021 13:17:16 +0100},
biburl = {https://dblp.org/rec/conf/iticse/MoreiraR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/MoraisMR05,
author = {Jos{\'{e}} Jo{\~{a}}o Morais and
Nelma Moreira and
Rog{\'{e}}rio Reis},
editor = {Jacques Farr{\'{e}} and
Igor Litovsky and
Sylvain Schmitz},
title = {Acyclic Automata with Easy-to-Find Short Regular Expressions},
booktitle = {Implementation and Application of Automata, 10th International Conference,
{CIAA} 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3845},
pages = {349--350},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11605157\_33},
doi = {10.1007/11605157\_33},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wia/MoraisMR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigcse/ReisM01,
author = {Rog{\'{e}}rio Reis and
Nelma Moreira},
title = {Apoo: an environment for a first course in assembly language programming},
journal = {{ACM} {SIGCSE} Bull.},
volume = {33},
number = {4},
pages = {43--47},
year = {2001},
url = {https://doi.org/10.1145/572139.572168},
doi = {10.1145/572139.572168},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigcse/ReisM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epia/DamasM95,
author = {Lu{\'{\i}}s Damas and
Nelma Moreira},
editor = {Carlos A. Pinto{-}Ferreira and
Nuno J. Mamede},
title = {Constraint Categorial Grammars},
booktitle = {Progress in Artificial Intelligence, 7th Portuguese Conference on
Artificial Intelligence, {EPIA} '95, Funchal, Madeira Island, Portugal,
October 3-6, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {990},
pages = {347--358},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60428-6\_29},
doi = {10.1007/3-540-60428-6\_29},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/epia/DamasM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cmp-lg-9507001,
author = {Lu{\'{\i}}s Damas and
Nelma Moreira},
title = {Constraint Categorial Grammars},
journal = {CoRR},
volume = {abs/cmp-lg/9507001},
year = {1995},
url = {http://arxiv.org/abs/cmp-lg/9507001},
eprinttype = {arXiv},
eprint = {cmp-lg/9507001},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cmp-lg-9507001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epia/DamasMB93,
author = {Lu{\'{\i}}s Damas and
Nelma Moreira and
Sabine Broda},
editor = {Miguel Filgueiras and
Lu{\'{\i}}s Damas},
title = {Resolution of Constraints in Algebras of Rational Trees},
booktitle = {Progress in Artificial Intelligence, 6th Portuguese Conference on
Artificial Intelligence, {EPIA} '93, Porto, Portugal, October 6-8,
1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {727},
pages = {61--76},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57287-2\_38},
doi = {10.1007/3-540-57287-2\_38},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/epia/DamasMB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eacl/DamasV91,
author = {Lu{\'{\i}}s Damas and
Giovanni B. Varile and
Nelma Moreira},
editor = {J{\"{u}}rgen Kunze and
Dorothee Reimann},
title = {The Formal and Processing Models of {CLG}},
booktitle = {{EACL} 1991, 5th Conference of the European Chapter of the Association
for Computational Linguistics, April 9-11, 1991, Congress Hall, Alexanderplatz,
Berlin, Germany},
pages = {173--178},
publisher = {The Association for Computer Linguistics},
year = {1991},
url = {https://aclanthology.org/E91-1030/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eacl/DamasV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/LealDM91,
author = {Jos{\'{e}} Paulo Leal and
Lu{\'{\i}}s Damas and
Nelma Moreira},
editor = {Mireille Ducass{\'{e}} and
G{\'{e}}rard Ferrand},
title = {An History Based Interface},
booktitle = {Proceedings of the {ICLP} 1991 Workshop on Logic Programming Environments,
Paris, June 1991. Technical Report, University of Orl{\'{e}}ans,
France, {LIFO} {N} 91-6},
pages = {10--16},
publisher = {University of Orl{\'{e}}ans, France},
year = {1991},
timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
biburl = {https://dblp.org/rec/conf/lpe/LealDM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eaia/1990,
editor = {Miguel Filgueiras and
Lu{\'{\i}}s Damas and
Nelma Moreira and
Ana Paula Tom{\'{a}}s},
title = {Natural Language Processing, {EAIA} '90, 2nd Advanced School in Artificial
Intelligence, Guarda, Portugal, October 8-12, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {476},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53678-7},
doi = {10.1007/3-540-53678-7},
isbn = {3-540-53678-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eaia/1990.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coling/BalariVD90,
author = {Sergio Balari and
Giovanni B. Varile and
Lu{\'{\i}}s Damas and
Nelma Moreira},
title = {CLG(n): Constraint Logic Grammars},
booktitle = {13th International Conference on Computational Linguistics, {COLING}
1990, University of Helsinki, Finland, August 20-25, 1990},
pages = {7--12},
year = {1990},
url = {https://aclanthology.org/C90-3002/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coling/BalariVD90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eaia/FilgueirasMT90,
author = {Miguel Filgueiras and
Nelma Moreira and
Ana Paula Tom{\'{a}}s},
editor = {Miguel Filgueiras and
Lu{\'{\i}}s Damas and
Nelma Moreira and
Ana Paula Tom{\'{a}}s},
title = {General Introduction},
booktitle = {Natural Language Processing, {EAIA} '90, 2nd Advanced School in Artificial
Intelligence, Guarda, Portugal, October 8-12, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {476},
pages = {1--3},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53678-7\_1},
doi = {10.1007/3-540-53678-7\_1},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eaia/FilgueirasMT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip7/FilgueirasTMRL90,
author = {Miguel Filgueiras and
Ana Paula Tom{\'{a}}s and
Nelma Moreira and
Rog{\'{e}}rio Reis and
Jos{\'{e}} Paulo Leal},
editor = {M. Carnevale and
Mario Lucertini and
Salvatore Nicosia},
title = {Natural Language and Natural Menus Interfaces},
booktitle = {Modelling the Innovation: Communications, Automation and Information
Systems, Proceedings of the {IFIP} {TC7} Conference on Modelling the
Innovation: Communications, Automation and Information Systems, Rome,
Italy, 21-23 March, 1990},
pages = {299--306},
publisher = {North-Holland},
year = {1990},
timestamp = {Thu, 23 Jun 2016 15:53:27 +0200},
biburl = {https://dblp.org/rec/conf/ifip7/FilgueirasTMRL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epia/Moreira89,
author = {Nelma Moreira},
editor = {Jo{\~{a}}o P. Martins and
Ernesto M. Morgado},
title = {Semantic Analysis of Time and Tense in Natural Language: An Implementation},
booktitle = {{EPIA} 89, 4th Portuguese Conference on Artificial Intelligence, Lisbon,
Portugal, September 26-29, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {390},
pages = {198--209},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51665-4\_86},
doi = {10.1007/3-540-51665-4\_86},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/epia/Moreira89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-05-03 22:32 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:
