Sabine Babette Broda


AuthID: R-000-G4A

Publicações Confirmadas: 49



21
TÍTULO: On the Mother of All Automata: The Position Automaton
AUTORES: Broda, S ; Holzer, M; Maia, E ; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2017, FONTE: 21st International Conference on Developments in Language Theory (DLT) in DEVELOPMENTS IN LANGUAGE THEORY, DLT 2017, VOLUME: 10396
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID
22
TÍTULO: On the State Complexity of Partial Derivative Automata For Regular Expressions with Intersection
AUTORES: Rafaela Bastos; Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2016, FONTE: DCFS, VOLUME: 9777
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID
23
TÍTULO: Position Automaton Construction for Regular Expressions with Intersection
AUTORES: Broda, S ; Machiavelo, A ; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2016, FONTE: 20th International Conference on Developments in Language Theory (DLT) in DEVELOPMENTS IN LANGUAGE THEORY, DLT 2016, VOLUME: 9840
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID
24
TÍTULO: The G-ACM Tool: using the Drools Rule Engine for Access Control Management
AUTORES: João Sá; Sandra Alves ; Sabine Broda ;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1611.08547
INDEXADO EM: DBLP
NO MEU: ORCID
25
TÍTULO: A short note on type-inhabitation: Formula-trees vs. game semantics  Full Text
AUTORES: Alves, S ; Broda, S ;
PUBLICAÇÃO: 2015, FONTE: INFORMATION PROCESSING LETTERS, VOLUME: 115, NÚMERO: 11
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID
26
TÍTULO: A Typed Language for Events
AUTORES: Alves, S ; Broda, S ; Fernández, M;
PUBLICAÇÃO: 2015, FONTE: 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015), VOLUME: 9527
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID
27
TÍTULO: Average Size of Automata Constructions from Regular Expressions
AUTORES: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2015, FONTE: Bull. EATCS, VOLUME: 116
INDEXADO EM: DBLP
NO MEU: ORCID
28
TÍTULO: Deciding Synchronous Kleene Algebra with Derivatives
AUTORES: Sabine Broda ; Sílvia Cavadas; Miguel Ferreira; Nelma Moreira ;
PUBLICAÇÃO: 2015, FONTE: CIAA, VOLUME: 9223
INDEXADO EM: Scopus DBLP CrossRef: 2 Handle
NO MEU: ORCID
29
TÍTULO: Partial Derivative Automaton for Regular Expressions with Shuffle
AUTORES: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2015, FONTE: 17th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2015 in DCFS, VOLUME: 9118
INDEXADO EM: Scopus DBLP CrossRef: 3 Handle
NO MEU: ORCID
30
TÍTULO: A Hitchhiker's Guide to descriptional complexity through analytic combinatorics  Full Text
AUTORES: Broda, S ; Machiavelo, A ; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2014, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 528
INDEXADO EM: Scopus WOS DBLP CrossRef: 17
NO MEU: ORCID
Página 3 de 5. Total de resultados: 49.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service