SASSONE, VLADIMIRO: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Riskio: A Serious Game for Cyber Security Awareness and Education

Hart, Stephen, Margheri, Andrea, Paci, Federica, Sassone, Vladimiro

Journal:

Computers & Security

Year:

2020

File:

PDF, 4.75 MB

2020

2

Decentralised Provenance for Healthcare Data

Margheri, Andrea, Masi, Massimiliano, Miladi, Abdallah, Sassone, Vladimiro, Rosenzweig, Jason

Journal:

International Journal of Medical Informatics

Year:

2020

File:

PDF, 2.54 MB

2020

3

An axiomatization of the category of Petri net computations

SASSONE, VLADIMIRO

Journal:

Mathematical Structures in Computer Science

Year:

1998

Language:

english

File:

PDF, 583 KB

english, 1998

4

Minimal type inference for Linked Data consumers

Ciobanu, Gabriel, Horne, Ross, Sassone, Vladimiro

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 371 KB

english, 2015

5

A descriptive type foundation for RDF Schema

Ciobanu, Gabriel, Horne, Ross, Sassone, Vladimiro

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 1.35 MB

english, 2016

6

[IEEE 2017 13th European Dependable Computing Conference (EDCC) - Geneva, Switzerland (2017.9.4-2017.9.8)] 2017 13th European Dependable Computing Conference (EDCC) - A Prototype Evaluation of a Tamper-Resistant High Performance Blockchain-Based Transaction Log for a Distributed Database

Aniello, Leonardo, Baldoni, Roberto, Gaetani, Edoardo, Lombardi, Federico, Margheri, Andrea, Sassone, Vladimiro

Year:

2017

Language:

english

File:

PDF, 711 KB

english, 2017

7

Differentially Private Data Sharing in a Cloud Federation with Blockchain

Yang, Mu, Margheri, Andrea, Hu, Runshan, Sassone, Vladimiro

Journal:

IEEE Cloud Computing

Year:

2018

Language:

english

File:

PDF, 893 KB

english, 2018

8

Jeeg: temporal constraints for the synchronization of concurrent objects

Giuseppe Milicia, Vladimiro Sassone

Journal:

Concurrency and Computation: Practice and Experience

Year:

2005

Language:

english

File:

PDF, 341 KB

english, 2005

9

A Congruence for Petri Nets

Vladimiro Sassone, Paweł Sobociński

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 286 KB

english, 2005

10

Security Policies as Membranes in Systems for Global Computing

Daniele Gorla, Matthew Hennessy, Vladimiro Sassone

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 347 KB

english, 2005

11

A Bayesian Model for Event-based Trust

Mogens Nielsen, Karl Krukow, Vladimiro Sassone

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 461 KB

english, 2007

12

Preface

Vladimiro Sassone

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 141 KB

english, 2004

13

Space-aware ambients and processes

Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 549 KB

english, 2007

14

Semantic and logical foundations of global computing: Papers from the EU-FET global computing initiative (2001–2005)

Donald Sannella, Vladimiro Sassone

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 351 KB

english, 2007

15

Foundations of Software Science and Computational Structures: Selected papers from FOSSACS 2005

Vladimiro Sassone

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 123 KB

english, 2008

16

Models for concurrency: towards a classification

Vladimiro Sassone, Mogens Nielsen, Glynn Winskel

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 2.19 MB

english, 1996

17

An axiomatization of the algebra of Petri net concatenable processes

Vladimiro Sassone

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 867 KB

english, 1996

18

Preface

Ugo Montanari, Vladimiro Sassone

Journal:

Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 66 KB

english, 1998

19

Temporal Constraints for Concurrent Objects: Extended Abstract

Giuseppe Milicia, Vladimiro Sassone

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 89 KB

english, 2003

20

Geometry and Topology in Concurrency theory: PennState, USA, August 21, 2000

Cousot Patrick, Goubault Eric, Gunawardena Jeremy, Herlihy Maurice, Raussen Martin, Sassone Vladimiro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

File:

PDF, 56 KB

2000

21

Functorial semantics for Petri nets under the individual token philosophy

Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 29 KB

english, 1999

22

Deriving Bisimulation Congruences: A 2-categorical Approach

Vladimiro Sassone, Pawel Sobociński

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

File:

PDF, 1.16 MB

2002

23

Preface: Volume 66, Issue 3

Vladimiro Sassone

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 49 KB

english, 2002

24

Preface: Volume 54

Ugo Montanari, Vladimiro Sassone

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 39 KB

english, 2001

25

Process versus unfolding semantics for Place/Transition Petri nets

José Meseguer, Ugo Montanari, Vladimiro Sassone

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 3.17 MB

english, 1996

26

Locating reaction with 2-categories

Vladimiro Sassone, Paweł Sobociński

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 455 KB

english, 2005

27

Observational congruences for dynamically reconfigurable tile systems

Roberto Bruni, Ugo Montanari, Vladimiro Sassone

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 1.48 MB

english, 2005

28

An analysis of the exponential decay principle in probabilistic trust models

Ehab ElSalamouny, Karl Tikjøb Krukow, Vladimiro Sassone

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 1.23 MB

english, 2009

29

A Type Inference Algorithm for Secure Ambients

Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivano Salvo, Vladimiro Sassone

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 215 KB

english, 2002

30

Preface: Volume 85, Issue 1

Vladimiro Sassone

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 38 KB

english, 2003

31

Functorial Models for Petri Nets

Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone

Journal:

Information and Computation

Year:

2001

Language:

english

File:

PDF, 251 KB

english, 2001

32

Communication and mobility control in boxed ambients

Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone

Journal:

Information and Computation

Year:

2005

Language:

english

File:

PDF, 414 KB

english, 2005

33

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 2012 Volume 7464 || On the Complexity of Ontological Reasoning under Disjunctive Existential Rules

Rovan, Branislav, Sassone, Vladimiro, Widmayer, Peter

Year:

2012

Language:

english

File:

PDF, 447 KB

english, 2012

34

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 2012 Volume 7464 || How to Reconstruct a Genome

Rovan, Branislav, Sassone, Vladimiro, Widmayer, Peter

Year:

2012

Language:

english

File:

PDF, 58 KB

english, 2012

35

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 2012 Volume 7464 || Between Tree Patterns and Conjunctive Queries: Is There Tractability beyond Acyclicity?

Rovan, Branislav, Sassone, Vladimiro, Widmayer, Peter

Year:

2012

Language:

english

File:

PDF, 244 KB

english, 2012

36

[Lecture Notes in Computer Science] CONCUR '96: Concurrency Theory Volume 1119 || Retracing some paths in process algebra

Montanari, Ugo, Sassone, Vladimiro

Year:

1996

Language:

english

File:

PDF, 729 KB

english, 1996

37

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 2012 Volume 7464 || Approximate Graph Isomorphism

Rovan, Branislav, Sassone, Vladimiro, Widmayer, Peter

Year:

2012

Language:

english

File:

PDF, 237 KB

english, 2012

38

[IFIP Advances in Information and Communication Technology] Theoretical Computer Science Volume 323 || Entropy and Attack Models in Information Flow

Calude, Cristian S., Sassone, Vladimiro

Year:

2010

Language:

english

File:

PDF, 67 KB

english, 2010

39

Tracing where and who provenance in Linked Data: A calculus

Dezani-Ciancaglini, Mariangiola, Horne, Ross, Sassone, Vladimiro

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 326 KB

english, 2012

40

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 4051 || Weighted Bipartite Matching in Matrix Multiplication Time

Bugliesi, Michele, Preneel, Bart, Sassone, Vladimiro, Wegener, Ingo

Year:

2006

Language:

english

File:

PDF, 384 KB

english, 2006

41

[Lecture Notes in Computer Science] CONCUR '96: Concurrency Theory Volume 1119 || Modelling and verification of Distributed Algorithms

Montanari, Ugo, Sassone, Vladimiro

Year:

1996

Language:

english

File:

PDF, 719 KB

english, 1996

42

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 4051 || Suffix Trays and Suffix Trists: Structures for Faster Text Indexing

Bugliesi, Michele, Preneel, Bart, Sassone, Vladimiro, Wegener, Ingo

Year:

2006

Language:

english

File:

PDF, 419 KB

english, 2006

43

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 4052 || Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic Immunity

Bugliesi, Michele, Preneel, Bart, Sassone, Vladimiro, Wegener, Ingo

Year:

2006

Language:

english

File:

PDF, 424 KB

english, 2006

44

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 4051 ||

Bugliesi, Michele, Preneel, Bart, Sassone, Vladimiro, Wegener, Ingo

Year:

2006

Language:

english

File:

PDF, 7.23 MB

english, 2006

45

[IFIP Advances in Information and Communication Technology] Theoretical Computer Science Volume 323 || A Calculus for Power-Aware Multicast Communications in Ad Hoc Networks

Calude, Cristian S., Sassone, Vladimiro

Year:

2010

Language:

english

File:

PDF, 235 KB

english, 2010

46

[IFIP Advances in Information and Communication Technology] Theoretical Computer Science Volume 323 || Deterministic Computations in Time-Varying Graphs: Broadcasting under Unstructured Mobility

Calude, Cristian S., Sassone, Vladimiro

Year:

2010

Language:

english

File:

PDF, 258 KB

english, 2010

47

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 2012 Volume 7464 ||

Rovan, Branislav, Sassone, Vladimiro, Widmayer, Peter

Year:

2012

Language:

english

File:

PDF, 9.75 MB

english, 2012

48

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 4051 || Better Inapproximability Results for MaxClique, Chromatic Number and Min-3Lin-Deletion

Bugliesi, Michele, Preneel, Bart, Sassone, Vladimiro, Wegener, Ingo

Year:

2006

Language:

english

File:

PDF, 481 KB

english, 2006

49

A verified algebra for read–write Linked Data

Horne, Ross, Sassone, Vladimiro

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 419 KB

english, 2014

50

Structural operational semantics for stochastic and weighted transition systems

Klin, Bartek, Sassone, Vladimiro

Journal:

Information and Computation

Year:

2013

Language:

english

File:

PDF, 407 KB

english, 2013