The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Paul Tarau: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Verónica Dahl, Paul Tarau, Yan-Nong Huang
    Datalog Grammars. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE (2), 1994, pp:268-282 [Conf]
  2. Paul Tarau
    Language Issues and Programming Techniques in BinProlog. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:173-188 [Conf]
  3. Paul Tarau, Verónica Dahl
    Code Migration with First Order Continuations. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1998, pp:215-226 [Conf]
  4. Paul Tarau, Verónica Dahl, Koenraad De Bosschere
    Towards Logic Programming Based Coordination in Virtual Worlds. [Citation Graph (0, 0)][DBLP]
    Coordination Technology for Collaborative Applications, 1996, pp:49-62 [Conf]
  5. Paul Tarau, Verónica Dahl, Andrew Fall
    Backtrackable State with Linear Affine Implication and Assumption Grammars. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:53-63 [Conf]
  6. Paul Tarau, Verónica Dahl, Stephen Rochefort, Koenraad De Bosschere
    LogiMOO: A Multi-User Virtual World with Agents and Natural Language Programming. [Citation Graph (0, 0)][DBLP]
    CHI Extended Abstracts, 1997, pp:323-324 [Conf]
  7. Paul Tarau
    Fluents: A Refactoring of Prolog for Uniform Reflection an Interoperation with External Objects. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:1225-1239 [Conf]
  8. Elizabeth Figa, Paul Tarau
    Conversational Agents as Web Services. [Citation Graph (0, 0)][DBLP]
    International Conference on Internet Computing, 2004, pp:773-782 [Conf]
  9. Verónica Dahl, Paul Tarau, Renwei Li
    Assumption Grammars for Processing Natural Language. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:256-270 [Conf]
  10. Paul Tarau
    Agent Oriented Logic Programming Constructs in Jinni 2004. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:477-478 [Conf]
  11. Paul Tarau
    Jinni: a Lightweight Java-based Logic Engine for Internet Programming. [Citation Graph (0, 0)][DBLP]
    Implementation Technology for Programming Languages based on Logic, 1998, pp:1-15 [Conf]
  12. Paul Tarau, Michel Boyer
    Nonstandard Answers of Elementary Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP Workshop on Construction of Logic Programs, 1991, pp:279-300 [Conf]
  13. Paul Tarau, Bart Demoen
    Language Embedding by Dual Compilation and State Mirroring. [Citation Graph (0, 0)][DBLP]
    LPE, 1994, pp:0-0 [Conf]
  14. Verónica Dahl, Andrew Fall, Stephen Rochefort, Paul Tarau
    A Hypothetical Reasoning-based Framework for NL Processing. [Citation Graph (0, 0)][DBLP]
    ICTAI, 1996, pp:67-70 [Conf]
  15. Satyam Tyagi, Paul Tarau, Armin R. Mikler
    Multicast Protocols for Jinni Agents. [Citation Graph (0, 0)][DBLP]
    IICS, 2001, pp:1-18 [Conf]
  16. Paul Tarau
    Ecological Memory Management in a Continuation Passing Prolog Engine. [Citation Graph (0, 0)][DBLP]
    IWMM, 1992, pp:344-356 [Conf]
  17. Paul Tarau
    Towards Inference and Computation Mobility: The Jinni Experiment. [Citation Graph (0, 0)][DBLP]
    JELIA, 1998, pp:385-390 [Conf]
  18. Yves Bekkers, Paul Tarau
    Logic Programming with Monads and Comprehensions. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1995, pp:161-171 [Conf]
  19. Paul Tarau
    Low-level issues in implementing a high-performance continuation passing Binary Prolog engine. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1994, pp:287-0 [Conf]
  20. Paul Tarau, Koenraad De Bosschere
    Memoing with Abstract Answers and Delphi Lemmas. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1993, pp:196-209 [Conf]
  21. Paul Tarau, Verónica Dahl
    Logic Programming and Logic Grammars with First-Order Continuations. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1994, pp:215-230 [Conf]
  22. Paul Tarau
    Program Transformations and WAM-Support for the Compilation of Definite Metaprograms. [Citation Graph (0, 0)][DBLP]
    RCLP, 1991, pp:462-473 [Conf]
  23. Paul Tarau, Michel Boyer
    Prolog Meta-Programming with Soft Databases. [Citation Graph (0, 0)][DBLP]
    META, 1988, pp:365-381 [Conf]
  24. Verónica Dahl, Paul Tarau
    Extending Datalog Grammars. [Citation Graph (0, 0)][DBLP]
    NLDB, 1995, pp:0-0 [Conf]
  25. Anima Gupta, Paul Tarau
    Logic Programming Techniques for Dynamic VRML Web Content Generation. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:93-107 [Conf]
  26. Satyam Tyagi, Paul Tarau
    A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:322-336 [Conf]
  27. Qinan Zhou, Paul Tarau
    Garbage Collection Algorithms for Java-Based Prolog Engines. [Citation Graph (0, 0)][DBLP]
    PADL, 2003, pp:304-319 [Conf]
  28. Koen De Bosschere, Paul Tarau
    Blackboard Communication in Logic Programming. [Citation Graph (0, 0)][DBLP]
    PARCO, 1993, pp:257-264 [Conf]
  29. Paul Tarau
    BinProlog: a Continuation Passing Style Prolog Engine. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:479-480 [Conf]
  30. Paul Tarau, Michel Boyer
    Elementary Logic Programs. [Citation Graph (0, 0)][DBLP]
    PLILP, 1990, pp:159-173 [Conf]
  31. Paul Tarau, Ulrich Neumerkel
    A Novel Term Compression Scheme and Data Representation in the BinWAM. [Citation Graph (0, 0)][DBLP]
    PLILP, 1994, pp:73-87 [Conf]
  32. Koenraad De Bosschere, Paul Tarau
    High performance continuation passing style Prolog-to-C mapping. [Citation Graph (0, 0)][DBLP]
    SAC, 1994, pp:383-387 [Conf]
  33. Bart Demoen, Geert Engels, Paul Tarau
    Segment order preserving copying garbage collection for WAM based Prolog. [Citation Graph (0, 0)][DBLP]
    SAC, 1996, pp:380-386 [Conf]
  34. David Hurt, Paul Tarau
    An empirical evaluation of communication effectiveness in autonomous reactive multiagent systems. [Citation Graph (0, 0)][DBLP]
    SAC, 2005, pp:74-78 [Conf]
  35. Paul Tarau
    Agent oriented logic programming in Jinni 2004. [Citation Graph (0, 0)][DBLP]
    SAC, 2005, pp:1427-1428 [Conf]
  36. Paul Tarau, Bart Demoen, Koenraad De Bosschere
    The power of partial tanslation: an experiment with the C-ification of binary Prolog. [Citation Graph (0, 0)][DBLP]
    SAC, 1995, pp:152-156 [Conf]
  37. Paul Tarau, Elizabeth Figa
    Knowledge-based conversational agents and virtual storytelling. [Citation Graph (0, 0)][DBLP]
    SAC, 2004, pp:39-44 [Conf]
  38. Paul Tarau, Rada Mihalcea, Elizabeth Figa
    Semantic document engineering with WordNet and PageRank. [Citation Graph (0, 0)][DBLP]
    SAC, 2005, pp:782-786 [Conf]
  39. Yves Bekkers, Paul Tarau
    Monadic Constructs for Logic Programming. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:51-65 [Conf]
  40. Koenraad De Bosschere, Paul Tarau
    Blackboard-based Extensions for Parallel Programming in BinProlog. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:664- [Conf]
  41. Paul Tarau
    An Efficient Specialization of the WAM for Continuation Passing Binary Programs. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:652- [Conf]
  42. Paul Tarau
    Logic Programming Tools for Advanced Internet Programming (Abstract). [Citation Graph (0, 0)][DBLP]
    ILPS, 1997, pp:33-34 [Conf]
  43. Paul Tarau, Verónica Dahl, Andrew Fall
    Backtrackable State with Linear Assumptions, Continuations and Hidden Accumulator Grammars. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:642- [Conf]
  44. Paul Tarau, Verónica Dahl, Koenraad De Bosschere
    A Logic Programming Infrastructure for Remote Execution, Mobile Code and Agents. [Citation Graph (0, 0)][DBLP]
    WETICE, 1997, pp:106-112 [Conf]
  45. Verónica Dahl, Paul Tarau, Lidia Moreno, Manuel Palomar
    Treating Coordination with Datalog Grammars [Citation Graph (0, 0)][DBLP]
    CoRR, 1995, v:0, n:, pp:- [Journal]
  46. Paul Tarau, Verónica Dahl
    High-Level Networking With Mobile Code And First Order AND-Continuations [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  47. Verónica Dahl, Stephen Rochefort, Marius Scurtescu, Paul Tarau
    A Spanish Interface To LogiMoo: Towards Multilingual Virtual Worlds. [Citation Graph (0, 0)][DBLP]
    Informatica (Slovenia), 1999, v:23, n:4, pp:- [Journal]
  48. Paul Tarau, Koenraad De Bosschere, Bart Demoen
    Partial Translation: Towards a Protable and Efficient Prolog Implementation Technology. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1996, v:29, n:1-3, pp:65-83 [Journal]
  49. Paul Tarau, Koenraad De Bosschere, Bart Demoen
    On Delphi Lemmas and other Memoing Techniques for Deterministic Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1997, v:30, n:2, pp:145-163 [Journal]
  50. Paul Tarau, Koenraad De Bosschere, Verónica Dahl, Stephen Rochefort
    LogiMOO: An Extensible Multi-user Virtual World with Natural Language Control. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:38, n:3, pp:331-353 [Journal]
  51. Koenraad De Bosschere, Paul Tarau
    Blackboard-based Extensions in Prolog. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1996, v:26, n:1, pp:49-69 [Journal]
  52. Paul Tarau
    Multi-engine Horn Clause Prolog. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:30, n:3, pp:- [Journal]
  53. Paul Tarau, Verónica Dahl
    High-Level Networking with Mobile Code and First Order AND-Continuations. [Citation Graph (0, 0)][DBLP]
    TPLP, 2001, v:1, n:3, pp:359-380 [Journal]
  54. Paul Tarau, Brenda Luderman
    A Logic Programming Framework for Combinational Circuit Synthesis. [Citation Graph (0, 0)][DBLP]
    ICLP, 2007, pp:180-194 [Conf]

  55. A Unified Formal Description of Arithmetic and Set Theoretical Data Types. [Citation Graph (, )][DBLP]


  56. Exact combinational logic synthesis and non-standard circuit design. [Citation Graph (, )][DBLP]


  57. Logic Engines as Interactors. [Citation Graph (, )][DBLP]


  58. On Arithmetic Computations with Hereditarily Finite Sets, Functions and Types. [Citation Graph (, )][DBLP]


  59. A Groupoid of Isomorphic Data Transformations. [Citation Graph (, )][DBLP]


  60. Interoperating Logic Engines. [Citation Graph (, )][DBLP]


  61. Declarative modeling of finite mathematics. [Citation Graph (, )][DBLP]


  62. An embedded declarative data transformation language. [Citation Graph (, )][DBLP]


  63. Revisiting exact combinational circuit synthesis. [Citation Graph (, )][DBLP]


  64. Isomorphisms, hylomorphisms and hereditarily finite data types in Haskell. [Citation Graph (, )][DBLP]


  65. On-Une Resource Discovery Using Natural Language. [Citation Graph (, )][DBLP]


  66. TextRank: Bringing Order into Text. [Citation Graph (, )][DBLP]


  67. A Logic Programming Framework for Combinational Circuit Synthesis [Citation Graph (, )][DBLP]


  68. Executable Set Theory and Arithmetic Encodings in Prolog [Citation Graph (, )][DBLP]


  69. Ranking and Unranking of Hereditarily Finite Functions and Permutations [Citation Graph (, )][DBLP]


  70. Pairing Functions, Boolean Evaluation and Binary Decision Diagrams [Citation Graph (, )][DBLP]


  71. Logic Engines as Interactors [Citation Graph (, )][DBLP]


  72. Ranking Catamorphisms and Unranking Anamorphisms on Hereditarily Finite Datatypes [Citation Graph (, )][DBLP]


  73. A Functional Hitchhiker's Guide to Hereditarily Finite Sets, Ackermann Encodings and Pairing Functions [Citation Graph (, )][DBLP]


  74. Declarative Combinatorics: Boolean Functions, Circuit Synthesis and BDDs in Haskell [Citation Graph (, )][DBLP]


  75. Declarative Combinatorics: Isomorphisms, Hylomorphisms and Hereditarily Finite Data Types in Haskell [Citation Graph (, )][DBLP]


  76. A Unified Formal Description of Arithmetic and Set Theoretical Data Types [Citation Graph (, )][DBLP]


Search in 0.017secs, Finished in 0.022secs
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