Michel Celestino Paiva Ferreira


AuthID: R-000-D63

Confirmed Publications: 65



51
TITLE: Stereoscopic Aerial Photography: An Alternative to Model-Based Urban Mobility Approaches
AUTHORS: Ferreira, M ; Conceiçao, H ; Fernandes, R; Tonguz, OK;
PUBLISHED: 2009, SOURCE: 6th ACM International Workshop on Vehicular Inter-Networking in SIXTH ACM INTERNATIONAL WORKSHOP ON VEHICULAR INTER-NETWORKING - VANET 2009
INDEXED IN: Scopus WOS DBLP
52
TITLE: Teaching Artificial Intelligence and Logic Programming in a Competitive Environment
AUTHORS: Pedro Manuel Pinto Ribeiro ; Hugo Simões; Michel Ferreira ;
PUBLISHED: 2009, SOURCE: Informatics Educ., VOLUME: 8, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 25
IN MY: ORCID
53
TITLE: Urban Connectivity Analysis of VANETs through Stereoscopic Aerial Photography
AUTHORS: Ferreira, M ; Conceicao, H ; Fernandes, R; Tonguz, OK;
PUBLISHED: 2009, SOURCE: 70th IEEE Vehicular Technology Conference in 2009 IEEE 70TH VEHICULAR TECHNOLOGY CONFERENCE FALL, VOLS 1-4
INDEXED IN: Scopus WOS DBLP CrossRef: 3
54
TITLE: User Defined Indexing  Full Text
AUTHORS: Vaz, D; Costa, VS ; Ferreira, M ;
PUBLISHED: 2009, SOURCE: 25th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, VOLUME: 5649
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID
55
TITLE: Vehicular Connectivity Models: From Single-Hop Links to Large-Scale Behavior
AUTHORS: Meireles, R; Ferreira, M ; Barros, J ;
PUBLISHED: 2009, SOURCE: 70th IEEE Vehicular Technology Conference in 2009 IEEE 70TH VEHICULAR TECHNOLOGY CONFERENCE FALL, VOLS 1-4
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID
56
TITLE: Large-Scale Simulation of V2V Environments
AUTHORS: Conceiçao, H ; Damas, L ; Ferreira, M ; Barros, J ;
PUBLISHED: 2008, SOURCE: 23rd Annual ACM Symposium on Applied Computing in APPLIED COMPUTING 2008, VOLS 1-3
INDEXED IN: Scopus WOS DBLP CrossRef: 26
IN MY: ORCID
57
TITLE: On the urban connectivity of vehicular sensor networks  Full Text
AUTHORS: Conceiçao, H ; Ferreira, M ; Barros, J ;
PUBLISHED: 2008, SOURCE: 4th IEEE International Conference on Distributed Computing in Sensor Systems in DISTRIBUTED COMPUTING IN SENSOR SYSTEMS, VOLUME: 5067
INDEXED IN: Scopus WOS DBLP CrossRef: 19
IN MY: ORCID
58
TITLE: Efficient and scalable induction of logic programs using a deductive database system  Full Text
AUTHORS: Ferreira, M ; Fonseca, NA ; Rocha, R ; Scares, T;
PUBLISHED: 2007, SOURCE: 16th International Conference on Inductive Logic Programming in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 4455
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
59
TITLE: Spatial-yap: A logic-based geographic information system
AUTHORS: Vaz, D; Ferreira, M ; Lopes, R ;
PUBLISHED: 2007, SOURCE: 23rd International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 4670
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID
60
TITLE: Generic cut actions for external Prolog predicates  Full Text
AUTHORS: Soares, T; Rocha, R ; Ferreira, M ;
PUBLISHED: 2006, SOURCE: 8th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 3819
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID
Page 6 of 7. Total results: 65.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service