Sabine Broda

50 papers B 3C 11Misc 3Journal 24Unranked 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
Average State Complexity of Partial Derivative Automata for Synchronised Shuffles.
Int. J. Found. Comput. Sci.
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2025 — conf
Automata for Synchronised Shuffle on Backbones.
DCFS
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2023 C conf
Average Complexity of Partial Derivatives for Synchronised Shuffle Expressions.
CIAA
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2023 J jnl
Location automata for regular expressions with shuffle and intersection.
Inf. Comput.
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2023 J jnl
Location automata for synchronised shuffle expressions.
J. Log. Algebraic Methods Program.
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2021 C conf
Location Based Automata for Expressions with Shuffle.
LATA
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2021 — conf
On the Uniform Distribution of Regular Expressions.
DCFS
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2021 J jnl
On the Uniform Distribution of Regular Expressions.
CoRR
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2021 B conf
Pregrammars and Intersection Types.
CSL
Sabine Broda
2021 J jnl
The Prefix Automaton.
J. Autom. Lang. Comb.
Sabine Broda, Eva Maia, Nelma Moreira, Rogério Reis
2020 J jnl
Guest Column: Analytic Combinatorics and Descriptional Complexity of Regular Languages on Average.
SIGACT News
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2019 J jnl
A mesh of automata.
Inf. Comput.
Sabine Broda, Markus Holzer, Eva Maia, Nelma Moreira, Rogério Reis
2019 J jnl
On Average Behaviour of Regular Expressions in Strong Star Normal Form.
Int. J. Found. Comput. Sci.
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2018 B conf
A Unifying Framework for Type Inhabitation.
FSCD
Sandra Alves, Sabine Broda
2018 J jnl
Automata for regular expressions with shuffle.
Inf. Comput.
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2018 J jnl
Position Automata for Semi-extended Expressions.
J. Autom. Lang. Comb.
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2018 — conf
Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types.
LSFA
Sandra Alves, Sabine Broda
2017 — conf
Inhabitation machines: determinism and principality.
NCMA
Sandra Alves, Sabine Broda
2017 J jnl
On the Average Complexity of Partial Derivative Automata for Semi-extended Expressions.
J. Autom. Lang. Comb.
Rafaela Bastos, Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2017 — conf
On the Average Complexity of Strong Star Normal Form.
DCFS
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2017 C conf
On the Mother of All Automata: The Position Automaton.
DLT
Sabine Broda, Markus Holzer, Eva Maia, Nelma Moreira, Rogério Reis
2016 — conf
On the State Complexity of Partial Derivative Automata For Regular Expressions with Intersection.
DCFS
Rafaela Bastos, Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2016 C conf
Position Automaton Construction for Regular Expressions with Intersection.
DLT
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2016 J jnl
The G-ACM Tool: using the Drools Rule Engine for Access Control Management.
CoRR
João Sá, Sandra Alves, Sabine Broda
2015 C conf
A Typed Language for Events.
LOPSTR
Sandra Alves, Sabine Broda, Maribel Fernández
2015 J jnl
A short note on type-inhabitation: Formula-trees vs. game semantics.
Inf. Process. Lett.
Sandra Alves, Sabine Broda
2015 J jnl
Average Size of Automata Constructions from Regular Expressions.
Bull. EATCS
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2015 C conf
Deciding Synchronous Kleene Algebra with Derivatives.
CIAA
Sabine Broda, Sílvia Cavadas, Miguel Ferreira, Nelma Moreira
2015 — conf
Partial Derivative Automaton for Regular Expressions with Shuffle.
DCFS
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2015 J jnl
Partial Derivative Automaton for Regular Expressions with Shuffle.
CoRR
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2014 J jnl
A Hitchhiker's Guide to descriptional complexity through analytic combinatorics.
Theor. Comput. Sci.
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2014 C conf
On the Equivalence of Automata for KAT-expressions.
CiE
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2013 B conf
On the Average Size of Glushkov and Equation Automata for KAT Expressions.
FCT
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2012 — conf
Deciding KAT and Hoare Logic with Derivatives
GandALF
Ricardo Almeida, Sabine Broda, Nelma Moreira
2012 J jnl
On the Average Size of Glushkov and Partial derivative Automata.
Int. J. Found. Comput. Sci.
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2011 J jnl
On the Average State Complexity of Partial derivative Automata: an analytic Combinatorics Approach.
Int. J. Found. Comput. Sci.
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2011 C conf
The Average Transition Complexity of Glushkov and Partial Derivative Automata.
Developments in Language Theory
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2010 C conf
On the Average Number of States of Partial Derivative Automata.
Developments in Language Theory
Sabine Broda, António Machiavelo, Nelma Moreira, Rogério Reis
2007 C conf
On Principal Types of BCK-
WoLLIC
Sabine Broda, Luís Damas
2005 J jnl
On Long Normal Inhabitants of a Type.
J. Log. Comput.
Sabine Broda, Luís Damas
2004 J jnl
The decidability of a fragment of BB'IW-logic.
Theor. Comput. Sci.
Sabine Broda, Luís Damas, Marcelo Finger, Paulo Silva e Silva
2002 C conf
Studying provability in implicational intuitionistic logic the formula tree approach.
WoLLIC
Sabine Broda, Luís Damas
2001 Misc conf
A Context-Free Grammar Representation for Normal Inhabitants of Types in TA
EPIA
Sabine Broda, Luís Damas
2001 J jnl
Counting a Type's (Principal) Inhabitants.
Fundam. Informaticae
Sabine Broda, Luís Damas
2000 J jnl
On principal types of combinators.
Theor. Comput. Sci.
Sabine Broda, Luís Damas
1999 — conf
Counting a Type's Principal Inhabitants.
TLCA
Sabine Broda, Luís Damas
1997 J jnl
Compact Bracket Abstraction in Combinatory Logic.
J. Symb. Log.
Sabine Broda, Luís Damas
1997 J jnl
On Combinatory Complete Sets of Proper Combinators.
J. Funct. Program.
Sabine Broda, Luís Damas
1995 Misc conf
A New Translation Algorithm from Lambda Calculus into Combinatory Logic.
EPIA
Sabine Broda, Luís Damas
1993 Misc conf
Resolution of Constraints in Algebras of Rational Trees.
EPIA
Luís Damas, Nelma Moreira, Sabine Broda