E-LIB Suche - Ergebnisse für: Hofmann, Jana

1

Reactive Synthesis of Smart Contract Control Flows:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Finkbeiner, Bernd ; Hofmann, Jana ; Kohn, Florian. - p. 248-269 , 2023

Link: https://doi.org/10.1007/..

2

Smart Contract Synthesis Modulo Hyperproperties:

, In: 2023 IEEE 36th Computer Security Foundations Symposium (CSF),

Coenen, Norine ; Finkbeiner, Bernd ; Hofmann, Jana. - p. 276-291 , 2023

Link: https://doi.org/10.1109/..

3

Automata-Based Software Model Checking of Hyperproperties:

, In: Lecture Notes in Computer Science; NASA Formal Methods,

Finkbeiner, Bernd ; Frenkel, Hadar ; Hofmann, Jana. - p. 361-379 , 2023

Link: https://doi.org/10.1007/..

4

Logical methods for the hierarchy of hyperlogics:

Hofmann, Jana , 2022

Link: https://nbn-resolving.de..

5

Deciding Hyperproperties Combined with Functional Specifica..:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,

Beutner, Raven ; Carral, David ; Finkbeiner, Bernd.. - p. 1-13 , 2022

Link: https://dl.acm.org/doi/1..

6

Runtime Enforcement of Hyperproperties:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Coenen, Norine ; Finkbeiner, Bernd ; Hahn, Christopher.. - p. 283-299 , 2021

Link: https://doi.org/10.1007/..

7

Realizing $$\omega $$-regular Hyperproperties:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Finkbeiner, Bernd ; Hahn, Christopher ; Hofmann, Jana. - p. 40-63 , 2020

Link: https://doi.org/10.1007/..

8

Mikromedien: Mobile Communication:

, In: Handbuch Medienökonomie,

Döbler, Thomas ; Hofmann, Jana - p. 1183-1216 , 2020

Link: https://doi.org/10.1007/..

9

The hierarchy of hyperlogics:

, In: Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science,

Coenen, Norine ; Finkbeiner, Bernd ; Hahn, Christopher. - p. 1-13 , 2019

Link: https://dl.acm.org/doi/1..

10

Personal Genome Project UK (PGP-UK): a research and citizen..:

PGP-UK Consortium ; Beck, Stephan ; Berner, Alison M....
BMC Medical Genomics. 11 (2018) 1 - p. , 2018

Link: https://doi.org/10.1186/..

11

Mikromedien: Mobile Communication:

, In: Handbuch Medienökonomie,

Döbler, Thomas ; Hofmann, Jana - p. 1-34 , 2016

Link: https://doi.org/10.1007/..

12

Assessment of electrical vehicles as a successful driver fo..:

Hofmann, Jana ; Guan, Dabo ; Chalvatzis, Konstantinos.
Applied Energy. 184 (2016) - p. 995-1003 , 2016

Link: https://doi.org/10.1016/..

13

Effects of behavioural exercise therapy on the effectivenes..:

Hofmann, Jana ; Peters, Stefan ; Geidl, Wolfgang..
BMC Musculoskeletal Disorders. 14 (2013) 1 - p. , 2013

Link: https://doi.org/10.1186/..

14

Bewegungsförderung in der Rehabilitation:

, In: Handbuch Bewegungsförderung und Gesundheit / Gunnar Geuter; Alfons Hollederer (Hrsg.)

Geidl, Wolfgang ; Hofmann, Jana. (2012) - p. 319-334

Copies: :TB Technik Sp I Geut

15

A bio-psycho-social exercise program (RÜCKGEWINN) for chron..:

Hentschke, Christian ; Hofmann, Jana ; Pfeifer, Klaus
BMC Musculoskeletal Disorders. 11 (2010) 1 - p. , 2010

Link: https://doi.org/10.1186/..