BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Alessio Lomuscio
SearchCollections
Map detail
Alessio Lomuscio12 visible / 12 total nodes / 23 links

Drag to move · Scroll or pinch to zoom · Select a node for details

Related contextCo-authorshipCo-authorshipCo-authorshipAuthorshipAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalAlessio LomuscioAAlessio LomuscioResearcherA Robust Out-of-Distribution Detection Framework via Synergistic SmoothingWA Robust Out-of-Distrib...preprint / 2026Maria StoicaAMaria StoicaResearcherAbdelrahman HekalAAbdelrahman HekalResearcherModel Checking Epistemic Halpern-Shoham Logic Extended with Regular ExpressionsWModel Checking Epistemi...preprint / 2015Proceedings of the 4th International Workshop on Strategic ReasoningWProceedings of the 4th ...preprint / 2016Computer VisionTComputer Vision30606 worksArtificial IntelligenceTArtificial Intelligence22915 worksVerification of Agent-Based Artifact SystemsWVerification of Agent-B...preprint / 2013Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness ResultsWInteractions between Kn...preprint / 2014MCMAS-SLK: A Model Checker for the Verification of Strategy Logic SpecificationsWMCMAS-SLK: A Model Chec...preprint / 2014Automatic Verification of Parameterised Interleaved Multi-Agent SystemsWAutomatic Verification ...preprint / 2014
Person11 links

Alessio Lomuscio

Researcher

PaperA Robust Out-of-Distribution Detection Framework via Synergistic SmoothingAuthorship / preprint / 2026PersonMaria StoicaCo-authorship / ResearcherPersonAbdelrahman HekalCo-authorship / ResearcherPaperModel Checking Epistemic Halpern-Shoham Logic Extended with Regular ExpressionsAuthorship / preprint / 2015PaperProceedings of the 4th International Workshop on Strategic ReasoningAuthorship / preprint / 2016TopicComputer VisionWorks on / 30606 worksTopicArtificial IntelligenceWorks on / 22915 worksPaperVerification of Agent-Based Artifact SystemsAuthorship / preprint / 2013

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)