MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "David Baelde" – sorted by Relevance.

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

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

4 documents found, showing 1 through 4.

ATOM

Least and greatest fixed points in linear logic Extended Version
by David Baelde, Dale Miller — 2007
…Least and greatest fixed points in linear logic Extended Version June 12, 2007 David Baelde…
Cited by 1 (0 self) – Add To MetaCart

Unreliable Failure Detectors for Asynchronous Distributed Systems
by David Baelde, E. N. S Lyon, Franck Petit, Vincent Villain, Laria Laria — 2003
…Unreliable failure detectors for asynchronous distributed systems David Baelde David…
Add To MetaCart

The Bedwyr system for model checking over syntactic expressions
by David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu, École Polytechnique — 2007 — 21th Conference on Automated Deduction, LNAI 4603, 391–397
…The Bedwyr system for model checking over syntactic expressions David Baelde 1 , Andrew Gacek 2…
Cited by 4 (2 self) – Add To MetaCart

A User Guide to Bedwyr
by David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu, Inria Futurs, École Polytechnique — 2006
…A User Guide to Bedwyr ∗ David Baelde 1 , Andrew Gacek 2 , Dale Miller 1 , Gopalan Nadathur 2…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 4.

ATOM

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