Deutsche Entschädigungspolitik : Hintergrundinformaionen zum Tagungsbeitrag "Ein Kredit ist keine Entschädigung", Dokumentarfilm (Sven Jacobs, D,25 min.)

von Jacobs, Sven
Veröffentlicht in Nationalsozialistische Germanisierungspolitik und ihre Folgen. Das Beispiel Slowenien (2010)

Integrative Prozesse bei der Teamarbeit im gemeinsamen Unterricht : qualitative Studie aus der Innenperspektive eines Teams an einer integrierten Gesamtschule

von Jacobs, Sven
Veröffentlicht 2005

Agiles Programmieren und rechtliche Gestaltung

von Jacobs, Sven
Veröffentlicht in Deutsche Stiftung für Recht und Informatik (19. : 2018 : Bochum) Rechtsfragen digitaler Transformationen (2018)

Integrative Prozesse bei der Teamarbeit im gemeinsamen Unterricht : qualitative Studie aus der Innenperspektive eines Teams an einer integrierten Gesamtschule

von Jacobs, Sven
Veröffentlicht 2005

Möglichkeiten immaterialgüterrechtlichen Schutzes von Distributed Ledger Technologien

von Jacobs, Sven
Veröffentlicht in Deutsche Stiftung für Recht und Informatik (18. : 2017 : Heidelberg) Recht 4.0 - Innovationen aus den rechtswissenschaftlichen Laboren (2017)

IT-Compliance : Software-Lizenzmanagement, IT-Sicherheit und Blockchain

von Jacobs, Sven
Veröffentlicht in Compliance-Management im Unternehmen (2017)

Integrationspädagogik/Inklusionspädagogik - Fragen nach dem disziplinären und professionellen Selbstverständnis : Einführung

von Hinz, Andreas
Veröffentlicht in Integrationspädagogik im Diskurs (2005)

AIGEN: Random Generation of Symbolic Transition Systems

von Jacobs, Swen
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 2 (2021)

Semantik statt Syntax — Entwicklung einer Plug & Play Lernumgebung für Datenbankabfragen

von Jacobs, Sven
Veröffentlicht in INFOS (Veranstaltung : 19. : 2021 : Wuppertal) Informatik - Bildung von Lehrkräften in allen Phasen (2021)

Integrative Schulentwicklung im Sekundarbereich : das Beispiel der Integrierten Gesamtschule Halle/Saale

Veröffentlicht 2001

Promptness and Bounded Fairness in Concurrent and Parameterized Systems

von Jacobs, Swen
Veröffentlicht in VMCAI (21. : 2020 : New Orleans, La.) Verification, model checking, and abstract interpretation (2020)

Automatic and Incremental Repair for Speculative Information Leaks

von Bard, Joachim
Veröffentlicht in VMCAI (25. : 2024 : London) Verification, model checking, and abstract interpretation ; Part 2 (2024)

Parameterized Verification of Disjunctive Timed Networks

von André, Etienne
Veröffentlicht in VMCAI (25. : 2024 : London) Verification, model checking and abstract interpretation ; Part 1 (2024)

Validation of Abstract Side-Channel Models for Computer Architectures

von Nemati, Hamed
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 1 (2020)

Parameterized Verification of Systems with Global Synchronization and Guards

von Jaber, Nouraldin
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 1 (2020)

Compliance-Management im Unternehmen : Strategie und praktische Umsetzung

Veröffentlicht 2017