Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Clique na imagem)
Autenticação local
Recuperar Palavra-passe
Registar
Entrar
Sabine Babette Broda
AuthID:
R-000-G4A
Publicações
Confirmadas
Para Validar
Document Source:
All
Document Type:
Todos os Tipos de Documentos
Proceedings Paper (20)
Article (19)
Unpublished (2)
Year Start - End:
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
-
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
Order:
Ano Dsc
Ano Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Título Asc
Título Dsc
Publicações Confirmadas: 41
1
TÍTULO:
Guest Column: Analytic Combinatorics and Descriptional Complexity of Regular Languages on Average
Full Text
AUTORES:
Sabine Broda
;
António Machiavelo
;
Nelma Moreira
;
Rogério Reis
;
FONTE:
SIGACT News,
VOLUME:
51,
NÚMERO:
1,
PUBLICAÇÃO:
2020
INDEXADO EM:
DBLP
NO MEU:
ORCID
|
DBLP
2
TÍTULO:
A mesh of automata
AUTORES:
Sabine Broda
; Markus Holzer;
Eva Maia
;
Nelma Moreira
;
Rogerio Reis
;
FONTE:
INFORMATION AND COMPUTATION,
VOLUME:
265,
PUBLICAÇÃO:
2019
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
NO MEU:
ORCID
|
DBLP
3
TÍTULO:
On Average Behaviour of Regular Expressions in Strong Star Normal Form
Full Text
AUTORES:
Sabine Broda
;
Antonio Machiavelo
;
Nelma Moreira
;
Rogerio Reis
;
FONTE:
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE,
VOLUME:
30,
NÚMERO:
6-7,
PUBLICAÇÃO:
2019
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
1
NO MEU:
ORCID
|
DBLP
4
TÍTULO:
Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types
AUTORES:
Sandra Alves
;
Sabine Broda
;
FONTE:
13th Workshop on Logical and Semantic Frameworks with Applications (LSFA)
in
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE,
VOLUME:
344,
PUBLICAÇÃO:
2019
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
NO MEU:
ORCID
|
DBLP
5
TÍTULO:
A Unifying Framework for Type Inhabitation
AUTORES:
Sandra Alves
;
Sabine Broda
;
FONTE:
3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK,
VOLUME:
108,
PUBLICAÇÃO:
2018
INDEXADO EM:
DBLP
NO MEU:
ORCID
|
DBLP
6
TÍTULO:
Automata for regular expressions with shuffle
Full Text
AUTORES:
Sabine Broda
;
Antonio Machiavelo
;
Nelma Moreira
;
Rogerio Reis
;
FONTE:
INFORMATION AND COMPUTATION,
VOLUME:
259,
NÚMERO:
Part,
PUBLICAÇÃO:
2018
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
2
NO MEU:
ORCID
|
DBLP
7
TÍTULO:
Position Automata for Semi-extended Expressions
AUTORES:
Sabine Broda
;
António Machiavelo
;
Nelma Moreira
;
Rogério Reis
;
FONTE:
Journal of Automata, Languages and Combinatorics,
VOLUME:
23,
NÚMERO:
1-3,
PUBLICAÇÃO:
2018
INDEXADO EM:
Scopus
DBLP
NO MEU:
ORCID
|
DBLP
8
TÍTULO:
Inhabitation machines: determinism and principality
AUTORES:
Sandra Alves
;
Sabine Broda
;
FONTE:
Ninth Workshop on Non-Classical Models of Automata and Applications, NCMA 2017, Prague, Czech Republic, August 17-18, 2017.,
PUBLICAÇÃO:
2017
INDEXADO EM:
DBLP
NO MEU:
ORCID
|
DBLP
9
TÍTULO:
On the Average Complexity of Partial Derivative Automata for Semi-extended Expressions
AUTORES:
Rafaela Bastos;
Sabine Broda
; António Machiavelo;
Nelma Moreira
;
Rogério Reis
;
FONTE:
Journal of Automata, Languages and Combinatorics,
VOLUME:
22,
NÚMERO:
1-3,
PUBLICAÇÃO:
2017
INDEXADO EM:
DBLP
NO MEU:
ORCID
|
DBLP
10
TÍTULO:
On the Average Complexity of Strong Star Normal Form
AUTORES:
Sabine Broda
;
Antonio Machiavelo
;
Nelma Moreira
;
Rogerio Reis
;
FONTE:
19th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS)
in
DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2017,
VOLUME:
10316,
PUBLICAÇÃO:
2017
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
2
NO MEU:
ORCID
|
DBLP
Adicionar à lista
Marked
Marcar Todas
Exportar Todas
BibTex
EndNote
CSV
RIS
ISI
APA
Imprimir todas
PDF
HTML
Página 1 de 5. Total de resultados: 41.
<<
<
1
2
3
4
5
>
>>
© 2021 CRACS & Inesc TEC - All Rights Reserved
Política de Privacidade
|
Terms of Service