↓ Skip to main content

Programming Languages with Applications to Biology and Security

Overview of attention for book
Cover of 'Programming Languages with Applications to Biology and Security'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Pierpaolo Degano
  3. Altmetric Badge
    Chapter 2 Pierpaolo, a Great Friend
  4. Altmetric Badge
    Chapter 3 Distributed Authorization with Distributed Grammars
  5. Altmetric Badge
    Chapter 4 Causal Trees, Finally
  6. Altmetric Badge
    Chapter 5 Limited Disclosure and Locality in Graphs
  7. Altmetric Badge
    Chapter 6 Hoare Logic for Disjunctive Information Flow
  8. Altmetric Badge
    Chapter 7 Alice and Bob: Reconciling Formal Models and Implementation
  9. Altmetric Badge
    Chapter 8 Asynchronous Traces and Open Petri Nets
  10. Altmetric Badge
    Chapter 9 Compliance in Behavioural Contracts: A Brief Survey
  11. Altmetric Badge
    Chapter 10 Safe Adaptation Through Implicit Effect Coercion
  12. Altmetric Badge
    Chapter 11 Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods
  13. Altmetric Badge
    Chapter 12 Static Evidences for Attack Reconstruction
  14. Altmetric Badge
    Chapter 13 A Declarative View of Signaling Pathways
  15. Altmetric Badge
    Chapter 14 Securing Android with Local Policies
  16. Altmetric Badge
    Chapter 15 Global Protocol Implementations via Attribute-Based Communication
  17. Altmetric Badge
    Chapter 16 Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories
  18. Altmetric Badge
    Chapter 17 Language Representability of Finite P/T Nets
  19. Altmetric Badge
    Chapter 18 Soulmate Algorithms
  20. Altmetric Badge
    Chapter 19 Active Knowledge, LuNA and Literacy for Oncoming Centuries
  21. Altmetric Badge
    Chapter 20 There are Two Sides to Every Question
  22. Altmetric Badge
    Chapter 21 From Safety Critical Java Programs to Timed Process Models
  23. Altmetric Badge
    Chapter 22 When to Move to Transfer Nets
  24. Altmetric Badge
    Chapter 23 $$\ell $$ : An Imperative DSL to Stochastically Simulate Biological Systems
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

2 tweeters


2 Dimensions

Readers on

23 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Programming Languages with Applications to Biology and Security
Published by
Springer International Publishing, October 2015
DOI 10.1007/978-3-319-25527-9
978-3-31-925526-2, 978-3-31-925527-9

Bodei, Chiara, Ferrari, Gianluigi, Priami, Corrado

Twitter Demographics

The data shown below were collected from the profiles of 2 tweeters who shared this research output. Click here to find out more about how the information was compiled.

Mendeley readers

The data shown below were compiled from readership statistics for 23 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
United Kingdom 1 4%
Unknown 22 96%

Demographic breakdown

Readers by professional status Count As %
Student > Master 7 30%
Student > Ph. D. Student 5 22%
Student > Postgraduate 4 17%
Researcher 3 13%
Student > Bachelor 1 4%
Other 0 0%
Unknown 3 13%
Readers by discipline Count As %
Computer Science 10 43%
Mathematics 4 17%
Economics, Econometrics and Finance 2 9%
Engineering 2 9%
Business, Management and Accounting 1 4%
Other 1 4%
Unknown 3 13%