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.

Marco Montali
SearchCollections
Map detail
Marco Montali16 visible / 16 total nodes / 34 links

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

Co-authorshipCo-authorshipCo-authorshipAuthorshipWorks onAuthorshipWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalAuthorshipMarco MontaliAMarco MontaliResearcherMonitoring Data-aware Temporal Properties (Extended Version)WMonitoring Data-aware T...preprint / 2026Alessandro GianolaAAlessandro GianolaResearcherSarah WinklerASarah WinklerResearcherDB-Nets: on The Marriage of Colored Petri Nets and Relational DatabasesWDB-Nets: on The Marriag...preprint / 2016Artificial IntelligenceTArtificial Intelligence22915 worksLinear-Time Verification of Data-Aware Dynamic Systems with ArithmeticWLinear-Time Verificatio...preprint / 2022Soundness of Data-Aware Processes with Arithmetic ConditionsWSoundness of Data-Aware...preprint / 2022What Can Database Query Processing Do for Instance-Spanning Constraints?WWhat Can Database Query...preprint / 2022CTL* model checking for data-aware dynamic systems with arithmeticWCTL* model checking for...preprint / 2022Verification of Query Completeness over Processes [Extended Version]WVerification of Query C...preprint / 2013Verification of Artifact-Centric Systems: Decidability and Modeling IssuesWVerification of Artifac...preprint / 2013Verification of Generalized Inconsistency-Aware Knowledge and Action Bases (Extended Version)WVerification of General...preprint / 2015Conformance Checking with Uncertainty via SMT (Extended Version)WConformance Checking wi...preprint / 2022SMT-based Safety Verification of Parameterised Multi-Agent SystemsWSMT-based Safety Verifi...preprint / 2020Petri Nets with Parameterised Data: Modelling and Verification (Extended Version)WPetri Nets with Paramet...preprint / 2020
Person15 links

Marco Montali

Researcher

PaperMonitoring Data-aware Temporal Properties (Extended Version)Authorship / preprint / 2026PersonAlessandro GianolaCo-authorship / ResearcherPersonSarah WinklerCo-authorship / ResearcherPaperDB-Nets: on The Marriage of Colored Petri Nets and Relational DatabasesAuthorship / preprint / 2016TopicArtificial IntelligenceWorks on / 22915 worksPaperLinear-Time Verification of Data-Aware Dynamic Systems with ArithmeticAuthorship / preprint / 2022PaperSoundness of Data-Aware Processes with Arithmetic ConditionsAuthorship / preprint / 2022PaperWhat Can Database Query Processing Do for Instance-Spanning Constraints?Authorship / preprint / 2022

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)