Cookies Policy
We use cookies to improve our site and your experience. By continuing to browse our site you accept our cookie policy. Find out More
Close
  • Menu
About

About

I'm a PhD student, under the MAP-i doctoral programme, whose theme is logics and calculi for cyber–physical components.

I'm mainly interested in the foundations of cyber physical systems; coalgebras, proof theory and institutional theory; also, in a myriad of logics, but particularly in modal logics.

I participated in project Mondrian and I'm currently a member of the project Dalí.

Google scholar

DBLP

Contacts : nevrenato at di dot uminho dot pt

My Website gathers all the information about my academical activities.

Interest
Topics
Details

Details

  • Name

    Renato Jorge Neves
  • Cluster

    Computer Science
  • Role

    Assistant Researcher
  • Since

    01st January 2014
001
Publications

2019

Limits in Categories of Vietoris Coalgebras

Authors
Hofmann, D; Neves, R; Nora, P;

Publication
CoRR

Abstract

2018

Languages and models for hybrid automata: A coalgebraic perspective

Authors
Neves, R; Barbosa, LS;

Publication
THEORETICAL COMPUTER SCIENCE

Abstract
We study hybrid automata from a coalgebraic point of view. We show that such a perspective supports a generic theory of hybrid automata with a rich palette of definitions and results. This includes, among other things, notions of bisimulation and behaviour, state minimisation techniques, and regular expression languages.

2018

Generating the algebraic theory of C(X): The case of partially ordered compact spaces

Authors
Hofmann, D; Neves, R; Nora, P;

Publication
Theory and Applications of Categories

Abstract
It is known since the late 1960’s that the dual of the category of compact Hausdorff spaces and continuous maps is a variety-not ffnitary, but bounded by ?1. In this note we show that the dual of the category of partially ordered compact spaces and monotone continuous maps is an ?1-ary quasivariety, and describe partially its algebraic theory. Based on this description, we extend these results to categories of Vietoris coalgebras and homomorphisms on ordered compact spaces. We also characterise the ?1-copresentable partially ordered compact spaces. © Dirk Hofmann, Renato Neves, and Pedro Nora, 2018.

2018

A Semantics for Hybrid Iteration

Authors
Goncharov, S; Jakob, J; Neves, R;

Publication
29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China

Abstract

2018

Hierarchical Hybrid Logic

Authors
Madeira, A; Neves, R; Martins, MA; Barbosa, LS;

Publication
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE

Abstract
We introduce HHL, a hierarchical variant of hybrid logic. We study first order correspondence results and prove a Hennessy-Milner like theorem relating (hierarchical) bisimulation and modal equivalence for HHL. Combining hierarchical transition structures with the ability to refer to specific states at different levels, this logic seems suitable to express and verify properties of hierarchical transition systems, a pervasive semantic structure in Computer Science.