Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Andreas V. Hess

Andreas Viktor Hess

> Home > Persons

Person information

affiliation: Technical University of Denmark, Kgs. Lyngby, Denmark

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2021
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/HessMBS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/HessMBS21
Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker, Anders Schlichtkrull:
Performing Security Proofs of Stateful Protocols. CSF 2021: 1-16
2018
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/HessM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/HessM18
Andreas V. Hess, Sebastian Mödersheim:
A Typing Result for Stateful Protocols. CSF 2018: 374-388
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/HessMB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/HessMB18
Andreas V. Hess, Sebastian Alexander Mödersheim, Achim D. Brucker:
Stateful Protocol Composition. ESORICS (1) 2018: 427-446
2017
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/HessM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/HessM17
Andreas Viktor Hess, Sebastian Mödersheim:
Formalizing and Proving a Typing Result for Security Protocols in Isabelle/HOL. CSF 2017: 451-463
2013
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/VilladsenJCHJWO13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/VilladsenJCHJWO13
Jørgen Villadsen, Andreas Schmidt Jensen, Nicolai Christian Christensen, Andreas Viktor Hess, Jannick Boese Johnsen, Øyvind Grønland Woller, Philip Bratt Ørum:
Engineering a Multi-Agent System in GOAL. EMAS@AAMAS 2013: 329-338
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/AhlbrechtBBCDFHHHHJJKLLMOSSSSUVWWZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AhlbrechtBBCDFHHHHJJKLLMOSSSSUVWWZ13
Tobias Ahlbrecht, Christian Bender-Saebelkampf, Maiquel de Brito, Nicolai Christian Christensen, Jürgen Dix, Mariana Ramos Franco, Hendrik Heller, Andreas Viktor Hess, Axel Heßler, Jomi Fred Hübner, Andreas Schmidt Jensen, Jannick Boese Johnsen, Michael Köster, Chengqian Li, Lu Liu, Marcelo Menezes Morato, Philip Bratt Ørum, Federico Schlesinger, Tiago Luiz Schmitz, Jaime Simão Sichman, Kaio Siqueira de Souza, Daniela Maria Uez, Jørgen Villadsen, Sebastian Werner, Øyvind Grønland Woller, Maicon Rafael Zatelli:
Multi-Agent Programming Contest 2013: The Teams and the Design of Their Systems. EMAS@AAMAS 2013: 366-390

Data and Artifacts

see FAQ

What is the meaning of the colors in the publication lists?

2020
[d2]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/HessMB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/HessMB20
Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker:
Stateful Protocol Composition and Typing. Arch. Formal Proofs 2020 (2020)
[d1]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/HessMBS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/HessMBS20
Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker, Anders Schlichtkrull:
Automated Stateful Protocol Verification. Arch. Formal Proofs 2020 (2020)

Coauthor Index

see FAQ

a service of

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.