default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPeter B. Ladkin
Person information
- affiliation: Bielefeld University, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2012
[c22]Peter B. Ladkin:
The Fukushima Accident. SSS 2012: 189-207
2000 – 2009
- 2009
- [c21]Jörn Stuphorn, Bernd Sieker, Peter B. Ladkin:
Dependable Risk Analysis for Systems with E/E/PE Components: Two Case Studies. SSS 2009: 95-115 - 2004
- [c20]Peter B. Ladkin:
Causal Analysis of the ACAS/TCAS Sociotechnical System. SCS 2004: 3-12 - 2003
- [c19]Peter B. Ladkin, Jörn Stuphorn:
Two Causal Analyses of the Black Hawk Shootdown during Operation Provide Comfort. SCS 2003: 3-23 - 2002
- [j11]Maroua Bouzid, Peter B. Ladkin:
Simple Reasoning with Time-Dependent Propositions. Log. J. IGPL 10(4): 379-399 (2002) - 2000
- [c18]Peter B. Ladkin:
Causal Reasoning about Aircraft Accidents. SAFECOMP 2000: 344-360
1990 – 1999
- 1999
- [j10]Peter B. Ladkin, Leslie Lamport, Bryan Olivier, Denis Roegel:
Lazy Caching in TLA. Distributed Comput. 12(2-3): 151-174 (1999) - 1998
- [j9]Peter B. Ladkin:
The Risks of Hubris. Commun. ACM 41(12): 160 (1998) - [c17]Wendy Bartlett, Peter B. Ladkin, Derek Long, Brian Randell:
Cyber Threats (Panel). FTCS 1998: 104-106 - 1997
- [j8]Peter B. Ladkin, Alexander Reinefeld:
Fast Algebraic Methods for Interval Constraint Problems. Ann. Math. Artif. Intell. 19(3-4): 383-411 (1997) - [j7]Peter B. Ladkin:
Risks of Technological Remedy. Commun. ACM 40(11): 160 (1997) - [j6]Harold W. Thimbleby, Peter B. Ladkin:
From logic to manuals again. IEE Proc. Softw. Eng. 144(3): 185-192 (1997) - [c16]Lutz Sommerfeld, Peter B. Ladkin:
Beschreibung eines vagen Echtzeit-Hybrid-Systems in TLA+. FBT 1997: 79-88 - 1996
- [j5]Harold Thimbleby, Peter B. Ladkin:
From logic to manuals. Softw. Eng. J. 11(6): 347-354 (1996) - [c15]Stefan Leue, Peter B. Ladkin:
Implementing and verifying MSC specifications using Promela/XSpin. The Spin Verification System 1996: 65-89 - 1995
- [j4]Peter B. Ladkin, Stefan Leue:
Interpreting Message Flow Graphs. Formal Aspects Comput. 7(5): 473-509 (1995) - [c14]Harold W. Thimbleby, Peter B. Ladkin:
A Proper Explanation When You Need One. BCS HCI 1995: 107-118 - [p1]Peter B. Ladkin, Barbara B. Simons:
Static Deadlock Analysis for CSP-Type Communications. Responsive Computer Systems 1995: 89-102 - 1994
- [j3]Peter B. Ladkin, Harold W. Thimbleby:
Comments on a paper by Voas, Payne and Cohen: 'A model for detecting the existence of software corruption in real time'. Comput. Secur. 13(6): 527-531 (1994) - [j2]Peter B. Ladkin, Roger D. Maddux
:
On Binary Constraint Problems. J. ACM 41(3): 435-469 (1994) - [c13]Peter B. Ladkin, Barbara B. Simons:
Static analysis of multiway synchronization. CASCON 1994: 39 - [c12]Peter B. Ladkin, Stefan Leue:
Four issues concerning the semantics of Message Flow Graphs. FORTE 1994: 355-369 - 1993
- [c11]Peter B. Ladkin, Stefan Leue:
What Do Message Sequence Charts Mean? FORTE 1993: 301-316 - 1992
- [j1]Peter B. Ladkin, Alexander Reinefeld:
Effective Solution of Qualitative Interval Constraint Problems. Artif. Intell. 57(1): 105-124 (1992) - [c10]Peter B. Ladkin, Alexander Reinefeld:
A Symbolic Approach to Interval Constraint Problems. AISMC 1992: 65-84 - [c9]Peter B. Ladkin, Stefan Leue:
On the Semantics of Message Sequence Charts. FBT 1992: 88-104 - [c8]Peter B. Ladkin, Barbara Simons:
Compile-time analysis of communicating processes. ICS 1992: 248-259 - 1991
- [c7]Henry A. Kautz, Peter B. Ladkin:
Integrating Metric and Qualitative Temporal Reasoning. AAAI 1991: 241-246
1980 – 1989
- 1988
- [c6]Peter B. Ladkin:
Satisfying First-Order Constraints About Time Intervals. AAAI 1988: 512-517 - 1987
- [c5]Peter B. Ladkin:
Models of Axioms for Time Intervals. AAAI 1987: 234-239 - [c4]Peter B. Ladkin:
Specification of Time Dependencies and Synthesis of Concurrent Processes. ICSE 1987: 106-115 - [c3]Peter B. Ladkin:
The Completeness of a Natural System for Reasoning with Time Intervals. IJCAI 1987: 462-465 - 1986
- [c2]Peter B. Ladkin:
Primitives and Units for Time Specification. AAAI 1986: 353-359 - [c1]Peter B. Ladkin:
Time Representation: A Taxonomy of Internal Relations. AAAI 1986: 360-366
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 22:55 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:
