Concepedia

Miguel Neves

MN

Statistics

Publications

13

Citations

337

H-Index

11

Active since

2013

Affiliations

Universidade Federal do Rio Grande do Sul(Current)

Dalhousie University

Miguel Neves is an author at Universidade Federal do Rio Grande do Sul specializing in computing, computer science, and computer systems.

Publications per year

2013–2024

13

Publications

13

VANET simulators: an updated review

Julia Silva Weber, Miguel Neves, Tiago Ferreto · Journal of the Brazilian Computer Society · 2021 · 101 citations · Full text

Computing, Information Technology, Autonomous Vehicles +16

Uncovering Bugs in P4 Programs with Assertion-based Verification

Lucas G. Freire, Miguel Neves, Lucas dos Santos Leal et al. · 2018 · 67 citations · Full text

Computing, Computer Engineering, Computer Science +14

Verification of P4 programs in feasible time using assertions

Miguel Neves, Lucas G. Freire, Alberto Schaeffer-Filho et al. · 2018 · 31 citations

Computing, Computer Engineering, Computer Science +14

DoS-resilient virtual networks through multipath embedding and opportunistic recovery

Rodrigo R. Oliveira, Leonardo Richter Bays, Daniel S. Marcon et al. · 2013 · 21 citations

Computing, Computer Systems, Cybersecurity +16

Towards Network-accelerated ML-based Distributed Computer Vision Systems

Hisham Siddique, Miguel Neves, Carson Kuzniar et al. · 2021 · 19 citations

Computing, Computer Science, Computer Systems +8

1–5 of 13