Sabine Babette Broda


AuthID: R-000-G4A

Confirmed Publications: 49



21
TITLE: Position Automaton Construction for Regular Expressions with Intersection
AUTHORS: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2016, SOURCE: 20th International Conference on Developments in Language Theory (DLT) in DEVELOPMENTS IN LANGUAGE THEORY, DLT 2016, VOLUME: 9840
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
22
TITLE: The G-ACM Tool: using the Drools Rule Engine for Access Control Management PDF
AUTHORS: João Sá; Sandra Alves ; Sabine Broda ;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1611.08547
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
23
TITLE: A short note on type-inhabitation: Formula-trees vs. game semantics  Full Text
AUTHORS: Alves, S ; Broda, S ;
PUBLISHED: 2015, SOURCE: INFORMATION PROCESSING LETTERS, VOLUME: 115, ISSUE: 11
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
24
TITLE: A Typed Language for Events
AUTHORS: Sandra Alves ; Sabine Broda ; Maribel Fernandez;
PUBLISHED: 2015, SOURCE: 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015), VOLUME: 9527
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
25
TITLE: Average Size of Automata Constructions from Regular Expressions
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2015, SOURCE: Bulletin of the EATCS, VOLUME: 116
INDEXED IN: DBLP
IN MY: ORCID | DBLP
26
TITLE: Deciding synchronous Kleene algebra with derivatives
AUTHORS: Broda, S ; Cavadas, S; Ferreira, M; Moreira, N ;
PUBLISHED: 2015, SOURCE: 20th International Conference on Implementation and Application of Automata, CIAA 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9223
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
27
TITLE: Partial Derivative Automaton for Regular Expressions with Shuffle
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2015, SOURCE: 17th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2015 in Descriptional Complexity of Formal Systems - 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings, VOLUME: 9118
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP
28
TITLE: Partial Derivative Automaton for Regular Expressions with Shuffle PDF
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1503.00279
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP
29
TITLE: A Hitchhiker's Guide to descriptional complexity through analytic combinatorics  Full Text
AUTHORS: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2014, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 528
INDEXED IN: Scopus WOS DBLP CrossRef: 14
IN MY: ORCID | DBLP
30
TITLE: On the Equivalence of Automata for KAT-expressions
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2014, SOURCE: 10th Conference on Computability in Europe, CiE 2014 in Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, VOLUME: 8493
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
Página 3 de 5. Total de resultados: 49.

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

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service