Concepedia

Ulrich Ultes‐Nitsche

UU

8

Publications

162

Citations

8

H-Index

1996

Active since

Affiliations

University of Fribourg(Current)

Ulrich Ultes‐Nitsche is an author at University of Fribourg specializing in engineering, cryptography, and computer science.

Top concepts

EngineeringCryptographyComputer ScienceVirologyData SecurityAutomated ReasoningFormal VerificationInformation SecurityInformation ForensicsGrammar

Publications per year

1996–2018

8

Publications

8

The SH-Verification Tool — Abstraction-Based Verification of Co-operating Systems

Peter Ochsenschläger, Jürgen Repp, Roland Rieke et al. · Formal Aspects of Computing · 1998 · 33 citations · Full text

Approximately satisfied properties of systems and simple language homomorphisms

Ulrich Ultes‐Nitsche, Peter Ochsenschläger · Information Processing Letters · 1996 · 26 citations

Satisfied Properties, Combinatorics On Word, Automated Reasoning +4

Non-signature based virus detection

In Seon Yoo, Ulrich Ultes‐Nitsche · Journal in Computer Virology · 2006 · 25 citations

Engineering, Viral Diagnostics, Anti-virus Technique +4

Relative liveness and behavior abstraction (extended abstract)

Ulrich Ultes‐Nitsche, Pierre Wolper · 1997 · 22 citations · Full text

Questions and Answers About Ten Formal Methods

Pieter Hartel, Michael Butler, Andrew Currie et al. · ePrints Soton (University of Southampton) · 1999 · 15 citations · Full text

Rows per page

1–5 of 8