AngeloFerrando

Angelo Ferrando is an Assistant Professor at the University of Modena and Reggio Emilia, Italy. Interested in: MAS, Formal Verification, Robotics

University of Modena and Reggio EmiliaModena

Pinned Repositories

3-valuedSL
Language:C20
3vLTL
Language:Java2 1 01
nuMonitor
Language:Prolog1 1 00
Solvent
Language:Python4 3 152
TExpRVJade
Language:HTML0 1 00
TExpSWIPrologConnector
Language:HTML00
trace_expression_plugin_eclipse
Language:Java1 1 00
VidyoClient-Android
Language:C#0 1 00
VidyoClient-iOS
00
website
Language:HTML0 1 00

AngeloFerrando's Repositories

AngeloFerrando/trace_expression_plugin_eclipse
Language:Java1 1 00
AngeloFerrando/area2020.github.io
Website for the AREA 2020 workshop.
Language:CSS00
AngeloFerrando/TExpRVJade
Language:HTML0 1 00
AngeloFerrando/TExpSWIPrologConnector
Language:HTML00
AngeloFerrando/VidyoClient-Android
Language:C#0 1 00
AngeloFerrando/VidyoClient-iOS
00
AngeloFerrando/latex-beamerposter
The LaTeX beamerposter package
Language:TeX
AngeloFerrando/orienteering-web-service
Language:Java
AngeloFerrando/parametric_trace_expressions_demo
AngeloFerrando/portbot
Language:Java
AngeloFerrando/prettyphoto
prettyPhoto is a jQuery based lightbox clone. Not only does it support images, it also add support for videos, flash, YouTube, iFrames. It’s a full blown media lightbox. The setup is easy and quick, plus the script is compatible in every major browser.
Language:JavaScript
AngeloFerrando/sw-toolbox
A collection of service worker tools for offlining runtime requests
Language:JavaScript
AngeloFerrando/TraceExpressionsRVMAS
Language:Java