dblp.uni-trier.dewww.uni-trier.de

Paul Tarau Vis

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

*2009
72EEPaul Tarau: A Groupoid of Isomorphic Data Transformations. Calculemus/MKM 2009: 170-185
71EEPaul Tarau, Arun Majumdar: Interoperating Logic Engines. PADL 2009: 137-151
70EEPaul Tarau: An embedded declarative data transformation language. PPDP 2009: 171-182
69EEPaul Tarau: Isomorphisms, hylomorphisms and hereditarily finite data types in Haskell. SAC 2009: 1898-1902
2008
68EEPaul Tarau, Brenda Luderman: Exact combinational logic synthesis and non-standard circuit design. Conf. Computing Frontiers 2008: 179-188
67EEPaul Tarau: Logic Engines as Interactors. ICLP 2008: 703-707
66EEPaul Tarau, Brenda Luderman: Revisiting exact combinational circuit synthesis. SAC 2008: 1758-1759
65EEPaul Tarau, Brenda Luderman: A Logic Programming Framework for Combinational Circuit Synthesis CoRR abs/0804.2095: (2008)
64EEPaul Tarau: Executable Set Theory and Arithmetic Encodings in Prolog CoRR abs/0808.0540: (2008)
63EEPaul Tarau: Ranking and Unranking of Hereditarily Finite Functions and Permutations CoRR abs/0808.0554: (2008)
62EEPaul Tarau: Pairing Functions, Boolean Evaluation and Binary Decision Diagrams CoRR abs/0808.0555: (2008)
61EEPaul Tarau: Logic Engines as Interactors CoRR abs/0808.0556: (2008)
60EEPaul Tarau: Ranking Catamorphisms and Unranking Anamorphisms on Hereditarily Finite Datatypes CoRR abs/0808.0753: (2008)
59EEPaul Tarau: A Functional Hitchhiker's Guide to Hereditarily Finite Sets, Ackermann Encodings and Pairing Functions CoRR abs/0808.0754: (2008)
58EEPaul Tarau: Declarative Combinatorics: Boolean Functions, Circuit Synthesis and BDDs in Haskell CoRR abs/0808.0760: (2008)
57EEPaul Tarau: Declarative Combinatorics: Isomorphisms, Hylomorphisms and Hereditarily Finite Data Types in Haskell CoRR abs/0808.2953: (2008)
2007
56EEPaul Tarau, Brenda Luderman: A Logic Programming Framework for Combinational Circuit Synthesis. ICLP 2007: 180-194
2005
55EEPaul Tarau: Agent oriented logic programming in Jinni 2004. SAC 2005: 1427-1428
54EEDavid Hurt, Paul Tarau: An empirical evaluation of communication effectiveness in autonomous reactive multiagent systems. SAC 2005: 74-78
53EEPaul Tarau, Rada Mihalcea, Elizabeth Figa: Semantic document engineering with WordNet and PageRank. SAC 2005: 782-786
2004
52EEPaul Tarau: Agent Oriented Logic Programming Constructs in Jinni 2004. ICLP 2004: 477-478
51 Elizabeth Figa, Paul Tarau: Conversational Agents as Web Services. International Conference on Internet Computing 2004: 773-782
50EEPaul Tarau, Elizabeth Figa: Knowledge-based conversational agents and virtual storytelling. SAC 2004: 39-44
49EEPaul Tarau, Verónica Dahl: High-Level Networking With Mobile Code And First Order AND-Continuations CoRR cs.PL/0405088: (2004)
2003
48EEQinan Zhou, Paul Tarau: Garbage Collection Algorithms for Java-Based Prolog Engines. PADL 2003: 304-319
2001
47EESatyam Tyagi, Paul Tarau, Armin R. Mikler: Multicast Protocols for Jinni Agents. IICS 2001: 1-18
46EESatyam Tyagi, Paul Tarau: A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces. PADL 2001: 322-336
45EEAnima Gupta, Paul Tarau: Logic Programming Techniques for Dynamic VRML Web Content Generation. PADL 2001: 93-107
44 Paul Tarau, Verónica Dahl: High-Level Networking with Mobile Code and First Order AND-Continuations. TPLP 1(3): 359-380 (2001)
2000
43EEPaul Tarau: Fluents: A Refactoring of Prolog for Uniform Reflection an Interoperation with External Objects. Computational Logic 2000: 1225-1239
1999
42EEPaul Tarau, Verónica Dahl: Towards a Logic Programming Infrastructure for Internet Programming. Artificial Intelligence Today 1999: 431-457
41EEPaul Tarau: Multi-engine Horn Clause Prolog. Electr. Notes Theor. Comput. Sci. 30(3): (1999)
40 Verónica Dahl, Stephen Rochefort, Marius Scurtescu, Paul Tarau: A Spanish Interface To LogiMoo: Towards Multilingual Virtual Worlds. Informatica (Slovenia) 23(4): (1999)
39 Paul Tarau, Koenraad De Bosschere, Verónica Dahl, Stephen Rochefort: LogiMOO: An Extensible Multi-user Virtual World with Natural Language Control. J. Log. Program. 38(3): 331-353 (1999)
1998
38 Paul Tarau, Verónica Dahl: Code Migration with First Order Continuations. APPIA-GULP-PRODE 1998: 215-226
37 Paul Tarau: Jinni: a Lightweight Java-based Logic Engine for Internet Programming. Implementation Technology for Programming Languages based on Logic 1998: 1-15
36EEPaul Tarau: Towards Inference and Computation Mobility: The Jinni Experiment. JELIA 1998: 385-390
1997
35EEPaul Tarau, Verónica Dahl, Stephen Rochefort, Koenraad De Bosschere: LogiMOO: A Multi-User Virtual World with Agents and Natural Language Programming. CHI Extended Abstracts 1997: 323-324
34 Verónica Dahl, Paul Tarau, Renwei Li: Assumption Grammars for Processing Natural Language. ICLP 1997: 256-270
33 Paul Tarau: Logic Programming Tools for Advanced Internet Programming (Abstract). ILPS 1997: 33-34
32 Osma R. Zaine, Andrew Fall, Stephen Rochefort, Verónica Dahl, Paul Tarau: On-Une Resource Discovery Using Natural Language. RIAO 1997: 336-356
31EEPaul Tarau, Verónica Dahl, Koenraad De Bosschere: A Logic Programming Infrastructure for Remote Execution, Mobile Code and Agents. WETICE 1997: 106-112
30 Paul Tarau, Koenraad De Bosschere, Bart Demoen: On Delphi Lemmas and other Memoing Techniques for Deterministic Logic Programs. J. Log. Program. 30(2): 145-163 (1997)
1996
29 Paul Tarau, Verónica Dahl, Andrew Fall: Backtrackable State with Linear Affine Implication and Assumption Grammars. ASIAN 1996: 53-63
28 Paul Tarau, Verónica Dahl, Koenraad De Bosschere: Towards Logic Programming Based Coordination in Virtual Worlds. Coordination Technology for Collaborative Applications 1996: 49-62
27 Verónica Dahl, Andrew Fall, Stephen Rochefort, Paul Tarau: A Hypothetical Reasoning-based Framework for NL Processing. ICTAI 1996: 67-70
26EEBart Demoen, Geert Engels, Paul Tarau: Segment order preserving copying garbage collection for WAM based Prolog. SAC 1996: 380-386
25 Paul Tarau, Koenraad De Bosschere, Bart Demoen: Partial Translation: Towards a Portable and Efficient Prolog Implementation Technology. J. Log. Program. 29(1-3): 65-83 (1996)
24 Koenraad De Bosschere, Paul Tarau: Blackboard-based Extensions in Prolog. Softw., Pract. Exper. 26(1): 49-69 (1996)
1995
23 Yves Bekkers, Paul Tarau: Monadic Constructs for Logic Programming. ILPS 1995: 51-65
22 Paul Tarau, Verónica Dahl, Andrew Fall: Backtrackable State with Linear Assumptions, Continuations and Hidden Accumulator Grammars. ILPS 1995: 642
21 Yves Bekkers, Paul Tarau: Logic Programming with Monads and Comprehensions. JFPLC 1995: 161-171
20 Verónica Dahl, Paul Tarau: Extending Datalog Grammars. NLDB 1995: 0-
19EEPaul Tarau, Bart Demoen, Koenraad De Bosschere: The power of partial tanslation: an experiment with the C-ification of binary Prolog. SAC 1995: 152-156
18EEVerónica Dahl, Paul Tarau, Lidia Moreno, Manuel Palomar: Treating Coordination with Datalog Grammars CoRR cmp-lg/9505006: (1995)
1994
17 Verónica Dahl, Paul Tarau, Yan-Nong Huang: Datalog Grammars. GULP-PRODE (2) 1994: 268-282
16 Paul Tarau: Low-level issues in implementing a high-performance continuation passing Binary Prolog engine. JFPLC 1994: 287-
15 Paul Tarau, Verónica Dahl: Logic Programming and Logic Grammars with First-Order Continuations. LOPSTR 1994: 215-230
14 Paul Tarau, Bart Demoen: Language Embedding by Dual Compilation and State Mirroring. LPE 1994: 0-
13EEPaul Tarau, Ulrich Neumerkel: A Novel Term Compression Scheme and Data Representation in the BinWAM. PLILP 1994: 73-87
12EEKoenraad De Bosschere, Paul Tarau: High performance continuation passing style Prolog-to-C mapping. SAC 1994: 383-387
1993
11 Paul Tarau: Language Issues and Programming Techniques in BinProlog. GULP 1993: 173-188
10 Paul Tarau: An Efficient Specialization of the WAM for Continuation Passing Binary Programs. ILPS 1993: 652
9 Koenraad De Bosschere, Paul Tarau: Blackboard-based Extensions for Parallel Programming in BinProlog. ILPS 1993: 664
8 Paul Tarau, Koenraad De Bosschere: Memoing with Abstract Answers and Delphi Lemmas. LOPSTR 1993: 196-209
7 Koen De Bosschere, Paul Tarau: Blackboard Communication in Logic Programming. PARCO 1993: 257-264
1992
6 Paul Tarau: Ecological Memory Management in a Continuation Passing Prolog Engine. IWMM 1992: 344-356
5EEPaul Tarau: BinProlog: a Continuation Passing Style Prolog Engine. PLILP 1992: 479-480
1991
4 Paul Tarau, Michel Boyer: Nonstandard Answers of Elementary Logic Programs. ICLP Workshop on Construction of Logic Programs 1991: 279-300
3EEPaul Tarau: Program Transformations and WAM-Support for the Compilation of Definite Metaprograms. RCLP 1991: 462-473
1990
2EEPaul Tarau, Michel Boyer: Elementary Logic Programs. PLILP 1990: 159-173
1988
1 Paul Tarau, Michel Boyer: Prolog Meta-Programming with Soft Databases. META 1988: 365-381

Coauthor Index

1Yves Bekkers [21] [23]
2Koen De Bosschere (Koenraad De Bosschere) [7] [8] [9] [12] [19] [24] [25] [28] [30] [31] [35] [39]
3Michel Boyer [1] [2] [4]
4Verónica Dahl [15] [17] [18] [20] [22] [27] [28] [29] [31] [32] [34] [35] [38] [39] [40] [42] [44] [49]
5Bart Demoen [14] [19] [25] [26] [30]
6Geert Engels [26]
7Andrew Fall [22] [27] [29] [32]
8Elizabeth Figa [50] [51] [53]
9Anima Gupta [45]
10Yan-Nong Huang [17]
11David Hurt [54]
12Renwei Li [34]
13Brenda Luderman [56] [65] [66] [68]
14Arun Majumdar [71]
15Rada Mihalcea [53]
16Armin R. Mikler [47]
17Lidia Moreno [18]
18Ulrich Neumerkel [13]
19Manuel Palomar [18]
20Stephen Rochefort [27] [32] [35] [39] [40]
21Marius Scurtescu [40]
22Satyam Tyagi [46] [47]
23Osma R. Zaine [32]
24Qinan Zhou [48]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)