Sabine Babette Broda


AuthID: R-000-G4A

Confirmed Publications: 49



31
TITLE: On the Equivalence of Automata for KAT-expressions
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2014, SOURCE: CiE, VOLUME: 8493 LNCS
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID
32
TITLE: On the Average Size of Glushkov and Equation Automata for KAT Expressions
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2013, SOURCE: FCT, VOLUME: 8070 LNCS
INDEXED IN: Scopus DBLP CrossRef: 6
IN MY: ORCID
33
TITLE: Deciding KAT and Hoare Logic with Derivatives  Full Text
AUTHORS: Ricardo Almeida; Sabine Broda ; Nelma Moreira ;
PUBLISHED: 2012, SOURCE: GandALF, VOLUME: 96
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID
34
TITLE: ON THE AVERAGE SIZE OF GLUSHKOV AND PARTIAL DERIVATIVE AUTOMATA  Full Text
AUTHORS: Broda, S ; Machiavelo, A ; Moreira, N ; Reis, R ;
PUBLISHED: 2012, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 23, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef: 22
IN MY: ORCID
35
TITLE: ON THE AVERAGE STATE COMPLEXITY OF PARTIAL DERIVATIVE AUTOMATA: AN ANALYTIC COMBINATORICS APPROACH  Full Text
AUTHORS: Broda, S ; Machiavelo, A ; Moreira, N ; Reis, R ;
PUBLISHED: 2011, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 22, ISSUE: 7
INDEXED IN: Scopus WOS DBLP CrossRef: 21
IN MY: ORCID
36
TITLE: The Average Transition Complexity of Glushkov and Partial Derivative Automata  Full Text
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2011, SOURCE: Developments in Language Theory, VOLUME: 6795 LNCS
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID
37
TITLE: On the Average Number of States of Partial Derivative Automata  Full Text
AUTHORS: Broda, S ; Machiavelo, A ; Moreira, N ; Reis, R ;
PUBLISHED: 2010, SOURCE: 14th International Conference on Developments in Language Theory in DEVELOPMENTS IN LANGUAGE THEORY, VOLUME: 6224
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID
38
TITLE: On principal types of BCK-lambda-Terms
AUTHORS: Sabine Broda ; Luis Damas ;
PUBLISHED: 2007, SOURCE: 14th International Workshop on Logic, Language, Information and Computation in Logic, Language, Information and Computation, Proceedings, VOLUME: 4576
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
39
TITLE: On long normal inhabitants of a type
AUTHORS: Broda, S ; Damas, L ;
PUBLISHED: 2005, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 15, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 13
IN MY: ORCID
40
TITLE: The decidability of a fragment of BB′IW-logic  Full Text
AUTHORS: Broda, S ; Damas, L ; Finger, M; Silva, PSE;
PUBLISHED: 2004, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 318, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID
Page 4 of 5. Total results: 49.

footer slogan

Useful Links

Get Help

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