default search action

combined dblp search
author search
venue search
publication search

ask others

TGC 2011: Aachen, Germany

> 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/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/2011
Roberto Bruni, Vladimiro Sassone:
Trustworthy Global Computing - 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers. Lecture Notes in Computer Science 7173, Springer 2012, ISBN 978-3-642-30064-6
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/BonoCCD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/BonoCCD11
Viviana Bono, Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini:
A Reputation System for Multirole Sessions. 1-24
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/ChenBDHY11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/ChenBDHY11
Tzu-Chun Chen, Laura Bocchi, Pierre-Malo Deniélou, Kohei Honda, Nobuko Yoshida:
Asynchronous Distributed Monitoring for Multiparty Session Enforcement. 25-45
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/WertherH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/WertherH11
Bernd Werther, Nicklas Hoch:
E-Mobility as a Challenge for New ICT Solutions in the Car Industry. 46-57
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/AlvarezDST11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/AlvarezDST11
Carme Àlvarez, Amalia Duch, Maria J. Serna, Dimitrios M. Thilikos:
On the Existence of Nash Equilibria in Strategic Search Games. 58-72
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/BartheR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/BartheR11
Gilles Barthe, Exequiel Rivas:
Static Enforcement of Information Flow Policies for a Concurrent JVM-like Language. 73-88
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/Bernardo11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/Bernardo11
Marco Bernardo:
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes. 89-103
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/BuscemiCDM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/BuscemiCDM11
Maria Grazia Buscemi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Ugo Montanari:
Constraints for Service Contracts. 104-120
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/ChenLW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/ChenLW11
Liqun Chen, Ming-Feng Lee, Bogdan Warinschi:
Security of the Enhanced TCG Privacy-CA Solution. 121-141
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/DErricoL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/DErricoL11
Liliana D'Errico, Michele Loreti:
Context Aware Specification and Verification of Distributed Systems. 142-159
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/NicolaMT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/NicolaMT11
Rocco De Nicola, Andrea Margheri, Francesco Tiezzi:
Orchestrating Tuple-Based Languages. 160-178
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/DugganW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/DugganW11
Dominic Duggan, Ye Wu:
Transactional Correctness for Secure Nested Transactions - (Extended Abstract). 179-196
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/GabarroSS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/GabarroSS11
Joaquim Gabarró, Maria J. Serna, Alan Stewart:
Orchestrating Unreliable Services: Strategic and Probabilistic Approaches to Reliability. 197-211
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/MelgrattiR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/MelgrattiR11
Hernán C. Melgratti, Christian Roldán:
On Correlation Sets and Correlation Exceptions in ActiveBPEL. 212-226
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/Zhang11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/Zhang11
Chenyi Zhang:
Conditional Information Flow Policies and Unwinding Relations. 227-241

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.