Patrice Enjalbert
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
1979–2013
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | FedCSIS | Rhetorical Browzing in Journalistic Texts: Preliminary Investigations. | Patrice Enjalbert, Alexandre Labadi, Stphane Ferrari |
| 2001 | ICAIL | Norms and time in agent-based systems. | Tiberiu Stratulat, Franoise Clrin-Debart, Patrice Enjalbert |
| 2001 | TIME | Temporal Reasoning: An Application to Normative Systems. | Tiberiu Stratulat, Franoise Clrin-Debart, Patrice Enjalbert |
| 1998 | TIME | A Model for Time Granularity in Natural Language. | Grard Becher, Franoise Clrin-Debart, Patrice Enjalbert |
| 1989 | IJCAI | Modal Theorem Proving: An Equational Viewpoint. | Yves Auffray, Patrice Enjalbert |
| 1984 | MFCS | Many-Sorted Temporal Logic for Multi-Processes Systems. | Patrice Enjalbert, Max Michel |
| 1979 | MFCS | Program Equivalence and Provability. | Guy Cousineau, Patrice Enjalbert |