Search dblp for Publications

export results for "toc:db/conf/tgc/tgc2011.bht:"

 download as .bib file

@proceedings{DBLP:conf/tgc/2011,
  editor       = {Roberto Bruni and
                  Vladimiro Sassone},
  title        = {Trustworthy Global Computing - 6th International Symposium, {TGC}
                  2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7173},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-30065-3},
  doi          = {10.1007/978-3-642-30065-3},
  isbn         = {978-3-642-30064-6},
  timestamp    = {Thu, 26 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tgc/AlvarezDST11,
  author       = {Carme {\`{A}}lvarez and
                  Amalia Duch and
                  Maria J. Serna and
                  Dimitrios M. Thilikos},
  editor       = {Roberto Bruni and
                  Vladimiro Sassone},
  title        = {On the Existence of Nash Equilibria in Strategic Search Games},
  booktitle    = {Trustworthy Global Computing - 6th International Symposium, {TGC}
                  2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7173},
  pages        = {58--72},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-30065-3\_4},
  doi          = {10.1007/978-3-642-30065-3\_4},
  timestamp    = {Thu, 26 Sep 2024 16:29:51 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/AlvarezDST11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tgc/BartheR11,
  author       = {Gilles Barthe and
                  Exequiel Rivas},
  editor       = {Roberto Bruni and
                  Vladimiro Sassone},
  title        = {Static Enforcement of Information Flow Policies for a Concurrent JVM-like
                  Language},
  booktitle    = {Trustworthy Global Computing - 6th International Symposium, {TGC}
                  2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7173},
  pages        = {73--88},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-30065-3\_5},
  doi          = {10.1007/978-3-642-30065-3\_5},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tgc/BartheR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tgc/Bernardo11,
  author       = {Marco Bernardo},
  editor       = {Roberto Bruni and
                  Vladimiro Sassone},
  title        = {Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations
                  for Sequential Processes},
  booktitle    = {Trustworthy Global Computing - 6th International Symposium, {TGC}
                  2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7173},
  pages        = {89--103},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-30065-3\_6},
  doi          = {10.1007/978-3-642-30065-3\_6},
  timestamp    = {Wed, 25 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/Bernardo11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tgc/BonoCCD11,
  author       = {Viviana Bono and
                  Sara Capecchi and
                  Ilaria Castellani and
                  Mariangiola Dezani{-}Ciancaglini},
  editor       = {Roberto Bruni and
                  Vladimiro Sassone},
  title        = {A Reputation System for Multirole Sessions},
  booktitle    = {Trustworthy Global Computing - 6th International Symposium, {TGC}
                  2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7173},
  pages        = {1--24},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-30065-3\_1},
  doi          = {10.1007/978-3-642-30065-3\_1},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/BonoCCD11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tgc/BuscemiCDM11,
  author       = {Maria Grazia Buscemi and
                  Mario Coppo and
                  Mariangiola Dezani{-}Ciancaglini and
                  Ugo Montanari},
  editor       = {Roberto Bruni and
                  Vladimiro Sassone},
  title        = {Constraints for Service Contracts},
  booktitle    = {Trustworthy Global Computing - 6th International Symposium, {TGC}
                  2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7173},
  pages        = {104--120},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-30065-3\_7},
  doi          = {10.1007/978-3-642-30065-3\_7},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/BuscemiCDM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tgc/ChenBDHY11,
  author       = {Tzu{-}Chun Chen and
                  Laura Bocchi and
                  Pierre{-}Malo Deni{\'{e}}lou and
                  Kohei Honda and
                  Nobuko Yoshida},
  editor       = {Roberto Bruni and
                  Vladimiro Sassone},
  title        = {Asynchronous Distributed Monitoring for Multiparty Session Enforcement},
  booktitle    = {Trustworthy Global Computing - 6th International Symposium, {TGC}
                  2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7173},
  pages        = {25--45},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-30065-3\_2},
  doi          = {10.1007/978-3-642-30065-3\_2},
  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tgc/ChenBDHY11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tgc/ChenLW11,
  author       = {Liqun Chen and
                  Ming{-}Feng Lee and
                  Bogdan Warinschi},
  editor       = {Roberto Bruni and
                  Vladimiro Sassone},
  title        = {Security of the Enhanced {TCG} Privacy-CA Solution},
  booktitle    = {Trustworthy Global Computing - 6th International Symposium, {TGC}
                  2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7173},
  pages        = {121--141},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-30065-3\_8},
  doi          = {10.1007/978-3-642-30065-3\_8},
  timestamp    = {Mon, 25 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/ChenLW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tgc/DErricoL11,
  author       = {Liliana D'Errico and
                  Michele Loreti},
  editor       = {Roberto Bruni and
                  Vladimiro Sassone},
  title        = {Context Aware Specification and Verification of Distributed Systems},
  booktitle    = {Trustworthy Global Computing - 6th International Symposium, {TGC}
                  2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7173},
  pages        = {142--159},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-30065-3\_9},
  doi          = {10.1007/978-3-642-30065-3\_9},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/DErricoL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tgc/DugganW11,
  author       = {Dominic Duggan and
                  Ye Wu},
  editor       = {Roberto Bruni and
                  Vladimiro Sassone},
  title        = {Transactional Correctness for Secure Nested Transactions - (Extended
                  Abstract)},
  booktitle    = {Trustworthy Global Computing - 6th International Symposium, {TGC}
                  2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7173},
  pages        = {179--196},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-30065-3\_11},
  doi          = {10.1007/978-3-642-30065-3\_11},
  timestamp    = {Thu, 05 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/DugganW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tgc/GabarroSS11,
  author       = {Joaquim Gabarr{\'{o}} and
                  Maria J. Serna and
                  Alan Stewart},
  editor       = {Roberto Bruni and
                  Vladimiro Sassone},
  title        = {Orchestrating Unreliable Services: Strategic and Probabilistic Approaches
                  to Reliability},
  booktitle    = {Trustworthy Global Computing - 6th International Symposium, {TGC}
                  2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7173},
  pages        = {197--211},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-30065-3\_12},
  doi          = {10.1007/978-3-642-30065-3\_12},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/GabarroSS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tgc/MelgrattiR11,
  author       = {Hern{\'{a}}n C. Melgratti and
                  Christian Rold{\'{a}}n},
  editor       = {Roberto Bruni and
                  Vladimiro Sassone},
  title        = {On Correlation Sets and Correlation Exceptions in ActiveBPEL},
  booktitle    = {Trustworthy Global Computing - 6th International Symposium, {TGC}
                  2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7173},
  pages        = {212--226},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-30065-3\_13},
  doi          = {10.1007/978-3-642-30065-3\_13},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/MelgrattiR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tgc/NicolaMT11,
  author       = {Rocco De Nicola and
                  Andrea Margheri and
                  Francesco Tiezzi},
  editor       = {Roberto Bruni and
                  Vladimiro Sassone},
  title        = {Orchestrating Tuple-Based Languages},
  booktitle    = {Trustworthy Global Computing - 6th International Symposium, {TGC}
                  2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7173},
  pages        = {160--178},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-30065-3\_10},
  doi          = {10.1007/978-3-642-30065-3\_10},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/NicolaMT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tgc/WertherH11,
  author       = {Bernd Werther and
                  Nicklas Hoch},
  editor       = {Roberto Bruni and
                  Vladimiro Sassone},
  title        = {E-Mobility as a Challenge for New {ICT} Solutions in the Car Industry},
  booktitle    = {Trustworthy Global Computing - 6th International Symposium, {TGC}
                  2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7173},
  pages        = {46--57},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-30065-3\_3},
  doi          = {10.1007/978-3-642-30065-3\_3},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/WertherH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tgc/Zhang11,
  author       = {Chenyi Zhang},
  editor       = {Roberto Bruni and
                  Vladimiro Sassone},
  title        = {Conditional Information Flow Policies and Unwinding Relations},
  booktitle    = {Trustworthy Global Computing - 6th International Symposium, {TGC}
                  2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7173},
  pages        = {227--241},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-30065-3\_14},
  doi          = {10.1007/978-3-642-30065-3\_14},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/Zhang11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.