The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Paul Tarau" ( http://dblp.L3S.de/Authors/Paul_Tarau )

URL (Homepage):  http://www.cs.unt.edu/~tarau/  Author page on DBLP  Author page in RDF  Community of Paul Tarau in ASPL-2

Publication years (Num. hits)
1988-1994 (21) 1995-1997 (18) 1998-2003 (16) 2004-2008 (25) 2009-2011 (17) 2012-2013 (16) 2014-2015 (19) 2016-2018 (18) 2019 (5)
Publication types (Num. hits)
article(44) incollection(2) inproceedings(106) proceedings(3)
Venues (Conferences, Journals, ...)
CoRR(29) PADL(12) SAC(12) ILPS(5) SYNASC(5) TPLP(5) ICLP(4) ICLP (Technical Communications...(4) LOPSTR(4) PPDP(4) ICLP Workshop on Blackboard-Ba...(3) ICTAC(3) J. Log. Program.(3) PLILP(3) RACS(3) ASIST(2) More (+10 of total 69)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 41 occurrences of 28 keywords

Results
Found 156 publication records. Showing 155 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Paul Tarau, Jan Wielemaker, Tom Schrijvers Lazy Stream Programming in Prolog. Search on Bibsonomy ICLP Technical Communications The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Paul Tarau Formula Transformers and Combinatorial Test Generators for Propositional Intuitionistic Theorem Provers. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Paul Tarau, Eduardo Blanco 0002 Dependency-based Text Graphs for Keyphrase and Summary Extraction with Applications to Interactive Content Retrieval. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Paul Tarau Modality Definition Synthesis for Epistemic Intuitionistic Logic via a Theorem Prover. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Paul Tarau A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers. Search on Bibsonomy PADL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alessandro Dal Palù, Paul Tarau Introduction to the 34-th international conference on logic programming special issue. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Paul Tarau On k-colored Lambda Terms and Their Skeletons. Search on Bibsonomy PADL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Paul Tarau Shaving with Occam's Razor: Deriving Minimalist Theorem Provers for Minimal Logic. Search on Bibsonomy RCRA@FLoC The full citation details ... 2018 DBLP  BibTeX  RDF
1Paul Tarau Declarative algorithms for generation, counting and random sampling of term algebras. Search on Bibsonomy SAC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandro Dal Palù, Paul Tarau, Neda Saeedloei, Paul Fodor (eds.) Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, July 14-17, 2018, Oxford, United Kingdom Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  BibTeX  RDF
1Olivier Bodini, Paul Tarau On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau Boltzmann Samplers for Closed Simply-Typed Lambda Terms. Search on Bibsonomy PADL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Paul Tarau A Hitchhiker's Guide to Reinventing a Prolog Machine. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Olivier Bodini, Paul Tarau On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Paul Tarau A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau Random generation of closed simply-typed $λ$-terms: a synergy between logic programming and Boltzmann samplers. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Paul Tarau A Size-Proportionate Bijective Encoding of Lambda Terms as Catalan Objects Endowed with Arithmetic Operations. Search on Bibsonomy PADL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Paul Tarau Computing with Catalan Families, Generically. Search on Bibsonomy PADL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Karen Mazidi, Paul Tarau Automatic Question Generation: From NLU to NLG. Search on Bibsonomy ITS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Karen Mazidi, Paul Tarau Infusing NLU into Automatic Question Generation. Search on Bibsonomy INLG The full citation details ... 2016 DBLP  BibTeX  RDF
1Fahmida Hamid, David Haraburda, Paul Tarau Evaluating Text Summarization Systems with a Fair Baseline from Multiple Reference Summaries. Search on Bibsonomy ECIR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Paul Tarau A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms. Search on Bibsonomy LOPSTR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Paul Tarau A Logic Programming Playground for Lambda Terms, Combinators, Types and Tree-based Arithmetic Computations. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Paul Tarau On Logic Programming Representations of Lambda Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization. Search on Bibsonomy PADL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Fahmida Hamid, Paul Tarau Anti-Summaries: Enhancing Graph-Based Techniques for Summary Extraction with Sentiment Polarity. Search on Bibsonomy CICLing (2) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Paul Tarau On Type-directed Generation of Lambda Terms. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Paul Tarau On a uniform representation of combinators, arithmetic, lambda terms and types. Search on Bibsonomy PPDP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Paul Tarau The Arithmetic of Even-Odd Trees. Search on Bibsonomy SYNASC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Paul Tarau On Synergies between Type Inference, Generation and Normalization of SK-Combinator Trees. Search on Bibsonomy SYNASC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Paul Tarau Ranking/Unranking of Lambda Terms with Compressed de Bruijn Indices. Search on Bibsonomy CICM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Paul Tarau Towards a generic view of primality through multiset decompositions of natural numbers. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Paul Tarau, Fahmida Hamid Interclausal Logic Variables. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Paul Tarau A Generic Numbering System based on Catalan Families of Combinatorial Objects. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Paul Tarau Arithmetic and Boolean Operations on Recursively Run-Length Compressed Natural Numbers. Search on Bibsonomy Sci. Ann. Comp. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Paul Tarau A Declarative Specification of Giant Number Arithmetic. Search on Bibsonomy PADL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Paul Tarau, Bill P. Buckles Arithmetic algorithms for hereditarily binary natural numbers. Search on Bibsonomy SAC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Paul Tarau The Arithmetic of Recursively Run-Length Compressed Natural Numbers. Search on Bibsonomy ICTAC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Paul Tarau Computing with Catalan Families. Search on Bibsonomy LATA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Paul Tarau Bijective Collection Encodings and Boolean Operations with Hereditarily Binary Natural Numbers. Search on Bibsonomy PPDP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Fahmida Hamid, Paul Tarau Text summarization as an assistive technology. Search on Bibsonomy PETRA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Paul Tarau New Arithmetic Algorithms for Hereditarily Binary Natural Numbers. Search on Bibsonomy SYNASC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1David Haraburda, Paul Tarau Binary trees as a computational framework. Search on Bibsonomy Computer Languages, Systems & Structures The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Paul Tarau On Two Infinite Families of Pairing Bijections Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Paul Tarau A Prolog Specification of Giant Number Arithmetic. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Paul Tarau Binary Tree Arithmetic with Generalized Constructors Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Paul Tarau Tree-based Arithmetic and Compressed Representations of Giant Numbers Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Paul Tarau Arithmetic Algorithms for Hereditarily Binary Natural Numbers. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Paul Tarau Compact serialization of Prolog terms (with catalan skeletons, cantor tupling and Gödel numberings). Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Paul Tarau Two mechanisms for generating infinite families of pairing bijections. Search on Bibsonomy RACS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Paul Tarau The BinProlog experience: Architecture and implementation choices for continuation passing Prolog and first-class logic engines. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Paul Tarau A Declarative Specification of Tree-Based Symbolic Arithmetic Computations. Search on Bibsonomy PADL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Paul Tarau, David Haraburda On computing with types. Search on Bibsonomy SAC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Paul Tarau, Arun K. Majumdar, Paulo Moura Agent spaces: a scalable architecture for distributed logic agents. Search on Bibsonomy RACS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Paul Tarau, Brenda Luderman Symbolic modeling of a universal reconfigurable logic gate and its applications to circuit synthesis. Search on Bibsonomy RACS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Paul Tarau Deriving a Fast Inverse of the Generalized Cantor N-tupling Bijection. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Paul Tarau, Brenda Luderman Boolean Evaluation with a Pairing and Unpairing Function. Search on Bibsonomy SYNASC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Paul Tarau Computing with Free Algebras. Search on Bibsonomy SYNASC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Paul Tarau Computing with Hereditarily Finite Sequences Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Paul Tarau Bijective Term Encodings Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Paul Tarau The BinProlog Experience: Architecture and Implementation Choices for Continuation Passing Prolog and First-Class Logic Engines Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Paul Tarau Integrated symbol table, engine and heap memory management in multi-engine prolog. Search on Bibsonomy ISMM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Paul Tarau Emulating Primality with Multiset Representations of Natural Numbers. Search on Bibsonomy ICTAC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Paul Tarau Concurrent programming constructs in multi-engine prolog: parallelism just for the cores (and not more!). Search on Bibsonomy DAMP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Paul Tarau Coordination and Concurrency in Multi-engine Prolog. Search on Bibsonomy COORDINATION The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Paul Tarau "Everything Is Everything" Revisited: Shapeshifting Data Types with Isomorphisms and Hylomorphisms. Search on Bibsonomy Complex Systems The full citation details ... 2010 DBLP  BibTeX  RDF
1Paul Tarau A Unified Formal Description of Arithmetic and Set Theoretical Data Types Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Paul Tarau On Arithmetic Computations with Hereditarily Finite Sets, Functions and Types. Search on Bibsonomy ICTAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Paul Tarau Hereditarily Finite Representations of Natural Numbers and Self-Delimiting Codes. Search on Bibsonomy MSFP@ICFP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Paul Tarau Declarative modeling of finite mathematics. Search on Bibsonomy PPDP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Paul Tarau A Unified Formal Description of Arithmetic and Set Theoretical Data Types. Search on Bibsonomy AISC/MKM/Calculemus The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Paul Tarau, Arun K. Majumdar Interoperating Logic Engines. Search on Bibsonomy PADL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Prolog language extensions, logic engines, semantics of metaprogramming constructs, generalized iterators, agent oriented programming language constructs
1Paul Tarau Isomorphisms, hylomorphisms and hereditarily finite data types in Haskell. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Ackermann encoding, Haskell data representations, computational mathematics, hereditarily finite functions, hereditarily finite sets, ranking/unranking
1Paul Tarau An embedded declarative data transformation language. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF computational mathematics, dag and hypergraph encodings, functions and permutations, goedel numberings, hereditarily finite sets, pairing functions, prolog data representations, ranking/unranking bijections, digraph
1Paul Tarau A Groupoid of Isomorphic Data Transformations. Search on Bibsonomy Calculemus/MKM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF computational mathematics in Haskell, data type transformations, ranking/unranking, Gödel numberings, higher order combinators, hylomorphisms
1Paul Tarau Logic Engines as Interactors Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Paul Tarau Ranking and Unranking of Hereditarily Finite Functions and Permutations Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Paul Tarau, Brenda Luderman A Logic Programming Framework for Combinational Circuit Synthesis Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Paul Tarau Executable Set Theory and Arithmetic Encodings in Prolog Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Paul Tarau A Functional Hitchhiker's Guide to Hereditarily Finite Sets, Ackermann Encodings and Pairing Functions Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Paul Tarau Pairing Functions, Boolean Evaluation and Binary Decision Diagrams Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Paul Tarau Ranking Catamorphisms and Unranking Anamorphisms on Hereditarily Finite Datatypes Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Paul Tarau Declarative Combinatorics: Isomorphisms, Hylomorphisms and Hereditarily Finite Data Types in Haskell Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Paul Tarau Declarative Combinatorics: Boolean Functions, Circuit Synthesis and BDDs in Haskell Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Paul Tarau, Brenda Luderman Revisiting exact combinational circuit synthesis. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF exact combinational circuit synthesis, logic programming and circuit design, minimal transistor-count circuit synthesis
1Paul Tarau Logic Engines as Interactors. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF generalized iterators, logic engines, agent oriented programming language constructs, metaprogramming
1Paul Tarau, Brenda Luderman Exact combinational logic synthesis and non-standard circuit design. Search on Bibsonomy Conf. Computing Frontiers The full citation details ... 2008 DBLP  DOI  BibTeX  RDF asymmetrical logic operators, exact combinational circuit synthesis, minimal transistor-count circuits, minimal universal boolean logic libraries
1Paul Tarau, Brenda Luderman A Logic Programming Framework for Combinational Circuit Synthesis. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF logic programming and circuit design, combinatorial object generation, exact combinational circuit synthesis, universal boolean logic libraries, symbolic rewriting, minimal transistor-count circuit synthesis
1Rada Mihalcea, Paul Tarau A Language Independent Algorithm for Single and Multiple Document Summarization. Search on Bibsonomy IJCNLP (companion) The full citation details ... 2005 DBLP  BibTeX  RDF
1Paul Tarau, Rada Mihalcea, Elizabeth Figa Semantic document engineering with WordNet and PageRank. Search on Bibsonomy SAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF PageRank-style graph algorithms, semantics-based document processing, natural language processing, logic programming, WordNet, word sense disambiguation
1David Hurt, Paul Tarau An empirical evaluation of communication effectiveness in autonomous reactive multiagent systems. Search on Bibsonomy SAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF multi-agent collaboration
1Paul Tarau Agent oriented logic programming in Jinni 2004. Search on Bibsonomy SAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF agent programming constructs, agents and logic programming, multi-threaded prolog systems, distributed AI, agent communication protocols
1Andy Borman, Rada Mihalcea, Paul Tarau PicNet: Augmenting Semantic Resources with Pictorial Representations. Search on Bibsonomy AAAI Spring Symposium: Knowledge Collection from Volunteer Contributors The full citation details ... 2005 DBLP  BibTeX  RDF
1Paul Tarau, Verónica Dahl High-Level Networking With Mobile Code And First Order AND-Continuations Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1Paul Tarau, Elizabeth Figa Knowledge-based conversational agents and virtual storytelling. Search on Bibsonomy SAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF FrameNet and Open Mind-based knowledge processing, agentbased Web services, natural language and speech processing, logic programming, WordNet, agent architectures, conversational agents, virtual storytelling
1Paul Tarau Agent Oriented Logic Programming Constructs in Jinni 2004. Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Rada Mihalcea, Paul Tarau, Elizabeth Figa PageRank on Semantic Networks, with Application to Word Sense Disambiguation. Search on Bibsonomy COLING The full citation details ... 2004 DBLP  BibTeX  RDF
1Rada Mihalcea, Paul Tarau TextRank: Bringing Order into Text. Search on Bibsonomy EMNLP The full citation details ... 2004 DBLP  BibTeX  RDF
1Elizabeth Figa, Paul Tarau, Jesse Ephraim Enhancing the virtual storytelling experience with metadata driven voice enabled conversational agents. Search on Bibsonomy ASIST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Elizabeth Figa, Paul Tarau Conversational Agents as Web Services. Search on Bibsonomy International Conference on Internet Computing The full citation details ... 2004 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 155 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license