default search action

combined dblp search
author search
venue search
publication search

ask others

TGC 2015: Madrid, Spain

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > TGC

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/tgc/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/2015
Pierre Ganty, Michele Loreti:
Trustworthy Global Computing - 10th International Symposium, TGC 2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers. Lecture Notes in Computer Science 9533, Springer 2016, ISBN 978-3-319-28765-2
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/Bursuc15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/Bursuc15
Sergiu Bursuc:
Secure Two-Party Computation in Applied Pi-Calculus: Models and Verification. 1-15
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/NicolaM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/NicolaM15
Rocco De Nicola, Hernán C. Melgratti:
Multiparty Testing Preorders. 16-31
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/Delzanno15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/Delzanno15
Giorgio Delzanno:
Data Tracking in Parameterized Systems. 32-46
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/SantosRM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/SantosRM15
José Fragoso Santos, Tamara Rezk, Ana Almeida Matos:
Modular Monitor Extensions for Information Flow Security in JavaScript. 47-62
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/SantosJRS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/SantosJRS15
José Fragoso Santos, Thomas P. Jensen, Tamara Rezk, Alan Schmitt:
Hybrid Typing of Secure Information Flow in a JavaScript-Like Language. 63-78
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/GosslerS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/GosslerS15
Gregor Gößler, Jean-Bernard Stefani:
Fault Ascription in Concurrent Systems. 79-94
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/LiNNF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/LiNNF15
Ximeng Li, Flemming Nielson, Hanne Riis Nielson, Xinyu Feng:
Disjunctive Information Flow for Communicating Processes. 95-111
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/NakagawaH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/NakagawaH15
Shota Nakagawa, Ichiro Hasuo:
Near-Optimal Scheduling for LTL with Future Discounting. 112-130
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/ZuckP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/ZuckP15
Lenore D. Zuck, Sanjiva Prasad:
A Switch, in Time. 131-146
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/QiangB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/QiangB15
Qiang Wang, Simon Bliudze:
Verification of Component-Based Systems via Predicate Abstraction and Simultaneous Set Reduction. 147-162

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.