IRIS
DELZANNO, GIORGIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 13.285
Totale 13.285
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 13.285
Totale 13.285
Salva come PNG Salva come JPEG
Città #
Genova 9.218
Rapallo 1.163
Vado Ligure 1.133
Genoa 1.123
Bordighera 648
Totale 13.285
Salva come PNG Salva come JPEG
Nome #
HANDLING PARAMETERIZED SYSTEMS WITH NON-ATOMIC GLOBAL CONDITIONS 337
Comparing the Expressive Power of Well-Structured Transition Systems 333
The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages 305
Multi-Agent Systems Development as a Software Engineering Enterprise 150
Parameterized verification 149
Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data. 148
A Specification Logic for Concurrent Object-Oriented Programming 143
Approximated parameterized verification of infinite-state processes with global conditions 141
A classification of the expressive power of well-structured transition systems. 136
Model checking linear logic specifications 135
Specification and Validation of Link Reversal Routing via Graph Transformations 135
Covering sharing trees: a compact data structure for parameterized verification 134
A lightweight regular model checking approach for parameterized systems 133
Static Analysis of XML Document Adaptations 132
Reachability analysis of fragments of mobile ambients in AC term rewriting. 131
On Reachability and Spatial Reachability in Fragments of BioAmbients 130
Parameterized Verification of Broadcast Networks of Register Automata 130
Reachability problems in BioAmbients 127
Decidability and complexity results for verification of asynchronous broadcast networks 126
On the Qualitative Analysis of Conformon P Systems 125
Automatic Verification of Directory-Based Consistency Protocols 124
A Biologically Inspired Model with Fusion and Clonation of Membranes 124
Towards an Acceptance Testing Approach for Internet of Things Systems 124
A bottom-up semantics for linear logic programs 121
Adding Data Registers to Parameterized Networks with Broadcast 121
Symbolic Representation of Upward-Closed Sets 120
An Assertional Language for the Verification of Systems Parametric in Several Dimensions 119
An abstract machine for asynchronous programs with closures and priority queues 119
Verification of Ad Hoc Networks with Node and Communication Failures 118
Object calculi in linear logic 117
An Acceptance Testing Approach for Internet of Things Systems 117
On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks 116
SAT-Based Analysis of Cellular Automata 115
Beyond Parameterized Verification 115
A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations 115
Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification 114
Parameterized Verification of Infinite-State Processes with Global Conditions 113
Deciding Reachability in Mobile Ambients with Name Restriction 112
An embedding of calculi for negation as failure into linear logic 112
On the verification of membrane systems with dynamic structure 112
On the coverability and reachability languages of monotonic extensions of Petri nets 111
An effective fixpoint semantics for linear logic programs 110
Constraint-Based Model Checking for Parameterized Synchronous Systems 110
Validating XML document adaptations via Hedge Automata transformations 110
On the design of an intelligent sensor network for flash flood monitoring, diagnosis and management in urban areas position paper 110
Parameterized verification of time-sensitive models of ad hoc network protocols 108
Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming 108
Monotonic Abstraction in Action 108
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols 106
Automatic Verification of Time Sensitive Cryptographic Protocols 106
Algorithmic Verification of Invalidation-Based Protocols 106
An Overview of MSR(C): A CLP-based Framework for the Symbolic Verification of Parameterized Concurrent Systems 105
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets 105
Automatic Verification of Parameterized Cache Coherence Protocols 105
Automatic Verification of Directory-Based Consistency Protocols with Graph Constraints 104
Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting 104
A compositional semantics for CHR 104
Logic Programming and Multi-Agent Systems: a Synergic Combination for Applications and Semantics 103
Automata-based Static Analysis of XML Document Adaptations 101
A Symbolic Procedure for Control Reachability in the Asynchronous Pi-calculus 100
BDI^ATL: An Alternating-time BDI Logic for Multiagent Systems 100
Logic-based verification of the distributed dining philosophers protocol 100
Towards the Automated Verification of Multithreaded Java Programs 99
Physical Web for Smart Campus Management 99
Approximated Context-Sensitive Analysis for Parameterized Verification. 97
A unified view of parameterized verification of abstract models of broadcast communication 96
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs 96
Proofs as computations in linear logic 95
Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols 95
Parameterized Verification of Ad Hoc Networks 95
Monotonic Abstraction: on Efficient Verification of Parameterized Systems 95
On the relations between disjunctive and linear logic programming 95
Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems 94
Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things 94
On the Dynamics of PB Systems with Volatile Membranes. 93
Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols 93
Games, automata, logics and formal verification (GandALF 2016) 93
Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems) 92
Reachability predicates for graph assertions 91
Compositional Verification of Asynchronous Processes via Constraint Solving 91
Attacking Symbolic State Explosion 89
On the Decidability Status of Reachability and Coverability in Graph Transformation Systems 89
On the Verification of Timed Ad Hoc Networks 89
PyWeCode: Towards a Collaborative Coding Framework based on the arcade Python Library 89
Parameterized Tree Systems 88
Parameterized verification and model checking for distributed broadcast protocols 87
Model Checking in CLP 86
Model Checking Communication Protocols 85
Constraint-Based Analysis of Broadcast Protocols 85
Declarative parameterized verification of topology-sensitive distributed protocols 85
Constraint-based Automatic Verification of Abstract Models of Multitreaded Programs 84
Logic-based verification of the distributed dining philosophers protocol 84
A Linear Logic Calculus Objects 82
Push-Down Automata with Gap-Order Constraints 82
The NARVALO project: Real time collision avoidance system in a GIS environment based on precise GNSS positioning 82
Constraint-Based Verification of Client-Server Protocols 81
Reachability Problems - 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings 81
Constraint-based Deductive Model Checking 80
Some applications of Computational Logic to the development of intelligent systems and verification methods 77
A Bottom-Up Characterization of Finite Success 74
Totale 11.334
Salva come PNG Salva come JPEG
Categoria #
all - tutte 39.574
article - articoli 12.915
book - libri 0
conference - conferenze 9.907
curatela - curatele 210
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 16.542
Totale 79.148
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.093 0 0 0 0 0 0 478 230 304 552 377 152
2020/20211.069 92 62 94 61 83 83 134 75 130 115 63 77
2021/20221.588 53 85 185 171 42 72 115 393 63 149 81 179
2022/20231.435 147 77 12 166 219 238 19 129 272 5 117 34
2023/20241.434 34 97 39 78 54 135 76 663 62 30 63 103
2024/20251.241 52 186 85 146 477 291 4 0 0 0 0 0
Totale 13.446