742 citations
- Universidade do PortoPT149 papers
- University of MinhoPT47 papers
- University of LisbonPT20 papers
- University of AveiroPT18 papers
- Polytechnic Institute of PortoPT17 papers
- Instituto de Engenharia de Sistemas e Computadores Investigação e DesenvolvimentoPT16 papers
- University of Beira InteriorPT16 papers
- Institute for Systems Engineering and ComputersPT13 papers
- University of CoimbraPT13 papers
- Carnegie Mellon UniversityUS12 papers
- Universidade PortucalensePT10 papers
- Instituto Superior TécnicoPT9 papers
20 papers · 1 filter
Simulation under Arbitrary Temporal Logic Constraints
Julien Brunel, David Chemouil, Alcino Cunha +1
Most model checkers provide a useful simulation mode, that allows users to explore the set of possible behaviours by interactively picking at each state which event to execute next…
Proceedings Fifth Workshop on Formal Integrated Development Environment
Rosemary Monahan, Virgile Prevosto, Jose Proença
This volume contains the proceedings of F-IDE 2019, the fifth international workshop on Formal Integrated Development Environment, which was held on October 7, 2019 in Porto, Portu…
A Routing Metric for Inter-flow Interference-aware Flying Multi-hop Networks
André Coelho, Eduardo Nuno Almeida, José Ruela +2
The growing demand for broadband communications anytime, anywhere has paved the way to the usage of Unmanned Aerial Vehicles (UAVs) for providing Internet access in areas without n…
Hydrothermal Scheduling in the Continuous-Time Framework
Christian Øyn Naversen, Arild Helseth, Bosong Li +3
Continuous-time optimization models have successfully been used to capture the impact of ramping limitations in power systems. In this paper, the continuous-time framework is adapt…
Data Economy for Prosumers in a Smart Grid Ecosystem
Ricardo J. Bessa, David Rua, Cláudia Abreu +5
Smart grids technologies are enablers of new business models for domestic consumers with local flexibility (generation, loads, storage) and where access to data is a key requiremen…
A Survey on Subgraph Counting: Concepts, Algorithms and Applications to Network Motifs and Graphlets
Pedro Ribeiro, Pedro Paredes, Miguel E. P. Silva +2
Computing subgraph frequencies is a fundamental task that lies at the core of several network analysis methodologies, such as network motifs and graphlet-based metrics, which have…