Sabine Babette Broda


AuthID: R-000-G4A

Publicações Confirmadas: 49



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: CiE, VOLUME: 8493 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID
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: FCT, VOLUME: 8070 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 6
NO MEU: ORCID
33
TÍTULO: Deciding KAT and Hoare Logic with Derivatives  Full Text
AUTORES: Ricardo Almeida; Sabine Broda ; Nelma Moreira ;
PUBLICAÇÃO: 2012, FONTE: GandALF, VOLUME: 96
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID
34
TÍTULO: ON THE AVERAGE SIZE OF GLUSHKOV AND PARTIAL DERIVATIVE AUTOMATA  Full Text
AUTORES: Broda, S ; Machiavelo, A ; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2012, FONTE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 23, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP CrossRef: 22
NO MEU: ORCID
35
TÍTULO: ON THE AVERAGE STATE COMPLEXITY OF PARTIAL DERIVATIVE AUTOMATA: AN ANALYTIC COMBINATORICS APPROACH  Full Text
AUTORES: Broda, S ; Machiavelo, A ; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2011, FONTE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 22, NÚMERO: 7
INDEXADO EM: Scopus WOS DBLP CrossRef: 21
NO MEU: ORCID
36
TÍTULO: The Average Transition Complexity of Glushkov and Partial Derivative Automata  Full Text
AUTORES: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2011, FONTE: Developments in Language Theory, VOLUME: 6795 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID
37
TÍTULO: On the Average Number of States of Partial Derivative Automata  Full Text
AUTORES: Broda, S ; Machiavelo, A ; Moreira, N ; Reis, R ;
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
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
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
Página 4 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