Toggle navigation
Publications
Researchers
Institutions
0
Sign In
Federated Authentication
(Click on the image)
Local Sign In
Password Recovery
Register
Sign In
Renato Jorge Araújo Neves
AuthID:
R-006-JRC
Publications
Confirmed
To Validate
Document Source:
All
Document Type:
All Document Types
Proceedings Paper (11)
Article (8)
Unpublished (3)
Book Chapter (1)
Year Start - End:
2013
2014
2015
2016
2017
2018
2019
-
2019
2018
2017
2016
2015
2014
2013
Order:
Year Dsc
Year Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Title Asc
Title Dsc
Confirmed Publications: 23
1
TITLE:
An Adequate While-Language for Hybrid Computation
PDF
AUTHORS:
Sergey Goncharov;
Renato Neves
;
SOURCE:
CoRR,
VOLUME:
abs/1902.07684,
PUBLISHED:
2019
INDEXED IN:
DBLP
arXiv
IN MY:
DBLP
2
TITLE:
Limits in categories of Vietoris coalgebras
PDF
AUTHORS:
Dirk Hofmann
;
Renato Neves
;
Pedro Nora
;
SOURCE:
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,
VOLUME:
29,
ISSUE:
4,
PUBLISHED:
2019
INDEXED IN:
Scopus
WOS
DBLP
arXiv
IN MY:
DBLP
3
TITLE:
A Semantics for Hybrid Iteration
PDF
AUTHORS:
Sergey Goncharov; Julian Jakob;
Renato Neves
;
SOURCE:
CoRR,
VOLUME:
abs/1807.01053,
PUBLISHED:
2018
INDEXED IN:
DBLP
arXiv
IN MY:
DBLP
4
TITLE:
A Semantics for Hybrid Iteration
AUTHORS:
Sergey Goncharov; Julian Jakob;
Renato Neves
;
SOURCE:
29th International Conference on Concurrency Theory, CONCUR 2018
in
29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China,
VOLUME:
118,
PUBLISHED:
2018
INDEXED IN:
Scopus
DBLP
IN MY:
DBLP
5
TITLE:
Compositional semantics for new paradigms: probabilistic, hybrid and beyond
PDF
AUTHORS:
Fredrik Dahlqvist;
Renato Neves
;
SOURCE:
CoRR,
VOLUME:
abs/1804.04145,
PUBLISHED:
2018
INDEXED IN:
DBLP
arXiv
IN MY:
DBLP
6
TITLE:
GENERATING THE ALGEBRAIC THEORY OF C(X): THE CASE OF PARTIALLY ORDERED COMPACT SPACES
AUTHORS:
Dirk Hofmann
;
Renato Neves
;
Pedro Nora
;
SOURCE:
THEORY AND APPLICATIONS OF CATEGORIES,
VOLUME:
33,
PUBLISHED:
2018
INDEXED IN:
Scopus
WOS
7
TITLE:
Hierarchical Hybrid Logic
AUTHORS:
Alexandre Madeira
;
Renato Neves
;
Manuel A Martins
;
Luis S Barbosa
;
SOURCE:
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE,
VOLUME:
338,
PUBLISHED:
2018
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
1
IN MY:
DBLP
8
TITLE:
Languages and models for hybrid automata: A coalgebraic perspective
Full Text
AUTHORS:
Renato Neves
;
Luis S Barbosa
;
SOURCE:
THEORETICAL COMPUTER SCIENCE,
VOLUME:
744,
PUBLISHED:
2018
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
IN MY:
DBLP
9
TITLE:
A method for rigorous design of reconfigurable systems
Full Text
AUTHORS:
Alexandre Madeira
;
Renato Neves
;
Luis S Barbosa
;
Manuel A Martins
;
SOURCE:
SCIENCE OF COMPUTER PROGRAMMING,
VOLUME:
132,
PUBLISHED:
2016
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
6
IN MY:
DBLP
10
TITLE:
An exercise on the generation of many-valued dynamic logics
AUTHORS:
Alexandre Madeira
;
Renato Neves
;
Manuel A Martins
;
SOURCE:
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING,
VOLUME:
85,
ISSUE:
5,
PUBLISHED:
2016
INDEXED IN:
Scopus
WOS
DBLP
CrossRef
:
6
IN MY:
DBLP
Add to Marked List
Check All
Export All
BibTex
EndNote
CSV
RIS
ISI
APA
Print All
PDF
HTML
Page 1 of 3. Total results: 23.
<<
<
1
2
3
>
>>
© 2019 CRACS & Inesc TEC - All Rights Reserved
Privacy Policy
|
Terms of Service