UB Paderborn / Katalog / Suche / in CDI

On dynamic aspects of OOD frameworks in component-based software development in computational logic

Lecture notes in computer science, 2000, p.42-61

2000

Volltextzugriff (PDF)

Infinite State Model Checking by Abstract Interpretation and Program Specialisation

Lecture notes in computer science, 2000, p.62-81

2000

Volltextzugriff (PDF)

Photoproduction of Mesons off Nuclei - The Photonuclear Programs at ELSA and MAMI

Journal of physics. Conference series, 2012, Vol.349 (1), p.12003

Krusche, B

2012

Volltextzugriff (PDF)

Constraint Logic Programming Applied to Model Checking

Lecture notes in computer science, 2000, p.30-41

2000

Volltextzugriff (PDF)

Context-Moving Transformations for Function Verification

Lecture notes in computer science, 2000, p.293-312

2000

Volltextzugriff (PDF)

Imperative Program Specialisation: An Approach Using CLP

Lecture notes in computer science, 2000, p.102-117

2000

Volltextzugriff (PDF)

Annotations for Prolog – A Concept and Runtime Handling

Lecture notes in computer science, 2000, p.234-254

2000

Volltextzugriff (PDF)

Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency

Lecture notes in computer science, 2000, p.10-29

2000

Volltextzugriff (PDF)

Roles of Program Extension

Lecture notes in computer science, 2000, p.136-155

2000

Volltextzugriff (PDF)

Transformation Rules for Logic Programs with Goals as Arguments

Lecture notes in computer science, 2000, p.176-195

2000

Volltextzugriff (PDF)

Overview of the recent results from CLAS

Journal of physics. Conference series, 2012, Vol.349 (1), p.12004-15

Mirazita, Marco

2012

Volltextzugriff (PDF)

Study of N properties at CLAS

Journal of physics. Conference series, 2012, Vol.349 (1), p.12009-8

Watts, D P

2012

Volltextzugriff (PDF)

Bisimulation and Unwinding for Verifying Possibilistic Security Properties

Lecture notes in computer science, 2003, p.223-237

2003

Volltextzugriff (PDF)

Algebraic Specification and Program Development by Stepwise Refinement

Lecture notes in computer science, 2000, p.1-9

2000

Volltextzugriff (PDF)

Unwinding Conditions for Security in Imperative Languages

Lecture notes in computer science, 2005, p.85-100

2005

Volltextzugriff (PDF)

Probing new physics in electroweak penguins through B d and B s decays

Journal of physics. Conference series, 2011, Vol.335, p.12039

2011

Volltextzugriff (PDF)

Modelling downgrading in information flow security

Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004, 2004, p.187-201

2004

Volltextzugriff (PDF)

Precision measurement of CP Violation in D 0 → π + π

Journal of physics. Conference series, 2011, Vol.335, p.12044

Ruffini, Fabrizio

2011

Volltextzugriff (PDF)

Refinement operators and information flow security

First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings, 2003, p.44-53

2003

Volltextzugriff (PDF)

On safe folding

Programming Language Implementation and Logic Programming, 2005, p.172-186

2005

Volltextzugriff (PDF)

Secure contexts for confidential data

16th IEEE Computer Security Foundations Workshop, 2003. Proceedings, 2003, p.14-28

2003

Volltextzugriff (PDF)

Programs Without Failures

Lecture notes in computer science, 1998, p.28-48

1998

Volltextzugriff (PDF)

Differential logic programming

Annual Symposium on Principles of Programming Languages: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 1993, p.359-370

1993

Volltextzugriff (PDF)

In vitro tests to evaluate some dental composites

1992 14th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 1992, Vol.3, p.1274-1276

1992

Volltextzugriff (PDF)

Menü

Weitere Dienste

Einstellungen

On dynamic aspects of OOD frameworks in component-based software development in computational logic

Infinite State Model Checking by Abstract Interpretation and Program Specialisation

Photoproduction of Mesons off Nuclei - The Photonuclear Programs at ELSA and MAMI

Constraint Logic Programming Applied to Model Checking

Context-Moving Transformations for Function Verification

Imperative Program Specialisation: An Approach Using CLP

Annotations for Prolog – A Concept and Runtime Handling

Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency

Roles of Program Extension

Transformation Rules for Logic Programs with Goals as Arguments

Overview of the recent results from CLAS

Study of N properties at CLAS

Bisimulation and Unwinding for Verifying Possibilistic Security Properties

Algebraic Specification and Program Development by Stepwise Refinement

Unwinding Conditions for Security in Imperative Languages

Probing new physics in electroweak penguins through B d and B s decays

Modelling downgrading in information flow security

Precision measurement of CP Violation in D 0 → π + π

Refinement operators and information flow security

On safe folding

Secure contexts for confidential data

Programs Without Failures

Differential logic programming

In vitro tests to evaluate some dental composites

Aktive Filter

Suchergebnisse filtern