Elisabete Raposo Freire                             

Assistant Professor

Director of the Mathematics Department of University of Azores

Contacts

Short biography

Research interests

Publications

Teaching

(in Portuguese)

Algumas ligações interessantes

DIVERSOS

		Tel.: +351-296 650 506 (directo), +351-296 650 000 ext.1506 +351-296 650 071 (direcção)
		Fax:+351- 296 650 072
		E-mail: freire@uac.pt
		Address: Departamento de Matemática Universidade dos Açores               Rua da Mãe de Deus Apartado 1422               9501-801 Ponta Delgada,  Portugal

	Obtain my PhD in Computer Science at the University of Azores, under the supervision of Luís Monteiro, in 2004.
	Obtain my MSc in Informatics Engineering at the New University of Lisbon (Faculty of Sciences and Technology) in 1995.
	Graduate in Mathematics/Informatics at the University of Azores in 1990.

	Concurrency and Mobility
	Coalgebras
	Theory of Computation

	Defining Behaviours by Quasi-Finality, E. Freire e L. Monteiro, 12th Brazilian Symposium on Formal Methods, Gramado, Rio Grande do Sul, Brasil, August 19-21, 2009, Proceedings. Series: Lecture Notes in Computer Science.
	Unconventional Computation - 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009, Proceedings. C.S. Calude, J.F.G.d.Costa, N. Dershowitz, E. Freire, G. Rozenberg. (Eds.) Series: Lecture Notes in Computer Science. Subseries: Theoretical Computer Science and General Issues , Vol. 5715. 2009, XXI, 293 p.
	Models of Name-Passing Systems Based on Coalgebras over Nominal Sets, E. R. Freire e L. Monteiro, Departamento de Matemática Universidade dos Açores / Departamento de Informática FCT-UNL, Tecnical Report , CITI, Fevereiro de 2007.
	Contributos para o Estudo da Semântica de Linguagens com Concorrência e mobilidade. E. Freire, Phd Thesis, University of Azores, November 2004.
	A Negação na Programação em Lógica. E. Freire. MSc Thesis. New University of Lisbon. July 1995.

Ano lectivo 2009/10

	Introdução às Redes e Comunicações (1º Semestre)
	Engenharia de Redes (2º Semestre)
	Lógica para a Programação   (2º Semestre)

	História da Industria dos Computadores (Contém muitos links interessantes)
	Dicionário de Linguagens de Programação
	Gramática de Inglês online
	Página do livro de Hopcroft-Ullman  Introduction to Automata Theory, Languages, and Computation
	Página sobre Alan Turing
	Página sobre Kurt Godel
	Páginas sobre muitos outros
	Virtual Museum of Computing
	Formal Methods
	Algumas definições da Teoria da Computação (e da Matemática por detrás disso tudo)
	Enciclopédia de Informática na Web
	História da Matemática

Organizações

Association of Computing Machinery (ACM)

Cisco Networking Academy

Utilidades --> Infocid | Governo | FCCN | * | TST | CP | Expressos | TAP | CTT | Michelin | * | Aeiou | Links | Cusco | Tmn | Sapo | * | Links |ListaTelefonica | PaginasAmarelas | ConversorMoeda | * | PortoEditora | DúvidasPortuguês | Britannica | Wikipedia | Encyclopædia | Dictionary | Errors | Thesaurus | Music | Quotations | Anatomy | FactBook | Mythology | Biography | Mathematics | Sequences | Philosophy | * | HTML | HTML2 | XML | * | Translate | TranExp | SysTrans |WeatherLx

Livros --> Gutenberg | Vercial | Blackmask | PageByPage | EBooksBrasil | OpenEBook | ETextStation | EBookShop | FKDick | Esmeralda | Bartleby | PortoEditora | Bertrand |

Ciência --> ResearchIndex | ECOOP | ACMProblems | MathHistory | Science | ScientificAmerican | Glasgow | Edinburgh | Imperial College | INRIA | Oxford | I'M - EUROPE | NCSA | MITnews | Guides | Tycho-2 |

Soft --> Compaq | VDK | XMMS | BlueJ | Valgrind | Cle | * | TeX | TeXConv | TeXConv2 | OzTeX | CHMlib |

Last updated:   Jan. 2010