The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Zoltan Somogyi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. David B. Kemp, Kotagiri Ramamohanarao, Zoltan Somogyi
    Right-, left- and multi-linear rule transformations that maintain context information. [Citation Graph (16, 13)][DBLP]
    VLDB, 1990, pp:380-391 [Conf]
  2. Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey
    Design Overview of the Aditi Deductive Database System. [Citation Graph (5, 0)][DBLP]
    Workshop on Deductive Databases, 1990, pp:0-0 [Conf]
  3. Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey
    Design Overview of the Aditi Deductive Database System. [Citation Graph (5, 13)][DBLP]
    ICDE, 1991, pp:240-247 [Conf]
  4. Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland
    The Aditi Deductive Database System [Citation Graph (3, 27)][DBLP]
    VLDB J., 1994, v:3, n:2, pp:245-288 [Journal]
  5. Zoltan Somogyi
    A System of Precise Models for Logic Programs. [Citation Graph (2, 0)][DBLP]
    ICLP, 1987, pp:769-787 [Conf]
  6. Zoltan Somogyi, David B. Kemp, James Harland, Kotagiri Ramamohanarao
    Subsumption-Free Bottom-up Evaluation of Logic Programs with Partially Instantiated Data Structures. [Citation Graph (1, 6)][DBLP]
    EDBT, 1994, pp:59-72 [Conf]
  7. Zoltan Somogyi, Fergus Henderson, Thomas Conway
    The Execution Algorithm of Mercury, an Efficient Purely Declarative Logic Programming Language. [Citation Graph (1, 0)][DBLP]
    J. Log. Program., 1996, v:29, n:1-3, pp:17-64 [Journal]
  8. Ian MacLarty, Zoltan Somogyi, Mark Brown
    Divide-and-query and subterm dependency tracking in the mercury declarative debugger. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 2005, pp:59-68 [Conf]
  9. David Jeffery, Fergus Henderson, Zoltan Somogyi
    Type Classes in Mercury. [Citation Graph (0, 0)][DBLP]
    ACSC, 2000, pp:128-135 [Conf]
  10. Fergus Henderson, Zoltan Somogyi
    Compiling Mercury to High-Level C Code. [Citation Graph (0, 0)][DBLP]
    CC, 2002, pp:197-212 [Conf]
  11. Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh
    The G12 Project: Mapping Solver Independent Models to Efficient Solutions. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:13-16 [Conf]
  12. David B. Kemp, Thomas Conway, Evan P. Harris, Fergus Henderson, Kotagiri Ramamohanarao, Zoltan Somogyi
    Database Transactions in a Purely Declarative Logic Programming Language. [Citation Graph (0, 21)][DBLP]
    DASFAA, 1997, pp:283-292 [Conf]
  13. Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland
    The Aditi Deductive Datebase System. [Citation Graph (0, 0)][DBLP]
    Workshop on Programming with Logic Databases (Informal Proceedings), ILPS, 1993, pp:161- [Conf]
  14. Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh
    The G12 Project: Mapping Solver Independent Models to Efficient Solutions. [Citation Graph (0, 0)][DBLP]
    ICLP, 2005, pp:9-13 [Conf]
  15. Zoltan Somogyi, Kotagiri Ramamohanarao, Jayen Vaghani
    A Stream AND-Parallel Execution Algorithm with Backtracking. [Citation Graph (0, 0)][DBLP]
    ICLP/SLP, 1988, pp:1142-1159 [Conf]
  16. Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland
    Status of the Aditi Deductive Database System. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:851- [Conf]
  17. Peter Ross, David Overton, Zoltan Somogyi
    Making Mercury Programs Tail Recursive. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1999, pp:196-215 [Conf]
  18. David Jeffery, Tyson Dowd, Zoltan Somogyi
    MCORBA: A CORBA Binding for Mercury. [Citation Graph (0, 0)][DBLP]
    PADL, 1999, pp:211-227 [Conf]
  19. Ralph Becket, Maria J. García de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace
    Adding Constraint Solving to Mercury. [Citation Graph (0, 0)][DBLP]
    PADL, 2006, pp:118-133 [Conf]
  20. Ian MacLarty, Zoltan Somogyi
    Controlling Search Space Materialization in a Practical Declarative Debugger. [Citation Graph (0, 0)][DBLP]
    PADL, 2006, pp:31-44 [Conf]
  21. Zoltan Somogyi, Konstantinos F. Sagonas
    Tabling in Mercury: Design and Implementation. [Citation Graph (0, 0)][DBLP]
    PADL, 2006, pp:150-167 [Conf]
  22. Tyson Dowd, Zoltan Somogyi, Fergus Henderson, Thomas Conway, David Jeffery
    Run Time Type Information in Mercury. [Citation Graph (0, 0)][DBLP]
    PPDP, 1999, pp:224-243 [Conf]
  23. David Overton, Zoltan Somogyi, Peter J. Stuckey
    Constraint-based mode analysis of mercury. [Citation Graph (0, 0)][DBLP]
    PPDP, 2002, pp:109-120 [Conf]
  24. Zoltan Somogyi, Peter J. Stuckey
    Using the heap to eliminate stack accesses. [Citation Graph (0, 0)][DBLP]
    PPDP, 2002, pp:121-132 [Conf]
  25. Chris Speirs, Zoltan Somogyi, Harald Søndergaard
    Termination Analysis for Mercury. [Citation Graph (0, 0)][DBLP]
    SAS, 1997, pp:160-171 [Conf]
  26. Thomas Conway, Fergus Henderson, Zoltan Somogyi
    Code Generation for Mercury. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:242-256 [Conf]
  27. Zoltan Somogyi, Fergus Henderson, Thomas Conway
    The Implementation of Mercury, an Efficient Purely Declarative Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    ILPS Workshop: Implementation Techniques for Logic Programming Languages, 1994, pp:0-0 [Conf]
  28. Zoltan Somogyi
    Idempotent I/O for safe time travel [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  29. Zoltan Somogyi, Fergus Henderson
    The Implementation Technology of the Mercury Debugger. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:30, n:4, pp:- [Journal]

  30. Runtime support for region-based memory management in Mercury. [Citation Graph (, )][DBLP]


  31. DCGs + Memoing = Packrat Parsing but Is It Worth It? [Citation Graph (, )][DBLP]


Search in 0.045secs, Finished in 0.046secs
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