Toggle navigation
Publications
Researchers
Institutions
0
Sign In
Federated Authentication
(Click on the image)
Local Sign In
Password Recovery
Register
Sign In
Michel Celestino Paiva Ferreira
AuthID:
R-000-D63
Publications
Confirmed
To Validate
Document Source:
All
Document Type:
All Document Types
Proceedings Paper (48)
Article (15)
Data Paper (1)
Year Start - End:
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
-
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
Order:
Year Dsc
Year Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Title Asc
Title Dsc
Results:
10
20
30
40
50
Confirmed Publications: 64
51
TITLE:
Teaching artificial intelligence and logic programming in a competitive environment [Dirbtinio intelekto ir loginio programavimo mokymas konkurencingoje aplinkoje]
Full Text
AUTHORS:
Ribeiro, P
; Simoes, H;
Ferreira, M
;
PUBLISHED:
2009
,
SOURCE:
Informatics in Education,
VOLUME:
8,
ISSUE:
1
INDEXED IN:
Scopus
DBLP
IN MY:
ORCID
|
DBLP
52
TITLE:
Urban Connectivity Analysis of VANETs through Stereoscopic Aerial Photography
Full Text
AUTHORS:
Michel Ferreira
;
Hugo Conceicao
;
Ricardo Fernandes
;
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
IN MY:
DBLP
53
TITLE:
User Defined Indexing
Full Text
AUTHORS:
David Vaz
;
Vitor Santos Costa
;
Michel Ferreira
;
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
|
DBLP
54
TITLE:
Vehicular Connectivity Models: From Single-Hop Links to Large-Scale Behavior
Full Text
AUTHORS:
Rui Meireles;
Michel Ferreira
;
Joao Barros
;
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
:
5
IN MY:
ORCID
|
DBLP
55
TITLE:
Large-Scale Simulation of V2V Environments
AUTHORS:
Hugo Conceicao
;
Luis Damas
;
Michel Ferreira
;
Joao Barros
;
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
|
DBLP
56
TITLE:
On the urban connectivity of vehicular sensor networks
Full Text
AUTHORS:
Hugo Conceicao
;
Michel Ferreira
;
Joao Barros
;
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
|
DBLP
57
TITLE:
Efficient and scalable induction of logic programs using a deductive database system
Full Text
AUTHORS:
Michel Ferreira
;
Nuno A Fonseca
;
Ricardo Rocha
; Tiago Scares;
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
|
DBLP
58
TITLE:
Spatial-yap: A logic-based geographic information system
AUTHORS:
David Vaz
;
Michel Ferreira
;
Ricardo Lopes
;
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
|
DBLP
59
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
|
DBLP
60
TITLE:
Coupling OPTYAP with a database system
AUTHORS:
Michel Ferreira
;
Ricardo Rocha
;
PUBLISHED:
2005
,
SOURCE:
AC 2005, Proceedings of the IADIS International Conference on Applied Computing, Algarve, Portugal, February 22-25, 2005, 2 Volumes
INDEXED IN:
DBLP
IN MY:
DBLP
Add to Marked List
Check All
Export
×
Publication Export Settings
BibTex
EndNote
APA
CSV
PDF
Export Preview
Print
×
Publication Print Settings
HTML
PDF
Print Preview
Page 6 of 7. Total results: 64.
<<
<
1
2
3
4
5
6
7
>
>>
×
Select Source
This publication has:
2 records from
ISI
2 records from
SCOPUS
2 records from
DBLP
2 records from
Unpaywall
2 records from
Openlibrary
2 records from
Handle
Please select which records must be used by Authenticus!
×
Preview Publications
© 2024 CRACS & Inesc TEC - All Rights Reserved
Privacy Policy
|
Terms of Service