Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

Safety assurance of an industrial robotic control system using hardware/software co-verification


Dec 27, 2021
Yvonne Murray, Martin Sirevåg, Pedro Ribeiro, David A. Anisi, Morten Mossige

* preprint, Author Accepted Manuscript 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Anti-Money Laundering Alert Optimization Using Machine Learning with Graphs


Dec 14, 2021
Ahmad Naser Eddin, Jacopo Bono, David Aparício, David Polido, João Tiago Ascensão, Pedro Bizarro, Pedro Ribeiro

* 8 pages, 5 figures 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Novel Features for Time Series Analysis: A Complex Networks Approach


Oct 11, 2021
Vanessa Freitas Silva, Maria Eduarda Silva, Pedro Ribeiro, Fernando Silva


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Time Series Analysis via Network Science: Concepts and Algorithms


Oct 11, 2021
Vanessa Freitas Silva, Maria Eduarda Silva, Pedro Ribeiro, Fernando Silva


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

GoT-WAVE: Temporal network alignment using graphlet-orbit transitions


Aug 24, 2018
David Aparício, Pedro Ribeiro, Tijana Milenković, Fernando Silva


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

From Formalised State Machines to Implementations of Robotic Controllers


Feb 06, 2017
Wei Li, Alvaro Miyazawa, Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock, Jon Timmis

* camera-ready version in DARS 2016 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email