Sabine Broda

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 28

Top Topics

Regular Expressions

Deterministic Finite Automata

Top Venues

J. Autom. Lang. Comb.

Publications

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