DanskDTU.dkIndexContactPhone bookInternal PagesDTU Alumni

LBT Publications

Sort by     Filter  Published Sort descending
1 2 Next 
in journal: A C M Computing Surveys (ISSN: 0360-0300) (DOI: http://dx.doi.org/10.1145/2071389.2071392), vol: 44, issue: 1, pages: Article No. 3, 2012
Type: Journal article - Journal article
2012
part of: Proceedings of SOFSEM 2011, 2012,
Type: Article in proceedings - Article in proceedings
Presented at: 38th International Conference on Current Trends in Theory and Practice of Computer Science : Student Research Forum, Špindlerův Mlýn
2012
Sack, Joshua ; Zhang, Lijun
part of: Verification, Model Checking, and Abstract Interpretation (ISBN: 978-3-642-27939-3), pages: 396-411, 2012, Springer,
Type: Article in proceedings - Article in proceedings
Presented at: 13th International Conference on Verification, Model Checking, and Abstract Interpretation, Philadelphia, Pennsylvania, USA
2012
part of: Formal Modeling: Actors, Open Systems, Biological Systems (ISBN: 978-3-642-24932-7), pages: 74-89, 2012, Springer,
Type: Article in proceedings - Article in proceedings
Presented at: Symposium in honor of Carolyn Talcott, Menlo Park, California, USA
2012
Yuksel, Ender ; Nielson, Hanne Riis ; Nielson, Flemming ; Zhu, Huibiao ; Huang, Heqing
Type: Report - Report
2012
Mödersheim, Sebastian Alexander ; Palamidessi, Catuscia
Type: Book - Book
2012
Skrypnyuk, Nataliya ; Nielson, Flemming ; Pilegaard, Henrik
in journal: Journal of Logic and Algebraic Programming (ISSN: 1567-8326) (DOI: http://dx.doi.org/10.1016/j.jlap.2012.03.011), vol: 81, issue: 4, pages: 522-540, 2012
Type: Journal article - Journal article
2012
Type: Report - Report
2012
Type: Poster - Poster
Presented at: 38th International Conference on Current Trends in Theory and Practice of Computer Science : Student Research Forum, Špindlerův Mlýn
2012
part of: Integrated Formal Methods (ISBN: 978-3-642-30728-7), pages: 99-112, 2012, Springer,
Type: Article in proceedings - Article in proceedings
Presented at: 9th International Conference on Integrated Formal Methods (iFM 2012), Pisa
2012
Type: Ph.d. thesis - Ph.d. thesis
2012
Type: Ph.d. thesis - Ph.d. thesis
2012
part of: 2012 IEEE Symposium on Computers and Communications (ISBN: 978-1-4673-2712-1), pages: 868-875, 2012, IEEE,
Type: Article in proceedings - Article in proceedings
Presented at: 2012 IEEE Symposium on Computers and Communications (ISCC), Cappadocia
2012
part of: 2012 IEEE Symposium on Computers and Communications (ISCC) (ISBN: 978-1-4673-2712-1), pages: 000075-000081, 2012, IEEE,
Type: Article in proceedings - Article in proceedings
Presented at: 2012 IEEE Symposium on Computers and Communications (ISCC), Cappadocia
2012
part of: Coordination Models and Languages (ISBN: 978-3-642-30828-4), pages: 137-151, 2012,
Type: Article in proceedings - Article in proceedings
Presented at: 14th International Conference on Coordination Models and Languages, Stockholm
2012
Type: Ph.d. thesis - Ph.d. thesis
2012
Zhang, Lijun ; Jansen, David N. ; Nielson, Flemming ; Hermanns, Holger
in journal: Logical Methods in Computer Science (ISSN: 1860-5974) (DOI: http://dx.doi.org/10.2168/LMCS-8(2:17)2012), vol: 8, issue: 2, pages: Paper 17, 2012
Type: Journal article - Journal article
2012
part of: Networked Digital Technologies (ISBN: 978-3-642-30566-5), pages: 289-301, 2012, Springer,
Type: Article in proceedings - Article in proceedings
Presented at: 4th International Conference on Networked Digital Technologies (NDT 2012), Dubai
2012
part of: Computer Safety, Reliability, and Security (ISBN: 978-3-642-33674-4), pages: 347-356, 2012, Springer,
Type: Article in proceedings - Article in proceedings
Presented at: 31st International Conference on Computer Safety, Reliability and Security (SAFECOMP), Magdeburg
2012
part of: PLAS '12 Proceedings of the 7th Workshop on Programming Languages and Analysis for Security (ISBN: 978-1-4503-1441-1), pages: Article No. 5, 2012, Association for Computing Machinery,
Type: Article in proceedings - Article in proceedings
Presented at: 7th Workshop on Programming Languages and Analysis for Security (PLAS 2012), Beijing
2012
Type: Report - Report
2012
Jansen, David N. ; Nielson, Flemming ; Zhang, Lijun
part of: NASA Formal Methods (ISBN: 978-3-642-28890-6), pages: 326-340, 2012, Springer,
Type: Article in proceedings - Article in proceedings
Presented at: 4th NASA Formal Methods Symposium (NFM 2012), Norfolk, Virginia
2012
Probst, Christian W. ; Sasse, M. Angela ; Pieters, Wolter ; Dimkov, Trajce ; Luysterborg, Erik ; Arnaud, Michel
part of: European Data Protection: In Good Health? (ISBN: 978-94-007-2902-5), pages: 251-265, 2012, Springer,
Type: Book chapter - Book chapter
2012
Pieters, Wolter ; van der Ven, Sanne H.G. ; Probst, Christian W.
part of: Proceedings of the 2012 workshop on New security paradigms (ISBN: 978-1-4503-1794-8), pages: 1-14, 2012, Association for Computing Machinery,
Type: Article in proceedings - Article in proceedings
Presented at: New Security Paradigms Workshop (NSPW 2012), Bertinoro
2012
part of: It-sikkerhed, 2012, Børsen,
Type: Book chapter - Book chapter
2012
part of: Formal Aspects of Component Software (ISBN: 978-3-642-35742-8), pages: 205-222, 2012, Springer,
Type: Article in proceedings - Article in proceedings
Presented at: 8th International Symposium on Formal Aspects of Component Software (FACS 2011), Oslo
2012
part of: Proceedings of the 14th symposium on Principles and practice of declarative programming (ISBN: 978-1-4503-1522-7), pages: 45-54, 2012, Association for Computing Machinery,
Type: Article in proceedings - Article in proceedings
Presented at: 14th International Symposium on Association for Computing Machinery Principles and Practice of Declarative Programming (PPDP 2012), Leuven
2012
Yuksel, Ender ; Zhu, Huibiao ; Nielson, Hanne Riis ; Huang, Heqing ; Nielson, Flemming
part of: 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE) (ISBN: 978-1-4673-2353-6), pages: 25-32, 2012, IEEE,
Type: Article in proceedings - Article in proceedings
Presented at: 6th International Symposium on Theoretical Aspects of Software Engineering Conference (TASE 2012), Beijing
2012
part of: Computer Security – ESORICS 2012 (ISBN: 978-3-642-33166-4), pages: 127-144, 2012, Springer,
Type: Article in proceedings - Article in proceedings
Presented at: 17th European Symposium on Research in Computer Security (ESORICS 2012), Pisa
2012
Armando, Alessandro ; Arsac, Wihem ; Avanesov, Tigran ; Barletta, Michele ; Calvi, Alberto ; Cappai, Alessandro ; Carbone, Roberto ; Chevalier, Yannick ; Compagna, Luca ; Cuéllar, Jorge ; Erzse, Gabriel ; Frau, Simone ; Minea, Marius ; Mödersheim, Sebastian Alexander ; Von Oheimb, David ; Pellegrino, Giancarlo ; Ponta, Serena Elisa ; Rocchetto, Marco ; Rusinowitch, Michael ; Torabi Dashti, Mohammad ; Turuani, Mathieu ; Viganò, Luca
part of: Tools and Algorithms for the Construction and Analysis of Systems (ISBN: 978-3-642-28755-8), pages: 267-282, 2012, Springer,
Type: Article in proceedings - Article in proceedings
Presented at: 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012), Tallinn
2012
Type: Report - Report
2011
Hunker, Jeffrey ; Probst, Christian W.
in journal: Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (ISSN: 2093-5374), vol: 2, issue: 1, pages: 4-27, 2011
Type: Journal article - Journal article
2011
Hermanns, Holger ; Parma, Augusto ; Segala, Roberto ; Wachter, Björn ; Zhang, Lijun
in journal: Information and Computation (ISSN: 0890-5401) (DOI: http://dx.doi.org/10.1016/j.ic.2010.11.024), vol: 209, issue: 2, pages: 154-172, 2011
Type: Journal article - Journal article
2011
Yang, Fan ; Aotani, Tomoyuki ; Masuhara, Hidehiko ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Coordination Models and Languages (ISBN: 878-3-642-21463-9), pages: 202-218, 2011, Springer,
Type: Article in proceedings - Article in proceedings
Presented at: 13th International Conference on Coordination Models and Languages, Reykjavik
2011
in journal: Formal Aspects of Computing (ISSN: 0934-5043) (DOI: http://dx.doi.org/10.1007/s00165-011-0174-7), vol: 23, issue: 4, pages: 541-565, 2011
Type: Journal article - Journal article
2011
Hahn, Ernst Moritz ; Han, Tingting ; Zhang, Lijun
part of: NASA Formal Methods (ISBN: 978-3-642-20397-8), pages: 146-161, 2011, Springer,
Type: Article in proceedings - Article in proceedings
Presented at: NASA Formal Methods Symposium, Pasadena, California, USA
2011
in journal: A C M Transactions on Computational Logic (ISSN: 1529-3785) (DOI: http://dx.doi.org/10.1145/1929954.1929955), vol: 12, issue: 3, pages: 18, 2011
Type: Journal article - Journal article
2011
Buchholz, Peter ; Hahn, Ernst Moritz ; Hermanns, Holger ; Zhang, Lijun
part of: Computer Aided Verification (ISBN: 978-3-642-22109-5), pages: 225-242, 2011, Springer,
Type: Article in proceedings - Article in proceedings
Presented at: International Conference on Computer Aided Verification, Snowbird, Utah, USA
2011
part of: Proceedings of the 7th International CDIO Conference, Technical University of Denmark, Copenhagen, June 20 - 23, 2011, 2011, Technical University of Denmark, Lyngby
Type: Article in proceedings - Article in proceedings
Presented at: 7th International CDIO Conference, Copenhagen
2011
Zhang, Lijun ; Jansen, David N. ; Nielson, Flemming ; Hermanns, Holger
part of: Automata, Languages and Programming (ISBN: 978-3-642-22011-1), pages: 271-282, 2011, Springer,
Type: Article in proceedings - Article in proceedings
Presented at: 38th International Colloquium on Automata, Languages and Programming, Zürich
2011
Kiefer, Stefan ; Murawski, Andrzej S. ; Ouaknine, Joël ; Worrell, James ; Zhang, Lijun
part of: Automata, Languages and Programming (ISBN: 978-3-642-22011-1), pages: 466-477, 2011, Springer,
Type: Article in proceedings - Article in proceedings
Presented at: 38th International Colloquium on Automata, Languages and Programming, Zürich
2011
Type: Ph.d. thesis - Ph.d. thesis
2011
in journal: Scientific Annals of Computer Science (ISSN: 1843-8121), vol: 21, issue: 1, pages: 107-149, 2011
Type: Journal article - Journal article
2011
Type: Ph.d. thesis - Ph.d. thesis
2011
part of: 2011 7th International Wireless Communications and Mobile Computing Conference (IWCMC) (ISBN: 978-1-4244-9539-9), pages: 1164-1169, 2011, IEEE,
Type: Article in proceedings - Article in proceedings
Presented at: International Wireless Communications and Mobile Computing Conference, Istanbul
2011
part of: Formal Techniques for Distributed Systems (ISBN: 978-3-642-21460-8), pages: 138-152, 2011, Springer,
Type: Article in proceedings - Article in proceedings
Presented at: IFIP International Conference on Formal Methods for Open Object-based Distributed Systems & IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems, Reykjavik, Iceland
2011
Type: Ph.d. thesis - Ph.d. thesis
2011
part of: 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST) (ISBN: 978-1-4577-0973-9), pages: 171-180, 2011, IEEE,
Type: Article in proceedings - Article in proceedings
Presented at: 8th International Conference on Quantitative Evaluation of Systems, Aachen
2011
part of: Reachability Problems (ISBN: 978-3-642-24287-8), pages: 231-244, 2011, Springer,
Type: Article in proceedings - Article in proceedings
Presented at: International Workshop on Reachability Problems, Genoa, Italy
2011
Queva, Matthieu Stéphane Benoit ; Männistö, Tomi ; Ricci, Laurent ; Probst, Christian W.
part of: Proceedings of the Workshop on Configuration (ConfWS 2011), pages: 9-18, 2011,
Type: Article in proceedings - Article in proceedings
Presented at: The IJCAI Workshop on Configuration, Barcelona, Spain
2011
part of: Proceedings of the International Conference on Network Communication and Computer (ICNCC 2011), pages: 132-136, 2011,
Type: Article in proceedings - Article in proceedings
Presented at: International Conference on Network Communication and Computer, New Delhi, India
2011
in journal: I T - Information Technology (ISSN: 1611-2776) (DOI: http://dx.doi.org/10.1524/itit.2011.0644), vol: 53, issue: 4, pages: 202-206, 2011
Type: Journal article - Journal article
2011
Yuksel, Ender ; Nielson, Hanne Riis ; Nielson, Flemming ; Fruth, Matthias ; Kwiatkowska, Marta
part of: 2011 IEEE Sensors Applications Symposium (SAS) (ISBN: 978-1-4244-8063-0), pages: 82-87, 2011, IEEE,
Type: Article in proceedings - Article in proceedings
Presented at: 2011 IEEE Sensors Applications Symposium, San Antonio, TX
2011
Yüksel, Emre ; Zaim, Abdül Halim ; Yuksel, Ender ; Aydin, Muhammed Ali
part of: Proceedings of the International Conference on Networking and Future Internet (ICNFI 2011), 2011,
Type: Article in proceedings - Article in proceedings
Presented at: International Conference on Networking and Future Internet, Paris, France
2011
part of: Proceedings of the 23rd Nordic Workshop Programming Theory, pages: 69-72, 2011,
Type: Article in proceedings - Article in proceedings
Presented at: Nordic Workshop Programming Theory, Västerås, Sweden
2011
part of: Bringing Theory to Practice: Predictability and Performance in Embedded Systems (ISBN: 978-3-939897-28-6), pages: 11-21, 2011, OASICS,
Type: Article in proceedings - Article in proceedings
Presented at: Workshop on Bringing Theory to Practice: Predictability and Performance in Embedded Systems
2011
Goumas, Georgios ; McKee, Sally A. ; Själander, Magnus ; Gross, Thomas R. ; Karlsson, Sven ; Probst, Christian W. ; Zhang, Lixin
part of: EXADAPT '11 Proceedings of the 1st International Workshop on Adaptive Self-Tuning Computing Systems for the Exaflop Era (ISBN: 978-1-4503-0708-6), 2011, University of Strathclyde,
Type: Article in proceedings - Article in proceedings
Presented at: International Workshop on Adaptive Self-Tuning Computing Systems for the Exaflop Era, San Jose, California
2011
Hermanns, Holger ; Zhang, Lijun
part of: NATO Science for Peace and Security Series (ISBN: 978-1-60750-710-9), pages: 182-210, 2011, IOS Press,
Type: Book chapter - Book chapter
2011
Hahn, Ernst Moritz ; Hermanns, Holger ; Zhang, Lijun
in journal: International Journal on Software Tools for Technology Transfer (ISSN: 1433-2779) (DOI: http://dx.doi.org/10.1007/s10009-010-0146-x), vol: 13, issue: 1, pages: 3-19, 2011
Type: Journal article - Journal article
2011
Fränzle, Martin ; Hahn, Ernst Moritz ; Hermanns, Holger ; Wolovick, Nicolás ; Zhang, Lijun
part of: Proceedings of the 14th international conference on Hybrid systems: computation and control (ISBN: 9781450306294), pages: 43-52, 2011, Association for Computing Machinery,
Type: Article in proceedings - Article in proceedings
Presented at: International Conference on Hybrid Systems : Computation and Control, Chicago, Illinois, USA
2011
Song, Lei ; Zhang, Lijun ; Godskesen, Jens Chr.
part of: CONCUR 2011 – Concurrency Theory (ISBN: 978-3-642-23216-9), pages: 108-123, 2011, Springer,
Type: Article in proceedings - Article in proceedings
Presented at: 22nd International Conference on Concurrency Theory, Aachen
2011
Hahn, Ernst Moritz ; Norman, Gethin ; Parker, David ; Wachter, Björn ; Zhang, Lijun
part of: 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST), 2011,
Type: Article in proceedings - Article in proceedings
Presented at: 8th International Conference on Quantitative Evaluation of Systems, Aachen
2011
Fearnley, John ; Rabe, Markus ; Schewe, Sven ; Zhang, Lijun
part of: Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2011,
Type: Article in proceedings - Article in proceedings
Presented at: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Mumbai
2011
part of: Proceedings of the 24th Computer Security Foundations Symposium 2011, 2011,
Type: Article in proceedings - Article in proceedings
Presented at: The Computer Security Foundations Symposium, Abbaye des Vaux de Cernay, France
2011
Bleikertz, Sören ; Gross, Thomas ; Mödersheim, Sebastian Alexander
part of: CCSW '11 Proceedings of the 3rd ACM workshop on Cloud computing security workshop (ISBN: 978-1-4503-1004-8), pages: 47-58, 2011, ACM,
Type: Article in proceedings - Article in proceedings
Presented at: ACM workshop on Cloud computing security workshop, Chicago, Illinois, USA
2011
part of: Formal Aspects of Security and Trust, pages: 214-229, 2011, Springer,
Type: Article in proceedings - Article in proceedings
Presented at: Formal Aspects of Security and Trust, Leuven
2011
part of: 2011 3rd International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT) (ISBN: 978-1-4577-0682-0), 2011,
Type: Article in proceedings - Article in proceedings
Presented at: 3rd International Congress on Ultra Modern Telecommunications and Control Systems and Workshops, Budapest
2011
in journal: Electronic Proceedings in Theoretical Computer Science (ISSN: 2075-2180) (DOI: http://dx.doi.org/10.4204/EPTCS.57.6), vol: 57, issue: Proc. QAPL 2011, pages: 74-88, 2011
Type: Conference article - Conference article
Presented at: Workshop on Quantitative Aspects of Programming Languages, Saarbrücken, Germany
2011
part of: ACACES 2011 Seventh International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems, 2011,
Type: Article in proceedings - Article in proceedings
Presented at: 7th International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems, Fiuggi
2011
Type: Poster - Poster
Presented at: 7th International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems, Fiuggi
2011
part of: Rigorous Software Engineering for Service-Oriented Systems (ISBN: 978-3-642-20400-5), pages: 369-389, 2011, Springer,
Type: Book chapter - Book chapter
2011
part of: Proceedings of FACS 2011, 2011,
Type: Article in proceedings - Article in proceedings
Presented at: 8th International Symposium on Formal Aspects of Component Software (FACS 2011), Oslo
2011
Carbone, Roberto ; Minea, Marius ; Mödersheim, Sebastian Alexander ; Ponta, Serena Elisa ; Turuani, Mathieu ; Viganò, Luca
part of: The Future Internet (ISBN: 978-3-642-20897-3), pages: 193-207, 2011, Springer,
Type: Book chapter - Book chapter
2011
Type: Paper - Paper
Presented at: 8th LASER Summer School on Software Engineering, Elba Island
2011
in journal: Information and Computation (ISSN: 0890-5401) (DOI: http://dx.doi.org/10.1016/j.ic.2009.10.003), vol: 208, issue: 2, pages: 117-139, 2010
Type: Journal article - Journal article
2010
Yuksel, Ender ; Nielson, Hanne Riis ; Nielson, Flemming ; Fruth, Matthias ; Kwiatkowska, Marta
Type: Report - Report
2010
Mödersheim, Sebastian Alexander ; Basin, David ; Viganò, Luca
in journal: Journal of Computer Security (ISSN: 0926-227X) (DOI: http://dx.doi.org/10.3233/JCS-2009-0351), vol: 18, issue: 4, pages: 575-618, 2010
Type: Journal article - Journal article
2010
Yang, Fan ; Masuhara, Hidehiko ; Aotani, Tomoyuki ; Nielson, Flemming ; Nielson, Hanne Riis
Type: Interactive production - Interactive production
2010
Type: Report - Report
2010
Yang, Fan ; Masuhara, Hidehiko ; Aotani, Tomoyuki ; Nielson, Flemming ; Nielson, Hanne Riis
part of: Proceedings of the 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10) (ISBN: 978-3-86956-043-4), pages: 27-31, 2010, Universitätsverlag Potsdam,
Type: Article in proceedings - Article in proceedings
Presented at: 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10), Rennes, France
2010
Eisentraut, Christian ; Hermanns, Holger ; Zhang, Lijun
in journal: Lecture Notes in Computer Science (ISSN: 0302-9743), 2010
Type: Conference article - Conference article
Presented at: 21st International Conference on Concurrency Theory, Paris
2010
Hahn, Ernst Moritz ; Hermanns, Holger ; Wachter, Björn ; Zhang, Lijun
in journal: Lecture Notes in Computer Science (ISSN: 0302-9743), 2010
Type: Conference article - Conference article
Presented at: 22nd International Conference on Computer Aided Verification, Edinburgh
2010
Carlin, George ; Crouzen, Pepijn ; D'Agenio, Pedro ; Hahn, Ernst Moritz ; Zhang, Lijun
in journal: Lecture Notes in Computer Science (ISSN: 0302-9743), 2010
Type: Conference article - Conference article
Presented at: 17th International SPIN Workshop
2010
Neuhäußer, Martin R. ; Zhang, Lijun
in journal: Sixth International Conference on the Quantitative Evaluation of Systems (ISSN: 0302-9743), 2010
Type: Conference article - Conference article
Presented at: Quantitative Evaluation of Systems
2010
Camenisch, Jan ; Mödersheim, Sebastian Alexander ; Sommer, Dieter
part of: Proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems, pages: 198-214, 2010, Springer, Heidelberg
Type: Article in proceedings - Article in proceedings
Presented at: International Workshop on Formal Methods for Industrial Critical Systems, Antwerp, Belgium
2010
part of: Proceedings of the 17th ACM Conference on Computer and Communications Security (ISBN: 978-1-4503-0244-9), pages: 351-360, 2010, Association for Computing Machinery, New York
Type: Article in proceedings - Article in proceedings
Presented at: ACM Conference on Computer and Communications Security, Chicago, USA
2010
in journal: Computer Journal (ISSN: 0010-4620) (DOI: http://dx.doi.org/10.1093/comjnl/bxq036), vol: 54, issue: 4, pages: 589-601, 2010
Type: Journal article - Journal article
2010
in journal: Lecture Notes in Computer science (DOI: http://dx.doi.org/10.1007/978-3-642-15640-3_23), vol: 6084, pages: 348-363, 2010
Type: Conference article - Conference article
2010
part of: Electronic Notes in Theoretical Computer Science, pages: 15-28, 2010,
Type: Article in proceedings - Article in proceedings
Presented at: Proceedings of the Tools for Automatic Program AnalysiS (TAPAS), Proceedings of the Tools for Automatic Program AnalysiS (TAPAS)
2010
part of: ICE2010, pages: 29-43, 2010,
Type: Article in proceedings - Article in proceedings
Presented at: DisCoTec2010 : ICE2010 Satellite Workshop, CWI, Amsterdam
2010
part of: Proceedings of The 15th Nordic Conference on Secure IT Systems, 2010,
Type: Article in proceedings - Article in proceedings
Presented at: The 15th Nordic Conference on Secure IT Systems
2010
Probst, Christian W. ; Hunker, Jeffrey ; Gollmann, Dieter ; Bishop, Matt
part of: Aspects of Insider Threats (ISBN: 978-1-4419-7132-6), pages: 1-16, 2010, Springer,
Type: Book chapter - Book chapter
2010
Bleikertz, Sören ; Schunter, Matthias ; Probst, Christian W. ; Pendarakis, Dimitrios ; Eriksson, Konrad
part of: Proceedings of the 2010 ACM workshop on Cloud computing security workshop, 2010,
Type: Article in proceedings - Article in proceedings
Presented at: Cloud computing security workshop, Chicago
2010
Probst, Christian W. ; Hunker, Jeffrey
part of: Economics of Information Security and Privacy, pages: 279-299, 2010, Springer,
Type: Book chapter - Book chapter
2010
De Nicola, Rocco ; Gorla, Daniele ; Hansen, Rene Rydhof ; Nielson, Flemming ; Nielson, Hanne Riis ; Probst, Christian W. ; Pugliese, Rosario
in journal: Science of Computer Programming (ISSN: 0167-6423) (DOI: http://dx.doi.org/10.1016/j.scico.2009.07.009), vol: 75, issue: 6, pages: 376-397, 2010
Type: Conference article - Conference article
Presented at: 10th International Conference Coordination Models and Languages, Oslo
2010
in journal: Lecture Notes in Computer Science (ISSN: 0302-9743) (DOI: http://dx.doi.org/10.1007/978-3-642-12032-9_14), vol: 6014, pages: 191-205, 2010
Type: Conference article - Conference article
2010
part of: Proceedings of the Fifth European Starting AI Researcher Symposium (STAIRS 2010), 2010,
Type: Article in proceedings - Article in proceedings
Presented at: European Starting AI Researcher Symposium, Lisbon, Portugal
2010
Type: Ph.d. thesis - Ph.d. thesis
2010
Probst, Christian W. ; Hunker, Jeffrey ; Gollmann, Dieter ; Bishop, Matt
Type: Book - Book
2010
Eisentraut, Christian ; Hermanns, Holger ; Zhang, Lijun
in journal: Symposium on Logic in Computer Science (ISSN: 1043-6871) (DOI: http://dx.doi.org/10.1109/LICS.2010.41), pages: 342 - 351, 2010
Type: Conference article - Conference article
Presented at: 25th Annual IEEE Symposium on Logic in Computer Science
2010
1 2 Next 

Search for more in DTU Orbit Search for more in DTU Orbit
Top
MatematiktorvetDTU - Building 303BDK-2800 Kgs. LyngbyTel +45 4525 3031EAN 5798000428515
Cookies