Sabine Babette Broda


AuthID: R-000-G4A

Publicações Confirmadas: 50



31
TÍTULO: On the Equivalence of Automata for KAT-expressions
AUTORES: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2014, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
32
TÍTULO: On the Average Size of Glushkov and Equation Automata for KAT Expressions
AUTORES: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2013, FONTE: 19th International Symposium on Fundamentals of Computation Theory, FCT 2013 in Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings, VOLUME: 8070
INDEXADO EM: Scopus DBLP CrossRef: 6
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
33
TÍTULO: Deciding KAT and Hoare Logic with Derivatives  Full Text
AUTORES: Ricardo Almeida; Sabine Broda ; Nelma Moreira ;
PUBLICAÇÃO: 2012, FONTE: 3rd International Symposium on Games, Automata, Logics and Formal Verification, G and ALF 2012 in Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012., VOLUME: 96
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
34
TÍTULO: ON THE AVERAGE SIZE OF GLUSHKOV AND PARTIAL DERIVATIVE AUTOMATA  Full Text
AUTORES: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
PUBLICAÇÃO: 2012, FONTE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 23, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP CrossRef: 20
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
35
TÍTULO: ON THE AVERAGE STATE COMPLEXITY OF PARTIAL DERIVATIVE AUTOMATA: AN ANALYTIC COMBINATORICS APPROACH  Full Text
AUTORES: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
PUBLICAÇÃO: 2011, FONTE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 22, NÚMERO: 7
INDEXADO EM: Scopus WOS DBLP CrossRef: 19
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
36
TÍTULO: The Average Transition Complexity of Glushkov and Partial Derivative Automata
AUTORES: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2011, FONTE: 15th International Conference on Developments in Language Theory, DLT 2011 in Developments in Language Theory - 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings, VOLUME: 6795
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
37
TÍTULO: On the Average Number of States of Partial Derivative Automata  Full Text
AUTORES: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
PUBLICAÇÃO: 2010, FONTE: 14th International Conference on Developments in Language Theory in DEVELOPMENTS IN LANGUAGE THEORY, VOLUME: 6224
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
38
TÍTULO: On principal types of BCK-lambda-Terms
AUTORES: Sabine Broda ; Luis Damas ;
PUBLICAÇÃO: 2007, FONTE: 14th International Workshop on Logic, Language, Information and Computation in Logic, Language, Information and Computation, Proceedings, VOLUME: 4576
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
39
TÍTULO: On long normal inhabitants of a type
AUTORES: Broda, S ; Damas, L ;
PUBLICAÇÃO: 2005, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 15, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
40
TÍTULO: The decidability of a fragment of BB ' IW-logic  Full Text
AUTORES: Broda, S ; Damas, L ; Finger, M; Silva, PSE;
PUBLICAÇÃO: 2004, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 318, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 4 de 5. Total de resultados: 50.

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

Links Úteis

Ajuda

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