BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Denmark
1 × France
1 × Germany
1 × Italy
1 × Portugal
1 × Sweden
1 × USA
3 × Canada
Collaborated with:
R.Reis S.Broda M.Almeida A.Machiavelo E.Maia J.J.Morais S.Cavadas M.Ferreira J.Bell J.A.Brzozowski J.B.Almeida D.Pereira S.M.d.Sousa A.Almeida J.Alves
Talks about:
automata (7) deriv (7) partial (6) complex (4) averag (4) antimirov (2) glushkov (2) transit (2) revisit (2) regular (2)

Person: Nelma Moreira

DBLP DBLP: Moreira:Nelma

Facilitated 2 volumes:

CIAA 2012Ed
CIAA 2012Ed

Contributed to:

CIAA 20152015
CIAA 20142014
ICALP (2) 20142014
CIAA 20132013
DLT 20112011
DLT 20112012
CIAA 20102010
DLT 20102010
DLT 20102011
CIAA 20092009
CIAA 20082008
CIAA 20082009
CIAA 20052005
ITiCSE 20052005

Wrote 15 papers:

CIAA-2015-BrodaCFM #algebra
Deciding Synchronous Kleene Algebra with Derivatives (SB, SC, MF, NM), pp. 49–62.
CIAA-2014-MaiaMR #automaton #similarity
Partial Derivative and Position Bisimilarity Automata (EM, NM, RR), pp. 264–277.
ICALP-v2-2014-BellBMR #complexity #symmetry
Symmetric Groups and Quotient Complexity of Boolean Operations (JB, JAB, NM, RR), pp. 1–12.
CIAA-2013-MaiaMR #complexity #finite
Incomplete Transition Complexity of Basic Operations on Finite Languages (EM, NM, RR), pp. 349–356.
DLT-2011-BrodaMMR #automaton #complexity
The Average Transition Complexity of Glushkov and Partial Derivative Automata (SB, AM, NM, RR), pp. 93–104.
DLT-J-2011-BrodaMMR12 #automaton #on the
On the Average Size of Glushkov and Partial derivative Automata (SB, AM, NM, RR), pp. 969–984.
CIAA-2010-AlmeidaMPS #automaton #coq
Partial Derivative Automata Formalized in Coq (JBA, NM, DP, SMdS), pp. 59–68.
CIAA-2010-AlmeidaMR #automaton #incremental
Incremental DFA Minimisation (MA, NM, RR), pp. 39–48.
DLT-2010-BrodaMMR #automaton #on the
On the Average Number of States of Partial Derivative Automata (SB, AM, NM, RR), pp. 112–123.
DLT-J-2010-BrodaMMR11 #approach #automaton #combinator #complexity #on the
On the Average State Complexity of Partial derivative Automata: an analytic Combinatorics Approach (SB, AM, NM, RR), pp. 1593–1606.
CIAA-2009-AlmeidaAAMR
FAdo and GUItar (AA, MA, JA, NM, RR), pp. 65–74.
CIAA-2008-AlmeidaMR #revisited #term rewriting
Antimirov and Mosses’s Rewrite System Revisited (MA, NM, RR), pp. 46–56.
CIAA-J-2008-AlmeidaMR09 #revisited #term rewriting
Antimirov and Mosses’s Rewrite System Revisited (MA, NM, RR), pp. 669–684.
CIAA-2005-MoraisMR #automaton #regular expression
Acyclic Automata with Easy-to-Find Short Regular Expressions (JJM, NM, RR), pp. 349–350.
ITiCSE-2005-MoreiraR #interactive
Interactive manipulation of regular objects with FAdo (NM, RR), pp. 335–339.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.