ask others

Renato Neves

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j7]
- view
- export record
  dblp key:
  - journals/mscs/HofmannNN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/HofmannNN19
Dirk Hofmann, Renato Neves, Pedro Nora:
Limits in categories of Vietoris coalgebras. Mathematical Structures in Computer Science 29(4): 552-587 (2019)
[c13]
- view
- export record
  dblp key:
  - conf/ppdp/0001N19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/0001N19
Sergey Goncharov, Renato Neves:
An Adequate While-Language for Hybrid Computation. PPDP 2019: 11:1-11:15
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/corr/abs-1902-07684
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1902-07684
Sergey Goncharov, Renato Neves:
An Adequate While-Language for Hybrid Computation. CoRR abs/1902.07684 (2019)
2018
[j6]
- view
- export record
  dblp key:
  - journals/tcs/NevesB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/NevesB18
Renato Neves, Luís Soares Barbosa:
Languages and models for hybrid automata: A coalgebraic perspective. Theor. Comput. Sci. 744: 113-142 (2018)
[c12]
- view
  - electronic edition via DOI (open access)
  - references & citations
- export record
  dblp key:
  - conf/concur/0001JN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/0001JN18
Sergey Goncharov, Julian Jakob, Renato Neves:
A Semantics for Hybrid Iteration. CONCUR 2018: 22:1-22:17
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/corr/abs-1804-04145
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-04145
Fredrik Dahlqvist, Renato Neves:
Compositional semantics for new paradigms: probabilistic, hybrid and beyond. CoRR abs/1804.04145 (2018)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/corr/abs-1807-01053
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-01053
Sergey Goncharov, Julian Jakob, Renato Neves:
A Semantics for Hybrid Iteration. CoRR abs/1807.01053 (2018)
2017
[c11]
- view
- export record
  dblp key:
  - journals/entcs/MadeiraNMB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MadeiraNMB18
Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa:
Hierarchical Hybrid Logic. LSFA 2017: 167-184
2016
[j5]
- view
- export record
  dblp key:
  - journals/jlp/MadeiraNM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/MadeiraNM16
Alexandre Madeira, Renato Neves, Manuel A. Martins:
An exercise on the generation of many-valued dynamic logics. J. Log. Algebraic Methods Program. 85(5): 1011-1037 (2016)
[j4]
- view
- export record
  dblp key:
  - journals/jlp/NevesBHM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/NevesBHM16
Renato Neves, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins:
Continuity as a computational effect. J. Log. Algebraic Methods Program. 85(5): 1057-1085 (2016)
[j3]
- view
- export record
  dblp key:
  - journals/scp/NevesMMB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/NevesMMB16
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Proof theory for hybrid(ised) logics. Sci. Comput. Program. 126: 73-93 (2016)
[j2]
- view
- export record
  dblp key:
  - journals/scp/MadeiraNBM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MadeiraNBM16
Alexandre Madeira, Renato Neves, Luís Soares Barbosa, Manuel A. Martins:
A method for rigorous design of reconfigurable systems. Sci. Comput. Program. 132: 50-76 (2016)
[c10]
- view
- export record
  dblp key:
  - conf/ictac/NevesB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/NevesB16
Renato Neves, Luís Soares Barbosa:
Hybrid Automata as Coalgebras. ICTAC 2016: 385-402
[c9]
- view
- export record
  dblp key:
  - conf/wadt/NevesMBM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/NevesMBM16
Renato Neves, Alexandre Madeira, Luís Soares Barbosa, Manuel A. Martins:
Asymmetric Combination of Logics is Functorial: A Survey. WADT 2016: 39-55
[p1]
- view
- export record
  dblp key:
  - series/asc/BarbosaMMN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/asc/BarbosaMMN16
Luís Soares Barbosa, Manuel A. Martins, Alexandre Madeira, Renato Neves:
Reuse and Integration of Specification Logics: The Hybridisation Perspective. Theoretical Information Reuse and Integration 2016: 1-30
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/corr/HofmannNN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HofmannNN16
Dirk Hofmann, Renato Neves, Pedro Nora:
Limits in Categories of Vietoris Coalgebras. CoRR abs/1612.03318 (2016)
2015
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/corr/NevesBHM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NevesBHM15
Renato Neves, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins:
Continuity as a computational effect. CoRR abs/1507.03219 (2015)
2014
[c8]
- view
- export record
  dblp key:
  - conf/iri/MartinsMBN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iri/MartinsMBN14
Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa, Renato Neves:
Paradigm integration in a specification course. IRI 2014: 492-499
[c7]
- view
- export record
  dblp key:
  - conf/sbmf/MadeiraNMB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/MadeiraNMB14
Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa:
A Dynamic Logic for Every Season. SBMF 2014: 130-145
[c6]
- view
- export record
  dblp key:
  - conf/sbmf/NevesMB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/NevesMB14
Renato Neves, Manuel A. Martins, Luís Soares Barbosa:
Completeness and Decidability Results for Hybrid(ised) Logics. SBMF 2014: 146-161
2013
[c5]
- view
- export record
  dblp key:
  - conf/calco/NevesMMB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/NevesMMB13
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Hybridisation at Work. CALCO 2013: 340-345
[c4]
- view
- export record
  dblp key:
  - conf/iri/NevesMMB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iri/NevesMMB13
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
An Institution for Alloy and Its Translation to Second-Order Logic. IRI (best papers) 2013: 45-75
[c3]
- view
- export record
  dblp key:
  - conf/iri/NevesMM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iri/NevesMM13
Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Giving Alloy a family. IRI 2013: 512-519
[c2]
- view
- export record
  dblp key:
  - conf/tase/MadeiraNMB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/MadeiraNMB13
Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa:
When Even the Interface Evolves... TASE 2013: 79-82

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2007
[j1]
- view
- export record
  dblp key:
  - journals/jbcs/BotelhoNTO07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jbcs/BotelhoNTO07
Silvia S. C. Botelho, Renato Neves, Lorenzo Taddei, Vinícius Menezes de Oliveira:
Using Augmented State Kalman Filter to Localize Multi Autonomous Underwater Vehicles. J. Braz. Comp. Soc. 13(2): 61-70 (2007)
2004
[c1]
- view
- export record
  dblp key:
  - conf/dars/BotelhoCNMO04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dars/BotelhoCNMO04
Silvia S. C. Botelho, R. Costa, Renato Neves, C. Madsen, Vinicius Menezes de Oliveira:
Multi-AUVs for Visual Mapping Tasks. DARS 2004: 127-136

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.