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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019639 0 0 0 0 0 0 0 0 0 0 358 281
2019/20203.332 161 112 153 206 292 315 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.268 34 97 39 78 54 135 76 663 62 30 0 0
Totale 12.039