default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPeter Ochsenschläger
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2015
[i1]Peter Ochsenschläger, Roland Rieke
:
Pairs of Languages Closed under Shuffle Projection. CoRR abs/1503.08602 (2015)- 2012
- [c14]Peter Ochsenschläger, Roland Rieke:
Security Requirements for Uniformly Parameterised Cooperations. PDP 2012: 288-292 - 2011
- [c13]Peter Ochsenschläger, Roland Rieke:
Security Properties of Self-Similar Uniformly Parameterised Systems of Cooperations. PDP 2011: 640-645
2000 – 2009
- 2005
- [j9]Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph:
On a formal framework for security properties. Comput. Stand. Interfaces 27(5): 457-466 (2005) - [c12]Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph:
Abstractions Preserving Parameter Confidentiality. ESORICS 2005: 418-437 - 2003
- [c11]Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph:
Parameter-Confidentiality. GI Jahrestagung (Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit") 2003: 383-394 - 2002
- [c10]Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph:
Role Based Specification and Security Analysis of Cryptographic Protocols Using Asynchronous Product Automata. DEXA Workshops 2002: 473-482 - [c9]Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph:
Authenticity and Provability - A Formal Framework. InfraSec 2002: 227-245 - 2001
- [j8]Rüdiger Grimm, Peter Ochsenschläger:
Binding telecooperation - a formal model for electronic commerce. Comput. Networks 37(2): 171-193 (2001) - 2000
- [j7]Rüdiger Grimm, Peter Ochsenschläger:
Elektronische Verträge und ihre verbindliche Aushandlung - Ein formales Modell für verbindliche Telekooperation. Inform. Forsch. Entwickl. 15(4): 182-192 (2000) - [j6]Peter Ochsenschläger, Jürgen Repp, Roland Rieke:
Abstraction and composition: a verification method for co-operating systems. J. Exp. Theor. Artif. Intell. 12(4): 447-459 (2000) - [c8]Peter Ochsenschläger, Jürgen Repp, Roland Rieke:
The SH-Verification Tool. FLAIRS 2000: 18-22 - [c7]Peter Ochsenschläger, Jürgen Repp, Roland Rieke:
Verification of Cooperating Systems - An Approach Based on Formal Languages. FLAIRS 2000: 346-350
1990 – 1999
- 1998
- [j5]Peter Ochsenschläger, Jürgen Repp, Roland Rieke, Ulrich Nitsche:
The SH-Verification Tool - Abstraction-Based Verification of Co-operating Systems. Formal Aspects Comput. 10(4): 381-404 (1998) - 1997
- [c6]Frank Nießner, Ulrich Nitsche, Peter Ochsenschläger:
Deterministic omega-regular liveness properties. Developments in Language Theory 1997: 237-248 - 1996
- [j4]Ulrich Nitsche, Peter Ochsenschläger:
Approximaely Satisfied Properties of Systems and Simple Language Homomorphisms. Inf. Process. Lett. 60(4): 201-206 (1996) - [c5]Carla Capellmann, Ralph Demant, Farhad Fatahi-Vanani, Rafael Galvez-Estrada, Ulrich Nitsche, Peter Ochsenschläger:
Verification by Behaviour Abstraction - A Case Study of Service Interaction Detection in Intelligent Telephone Networks. CAV 1996: 466-469 - 1995
- [b2]Peter Ochsenschläger, Rainer Prinoth:
Modellierung verteilter Systeme - Konzeption, formale Spezifikation und Verifikation mit Produktnetzen. Vieweg 1995, ISBN 978-3-528-05433-5, pp. I-VIII, 1-278 - 1993
- [j3]Peter Ochsenschläger:
Verifikation verteilter Systeme mit Produktnetzen. Prax. Inf.verarb. Kommun. 16(1): 42-43 (1993) - [c4]Peter Ochsenschläger, Rainer Prinoth:
Formale Spezifikation und dynamische Analyse verteilter Systeme mit Produktionsnetzen. Kommunikation in Verteilten Systemen 1993: 456-470
1980 – 1989
- 1986
- [j2]Bernd Baumgarten, Peter Ochsenschläger:
On Termination and Phase Changes in the Presence of Unreliable Communication. Inf. Process. Lett. 22(1): 15-20 (1986) - 1985
- [c3]Bernd Baumgarten, Heinz Jürgen Burkhardt, Peter Ochsenschläger, Rainer Prinoth:
The signing of a contract - a tree-structured application. Applications and Theory in Petri Nets 1985: 1-18 - [c2]Bernd Baumgarten, Peter Ochsenschläger, Rainer Prinoth:
Building blocks for distributed system design. PSTV 1985: 19-38 - 1984
- [j1]Josef Peter Heger, Juergen Heinz, Willi Kunz, Peter Ochsenschläger, Juergen Watzke, Helmut Weber:
Inference of deterministic one-counter languages. Inf. Sci. 32(2): 139-163 (1984) - [c1]Bernd Baumgarten, Peter Ochsenschläger:
Modeling and verification of a checkpoint-restart-protocol. Fehlertolerierende Rechensysteme 1984: 353-363 - 1981
- [b1]Peter Ochsenschläger:
Binomialkoeffizienten in freien Monoiden. Darmstadt University of Technology, Germany, 1981, pp. 1-103
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
