Ivone de Fátima da Cruz Amorim. É da Universidade do Porto. Publicou 2 artigos em revistas especializadas e 5 trabalhos em actas de eventos. Actua na área de Ciências da Computação e da Informação Nas suas actividades profissionais interagiu com 8 colaboradores em co-autorias de trabalhos científicos.
Endereço de acesso a este CV: http://www.degois.pt/visualizador/curriculum.jsp?key=8349791992679016

Nome completo Full name	Ivone de Fátima da Cruz Amorim
Nome em citações bibliográficas Quoting name	Amorim, Ivone
Domínio científico de atuação Scientific domain	Ciências Exactas-Ciências da Computação e da Informação.

Endereço profissional Professional address

Universidade do Porto Faculdade de Ciências Departamento de Ciência de Computadores Rua do Campo Alegre, 1021/1055 4169-007 Porto Portugal Correio electrónico: ivone.amorim@dcc.fc.up.pt

Sexo Gender

Feminino»Female

2010-2016	Doutoramento Phd
Doutoramento em Ciência de Computadores. Universidade do Porto, Portugal.

2005-2009	Mestrado Master degree
Mestrado em Engenharia Matemática (1,5 anos » years) . Universidade do Porto, Portugal.

1998-2003	Licenciatura Licentiate degree
Licenciatura em Ensino de Matemática (5 anos » years) . Universidade do Minho, Portugal.

2012-2012	Outros Others
Chinês - nível 1. Universidade do Porto, Portugal.

2012-2012	Outros Others
Chinês - nível 1. Universidade do Porto, Portugal.

2011-2011	Outros Others
Summer School on Applied Computational Algebraic Geometry Modelling. Katholieke Universiteit Leuven, Bélgica.

2009-2009	Outros Others
Soria Summer School on Computational Mathematics. Universidade de Valladolid, Espanha.

Instituto Politécnico de Viana do Castelo

Set/2010-Mar/2013

Outra Situação

Politécnico do Porto

Out/2012-Fev/2013

Outra Situação

Politécnico do Porto

Set/2010-Jun/2012

Outra Situação

Universidade do Porto

Abr/2010-Out/2010

Investigador

Instituto de Engenharia de Sistemas e Computadores do Porto

Set/2008-Jan/2010

Investigador

Universidade de Coimbra

Dez/2007-Ago/2008

Investigador

Instituto Politécnico de Viana do Castelo

Out/2011-Actual

Disciplinas lecionadas»Taught units: Álgebra Linear e Geometria Analítica(Docente)

Set/2010-Set/2011

Disciplinas lecionadas»Taught units: Álgebra Linear e Geometria Analítica(Docente) Análise Matemática(Docente) Matemática Básica(Docente)

Politécnico do Porto

Fev/2012-Jun/2012

Disciplinas lecionadas»Taught units: Matemática Discreta(Docente)

Set/2011-Jan/2012

Disciplinas lecionadas»Taught units: Matemática I

Fev/2011-Jun/2011

Disciplinas lecionadas»Taught units: Matemática Discreta(Docente)

Set/2010-Jan/2011

Disciplinas lecionadas»Taught units: Análise Matemática(Docente)

Outro Tipo de Participação Other kind of participation

2009- CSI Segurança Criptográfica de Instâncias Individuais

Referência do projeto»Project reference: PTDC/EIA-CCO/099951/2008.

2007- Plataformas de Simulação de Mercados de Electricidade: Métricas, Análise e Validação de Modelos

Referência do projeto»Project reference: PTDC/EEA-ENE/74550/2006.

2007- IRPS - Intelligent Robotic Porter System

Referência do projeto»Project reference: EU-IRPS FP6-IST-45048.

Compreende Understandig	Português (Bem), Inglês (Bem), Francês (Pouco), Espanhol (Razoavelmente), Chinês (Pouco).
Fala Speaking	Português (Bem), Inglês (Razoavelmente), Francês (Pouco), Espanhol (Pouco), Chinês (Pouco).
Lê Reading	Português (Bem), Inglês (Bem), Francês (Pouco), Espanhol (Razoavelmente), Chinês (Pouco).
Escreve Writing	Português (Bem), Inglês (Razoavelmente), Francês (Pouco), Espanhol (Pouco), Chinês (Pouco).

Capítulos de livros publicados Published book chapters

1.	Amorim, Ivone F. C; Dias, Jorge; Ferreira, Filipe; Rocha, Rui. 2009. T-SLAM: Registering Topological and Geometric Maps for Robot Localization in Large Environments.  In Multisensor Fusion and Integration for Intelligent Systems, Lecture Notes in Electrical Engineering (LNEE), 423 - 438. ISBN: 978-3-540-89858-0. Berlin Heidelberg: Springer.

Artigos em revistas com arbitragem científica Papers in periodics with scientific refereeing

1.	Amorim, Ivone; Machiavelo, António; Reis, Rogério. 2014. "On the invertibility of finite linear transducers", RAIRO - Theoretical Informatics and Applications 48, 1: 107 - 125.

Trabalhos completos/resumidos em eventos com arbitragem científica Papers in conference proceedings with scientific refereeing

1.	Amorim, Ivone; Reis, Rogério; Machiavelo, António. 2014. "Counting Equivalent Linear Finite Transducers Using a Canonical Form", Trabalho apresentado em CIAA2014, In Nineteenth International Conference on Implementation and Application of Automata, Giessen.

2.	Amorim, Ivone; Machiavelo, António; Reis, Rogério. 2014. "Statistical Study on the Number of Injective Linear Finite Transducers", Trabalho apresentado em NCMA2014, In Non-Classical Models of Automata and Applications, Kassel.

3.	Amorim, Ivone F. C; Machiavelo, António; Reis, Rogério. 2012. "Formal Power Series and the Invertibility of Finite Linear Transducers", Trabalho apresentado em 4th International Workshop on Non-Classical Models of Automata and Applications , In NCMA, Fribourg, Switzerland .

4.	Amorim, Ivone F. C; Ferreira, Filipe; Rocha, Rui; Dias, Jorge. 2008. "T-SLAM: Registering Topological and Geometric Maps for Robot Localization in Large Environments", Trabalho apresentado em IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI 2008), In Proc. of IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI 2008), Seoul, Korea.

5.	Amorim, Ivone F. C; Rocha, Rui; Dias, Jorge. 2008. "Mobile Robotic Surveillance Systems: Detecting and Evaluating Changes in 3D Mapped Environments", Trabalho apresentado em 2nd Israeli Conference on Robotics (ICR 2008), In Proc. of 2nd Israeli Conference on Robotics (ICR 2008), Herzlia, Israel.

Artigos em revistas sem arbitragem científica Papers in periodics without scientific refereeing

1.	Amorim, Ivone; Machiavelo, António; Reis, Rogério. 2015. "On the Number of Linear Finite Transducers", International Journal of Foundations of Computer Science 26, 07: 873 - 893.

Orientações Orientations

Orientações Orientations

Produção científica Scientific production

Dados complementares data

Total

Produção científica Scientific production

8

Livros e capítulos Books and book chapters

1

Capítulos de livros publicados Published book chapters

1

Artigos científicos em revistas Papers in periodics

2

Com arbitragem científica With scientific refereeing

1

Sem arbitragem científica Without scientific refereeing

1

Trabalhos em eventos Papers in conference proceedings

5

Com arbitragem científica With scientific refereeing

5

Total

Dados complementares (Additional data)

1

Orientações Orientations

1

	Jorge Manuel Miranda Dias
	Rogério Ventura Lages dos Santos Reis
	Rui Paulo Pinto da Rocha

	Jorge Manuel Miranda Dias
	Paulo Jorge Carvalho Menezes