Chris Verhoef - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged variable binding

ML-Consensus: A General Consensus Model for Variable-Length Transcription Factor Binding SitesSaad Quader, Nathan Snyder, Kevin Su, Ericka Mochan, Chun-Hsi Huang. evoW 2011: 25-36 [doi]

Variable binding by synaptic strength changeChristian R. Huyck. connection, 21(4):327-357, 2009. [doi]

A Tabling Implementation Based on Variables with Multiple BindingsPablo Chico de GuzmÃ¡n, Manuel Carro, Manuel V. Hermenegildo. ICLP 2009: 190-204 [doi]

A (Somewhat) New Solution to the Variable Binding ProblemLeon Barrett, Jerome Feldman, Liam Mac Dermed. neco, 20(9):2361-2378, 2008. [doi]

Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphismGeoffrey Washburn, Stephanie Weirich. JFP, 18(1):87-140, 2008. [doi]

Engineering formal metatheoryBrian E. Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich. POPL 2008: 3-15 [doi]

Register binding guided by the size of variablesNoureddine Chabini, Wayne Wolf. iccd 2007: 587-594 [doi]

An Hybrid Neural System based on Adaptive Resonance Theory and Representational Redescription capable of Variable BindingLuis Marti. ijcnn 2007: 2448-2453 [doi]

Nominal Reasoning Techniques in Coq: (Extended Abstract)Brian E. Aydemir, Aaron Bohannon, Stephanie Weirich. ENTCS, 174(5):69-77, 2007. [doi]

Pseudo-distributive laws and axiomatics for variable bindingMiki Tanaka, John Power. lisp, 19(2-3):305-337, 2006. [doi]

VOMBAT: prediction of transcription factor binding sites using variable order Bayesian treesJan Grau, Irad E. Ben-Gal, Stefan Posch, Ivo Grosse. nar, 34(Web-Server-Issue):529-533, 2006. [doi]

Bayesian variable selection for gene expression modeling with regulatory motif binding sites in neuroinflammatory eventsKuang-Yu Liu, Xiaobo Zhou, Kinhong Kan, Stephen T. C. Wong. ni, 4(1):95-117, 2006. [doi]

Identification of transcription factor binding sites with variable-order Bayesian networksIrad E. Ben-Gal, Ayala Shani, Andre Gohr, Jan Grau, S. Arviv, Armin Shmilovici, Stefan Posch, Ivo Grosse. bioinformatics, 21(11):2657-2666, 2005. [doi]

XQuery containment in presence of variable binding dependenciesLi Chen, Elke A. Rundensteiner. WWW 2005: 288-297 [doi]

ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2005, Tallinn, Estonia, September 30, 2005Randy Pollack, editor, ACM, 2005.

Mechanized Metatheory for the Masses: The PoplMark ChallengeBrian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic. tphol 2005: 50-65 [doi]

Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite RulesKarina Olmos, Eelco Visser. CC 2005: 204-220 [doi]

Substitution in non-wellfounded syntax with variable bindingRalph Matthes, Tarmo Uustalu. TCS, 327(1-2):155-174, 2004. [doi]

Fuzzy Quantifiers, Multiple Variable Binding and Branching QuantificationIngo Glöckner. ifsa 2003: 135-142 [doi]

Substitution in Non-wellfounded Syntax with Variable BindingRalph Matthes, Tarmo Uustalu. ENTCS, 82(1):191-205, 2003. [doi]

A unified category theoretic approach to variable bindingJohn Power. ICFP 2003: [doi]

The Comparative Molecular Surface Analysis (CoMSA) with Modified Uniformative Variable Elimination-PLS (UVE-PLS) Method: Application to the Steroids Binding the Aromatase EnzymeJaroslaw Polanski, Rafal Gieleciak. jcisd, 43(2):656-666, 2003. [doi]

Eighth ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2003, Uppsala, Sweden, August 2003ACM, 2003.

Term rewriting with variable binding: an initial algebra approachMakoto Hamana. ppdp 2003: 148-159 [doi]

A New Approach to Abstract Syntax with Variable BindingMurdoch Gabbay, Andrew M. Pitts. fac, 13(3-5):341-363, 2002. [doi]

Preface: Mechanised Reasoning about Languages with Variable Binding 2001Simon Ambler, Roy L. Crole, Alberto Momigliano. TCS, 58(1):115-116, 2001. [doi]

Variable binding operators in transition system specificationsC. A. Middelburg. jlp, 47(1):15-45, 2001.

Abstract Syntax and Variable Binding for Linear BindersMiki Tanaka. mfcs 2000: 670-679 [doi]

CINNI - A Generic Calculus of Explicit Substitutions and its Application to lambda-, varsigma- and pi- CalculiMark-Oliver Stehr. ENTCS, 36:70-92, 2000. [doi]

Least Commitment on Variable Binding in Presence of Incomplete KnowledgeRosy Barruffi, Evelina Lamma, Paola Mello, Michela Milano. ecp 2000: 159-171

Abstract Syntax and Variable BindingMarcelo P. Fiore, Gordon D. Plotkin, Daniele Turi. lics 1999: 193-202 [doi]

A Conservative Look at Operational Semantics with Variable BindingWan Fokkink, Chris Verhoef. iandc, 146(1):24-54, 1998.

Structural models of antibody variable fragments: A method for investigating binding mechanismsSamuel Petit, Frédéric Brard, Gérard Coquerel, Guy Perez, François Tron. jcamd, 12(2):147-163, 1998. [doi]

Building Program Optimizers with Rewriting StrategiesEelco Visser, Zine-El-Abidine Benaissa, Andrew P. Tolmach. ICFP 1998: 13-26 [doi]

The abstract variable-binding calculusDon Pigozzi, Antonino Salibra. sLogica, 55(1):129-179, 1995.

Delaying Variable Binding Commitments in PlanningQiang Yang, Alex Y. M. Chan. aips 1994: 182-187

Dependency-Directed Binding of Variables For Constraint Logic ProgrammingGeorge K. Papakonstantinou, C. Voliotis, Nikitas M. Sgouros. DEXA 1994: 734-743

Variable Binding Using Serial Order in Recurrent Neural NetworksJoan Lòpez-Moliner, Josep M. Sopena. iwann 1993: 90-95

Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical ScopesShinn-Der Lee, Daniel P. Friedman. POPL 1993: 479-492

Efficient Type Inference for Higher-Order Binding-Time AnalysisFritz Henglein. fpca 1991: 448-472 [doi]

Tensor Product Variable Binding and the Representation of Symbolic Structures in Connectionist SystemsPaul Smolensky. ai, 46(1-2):159-216, 1990.

On High-Level Inferencing and the Variable Binding Problem in Connectionist NetworksSteffen Hölldobler. ogai 1990: 180-185

runs on WebDSL