Toggle navigation
Publications
Researchers
Institutions
0
Sign In
Federated Authentication
(Click on the image)
Local Sign In
Password Recovery
Register
Sign In
António Mário da Silva Marcos Florido
AuthID:
R-000-2CH
Publications
Confirmed
To Validate
Document Source:
All
Document Type:
All Document Types
Proceedings Paper (36)
Article (20)
Editorial Material (3)
Proceedings (2)
Article in Press (2)
Unpublished (1)
Year Start - End:
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
-
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
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:
Type-Based Static and Dynamic Website Verification
AUTHORS:
Jorge Coelho
;
Mário Florido
;
PUBLISHED:
2007
,
SOURCE:
2nd International Conference on Internet and Web Applications and Services, ICIW'07
in
International Conference on Internet and Web Applications and Services (ICIW 2007), May 13-19, 2007, Le Morne, Mauritius
INDEXED IN:
Scopus
DBLP
CrossRef
:
5
IN MY:
ORCID
|
DBLP
|
CIÊNCIAVITAE
52
TITLE:
Using intersection types for cost-analysis of higher-order polymorphic functional programs
AUTHORS:
Hugo R Simoes
;
Hammond, Kevin
;
Mario Florido
;
Pedro Vasconcelos
;
PUBLISHED:
2007
,
SOURCE:
International Workshop on Types for Proofs and Programs
in
TYPES FOR PROOFS AND PROGRAMS,
VOLUME:
4502
INDEXED IN:
Scopus
WOS
IN MY:
ORCID
|
CIÊNCIAVITAE
53
TITLE:
XCentric: A Logic-Programming Language for XML Processing
PDF
AUTHORS:
Jorge Coelho
;
Mário Florido
;
PUBLISHED:
2007
,
SOURCE:
PLAN-X 2007, Programming Language Technologies for XML, An ACM SIGPLAN Workshop colocated with POPL 2007, Nice, France, January 20, 2007
INDEXED IN:
DBLP
IN MY:
ORCID
|
DBLP
|
CIÊNCIAVITAE
54
TITLE:
XCentric: logic programming for XML processing. logic programming for XML processing
AUTHORS:
Jorge Coelho
;
Mário Florido
;
PUBLISHED:
2007
,
SOURCE:
9th Annual ACM International Workshop on Web Information and Data Management, WIDM '07, Co-located with the 16th ACM Conference on Information and Knowledge Management, CIKM '07
in
9th ACM International Workshop on Web Information and Data Management (WIDM 2007), Lisbon, Portugal, November 9, 2007
INDEXED IN:
Scopus
DBLP
CrossRef
IN MY:
ORCID
|
DBLP
|
CIÊNCIAVITAE
55
TITLE:
The power of linear functions
AUTHORS:
Sandra Alves
; Maribel Fernandez;
Mirio Florido
;
Ian Mackie
;
PUBLISHED:
2006
,
SOURCE:
20th International Workshop on Computer Science Logic/15th Annual Conference of the European-Association-for-Computer-Science-Logic
in
COMPUTER SCIENCE LOGIC, PROCEEDINGS,
VOLUME:
4207
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
9
IN MY:
ORCID
|
DBLP
|
CIÊNCIAVITAE
56
TITLE:
Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs
AUTHORS:
Hugo R Simões
;
Hammond, Kevin
;
Mário Florido
;
Pedro B Vasconcelos
;
PUBLISHED:
2006
,
SOURCE:
Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers,
VOLUME:
4502
INDEXED IN:
DBLP
IN MY:
ORCID
|
DBLP
|
CIÊNCIAVITAE
57
TITLE:
VeriFLog: A constraint logic programming approach to verification of website content
AUTHORS:
Coelho, J
;
Florido, M
;
PUBLISHED:
2006
,
SOURCE:
8th Asia-Pacific Web Conference and Workshops (APWeb 2006)
in
ADVANCED WEB AND NETWORK TECHNOLOGIES, AND APPLICATIONS, PROCEEDINGS,
VOLUME:
3842
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
9
IN MY:
ORCID
|
DBLP
|
CIÊNCIAVITAE
58
TITLE:
Weak linearization of the lambda calculus
Full Text
AUTHORS:
Alves, S
;
Florido, M
;
PUBLISHED:
2005
,
SOURCE:
2nd Annual Meeting on Applied Semantics
in
THEORETICAL COMPUTER SCIENCE,
VOLUME:
342,
ISSUE:
1
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
7
IN MY:
ORCID
|
ResearcherID
|
DBLP
|
CIÊNCIAVITAE
59
TITLE:
CLP(Flex): Constraint logic programming applied to XML processing
AUTHORS:
Coelho, J
;
Florido, M
;
PUBLISHED:
2004
,
SOURCE:
On the Move Confederated International Workshop and Conference
in
ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2004: COOPLS, DOA, AND ODBASE, PT 2, PROCEEDINGS,
VOLUME:
3291
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
14
IN MY:
ORCID
|
DBLP
|
CIÊNCIAVITAE
60
TITLE:
Linearization of the lambda-calculus and its relation with intersection type systems
AUTHORS:
Florido, M
;
Damas, L
;
PUBLISHED:
2004
,
SOURCE:
JOURNAL OF FUNCTIONAL PROGRAMMING,
VOLUME:
14,
ISSUE:
5
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
8
IN MY:
ORCID
|
ResearcherID
|
DBLP
|
CIÊNCIAVITAE
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
2 records from
DataCite
Please select which records must be used by Authenticus!
×
Preview Publications
© 2025 CRACS & Inesc TEC - All Rights Reserved
Privacy Policy
|
Terms of Service