Go to:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Start > Publications > View > Implementation and Application of Automata, 17th International Conference (CIAA 2012)
Publication

Publications

Implementation and Application of Automata, 17th International Conference (CIAA 2012)

Title
Implementation and Application of Automata, 17th International Conference (CIAA 2012)
Type
International Conference Proceedings Book
Year
2012
Authors
Nelma Moreira
(Editor)
FCUP
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications View Authenticus page View ORCID page
Rogério Reis
(Editor)
FCUP
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications View Authenticus page View ORCID page
Conference International
17th International Conference on Implementation and Application of Automata (CIAA)
Porto, 17-20, Julho, 2012
Scientific classification
FOS: Natural sciences > Computer and information sciences
CORDIS: Physical sciences > Computer science
Other information
Language: English
Type (Professor's evaluation): Scientific
No. of pages: 332
ISBN: 978-3-642-18097-2
Collection: LNCS
Documents
We could not find any documents associated to the publication.
Publications included
Incremental DFA MinimisationImported from Authenticus
Article in International Conference Proceedings Book
Marco Almeida (Author) (Other); Nelma Moreira (Author) (FCUP); Rogerio Reis (Author) (FCUP)
Partial Derivative Automata Formalized in CoqImported from Authenticus
Article in International Conference Proceedings Book
Jose Bacelar Almeida (Author) (Other); Nelma Moreira (Author) (FCUP); David Pereira (Author) (Other); Simao Melo de Sousa (Author) (Other)
Related Publications

Of the same authors

On the average size of pd automata: an analytic combinatorics approach (2010)
Technical Report
Sabine Broda; António Machiavelo; Nelma Moreira; Rogério Reis
On the average size of Glushkov and partial derivative automata (2011)
Technical Report
Sabine Broda; António Machiavelo; Nelma Moreira; Rogério Reis
DesCo: a web based information system for descriptional complexity results (2011)
Technical Report
Davide Nabais; Nelma Moreira; Rogério Reis
25th International Conference on Developments in Language Theory (DLT 2021): Preface (2023)
Another Publication in an International Scientific Journal
Nelma Moreira; Rogério Reis
SPECIAL ISSUE IMPLEMENTATION AND APPLICATION OF AUTOMATA (CIAA 2012) (2013)
Another Publication in an International Scientific Journal
Nelma Moreira; Rogerio Reis

See all (121)

Of the same scientific areas

On Applying Linear Tabling to Logic Programs (2010)
Thesis
MIGUEL AREIAS; Ricardo Rocha
APRIORI Algorithm for Label Ranking (2010)
Thesis
Cláudio Sá; Carlos Soares; Joaquim Costa
On the average size of pd automata: an analytic combinatorics approach (2010)
Technical Report
Sabine Broda; António Machiavelo; Nelma Moreira; Rogério Reis
On Covering Path Orthogonal Polygons (preliminary version) (2016)
Technical Report
Ana Paula Tomás; Catarina Lobo Ferreira
Emparelhamentos, Casamentos Estáveis e Algoritmos de Colocação de Professores. (2005)
Technical Report
Ana Paula Tomás

See all (138)

Of the same editor

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface (2013)
Another Publication in an International Scientific Journal
Mohamed Kamel; Aurélio Campilho
PADL (2011)
Other Publications
Ricardo Rocha; John Launchbury
PADL (2000)
Other Publications
Enrico Pontelli; Vítor Santos Costa
EPIA (2001)
Other Publications
Pavel Brazdil; Alípio Jorge
3D Printing for Construction with Alternative Materials (2023)
Book
Bárbara Carvalho; Ana Sofia Guimarães; Jorge Lino; Leonardo Santana

See all (546)

Recommend this page Top
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z
Page created on: 2025-07-14 at 21:27:42 | Privacy Policy | Personal Data Protection Policy | Whistleblowing