Victor Rivera
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
4
Active years
2016–2020
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ICECCS | Formal Verification of Access Control Model for My Health Record System. | Victor Rivera |
| 2019 | AINA | An Architecture for Distributed Ledger-Based M2M Auditing for Electric Autonomous Vehicles. | Dragos Strugar, Rasheed Hussain, Manuel Mazzara, Victor Rivera, Ilya Afanasyev, Jooyoung Lee |
| 2018 | AINA | Hikester - The Event Management Application. | Rinat Khatipov, Aydar Negimatzhanov, Ilgiz Zamaleev, Anvar Zakirov, Manuel Mazzara, Victor Rivera |
| 2018 | AINA | Towards Dynamic Interaction-Based Reputation Models. | Almaz Melnikov, Jooyoung Lee, Victor Rivera, Manuel Mazzara, Luca Longo |
| 2018 | AINA | Model Checking in Multiplayer Games Development. | Ruslan Rezin, Ilya Afanasyev, Manuel Mazzara, Victor Rivera |
| 2018 | AINA | Gene Expression for Simulation of Biological Tissue. | Sadyk Sayfullin, Fedor Akhmetov, Manuel Mazzara, Ruslan Mustafin, Victor Rivera |
| 2017 | VLDB | Introducing ADegree: Anonymisation of Social Networks Through Constraint Programming. | Sergei Solonets, Victor Drobny, Victor Rivera, Jooyoung Lee |
| 2016 | AINA | Data-Driven Workflows for Microservices: Genericity in Jolie. | Larisa Safina, Manuel Mazzara, Fabrizio Montesi, Victor Rivera |
| 2016 | ICSE | Undertaking the tokeneer challenge in event-b. | Victor Rivera, Sukriti Bhattacharya, Nstor Catao |