Toggle navigation
Publications
Researchers
Institutions
0
Sign In
Federated Authentication
(Click on the image)
Local Sign In
Password Recovery
Register
Sign In
Sabine Babette Broda
AuthID:
R-000-G4A
Publications
Confirmed
To Validate
Document Source:
All
Document Type:
All Document Types
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:
Year Dsc
Year Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Title Asc
Title Dsc
Confirmed Publications: 41
1
TITLE:
Guest Column: Analytic Combinatorics and Descriptional Complexity of Regular Languages on Average
Full Text
AUTHORS:
Sabine Broda
;
António Machiavelo
;
Nelma Moreira
;
Rogério Reis
;
SOURCE:
SIGACT News,
VOLUME:
51,
ISSUE:
1,
PUBLISHED:
2020
INDEXED IN:
DBLP
IN MY:
ORCID
|
DBLP
2
TITLE:
A mesh of automata
AUTHORS:
Sabine Broda
; Markus Holzer;
Eva Maia
;
Nelma Moreira
;
Rogerio Reis
;
SOURCE:
INFORMATION AND COMPUTATION,
VOLUME:
265,
PUBLISHED:
2019
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
IN MY:
ORCID
|
DBLP
3
TITLE:
On Average Behaviour of Regular Expressions in Strong Star Normal Form
Full Text
AUTHORS:
Sabine Broda
;
Antonio Machiavelo
;
Nelma Moreira
;
Rogerio Reis
;
SOURCE:
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE,
VOLUME:
30,
ISSUE:
6-7,
PUBLISHED:
2019
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
1
IN MY:
ORCID
|
DBLP
4
TITLE:
Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types
AUTHORS:
Sandra Alves
;
Sabine Broda
;
SOURCE:
13th Workshop on Logical and Semantic Frameworks with Applications (LSFA)
in
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE,
VOLUME:
344,
PUBLISHED:
2019
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
IN MY:
ORCID
|
DBLP
5
TITLE:
A Unifying Framework for Type Inhabitation
AUTHORS:
Sandra Alves
;
Sabine Broda
;
SOURCE:
3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK,
VOLUME:
108,
PUBLISHED:
2018
INDEXED IN:
DBLP
IN MY:
ORCID
|
DBLP
6
TITLE:
Automata for regular expressions with shuffle
Full Text
AUTHORS:
Sabine Broda
;
Antonio Machiavelo
;
Nelma Moreira
;
Rogerio Reis
;
SOURCE:
INFORMATION AND COMPUTATION,
VOLUME:
259,
ISSUE:
Part,
PUBLISHED:
2018
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
2
IN MY:
ORCID
|
DBLP
7
TITLE:
Position Automata for Semi-extended Expressions
AUTHORS:
Sabine Broda
;
António Machiavelo
;
Nelma Moreira
;
Rogério Reis
;
SOURCE:
Journal of Automata, Languages and Combinatorics,
VOLUME:
23,
ISSUE:
1-3,
PUBLISHED:
2018
INDEXED IN:
Scopus
DBLP
IN MY:
ORCID
|
DBLP
8
TITLE:
Inhabitation machines: determinism and principality
AUTHORS:
Sandra Alves
;
Sabine Broda
;
SOURCE:
Ninth Workshop on Non-Classical Models of Automata and Applications, NCMA 2017, Prague, Czech Republic, August 17-18, 2017.,
PUBLISHED:
2017
INDEXED IN:
DBLP
IN MY:
ORCID
|
DBLP
9
TITLE:
On the Average Complexity of Partial Derivative Automata for Semi-extended Expressions
AUTHORS:
Rafaela Bastos;
Sabine Broda
; António Machiavelo;
Nelma Moreira
;
Rogério Reis
;
SOURCE:
Journal of Automata, Languages and Combinatorics,
VOLUME:
22,
ISSUE:
1-3,
PUBLISHED:
2017
INDEXED IN:
DBLP
IN MY:
ORCID
|
DBLP
10
TITLE:
On the Average Complexity of Strong Star Normal Form
AUTHORS:
Sabine Broda
;
Antonio Machiavelo
;
Nelma Moreira
;
Rogerio Reis
;
SOURCE:
19th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS)
in
DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2017,
VOLUME:
10316,
PUBLISHED:
2017
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
2
IN MY:
ORCID
|
DBLP
Add to Marked List
Check All
Export All
BibTex
EndNote
CSV
RIS
ISI
APA
Print All
PDF
HTML
Page 1 of 5. Total results: 41.
<<
<
1
2
3
4
5
>
>>
© 2021 CRACS & Inesc TEC - All Rights Reserved
Privacy Policy
|
Terms of Service