Zoltan Somogyi Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQuan Phan, Zoltan Somogyi, Gerda Janssens: Runtime support for region-based memory management in Mercury. ISMM 2008: 61-70
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalph Becket, Zoltan Somogyi: DCGs + Memoing = Packrat Parsing but Is It Worth It? PADL 2008: 182-196
2006
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalph Becket, Maria J. García de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace: Adding Constraint Solving to Mercury. PADL 2006: 118-133
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZoltan Somogyi, Konstantinos F. Sagonas: Tabling in Mercury: Design and Implementation. PADL 2006: 150-167
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan MacLarty, Zoltan Somogyi: Controlling Search Space Materialization in a Practical Declarative Debugger. PADL 2006: 31-44
2005
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan MacLarty, Zoltan Somogyi, Mark Brown: Divide-and-query and subterm dependency tracking in the mercury declarative debugger. AADEBUG 2005: 59-68
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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. CP 2005: 13-16
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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. ICLP 2005: 9-13
2003
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZoltan Somogyi: Idempotent I/O for safe time travel CoRR cs.LO/0311040: (2003)
2002
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFergus Henderson, Zoltan Somogyi: Compiling Mercury to High-Level C Code. CC 2002: 197-212
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Overton, Zoltan Somogyi, Peter J. Stuckey: Constraint-based mode analysis of mercury. PPDP 2002: 109-120
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZoltan Somogyi, Peter J. Stuckey: Using the heap to eliminate stack accesses. PPDP 2002: 121-132
2000
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Jeffery, Fergus Henderson, Zoltan Somogyi: Type Classes in Mercury. ACSC 2000: 128-135
1999
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Ross, David Overton, Zoltan Somogyi: Making Mercury Programs Tail Recursive. LOPSTR 1999: 196-215
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Jeffery, Tyson Dowd, Zoltan Somogyi: MCORBA: A CORBA Binding for Mercury. PADL 1999: 211-227
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTyson Dowd, Zoltan Somogyi, Fergus Henderson, Thomas Conway, David Jeffery: Run Time Type Information in Mercury. PPDP 1999: 224-243
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZoltan Somogyi, Fergus Henderson: The Implementation Technology of the Mercury Debugger. Electr. Notes Theor. Comput. Sci. 30(4): (1999)
1997
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid B. Kemp, Thomas Conway, Evan P. Harris, Fergus Henderson, Kotagiri Ramamohanarao, Zoltan Somogyi: Database Transactions in a Purely Declarative Logic Programming Language. DASFAA 1997: 283-292
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChris Speirs, Zoltan Somogyi, Harald Søndergaard: Termination Analysis for Mercury. SAS 1997: 160-171
1996
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZoltan Somogyi, Fergus Henderson, Thomas Conway: The Execution Algorithm of Mercury, an Efficient Purely Declarative Logic Programming Language. J. Log. Program. 29(1-3): 17-64 (1996)
1995
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Conway, Fergus Henderson, Zoltan Somogyi: Code Generation for Mercury. ILPS 1995: 242-256
1994
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZoltan Somogyi, David B. Kemp, James Harland, Kotagiri Ramamohanarao: Subsumption-Free Bottom-up Evaluation of Logic Programs with Partially Instantiated Data Structures. EDBT 1994: 59-72
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZoltan Somogyi, Fergus Henderson, Thomas Conway: The Implementation of Mercury, an Efficient Purely Declarative Logic Programming Language. ILPS Workshop: Implementation Techniques for Logic Programming Languages 1994: 0-
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland: The Aditi Deductive Database System VLDB J. 3(2): 245-288 (1994)
1993
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland: Status of the Aditi Deductive Database System. ICLP 1993: 851
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland: The Aditi Deductive Datebase System. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993: 161
1991
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey: Design Overview of the Aditi Deductive Database System. ICDE 1991: 240-247
1990
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid B. Kemp, Kotagiri Ramamohanarao, Zoltan Somogyi: Right-, left- and multi-linear rule transformations that maintain context information. VLDB 1990: 380-391
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey: Design Overview of the Aditi Deductive Database System. Workshop on Deductive Databases 1990: 0-
1988
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZoltan Somogyi, Kotagiri Ramamohanarao, Jayen Vaghani: A Stream AND-Parallel Execution Algorithm with Backtracking. ICLP/SLP 1988: 1142-1159
1987
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZoltan Somogyi: A System of Precise Models for Logic Programs. ICLP 1987: 769-787

Coauthor Index

1Maria Garcia de la Banda (Maria J. García de la Banda) [24] [25] [29]
2Ralph Becket [29] [30]
3Mark Brown [26]
4Thomas Conway [9] [11] [12] [14] [16]
5Tyson Dowd [16] [17]
6James Harland [6] [7] [8] [10]
7Evan P. Harris [14]
8Fergus Henderson [9] [11] [12] [14] [15] [16] [19] [22]
9Gerda Janssens [31]
10David Jeffery [16] [17] [19]
11David B. Kemp [3] [4] [5] [6] [7] [8] [10] [14]
12Tim S. Leask [6] [7] [8]
13Ian MacLarty [26] [27]
14Michael J. Maher [24] [25]
15Kim Marriott [24] [25] [29]
16David Overton [18] [21]
17Quan Phan [31]
18Kotagiri Ramamohanarao [2] [3] [4] [5] [6] [7] [8] [10] [14]
19Peter Ross [18]
20Konstantinos F. Sagonas [28]
21John K. Slaney [24] [25]
22Harald Søndergaard [13]
23Chris Speirs [13]
24Peter J. Stuckey [3] [5] [6] [7] [8] [20] [21] [24] [25] [29]
25Jayen Vaghani [2] [3] [5] [6] [7] [8]
26Mark Wallace [24] [25] [29]
27Toby Walsh [24] [25]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)