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.
I'm also co-founder
of Geolink a
technology-based company specialized in the
optimization of vehicular mobility.
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.
Publications
2017
2016
- P. M. d'Orey, J. Azevedo,
M. Ferreira. Exploring the solution space of
self-automated parking lots: An empirical evaluation of vehicle control strategies, IEEE 19th International
Conference on Intelligent Transportation Systems (ITSC 2016), Rio de Janeiro, Brazil, November 2016.
- M. Veloso, P. M. d'Orey, S. Phithakkitnukoon,
M. Ferreira. Inferring exhaust gases levels using
taxi service and meteorological Data: An experiment in the city of Porto, Portugal, IEEE 19th International
Conference on Intelligent Transportation Systems (ITSC 2016), Rio de Janeiro, Brazil, November 2016.
- P. M. d'Orey, A. Hosseini, J. Azevedo, F. Diermeyer,
M. Ferreira, M. Lienkamp. Hail-a-Drone: Enabling
teleoperated taxi fleets, IEEE 2016 Intelligent Vehicles Symposium (IV 2016), Gothenburg, Sweden, June 2016.
- J. Azevedo, P. M. d'Orey,
M. Ferreira. On the mobile intelligence of autonomous
vehicles, IEEE/IFIP 2016 Network Operations and Management Symposium (NOMS 2016), Istanbul, Turkey, April 2016.
- L. Moreira-Matias, J. Gama,
M. Ferreira, J. Mendes-Moreira, L. Damas.
Time-evolving O-D matrix estimation using high-speed GPS data streams, Expert Systems with Applications, Volume 44,
February 2016.
2015
2014
- R. Nunes, L. Moreira-Matias,
M. Ferreira. Using exit time predictions to optimize
self automated parking lots, IEEE 17th International
Conference on Intelligent Transportation Systems (ITSC 2014), Qingdao, China, October 2014.
- L. Moreira-Matias, J. Mendes-Moreira,
M. Ferreira, J. Gama, L. Damas. An online learning framework
for predicting the taxi stand's profitability, IEEE 17th International
Conference on Intelligent Transportation Systems (ITSC 2014), Qingdao, China, October 2014.
- P. M. d'Orey,
M. Ferreira. Can ride-sharing become
attractive? A case study of taxi-sharing employing a simulation modelling approach, IET Intelligent Transport Systems,
Volume 9, Issue 2, July 2014.
- L. Moreira-Matias, R. Nunes,
M. Ferreira, J. Mendes-Moreira, J. Gama. On
Predicting a Call Center’s Workload: A Discretization-Based Approach, International Symposium on Methodologies for
Intelligent Systems, Roskilde, Denmark, June 2014.
- M. Ferreira, L. Damas, H. Conceição, P. M. d'Orey, R. Fernandes, P. Steenkiste, P. Gomes.
Self-automated parking lots for autonomous vehicles based
on vehicular ad hoc networking, IEEE 2014 Intelligent Vehicles Symposium (IV 2014), Dearborn MI, USA, June 2014.
- M. Ferreira, P. Gomes, M. K. Silvéria, F. Vieira.
The virtual drive, A Global Village, Issue 12,
June 2014.
- P. M. d'Orey,
M. Ferreira. ITS for Sustainable Mobility: A Survey on
Applications and Impact Assessment Tools, IEEE Transactions on Intelligent Transportation Systems, Volume 15, Issue 2,
April 2014.
- L. Moreira-Matias, J. Mendes-Moreira, J. Gama,
M. Ferreira. On Improving Operational Planning and Control
in Public Transportation Networks using Streaming Data: A Machine Learning Approach, ECML/PKDD 2014 PhD Session,
2014.
- J. Filgueiras, R. Rossetti, Z. Kokkinogenis, M. Ferreira, C. Olaverri-Monreal, M. Paiva, J. M. R. S. Tavares, J. Gabriel.
Sensing Bluetooth Mobility Data:
Potentials and Applications, Computer-based Modelling and Optimization in Transportation, Advances in Intelligent
Systems and Computing (AISC, volume 262), February 2014.
2013
- M. Ferreira, P. Gomes, M. K. Silvéria, F. Vieira.
Augmented Reality driving supported by Vehicular
Ad Hoc Networking, 2013 IEEE International Symposium on Mixed and Augmented Reality (ISMAR 2013), Adelaide, SA, Australia, October 2013.
- L. Moreira-Matias, J. Gama, M. Ferreira, J. Mendes-Moreira, L. Damas. On Predicting the Taxi-Passenger Demand: A Real-Time Approach, Progress in Artificial Intelligence. EPIA 2013, LNAI 8154, 2013.
- L. Moreira-Matias, J. Gama,
M. Ferreira, J. Mendes-Moreira, L. Damas. Predicting Taxi–Passenger Demand Using Streaming Data, IEEE Transactions on Intelligent Transportation Systems, Volume 14, Issue 3, September 2013.
- L. Moreira-Matias, R. Fernandes, J. Gama,
M. Ferreira, J. Mendes-Moreira, L. Damas. On recommending urban hotspots
to find our next passenger, Proceedings of the 3rd International Conference on Ubiquitous Data Mining - Volume 1088 (UDM 2013), Beijing, China, August 2013.
- P. Gomes, F. Vieira, m. Ferreira.
Sustainable highways with shadow tolls based on VANET advertising, Proceeding of the tenth ACM international workshop on Vehicular inter-networking, systems, and applications (VANET 2013), Taipe, Taiwan, June 2013.
- H. Conceição, M. Ferreira, P. Steenkiste.
Virtual traffic lights in partial deployment scenarios, IEEE 2013 Intelligent Vehicles Symposium (IV 2013),
June 2013.
- R. Fernandes, F. Vieira,
M. Ferreira. Parallel microscopic simulation of metropolitan-scale traffic, Proceedings of the 46th Annual Simulation Symposium (ANSS 2013), San Diego CA, USA,
April 2013.
2012
- P. Gomes, F. Vieira,
M. Ferreira. The See-Through System: From implementation
to test-drive, IEEE 2012 Vehicular Networking Conference (VNC 2012), Seoul, South Korea,
November 2012.
- R. Fernandes, F. Vieira,
M. Ferreira. VNS: An integrated framework for vehicular networks simulation, IEEE 2012 Vehicular Networking Conference (VNC 2012), Seoul, South Korea,
November 2012.
- L. Moreira-Matias, R. Fernandes, J. Gama, M. Ferreira, J. Mendes-Moreira, L. Damas.
An online recommendation system for the taxi stand choice problem (Poster), IEEE 2012 Vehicular Networking Conference (VNC 2012), Seoul, South Korea,
November 2012.
- P. M. d'Orey, R. Fernandes, M. Ferreira.
Reducing the environmental impact of taxi operation: The taxi-sharing use case, 2012 12th International Conference on ITS Telecommunications (ITST 2012), Taipe, Taiwan,
November 2012.
- L. Moreira-Matias, J. Gama, M. Ferreira, L. Damas.
Online Predictive Model for Taxi Services, Advances in Intelligent Data Analysis XI (IDA 2012), Helsinki, Finland,
October 2012.
- P. M. d'Orey, R. Fernandes, M. Ferreira.
Empirical evaluation of a dynamic and distributed taxi-sharing system, 2012 15th International IEEE Conference on Intelligent Transportation Systems (ITSC 2012), Anchorage AK, USA,
September 2012.
- L. Moreira-Matias, J. Gama, M. Ferreira, L. Damas.
A predictive model for the passenger demand on a taxi network, 2012 15th International IEEE Conference on Intelligent Transportation Systems (ITSC 2012), Anchorage AK, USA,
September 2012.
- C. Olaverri-Monreal, P. Gomes, M. K. Silvéria, M. Ferreira.
In-Vehicle Virtual Traffic Lights: A graphical user interface, 2012 7th Iberian Conference on Information Systems and Technologies (CISTI 2012), Madrid, Spain,
June 2012.
- M. Ferreira, R. Fernandes, H. Conceição, P. Gomes, P. M. d’Orey, L. Moreira-Matias, J. Gama, F. Lima, L. Damas.
Vehicular Sensing: Emergence of a Massive Urban Scanner, Sensor Systems and Software (S-CUBE 2012), Lisbon, Portugal.
September 2012.
- P. Gomes, C. Olaverri-Monreal,
M. Ferreira. Making Vehicles
Transparent through V2V Video Streaming,
IEEE Transactions on Intelligent
Transportation Systems, Volume 12, Issue 2, June 2012.
- R. Fernandes,
M. Ferreira. Scalable VANET
Simulations with NS-3, 75th IEEE Vehicular
Technology Conference - VTC 2012-Spring,
Yokohama, Japan, May 2012.
- M. Ferreira, O. Tonguz, R. Fernandes,
H. Conceição,
W. Viriyasitavat. Methods and
Systems for Coordinating Vehicular Traffic
Using In-Vehicle Traffic Control Signals
Enabled by Vehicle-to-Vehicle
Communications, WO Patent
WO/2012/009,620, January 2012.
2011
- M. Ferreira, P. M. d'Orey. On
the Impact of Virtual Traffic Lights on
Carbon Emissions Mitigation,
IEEE Transactions on Intelligent
Transportation Systems, October 2011.
- M. Ferreira, P. Gomes,
C. Olaverri-Monreal. Making
Vehicles Transparent through DSRC,
IEEE Pervasive Computing, Special Issue on
Automotive Pervasive Computing in "Large Scale
Opportunistic Sensing - Work in Progress submission".
Volume 10, number 4, pp. 56.
- D. Vaz, V. S. Costa,
M. Ferreira. Fire!
Firing Inductive Rules from Economic
Geography for Fire Risk Detection,
Inductive Logic Programming, Lecture Notes in
Computer Science, 2011, Volume 6489/2011, 238-252.
- P. Gomes, C. Olaverri-Monreal,
M. Ferreira,
L. Damas. Driver-Centric VANET Simulation,
3rd International Workshop on Communication
Technologies for Vehicles - Nets4Cars
2011, Oberpfaffenhofen, Germany,
March 2011.
- M. Boban, T. V. Vinhoza, M. Ferreira,
J. Barros, O. K. Tonguz. Impact of
Vehicles as Obstacles in Vehicular Ad Hoc Networks,
IEEE Journal on Selected Areas in
Communications - Special Issue on Vehicular
Communication Networks, January 2011.
2010
- R. Fernandes, P. M. d'Orey,
M. Ferreira. DIVERT for Realistic
Simulation of Heterogeneous Vehicular Networks,
2nd IEEE International Workshop on Intelligent
Vehicular Networks - InVeNET 2010, San
Francisco, CA, USA,
November 2010.
- H. Conceição, R. Fernandes, P. Gomes,
M. Ferreira, O. K. Tonguz. An
Interactive Simulation of a Distributed
Traffic Control System based on VANET (Demo Paper),
16th Annual International Conference on Mobile
Computing and Networking - ACM MobiCom 2010,
Chicago, IL, USA,
September 2010.
- M. Ferreira, R. Fernandes, H. Conceição,
W. Viriyasitavat,
O. K. Tonguz. Self-Organized
Traffic Control,
7th ACM International Workshop on Vehicular
Inter-Networking - VANET 2010, Chicago, IL, USA,
September 2010.
- P. M. d'Orey, M. Garcia-Lozano,
M. Ferreira. Automatic Link
Balancing Using Fuzzy Logic Control of
Handover Parameter,
21st Annual IEEE International Symposium on
Personal, Indoor and Mobile Radio
Communications - PIMRC'2010, Istambul, Turkey,
September 2010.
- D. Vaz, V. S. Costa,
M. Ferreira.
Fire! Firing Inductive Rules from Economic
Geography for Fire Risk Detection,
20th International Conference on Inductive
Logic Programming - ILP'2010, Firenze, Italy,
June 2010.
- C. Olaverri-Monreal, P. Gomes, R. Fernandes, F. Vieira, M. Ferreira. The
See-Through System: A VANET-Enabled Assistant
for Overtaking Maneuvers,
2010 IEEE Intelligent Vehicles Symposium -
IV'10, San Diego, CA, USA,
June 2010.
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.
Teaching
2017/2018