Search the dblp DataBase
Marianne Baudinet: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Marianne Baudinet, Marc Niézette, Pierre Wolper
On the Representation of Infinite Temporal Data and Queries. [Citation Graph (10, 18)][DBLP]
PODS, 1991, pp:280-290 [Conf] - Marianne Baudinet
Temporal Logic Programming is Complete and Expressive. [Citation Graph (6, 0)][DBLP]
POPL, 1989, pp:267-280 [Conf] - Marianne Baudinet
On the Expressiveness of Temporal Logic Programming [Citation Graph (3, 0)][DBLP]
Inf. Comput., 1995, v:117, n:2, pp:157-180 [Journal] - Marianne Baudinet, Jan Chomicki, Pierre Wolper
Constraint-Generating Dependencies. [Citation Graph (2, 24)][DBLP]
ICDT, 1995, pp:322-337 [Conf] - Marianne Baudinet, Jan Chomicki, Pierre Wolper
Constraint-Generating Dependencies. [Citation Graph (1, 0)][DBLP]
J. Comput. Syst. Sci., 1999, v:59, n:1, pp:94-115 [Journal] - Marianne Baudinet
Proving Termination Properties of Prolog Programs: A Semantic Approach [Citation Graph (0, 0)][DBLP]
LICS, 1988, pp:336-347 [Conf] - Marianne Baudinet, Jan Chomicki, Pierre Wolper
Constraint-Generating Dependencies. [Citation Graph (0, 0)][DBLP]
PPCP, 1994, pp:205-217 [Conf] - Marianne Baudinet
Proving Termination Properties of Prolog Programs: A Semantic Approach. [Citation Graph (0, 0)][DBLP]
J. Log. Program., 1992, v:14, n:1&2, pp:1-29 [Journal]
Search in 0.001secs, Finished in 0.002secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002