Michel Ferreira

Research
Publications
Team
Teaching

Address:

Rua do Campo Alegre, 1021/1055
4169-007 Porto

Portugal

Phone:
+351 220 402 922

Fax:
+351 220 402 950

Email:
michel AT dcc.fc.up.pt

Welcome!

Hi! I am a Professor Auxiliar at the Departamento de Ciência de Computadores, Universidade do Porto and a researcher at Instituto de Telecomunicações in Porto, where I lead the Geo-Networks group.

Research

Currently, my main research interest is in the area of Intelligent Transportation Systems (ITS). I'm especially interested in Cooperative ITS, where inter-vehicle communication plays an important role. Vehicular Ad Hoc Networks (VANET), mobility simulation and spatio-deductive databases are important topics in my current research. Vehicular Networks are a particular case of networks where the geographical awareness of nodes is crucial in the design of protocols and applications. A major goal in my research is the efficient design of large-scale distributed systems that use infrastructureless communication to self-organize, based on spatial reasoning.

I'm currently leading the following research projects:

DRIVE-IN: Distributed Routing and Infotainment through VEhicular Inter-Networking.
JEDI: Joint Environment for Deduction and Induction - and its Application over Spatial Data.

I'm also involved in the following projects:

MISC: Massive Information Scavenging with Intelligent Transportation Systems.
STAMPA: Sophisticated TAbling Mechanisms for Prolog and their Applications.
CIVITAS: Cleaner and Better Transport in Cities.

Publications

2009

M. Ferreira, H. Conceição, R. Fernandes, O. K. Tonguz. Stereoscopic Aerial Photography: An Alternative to Model-Based Urban Mobility Approaches, 6th ACM International Workshop on Vehicular Inter-Networking - VANET 2009, Beijing, China, September 2009.
M. Ferreira, H. Conceição, R. Fernandes, O. K. Tonguz. Urban Connectivity Analysis of VANET through Stereoscopic Aerial Photography, 70th IEEE Vehicular Technology Conference - VTC 2009-Fall, Anchorage, AK, USA, September 2009.
R. Meireles, M. Ferreira, J. Barros. Vehicular Connectivity Models: From Single-Hop Links to Large-Scale Behavior, 70th IEEE Vehicular Technology Conference - VTC 2009-Fall, Anchorage, AK, USA, September 2009.
F. Lima, M. Ferreira. Mining Spatial Data from GPS Traces for Automatic Road Network Extraction, 6th International Symposium on Mobile Mapping Technology - ISMMT'09, Presidente Prudente, São Paulo, Brazil, July 2009.
D. Vaz, V. S. Costa, M. Ferreira. User Defined Indexing, 25th International Conference on Logic Programming - ICLP 2009, Pasadena, CA, USA, July 2009.
M. Ferreira, H. Conceição, R. Fernandes, R. Reis. Locating Cars through a Vision Enabled VANET, 2009 IEEE Intelligent Vehicles Symposium - IV'09, Xi'An, China, June 2009.
H. Conceição, M. Ferreira, J. Barros. A Cautionary View of Mobility and Connectivity Modeling in Vehicular Ad-Hoc Networks, 69th IEEE Vehicular Technology Conference - VTC 2009-Spring, Barcelona, Spain, April 2009.
P. Ribeiro, H. Simões, M. Ferreira. Teaching Artificial Intelligence and Logic Programming in a Competitive Environment, Informatics in Education - Vol. 8, 2009.
P. Costa, R. Rocha, M. Ferreira. Relational Models for Tabling Logic Programs in a Database, Applications of Declarative Programming and Knowledge Management - 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming - Revised Selected Papers (published in 2009), WLP 2007, Würzburg, Germany, October 2007.

2008

F. Lima, M. Ferreira. Mining Spatial Data from GPS Traces for Automated Map Generation, 2008 Free and Open Source Software for Geospatial Conference - FOSS4G 2008, Cape Town, South Africa, September 2008.
H. Conceição, M. Ferreira, J. Barros. On the Urban Connectivity of Vehicular Sensor Networks, 4th IEEE International Conference on Distributed Computing in Sensor Systems - DCOSS'08, Santorini Island, Greece, June 2008.
H. Conceição, L. Damas, M. Ferreira, J. Barros. Large-Scale Simulation of V2V Environments, 23rd Annual ACM Symposium on Applied Computing - SAC'2008, Fortaleza, Ceará, Brazil, March 2008.

2007

D. Vaz, M.Ferreira. Spatial-Yap: A Spatial Deductive Database System, OSGeo Journal, Vol. 3, December 2007.
H. Conceição, L. Damas, M.Ferreira, J. Barros. The DIVERT Project: Development of Inter-Vehicular Reliable Telematics, OSGeo Journal, Vol. 3, December 2007.
P. Costa, R. Rocha, M. Ferreira. Tabling Logic Programs in a Database, 21st Workshop on (Constraint) Logic Programming - WLP'2007, Würzburg, Germany, October 2007.
D. Vaz, M. Ferreira, R. Lopes. Spatial-Yap: A Logic-Based Geographic Information System, 23rd International Conference on Logic Programming - ICLP 2007, Porto, Portugal, September 2007.
P. Costa, R. Rocha, M. Ferreira. Relational Storage Mechanisms for Tabled Logic Programs, 1st IEEE International Conference on Compiler, Related Technologies and Applications - CoRTA'07, Covilhã, Portugal, July 2007.
M.Ferreira, N. A. Fonseca, R. Rocha, T. Soares. Efficient and Scalable Induction of Logic Programs using a Deductive Database System, 16th International Conference on Inductive Logic Programming, ILP'2006 - Revised Selected Papers (published in 2007), Santiago de Compostela, Spain, August 2006.

2006

M. Ferreira, N. A. Fonseca, R. Rocha, T. Soares. Efficient and Scalable Induction of Logic Programs using a Deductive Database System, 16th International Conference on Inductive Logic Programming, ILP'2006 - Short Papers, Santiago de Compostela, Spain, August 2006.
T. Soares, M. Ferreira, R. Rocha, N. A. Fonseca. On Applying Deductive Databases to Inductive Logic Programming: a Performance Study, 6th Colloquium on Implementation of Constraint and LOgic Programming Systems - CICLOPS'2006, Seattle, WA, USA, August 2006.
P. Costa, R. Rocha, M. Ferreira. DBTAB: a Relational Storage Model for the YapTab Tabling System, 6th Colloquium on Implementation of Constraint and LOgic Programming Systems - CICLOPS'2006, Seattle, WA, USA, August 2006.
T. Soares, R. Rocha, M. Ferreira. Generic Cut Actions for External Prolog Predicates, 8th International Symposium on Practical Aspects of Declarative Languages - PADL 2006, Charleston, SC, USA, January 2006.

2005

T. Soares, M. Ferreira, R. Rocha. The MYDDAS Programmer's Manual, DCC-FC & LIACC, University of Porto, December 2005.
T. Soares, R. Rocha, M. Ferreira. Pruning Extensional Predicates in Deductive Databases, 5th Colloquium on Implementation of Constraint and LOgic Programming Systems - CICLOPS'2005, Sitges, Spain, October 2005.
M. Ferreira. The MYDDAS Project: Using a Deductive Database for Traffic Characterization, 21st International Conference on Logic Programming - ICLP 2005, Sitges, Spain, October 2005.
M. Ferreira, R. Rocha. Coupling OPTYap with a Database System, IADIS International Conference on Applied Computing - IADIS-AC 2005, Algarve, Portugal, February 2005.

2004

M. Ferreira, R. Rocha. The MyYapDB Deductive Database System, 9th European Conference on Logics in Artificial Intelligence - JELIA'2004, Lisbon, Portugal, September 2004.
M. Ferreira, R. Rocha, S. Silva. Comparing Alternative Approaches for Coupling Logic Programming with Relational Databases, 4th Colloquium on Implementation of Constraint and LOgic Programming Systems - CICLOPS'2004, Saint Malo, France, September 2004.

2003

R. Lopes, M. Ferreira (Eds.). Proceedings of the Colloquium on Implementation of COnstraint and Logic Programming Systems, December 2003.
M. Ferreira, L. Damas. Controlling Code Expansion in a Multiple Specialization Prolog Compiler, 3rd Colloquium on Implementation of Constraint and LOgic Programming Systems - CICLOPS'2003, Mumbai, India, December 2003.
M. Ferreira, L. Damas. WAM Local Analysis, 5th International Symposium on Practical Aspects of Declarative Languages - PADL'2003, New Orleans, LO, USA, January 2003.

2002

M. Ferreira, L. Damas. WAM Local Analysis, 2nd Colloquium on Implementation of Constraint and LOgic Programming Systems - CICLOPS'2002, Copenhagen, Denmark, July 2002.
M. Ferreira. Specialization Techniques for the Compilation of Declarative Languages, PhD. Thesis, Department of Computer Science, Faculty of Sciences, University of Porto, February 2002.

1999

M. Ferreira, L. Damas. Unfolding WAM Code (Chapter), Parallelism and Implementation of Logic and Constraint Logic Programmin, Nova Science, Inc., 1999.
M. Ferreira, L. Damas. Multiple Specialization of WAM Code, 1st International Symposium on Practical Aspects of Declarative Languages - PADL'99, San Antonio, TX, USA, January 1999.

1996

M. Ferreira. Um Compilador de Prolog com Expansão de Código, MSc. Thesis, Department of Informatics, University of Minho, October 1996.
M. Ferreira, L. Damas. Unfolding WAM Code, Post-JICSLP'96 Workshop and 1996 Compulog Net Area Meeting on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages, Bonn, Germany, September 1996.