21
TÍTULO: A Hitchhiker's Guide to descriptional complexity through analytic combinatorics  Full Text
AUTORES: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 528, PUBLICAÇÃO: 2014
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
NO MEU: ORCID | DBLP
22
TÍTULO: On the Equivalence of Automata for KAT-expressions
AUTORES: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
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, PUBLICAÇÃO: 2014
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
23
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 ;
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, PUBLICAÇÃO: 2013
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | DBLP
24
TÍTULO: Deciding KAT and Hoare Logic with Derivatives  Full Text
AUTORES: Ricardo Almeida; Sabine Broda ; Nelma Moreira ;
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, PUBLICAÇÃO: 2012
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP
25
TÍTULO: ON THE AVERAGE SIZE OF GLUSHKOV AND PARTIAL DERIVATIVE AUTOMATA  Full Text
AUTORES: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
FONTE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 23, NÚMERO: 5, PUBLICAÇÃO: 2012
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
NO MEU: ORCID | DBLP
26
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 ;
FONTE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 22, NÚMERO: 7, PUBLICAÇÃO: 2011
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
NO MEU: ORCID | DBLP
27
TÍTULO: The Average Transition Complexity of Glushkov and Partial Derivative Automata
AUTORES: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
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, PUBLICAÇÃO: 2011
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP
28
TÍTULO: On the Average Number of States of Partial Derivative Automata  Full Text
AUTORES: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
FONTE: 14th International Conference on Developments in Language Theory in DEVELOPMENTS IN LANGUAGE THEORY, VOLUME: 6224, PUBLICAÇÃO: 2010
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
29
TÍTULO: On principal types of BCK-lambda-Terms
AUTORES: Sabine Broda ; Luis Damas ;
FONTE: 14th International Workshop on Logic, Language, Information and Computation in Logic, Language, Information and Computation, Proceedings, VOLUME: 4576, PUBLICAÇÃO: 2007
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
30
TÍTULO: On long normal inhabitants of a type
AUTORES: Broda, S ; Damas, L ;
FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 15, NÚMERO: 3, PUBLICAÇÃO: 2005
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
NO MEU: ORCID | DBLP
Página 3 de 5. Total de resultados: 41.