Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/tgc/tgc2010.bht:"
@inproceedings{DBLP:conf/tgc/AspinallAMS10, author = {David Aspinall and Robert Atkey and Kenneth MacKenzie and Donald Sannella}, editor = {Martin Wirsing and Martin Hofmann and Axel Rauschmayer}, title = {Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode}, booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC} 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6084}, pages = {1--22}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15640-3\_1}, doi = {10.1007/978-3-642-15640-3\_1}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tgc/AspinallAMS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/BartheK10, author = {Gilles Barthe and C{\'{e}}sar Kunz}, editor = {Martin Wirsing and Martin Hofmann and Axel Rauschmayer}, title = {Perspectives in Certificate Translation}, booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC} 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6084}, pages = {23--34}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15640-3\_2}, doi = {10.1007/978-3-642-15640-3\_2}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tgc/BartheK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/BernardoNL10, author = {Marco Bernardo and Rocco De Nicola and Michele Loreti}, editor = {Martin Wirsing and Martin Hofmann and Axel Rauschmayer}, title = {Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes}, booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC} 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6084}, pages = {35--56}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15640-3\_3}, doi = {10.1007/978-3-642-15640-3\_3}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tgc/BernardoNL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/BertasiPSS10, author = {Paolo Bertasi and Alberto Pettarin and Michele Scquizzato and Francesco Silvestri}, editor = {Martin Wirsing and Martin Hofmann and Axel Rauschmayer}, title = {A Novel Resource-Driven Job Allocation Scheme for Desktop Grid Environments}, booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC} 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6084}, pages = {268--283}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15640-3\_18}, doi = {10.1007/978-3-642-15640-3\_18}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tgc/BertasiPSS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/BessonJPT10, author = {Fr{\'{e}}d{\'{e}}ric Besson and Thomas P. Jensen and David Pichardie and Tiphaine Turpin}, editor = {Martin Wirsing and Martin Hofmann and Axel Rauschmayer}, title = {Certified Result Checking for Polyhedral Analysis of Bytecode Programs}, booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC} 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6084}, pages = {253--267}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15640-3\_17}, doi = {10.1007/978-3-642-15640-3\_17}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tgc/BessonJPT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/BocchiT10, author = {Laura Bocchi and Emilio Tuosto}, editor = {Martin Wirsing and Martin Hofmann and Axel Rauschmayer}, title = {A Java Inspired Semantics for Transactions in {SOC}}, booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC} 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6084}, pages = {120--134}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15640-3\_9}, doi = {10.1007/978-3-642-15640-3\_9}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tgc/BocchiT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/BruniGL10, author = {Roberto Bruni and Fabio Gadducci and Alberto Lluch{-}Lafuente}, editor = {Martin Wirsing and Martin Hofmann and Axel Rauschmayer}, title = {An Algebra of Hierarchical Graphs}, booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC} 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6084}, pages = {205--221}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15640-3\_14}, doi = {10.1007/978-3-642-15640-3\_14}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tgc/BruniGL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/BuscemiMT10, author = {Maria Grazia Buscemi and Ugo Montanari and Sonia Taneja}, editor = {Martin Wirsing and Martin Hofmann and Axel Rauschmayer}, title = {Toward a Game-Theoretic Model of Grid Systems}, booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC} 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6084}, pages = {57--72}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15640-3\_4}, doi = {10.1007/978-3-642-15640-3\_4}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tgc/BuscemiMT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/CappelloQ10, author = {Igor Cappello and Paola Quaglia}, editor = {Martin Wirsing and Martin Hofmann and Axel Rauschmayer}, title = {A Tool for Checking Probabilistic Properties of {COWS} Services}, booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC} 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6084}, pages = {364--378}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15640-3\_24}, doi = {10.1007/978-3-642-15640-3\_24}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tgc/CappelloQ10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/CaragiannisKKKP10, author = {Ioannis Caragiannis and Christos Kaklamanis and Panagiotis Kanellopoulos and Maria Kyropoulou and Evi Papaioannou}, editor = {Martin Wirsing and Martin Hofmann and Axel Rauschmayer}, title = {The Impact of Altruism on the Efficiency of Atomic Congestion Games}, booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC} 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6084}, pages = {172--188}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15640-3\_12}, doi = {10.1007/978-3-642-15640-3\_12}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tgc/CaragiannisKKKP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/CiminiCS10, author = {Matteo Cimini and Claudio Sacerdoti Coen and Davide Sangiorgi}, editor = {Martin Wirsing and Martin Hofmann and Axel Rauschmayer}, title = {Functions as Processes: Termination and the lm[(m){\textbackslash}tilde]{\textbackslash}lambda{\textbackslash}mu{\textbackslash}widetilde\{{\textbackslash}mu\}-Calculus}, booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC} 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6084}, pages = {73--86}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15640-3\_5}, doi = {10.1007/978-3-642-15640-3\_5}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tgc/CiminiCS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/DErricoL10, author = {Liliana D'Errico and Michele Loreti}, editor = {Martin Wirsing and Martin Hofmann and Axel Rauschmayer}, title = {Property-Preserving Refinement of Concurrent Systems}, booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC} 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6084}, pages = {222--236}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15640-3\_15}, doi = {10.1007/978-3-642-15640-3\_15}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tgc/DErricoL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/Dezani-CiancagliniLV10, author = {Vincenzo Ciancaglini and Luigi Liquori and Laurent Vanni}, editor = {Martin Wirsing and Martin Hofmann and Axel Rauschmayer}, title = {CarPal: Interconnecting Overlay Networks for a Community-Driven Shared Mobility}, booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC} 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6084}, pages = {301--317}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15640-3\_20}, doi = {10.1007/978-3-642-15640-3\_20}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tgc/Dezani-CiancagliniLV10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/FerrariGST10, author = {Gian{-}Luigi Ferrari and Roberto Guanciale and Daniele Strollo and Emilio Tuosto}, editor = {Martin Wirsing and Martin Hofmann and Axel Rauschmayer}, title = {Refactoring Long Running Transactions: {A} Case Study}, booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC} 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6084}, pages = {318--334}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15640-3\_21}, doi = {10.1007/978-3-642-15640-3\_21}, timestamp = {Fri, 23 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tgc/FerrariGST10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/GabarroKSS10, author = {Joaquim Gabarr{\'{o}} and Peter Kilpatrick and Maria J. Serna and Alan Stewart}, editor = {Martin Wirsing and Martin Hofmann and Axel Rauschmayer}, title = {Stressed Web Environments as Strategic Games: Risk Profiles and Weltanschauung}, booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC} 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6084}, pages = {189--204}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15640-3\_13}, doi = {10.1007/978-3-642-15640-3\_13}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tgc/GabarroKSS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/GamboniR10, author = {Maxime Gamboni and Ant{\'{o}}nio Ravara}, editor = {Martin Wirsing and Martin Hofmann and Axel Rauschmayer}, title = {Responsive Choice in Mobile Processes}, booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC} 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6084}, pages = {135--152}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15640-3\_10}, doi = {10.1007/978-3-642-15640-3\_10}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tgc/GamboniR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/HankinNN10, author = {Chris Hankin and Flemming Nielson and Hanne Riis Nielson}, editor = {Martin Wirsing and Martin Hofmann and Axel Rauschmayer}, title = {Probabilistic Aspects: Checking Security in an Imperfect World}, booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC} 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6084}, pages = {348--363}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15640-3\_23}, doi = {10.1007/978-3-642-15640-3\_23}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tgc/HankinNN10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/JakubuvW10, author = {Jan Jakubuv and J. B. Wells}, editor = {Martin Wirsing and Martin Hofmann and Axel Rauschmayer}, title = {Expressiveness of Generic Process Shape Types}, booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC} 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6084}, pages = {103--119}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15640-3\_8}, doi = {10.1007/978-3-642-15640-3\_8}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tgc/JakubuvW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/Kunz10, author = {C{\'{e}}sar Kunz}, editor = {Martin Wirsing and Martin Hofmann and Axel Rauschmayer}, title = {Certificate Translation for the Verification of Concurrent Programs}, booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC} 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6084}, pages = {237--252}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15640-3\_16}, doi = {10.1007/978-3-642-15640-3\_16}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tgc/Kunz10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/LaneseBM10, author = {Ivan Lanese and Antonio Bucchiarone and Fabrizio Montesi}, editor = {Martin Wirsing and Martin Hofmann and Axel Rauschmayer}, title = {A Framework for Rule-Based Dynamic Adaptation}, booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC} 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6084}, pages = {284--300}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15640-3\_19}, doi = {10.1007/978-3-642-15640-3\_19}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tgc/LaneseBM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/MontesiS10, author = {Fabrizio Montesi and Davide Sangiorgi}, editor = {Martin Wirsing and Martin Hofmann and Axel Rauschmayer}, title = {A Model of Evolvable Components}, booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC} 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6084}, pages = {153--171}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15640-3\_11}, doi = {10.1007/978-3-642-15640-3\_11}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tgc/MontesiS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/Persiano10, author = {Giuseppe Persiano}, editor = {Martin Wirsing and Martin Hofmann and Axel Rauschmayer}, title = {Predicate Encryption for Secure Remote Storage}, booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC} 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6084}, pages = {87}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15640-3\_6}, doi = {10.1007/978-3-642-15640-3\_6}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tgc/Persiano10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/QuagliaS10, author = {Paola Quaglia and Stefano Schivo}, editor = {Martin Wirsing and Martin Hofmann and Axel Rauschmayer}, title = {Approximate Model Checking of Stochastic {COWS}}, booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC} 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6084}, pages = {335--347}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15640-3\_22}, doi = {10.1007/978-3-642-15640-3\_22}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tgc/QuagliaS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/SassoneEH10, author = {Vladimiro Sassone and Ehab ElSalamouny and Sardaouna Hamadou}, editor = {Martin Wirsing and Martin Hofmann and Axel Rauschmayer}, title = {Trust in Crowds: Probabilistic Behaviour in Anonymity Protocols}, booktitle = {Trustworthly Global Computing - 5th International Symposium, {TGC} 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6084}, pages = {88--102}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15640-3\_7}, doi = {10.1007/978-3-642-15640-3\_7}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tgc/SassoneEH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/tgc/2010, editor = {Martin Wirsing and Martin Hofmann and Axel Rauschmayer}, title = {Trustworthly Global Computing - 5th International Symposium, {TGC} 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6084}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15640-3}, doi = {10.1007/978-3-642-15640-3}, isbn = {978-3-642-15639-7}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tgc/2010.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.