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.

Davide Ancona
SearchCollections
Map detail
Davide Ancona10 visible / 10 total nodes / 9 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipDavide AnconaADavide AnconaResearcherEnhancing expressivity of checked corecursive streams (extended version)WEnhancing expressivity ...preprint / 2022Can determinism and compositionality coexist in RML?WCan determinism and com...preprint / 2020Can determinism and compositionality coexist in RML? (extended version)WCan determinism and com...preprint / 2020Engineering Reliable Interactions in the Reality-Artificiality ContinuumWEngineering Reliable In...preprint / 2020Sound Regular Corecursion in coFJWSound Regular Corecursi...preprint / 2020Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulasWCoinductive subtyping f...preprint / 2010Reconciling positional and nominal bindingWReconciling positional ...preprint / 2013Flexible coinductive logic programmingWFlexible coinductive lo...preprint / 2020RV4JaCa -- Runtime Verification for Multi-Agent SystemsWRV4JaCa -- Runtime Veri...preprint / 2022
Person9 links

Davide Ancona

Researcher

PaperEnhancing expressivity of checked corecursive streams (extended version)Authorship / preprint / 2022PaperCan determinism and compositionality coexist in RML?Authorship / preprint / 2020PaperCan determinism and compositionality coexist in RML? (extended version)Authorship / preprint / 2020PaperEngineering Reliable Interactions in the Reality-Artificiality ContinuumAuthorship / preprint / 2020PaperSound Regular Corecursion in coFJAuthorship / preprint / 2020PaperCoinductive subtyping for abstract compilation of object-oriented languages into Horn formulasAuthorship / preprint / 2010PaperReconciling positional and nominal bindingAuthorship / preprint / 2013PaperFlexible coinductive logic programmingAuthorship / preprint / 2020

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)