Paul Tarau Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
i18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: Tree-based Arithmetic and Compressed Representations of Giant Numbers. CoRR abs/1301.0114 (2013)
i17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: Binary Tree Arithmetic with Generalized Constructors. CoRR abs/1301.0128 (2013)
i16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: On Two Infinite Families of Pairing Bijections. CoRR abs/1301.0129 (2013)
2012
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: The BinProlog experience: Architecture and implementation choices for continuation passing Prolog and first-class logic engines. TPLP 12(1-2): 97-126 (2012)
c68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: Deriving a Fast Inverse of the Generalized Cantor N-tupling Bijection. ICLP (Technical Communications) 2012: 312-322
c67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: A Declarative Specification of Tree-Based Symbolic Arithmetic Computations. PADL 2012: 273-288
c66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau, David Haraburda: On computing with types. SAC 2012: 1889-1896
c65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: Computing with Free Algebras. SYNASC 2012: 15-22
c64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau, Brenda Luderman: Boolean Evaluation with a Pairing and Unpairing Function. SYNASC 2012: 384-390
2011
c63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: Coordination and Concurrency in Multi-engine Prolog. COORDINATION 2011: 157-171
c62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: Emulating Primality with Multiset Representations of Natural Numbers. ICTAC 2011: 218-238
c61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: Integrated symbol table, engine and heap memory management in multi-engine prolog. ISMM 2011: 129-138
c60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: Concurrent programming constructs in multi-engine prolog: parallelism just for the cores (and not more!). DAMP 2011: 55-64
i15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: The BinProlog Experience: Architecture and Implementation Choices for Continuation Passing Prolog and First-Class Logic Engines. CoRR abs/1102.1178 (2011)
i14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: Computing with Hereditarily Finite Sequences. CoRR abs/1112.3782 (2011)
i13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: Bijective Term Encodings. CoRR abs/1112.3788 (2011)
2010
c59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: A Unified Formal Description of Arithmetic and Set Theoretical Data Types. AISC/MKM/Calculemus 2010: 247-261
c58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: On Arithmetic Computations with Hereditarily Finite Sets, Functions and Types. ICTAC 2010: 367-381
c57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: Declarative modeling of finite mathematics. PPDP 2010: 131-142
i12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: A Unified Formal Description of Arithmetic and Set Theoretical Data Types. CoRR abs/1006.5768 (2010)
2009
c56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: A Groupoid of Isomorphic Data Transformations. Calculemus/MKM 2009: 170-185
c55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau, Arun K. Majumdar: Interoperating Logic Engines. PADL 2009: 137-151
c54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: An embedded declarative data transformation language. PPDP 2009: 171-182
c53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: Isomorphisms, hylomorphisms and hereditarily finite data types in Haskell. SAC 2009: 1898-1902
2008
c52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau, Brenda Luderman: Exact combinational logic synthesis and non-standard circuit design. Conf. Computing Frontiers 2008: 179-188
c51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: Logic Engines as Interactors. ICLP 2008: 703-707
c50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau, Brenda Luderman: Revisiting exact combinational circuit synthesis. SAC 2008: 1758-1759
i11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau, Brenda Luderman: A Logic Programming Framework for Combinational Circuit Synthesis. CoRR abs/0804.2095 (2008)
i10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: Executable Set Theory and Arithmetic Encodings in Prolog. CoRR abs/0808.0540 (2008)
i9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: Ranking and Unranking of Hereditarily Finite Functions and Permutations. CoRR abs/0808.0554 (2008)
i8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: Pairing Functions, Boolean Evaluation and Binary Decision Diagrams. CoRR abs/0808.0555 (2008)
i7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: Logic Engines as Interactors. CoRR abs/0808.0556 (2008)
i6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: Ranking Catamorphisms and Unranking Anamorphisms on Hereditarily Finite Datatypes. CoRR abs/0808.0753 (2008)
i5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: A Functional Hitchhiker's Guide to Hereditarily Finite Sets, Ackermann Encodings and Pairing Functions. CoRR abs/0808.0754 (2008)
i4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: Declarative Combinatorics: Boolean Functions, Circuit Synthesis and BDDs in Haskell. CoRR abs/0808.0760 (2008)
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: Declarative Combinatorics: Isomorphisms, Hylomorphisms and Hereditarily Finite Data Types in Haskell. CoRR abs/0808.2953 (2008)
2007
c49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau, Brenda Luderman: A Logic Programming Framework for Combinational Circuit Synthesis. ICLP 2007: 180-194
2005
c48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andy Borman, Rada Mihalcea, Paul Tarau: PicNet: Augmenting Semantic Resources with Pictorial Representations. AAAI Spring Symposium: Knowledge Collection from Volunteer Contributors 2005: 1-7
c47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David Hurt, Paul Tarau: An empirical evaluation of communication effectiveness in autonomous reactive multiagent systems. SAC 2005: 74-78
c46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau, Rada Mihalcea, Elizabeth Figa: Semantic document engineering with WordNet and PageRank. SAC 2005: 782-786
c45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: Agent oriented logic programming in Jinni 2004. SAC 2005: 1427-1428
2004
c44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rada Mihalcea, Paul Tarau, Elizabeth Figa: PageRank on Semantic Networks, with Application to Word Sense Disambiguation. COLING 2004
c43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rada Mihalcea, Paul Tarau: TextRank: Bringing Order into Text. EMNLP 2004: 404-411
c42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Elizabeth Figa, Paul Tarau: Conversational Agents as Web Services. International Conference on Internet Computing 2004: 773-782
c41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: Agent Oriented Logic Programming Constructs in Jinni 2004. ICLP 2004: 477-478
c40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau, Elizabeth Figa: Knowledge-based conversational agents and virtual storytelling. SAC 2004: 39-44
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau, Verónica Dahl: High-Level Networking With Mobile Code And First Order AND-Continuations. CoRR cs.PL/0405088 (2004)
2003
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Qinan Zhou, Paul Tarau: Garbage Collection Algorithms for Java-Based Prolog Engines. PADL 2003: 304-319
2001
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau, Verónica Dahl: High-Level Networking with Mobile Code and First Order AND-Continuations. TPLP 1(3): 359-380 (2001)
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Satyam Tyagi, Paul Tarau, Armin R. Mikler: Multicast Protocols for Jinni Agents. IICS 2001: 1-18
c37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anima Gupta, Paul Tarau: Logic Programming Techniques for Dynamic VRML Web Content Generation. PADL 2001: 93-107
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Satyam Tyagi, Paul Tarau: A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces. PADL 2001: 322-336
2000
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: Fluents: A Refactoring of Prolog for Uniform Reflection an Interoperation with External Objects. Computational Logic 2000: 1225-1239
1999
j6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Verónica Dahl, Stephen Rochefort, Marius Scurtescu, Paul Tarau: A Spanish Interface To LogiMoo: Towards Multilingual Virtual Worlds. Informatica (Slovenia) 23(4) (1999)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: Multi-engine Horn Clause Prolog. Electr. Notes Theor. Comput. Sci. 30(3): 143 (1999)
p1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau, Verónica Dahl: Towards a Logic Programming Infrastructure for Internet Programming. Artificial Intelligence Today 1999: 431-457
1998
c34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau, Verónica Dahl: Code Migration with First Order Continuations. APPIA-GULP-PRODE 1998: 215-226
c33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: Jinni: a Lightweight Java-based Logic Engine for Internet Programming. Implementation Technology for Programming Languages based on Logic 1998: 1-15
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: Towards Inference and Computation Mobility: The Jinni Experiment. JELIA 1998: 385-390
1997
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul 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
c30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Verónica Dahl, Paul Tarau, Renwei Li: Assumption Grammars for Processing Natural Language. ICLP 1997: 256-270
c29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Osma R. Zaine, Andrew Fall, Stephen Rochefort, Verónica Dahl, Paul Tarau: On-Une Resource Discovery Using Natural Language. RIAO 1997: 336-356
c28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: Logic Programming Tools for Advanced Internet Programming (Abstract). ILPS 1997: 33-34
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau, Verónica Dahl, Koenraad De Bosschere: A Logic Programming Infrastructure for Remote Execution, Mobile Code and Agents. WETICE 1997: 106-112
1996
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Koenraad De Bosschere, Paul Tarau: Blackboard-based Extensions in Prolog. Softw., Pract. Exper. 26(1): 49-69 (1996)
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau, Verónica Dahl, Koenraad De Bosschere: Towards Logic Programming Based Coordination in Virtual Worlds. Coordination Technology for Collaborative Applications 1996: 49-62
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau, Verónica Dahl, Andrew Fall: Backtrackable State with Linear Affine Implication and Assumption Grammars. ASIAN 1996: 53-63
c24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Verónica Dahl, Andrew Fall, Stephen Rochefort, Paul Tarau: A Hypothetical Reasoning-based Framework for NL Processing. ICTAI 1996: 67-70
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bart Demoen, Geert Engels, Paul Tarau: Segment order preserving copying garbage collection for WAM based Prolog. SAC 1996: 380-386
1995
c22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yves Bekkers, Paul Tarau: Logic Programming with Monads and Comprehensions. JFPLC 1995: 161-171
c21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Verónica Dahl, Paul Tarau: Extending Datalog Grammars. NLDB 1995: 0-
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau, Bart Demoen, Koenraad De Bosschere: The power of partial tanslation: an experiment with the C-ification of binary Prolog. SAC 1995: 152-156
c19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yves Bekkers, Paul Tarau: Monadic Constructs for Logic Programming. ILPS 1995: 51-65
c18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau, Verónica Dahl, Andrew Fall: Backtrackable State with Linear Assumptions, Continuations and Hidden Accumulator Grammars. ILPS 1995: 642
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Verónica Dahl, Paul Tarau, Lidia Moreno, Manuel Palomar: Treating Coordination with Datalog Grammars. CoRR cmp-lg/9505006 (1995)
1994
c17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Verónica Dahl, Paul Tarau, Yan-Nong Huang: Datalog Grammars. GULP-PRODE (2) 1994: 268-282
c16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau, Bart Demoen: Language Embedding by Dual Compilation and State Mirroring. LPE 1994: 0-
c15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: Low-level issues in implementing a high-performance continuation passing Binary Prolog engine. JFPLC 1994: 287-
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau, Verónica Dahl: Logic Programming and Logic Grammars with First-Order Continuations. LOPSTR 1994: 215-230
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau, Ulrich Neumerkel: A Novel Term Compression Scheme and Data Representation in the BinWAM. PLILP 1994: 73-87
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Koenraad De Bosschere, Paul Tarau: High performance continuation passing style Prolog-to-C mapping. SAC 1994: 383-387
1993
c11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: Language Issues and Programming Techniques in BinProlog. GULP 1993: 173-188
c10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau, Koenraad De Bosschere: Memoing with Abstract Answers and Delphi Lemmas. LOPSTR 1993: 196-209
c9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Koen De Bosschere, Paul Tarau: Blackboard Communication in Logic Programming. PARCO 1993: 257-264
c8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: An Efficient Specialization of the WAM for Continuation Passing Binary Programs. ILPS 1993: 652
c7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Koenraad De Bosschere, Paul Tarau: Blackboard-based Extensions for Parallel Programming in BinProlog. ILPS 1993: 664
1992
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: Ecological Memory Management in a Continuation Passing Prolog Engine. IWMM 1992: 344-356
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: BinProlog: a Continuation Passing Style Prolog Engine. PLILP 1992: 479-480
1991
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau, Michel Boyer: Nonstandard Answers of Elementary Logic Programs. ICLP Workshop on Construction of Logic Programs 1991: 279-300
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau: Program Transformations and WAM-Support for the Compilation of Definite Metaprograms. RCLP 1991: 462-473
1990
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau, Michel Boyer: Elementary Logic Programs. PLILP 1990: 159-173
1988
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Paul Tarau, Michel Boyer: Prolog Meta-Programming with Soft Databases. META 1988: 365-381

Coauthor Index

1Yves Bekkers
[c22] [c19]
2Andy Borman
[c48]
3Koen De Bosschere (Koenraad De Bosschere)
[j5] [j3] [c31] [c27] [j2] [j1] [c26] [c20] [c12] [c10] [c9] [c7]
4Michel Boyer
[c4] [c2] [c1]
5Verónica Dahl
[i2] [j7] [j6] [j5] [p1] [c34] [c31] [c30] [c29] [c27] [c26] [c25] [c24] [c21] [c18] [i1] [c17] [c14]
6Bart Demoen
[j3] [j2] [c23] [c20] [c16]
7Geert Engels
[c23]
8Andrew Fall
[c29] [c25] [c24] [c18]
9Elizabeth Figa
[c46] [c44] [c42] [c40]
10Anima Gupta
[c37]
11David Haraburda
[c66]
12Yan-Nong Huang
[c17]
13David Hurt
[c47]
14Renwei Li
[c30]
15Brenda Luderman
[c64] [c52] [c50] [i11] [c49]
16Arun K. Majumdar
[c55]
17Rada Mihalcea (Rada Flavia Mihalcea)
[c48] [c46] [c44] [c43]
18Armin R. Mikler
[c38]
19Lidia Moreno
[i1]
20Ulrich Neumerkel
[c13]
21Manuel Palomar
[i1]
22Stephen Rochefort
[j6] [j5] [c31] [c29] [c24]
23Marius Scurtescu
[j6]
24Satyam Tyagi
[c38] [c36]
25Osma R. Zaine
[c29]
26Qinan Zhou
[c39]

Colors in the list of coauthors

Last update Tue May 21 05:06:18 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page