MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Bart Jacobs" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

108 documents found, showing 1 through 10. Next 10 →

ATOM

Weakest Precondition Reasoning for Java Programs with JML Annotations
by Bart Jacobs — 2002 — Journal of Logic and Algebraic Programming
…Weakest Precondition Reasoning for Java Programs with JML Annotations Bart Jacobs Dept. Computer…
Cited by 15 (2 self) – Add To MetaCart

Coalgebras and Approximation
by Bart Jacobs — 1994 — Logical Foundations of Computer Science, number 813 in Lect. Notes Comp. Sci
…Coalgebras and Approximation 1 Bart Jacobs 2 Abstract. Motivated by a new approach…
Cited by 1 (1 self) – Add To MetaCart

Exercises in Coalgebraic Specification
by Bart Jacobs — 1999
…Exercises in Coalgebraic Specication ? Bart Jacobs Dep. Comp. Sci., Univ. Nijmegen, P.O. Box 9010…
Cited by 15 (2 self) – Add To MetaCart

Object-Oriented Hybrid Systems of Coalgebras plus Monoid Actions
by Bart Jacobs — 1996 — Algebraic Methodology and Software Technology (AMAST
…Object-Oriented Hybrid Systems of Coalgebras plus Monoid Actions Bart Jacobs Dep. Comp. Sci…
Cited by 4 (1 self) – Add To MetaCart

Behaviour-Refinement of Coalgebraic Specifications with Coinductive Correctness Proofs
by Bart Jacobs — 1997 — Proofs, Proc. TAPSOFT '97, Springer LNCS 1214
…Behaviour-Refinement of Coalgebraic Specifications with Coinductive Correctness Proofs Bart…
Cited by 5 (2 self) – Add To MetaCart

JavaCard Program Verification
by Bart Jacobs
…JavaCard Program Verication Bart Jacobs Computing Science Institute, University of Nijmegen…
Cited by 1 (1 self) – Add To MetaCart

Coalgebras in Specification and Verification for Object-Oriented Languages
by Bart Jacobs — 1999
…Coalgebras in Specication and Verication for Object-Oriented Languages Bart Jacobs y Department…
Cited by 3 (0 self) – Add To MetaCart

Coalgebraic Specifications and Models of deterministic Hybrid Systems
by Bart Jacobs — 1996 — Algebraic Methods and Software Technology, number 1101 in Lect
…Coalgebraic Specifications and Models of deterministic Hybrid Systems Bart Jacobs CWI, Kruislaan…
Cited by 9 (7 self) – Add To MetaCart

Java's Integral Types in PVS
by Bart Jacobs — 2003 — Formal Methods for Open Object-Based Distributed Systems (FMOODS 2003), volume 2884 of LNCS
…Java's Integral Types in PVS Bart Jacobs Dep. Comp. Sci., Univ. Nijmegen, P.O. Box 9010, 6500 GL…
Cited by 7 (2 self) – Add To MetaCart

On Cubism
by Bart Jacobs
…To appear in: Journal of Functional Programming. On Cubism BART JACOBS CWI, Kruislaan 413, 1098…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB