Marianne Baudinet
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1988–1995
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1995 | ICDT | Constraint-Generating Dependencies. | Marianne Baudinet, Jan Chomicki, Pierre Wolper |
| 1991 | PODS | On the Representation of Infinite Temporal Data and Queries. | Marianne Baudinet, Marc Nizette, Pierre Wolper |
| 1989 | POPL | Temporal Logic Programming is Complete and Expressive. | Marianne Baudinet |
| 1988 | LICS | Proving Termination Properties of Prolog Programs: A Semantic Approach | Marianne Baudinet |