Sabine Babette Broda


AuthID: R-000-G4A

Confirmed Publications: 49



31
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: 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
INDEXED IN: Scopus DBLP CrossRef: 6
IN MY: ORCID | DBLP
32
TITLE: Deciding KAT and Hoare Logic with Derivatives  Full Text
AUTHORS: Ricardo Almeida; Sabine Broda ; Nelma Moreira ;
PUBLISHED: 2012, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID | DBLP
33
TITLE: ON THE AVERAGE SIZE OF GLUSHKOV AND PARTIAL DERIVATIVE AUTOMATA  Full Text
AUTHORS: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2012, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 23, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef: 20
IN MY: ORCID | DBLP
34
TITLE: ON THE AVERAGE STATE COMPLEXITY OF PARTIAL DERIVATIVE AUTOMATA: AN ANALYTIC COMBINATORICS APPROACH  Full Text
AUTHORS: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2011, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 22, ISSUE: 7
INDEXED IN: Scopus WOS DBLP CrossRef: 19
IN MY: ORCID | DBLP
35
TITLE: The Average Transition Complexity of Glushkov and Partial Derivative Automata
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP
36
TITLE: On the Average Number of States of Partial Derivative Automata  Full Text
AUTHORS: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
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 | DBLP
37
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
38
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 | DBLP
39
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 | DBLP
40
TITLE: Studying provability in implicational intuitionistic logic: The formula tree approach
AUTHORS: Broda, S ; Damas, L ;
PUBLISHED: 2002, SOURCE: WoLLIC'2002, 9th Workshop on Logic, Language, Information and Computation in Electronic Notes in Theoretical Computer Science, VOLUME: 67
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
Página 4 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