The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

David Gilis: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Pieter Bekaert, Bert Van Nuffelen, Maurice Bruynooghe, David Gilis, Marc Denecker
    On the Transformation of Object-Oriented Conceptual Models to Logical Theories. [Citation Graph (0, 0)][DBLP]
    ER, 2002, pp:152-166 [Conf]
  2. Joost Vennekens, David Gilis, Marc Denecker
    Splitting an Operator. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:195-209 [Conf]
  3. Maarten Mariën, David Gilis, Marc Denecker
    On the Relation Between ID-Logic and Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:108-120 [Conf]
  4. David Gilis, Marc Denecker
    Compositionally results for stratified nonmonotone operators. [Citation Graph (0, 0)][DBLP]
    NMR, 2002, pp:51-56 [Conf]
  5. Joost Vennekens, David Gilis, Marc Denecker
    Splitting an operator: an algebraic modularity result and its application to auto-epistemic logic. [Citation Graph (0, 0)][DBLP]
    NMR, 2004, pp:400-408 [Conf]
  6. Joost Vennekens, David Gilis, Marc Denecker
    Splitting an operator: Algebraic modularity results for logics with fixpoint semantics [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  7. Joost Vennekens, David Gilis, Marc Denecker
    Splitting an operator: Algebraic modularity results for logics with fixpoint semantics. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2006, v:7, n:4, pp:765-797 [Journal]
  8. Joost Vennekens, David Gilis, Marc Denecker
    Erratum to splitting an operator: Algebraic modularity results for logics with fixpoint semantics. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2007, v:8, n:1, pp:- [Journal]

Search in 0.022secs, Finished in 0.023secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002