Search results for "binders"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Andrew Cave, Brigitte Pientka	Programming with binders and indexed data-types.	POPL	2012	DBLP DOI BibTeX RDF
22	Maribel Fernández, Albert Rubio	Nominal Completion for Rewrite Systems with Binders.	ICALP (2)	2012	DBLP DOI BibTeX RDF
22	Alexander Kurz 0001, Tomoyuki Suzuki 0001, Emilio Tuosto	On Nominal Regular Languages with Binders.	FoSSaCS	2012	DBLP DOI BibTeX RDF
22	Nicolas Pouillard	Namely, Painless: A unifying approach to safe programming with first-order syntax with binders. (Une approche unifiante pour programmer sûrement avec de la syntaxe du premier ordre contenant des lieurs).		2012	RDF
22	Hemant Kumar Srivastava, Mukesh Chourasia, Devesh Kumar, G. Narahari Sastry	Comparison of Computational Methods to Model DNA Minor Groove Binders.	J. Chem. Inf. Model.	2011	DBLP DOI BibTeX RDF
22	Steven K. Burger, David C. Thompson 0002, Paul W. Ayers	Quantum Mechanics/Molecular Mechanics Strategies for Docking Pose Refinement: Distinguishing between Binders and Decoys in Cytochrome c Peroxidase.	J. Chem. Inf. Model.	2011	DBLP DOI BibTeX RDF
22	Julian E. Fuchs, Gudrun M. Spitzer, Ameera Javed, Adam Biela, Christoph Kreutz, Bernd Wellenzohn, Klaus R. Liedl	Minor Groove Binders and Drugs Targeting Proteins Cover Complementary Regions in Chemical Shape Space.	J. Chem. Inf. Model.	2011	DBLP DOI BibTeX RDF
22	Stephanie Weirich, Brent A. Yorgey, Tim Sheard	Binders unbound.	ICFP	2011	DBLP DOI BibTeX RDF
22	Serenella Cerrito, Marta Cialdea Mayer	A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders.	TABLEAUX	2011	DBLP DOI BibTeX RDF
22	Dario Della Monica, Valentin Goranko, Guido Sciavicco	Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders.	HyLo@LICS	2010	DBLP DOI BibTeX RDF
22	Nicolas Pouillard, François Pottier	A fresh look at programming with names and binders.	ICFP	2010	DBLP DOI BibTeX RDF
22	Ranald Alexander Clouston	Equational logic for names and binders.		2010	RDF
22	Matthew R. Lakin	An executable meta-language for inductive definitions with binders.		2010	RDF
22	Chiara Bodei	A Control Flow Analysis for Beta-binders with and without static compartments.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
22	Wen Xu 0001, Christian Schroeder, Peter Adam Hoeher	A Stochastic MIMO Model for Far-End Crosstalk in VDSL Cable Binders.	ICC	2009	DBLP DOI BibTeX RDF
22	Igor Cappello, Paola Quaglia	A Translation of Beta-binders in a Prioritized Pi-calculus.	FBTC@ICALP	2008	DBLP DOI BibTeX RDF
22	Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari 0002, Roberto Zunino	Hard Life with Weak Binders.	EXPRESS	2008	DBLP DOI BibTeX RDF
22	Jui-Hua Hsieh, Xiang S. Wang, Denise G. Teotico, Alexander Golbraikh, Alexander Tropsha	Differentiation of AmpC beta-lactamase binders vs. decoys using classification k NN QSAR modeling and application of the QSAR classifier to virtual screening.	J. Comput. Aided Mol. Des.	2008	DBLP DOI BibTeX RDF
22	Patrick A. Holt, Jonathan B. Chaires, John O. Trent	Molecular Docking of Intercalators and Groove-Binders to Nucleic Acids Using Autodock and Surflex.	J. Chem. Inf. Model.	2008	DBLP DOI BibTeX RDF
22	Alessandro Romanel, Corrado Priami	On the decidability and complexity of the structural congruence for beta-binders.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
22	Laurent Jacob, Jean-Philippe Vert	Efficient peptide-MHC-I binding prediction for alleles with few known binders.	Bioinform.	2008	DBLP DOI BibTeX RDF
22	John Power	Abstract Syntax: Substitution and Binders: Invited Address.	MFPS	2007	DBLP DOI BibTeX RDF
22	Chiara Bodei	A Static Analysis for Beta-Binders.	FBTC@CONCUR	2007	DBLP DOI BibTeX RDF
22	Irini A. Doytchinova, Darren R. Flower	Predicting Class I Major Histocompatibility Complex (MHC) Binders Using Multivariate Statistics: Comparison of Discriminant Analysis and Multiple Linear Regression.	J. Chem. Inf. Model.	2007	DBLP DOI BibTeX RDF
22	Menaka Rajapakse, Feng Lin 0002	Predicting Peptide Binders of Flexible Lengths with Genetic Annealing Algorithm.	CIBCB	2007	DBLP DOI BibTeX RDF
22	Pierpaolo Degano, Davide Prandi, Corrado Priami, Paola Quaglia	Beta-binders for Biological Quantitative Experiments.	QAPL	2006	DBLP DOI BibTeX RDF
22	Corrado Priami, Alessandro Romanel	The Decidability of the Structural Congruence for Beta-binders.	MeCBIC@ICALP	2006	DBLP DOI BibTeX RDF
22	Makoto Hamana	An initial algebra approach to term rewriting systems with variable binders.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Abstract syntax with variable binding, Term rewriting systems, Higher-order abstract syntax, Initial algebra semantics
22	Oleksiy Karpenko, Jianming Shi, Yang Dai	Prediction of MHC class II binders using the ant colony search strategy.	Artif. Intell. Medicine	2005	DBLP DOI BibTeX RDF
22	Federico Marini 0001, Alessandra Roncaglioni, Marjana Novic	Variable Selection and Interpretation in Structure-Affinity Correlation Modeling of Estrogen Receptor Binders.	J. Chem. Inf. Model.	2005	DBLP DOI BibTeX RDF
22	Balder ten Cate, Massimo Franceschet	On the Complexity of Hybrid Logics with Binders.	CSL	2005	DBLP DOI BibTeX RDF
22	Mark R. Shinwell	The fresh approach: functional programming with names and binders.		2005	RDF
22	Renata P. de Freitas, Jorge Petrucio Viana	A Completeness Result for Relation Algebra with Binders.	WoLLIC	2002	DBLP DOI BibTeX RDF
22	Maarten Marx	Relation Algebra with Binders.	J. Log. Comput.	2001	DBLP DOI BibTeX RDF
22	Volker Simonis	Adapters and Binders - Overcoming Problems in the Design and Implementation of the C++-STL.	ACM SIGPLAN Notices	2000	DBLP DOI BibTeX RDF
22	Jaakko Järvi	C++ Function Object Binders Made Easy.	GCSE	1999	DBLP DOI BibTeX RDF
22	Murdoch Gabbay, Andrew M. Pitts	A New Approach to Abstract Syntax Involving Binders.	LICS	1999	DBLP DOI BibTeX RDF	permutation models, set theory, binding, abstract syntax
22	Anton Matheis	Zur automatisierten Erstellung von Programmsystemen aus Bausteinen mit Hilfe eines funktionell erweiterten Binders.		1982	RDF
22	Horst D. Wettstein	Die Organisation von Programmüberlagerungen als Teilaufgabe des Binders.	Elektron. Rechenanlagen	1971	DBLP DOI BibTeX RDF
15	Adam Chlipala	A verified compiler for an impure functional language.	POPL	2010	DBLP DOI BibTeX RDF	compiler verification, interactive proof assistants
15	Edwin M. Westbrook, Mathias Ricken, Jun Inoue 0001, Yilong Yao, Tamer Abdelatif, Walid Taha	Mint: Java multi-stage programming using weak separability.	PLDI	2010	DBLP DOI BibTeX RDF	multi-staged languages, java, type systems, multi-stage programming
15	Andrew Gacek	Relating nominal and higher-order abstract syntax specifications.	PPDP	2010	DBLP DOI BibTeX RDF	higher-order abstract syntax, proof search, nominal logic
15	Maria Pamela C. David, Johnrob Y. Bantang, Eduardo R. Mendoza	A Projective Brane Calculus with Activate, Bud and Mate as Primitive Actions.	Trans. Comp. Sys. Biology	2009	DBLP DOI BibTeX RDF
15	Bernhard Knapp, Ulrich Omasits, Sophie Frantal, Wolfgang Schreiner	A critical cross-validation of high throughput structural binding prediction methods for pMHC.	J. Comput. Aided Mol. Des.	2009	DBLP DOI BibTeX RDF	T cell epitope prediction, Threading, Energy minimization, Substitution, Scoring
15	Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan	Shifting the stage: staging with delimited control.	PEPM	2009	DBLP DOI BibTeX RDF	delimited control, multilevel languages, mutable state, staged programming, code generation, continuations, side effects
15	Jesper Bengtson, Joachim Parrow	Psi-calculi in Isabelle.	TPHOLs	2009	DBLP DOI BibTeX RDF
15	Robert Harper 0001, Daniel R. Licata, Noam Zeilberger	A Pronominal Approach to Binding and Computation.	TLCA	2009	DBLP DOI BibTeX RDF
15	Corrado Priami, Paola Quaglia, Alessandro Romanel	BlenX Static and Dynamic Semantics.	CONCUR	2009	DBLP DOI BibTeX RDF
15	Lorenzo Dematté, Corrado Priami, Alessandro Romanel	Modelling and simulation of biological processes in BlenX.	SIGMETRICS Perform. Evaluation Rev.	2008	DBLP DOI BibTeX RDF	computational biology, systems biology, modelling and simulation, process calculi
15	Stephen Gilmore, Jane Hillston	Foreword.	SIGMETRICS Perform. Evaluation Rev.	2008	DBLP DOI BibTeX RDF
15	Christian Urban	Nominal Techniques in Isabelle/HOL.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Nominal logic work, Lambda-calculus, Theorem provers
15	Lorenzo Dematté, Corrado Priami, Alessandro Romanel	The BlenX Language: A Tutorial.	SFM	2008	DBLP DOI BibTeX RDF
15	Kimberly A. Aeling, Nicholas R. Steffen, Matthew Johnson 0009, G. Wesley Hatfield, Richard H. Lathrop, Donald F. Senear	DNA Deformation Energy as an Indirect Recognition Mechanism in Protein-DNA Interactions.	IEEE ACM Trans. Comput. Biol. Bioinform.	2007	DBLP DOI BibTeX RDF	DNA-protein binding, indirect recognition, indirect readout, DNA bending, perceptron learning, deformation energy
15	Lorenzo Dematté, Corrado Priami, Alessandro Romanel	BetaWB: modelling and simulating biological processes.	SCSC	2007	DBLP BibTeX RDF	systems biology, stochastic simulation, process calculi
15	François Garillot, Benjamin Werner	Simple Types in Type Theory: Deep and Shallow Encodings.	TPHOLs	2007	DBLP DOI BibTeX RDF
15	François Pottier	Static Name Control for FreshML.	LICS	2007	DBLP DOI BibTeX RDF
15	Christian Urban, Stefan Berghofer, Michael Norrish	Barendregt's Variable Convention in Rule Inductions.	CADE	2007	DBLP DOI BibTeX RDF
15	David Baelde, Andrew Gacek, Dale Miller 0001, Gopalan Nadathur, Alwen Tiu	The Bedwyr System for Model Checking over Syntactic Expressions.	CADE	2007	DBLP DOI BibTeX RDF
15	Hao Yu, Minlie Huang, Xiaoyan Zhu 0001, Yabin Guo	A Novel Kernel-Based Approach for Predicting Binding Peptides for HLA Class II Molecules.	ISBRA	2007	DBLP DOI BibTeX RDF	kernel-based, SVM, HLA, string kernel
15	Maria Luisa Guerriero, John K. Heath, Corrado Priami	An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra.	CMSB	2007	DBLP DOI BibTeX RDF
15	Jerome Vouillon	Polymorphic regular tree types and patterns.	POPL	2006	DBLP DOI BibTeX RDF	polymorphism, subtyping, tree automata
15	Christian Urban, Stefan Berghofer	A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL.	IJCAR	2006	DBLP DOI BibTeX RDF	Lambda-calculus, proof assistants, nominal logic, primitive recursion
15	Davide Prandi	A Formal Approach to Molecular Docking.	CMSB	2006	DBLP DOI BibTeX RDF	Formal Methods, Systems Biology, Process Calculi, Molecular Docking, Drug Discovery
15	Michele Boreale, Maria Grazia Buscemi, Ugo Montanari	A General Name Binding Mechanism.	TGC	2005	DBLP DOI BibTeX RDF
15	Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic	Mechanized Metatheory for the Masses: The PoplMark Challenge.	TPHOLs	2005	DBLP DOI BibTeX RDF
15	Menaka Rajapakse, Lonce L. Wyse, Bertil Schmidt, Vladimir Brusic	Deriving Matrix of Peptide-MHC Interactions in Diabetic Mouse by Genetic Algorithm.	IDEAL	2005	DBLP DOI BibTeX RDF
15	Miki Tanaka, John Power	A unified category-theoretic formulation of typed binding signatures.	MERLIN	2005	DBLP DOI BibTeX RDF	binding signature, pseudo-distributive law, substitution monoidal structure, variable binding, pseudo-monad
15	Christian Urban, Christine Tasson	Nominal Techniques in Isabelle/HOL.	CADE	2005	DBLP DOI BibTeX RDF	theorem-assistants, Lambda-calculus, nominal logic, structural induction
15	Eliane Martins, Vanessa Gindri Vieira	Regression Test Selection for Testable Classes.	EDCC	2005	DBLP DOI BibTeX RDF
15	Pedro A. Reche, Ellis L. Reinherz	Definition of MHC Supertypes Through Clustering of MHC Peptide Binding Repertoires.	ICARIS	2004	DBLP DOI BibTeX RDF
15	Michele Boreale, Maria Grazia Buscemi, Ugo Montanari	D-Fusion: A Distinctive Fusion Calculus.	APLAS	2004	DBLP DOI BibTeX RDF
15	Ulrich Schöpp, Ian Stark	A Dependent Type Theory with Names and Binding.	CSL	2004	DBLP DOI BibTeX RDF
15	Eduardo Bonelli	A Normalisation Result for Higher-Order Calculi with Explicit Substitutions.	FoSSaCS	2003	DBLP DOI BibTeX RDF
15	Christian Urban, Andrew M. Pitts, Murdoch Gabbay	Nominal Unificaiton.	CSL	2003	DBLP DOI BibTeX RDF
15	Gueorgui I. Jojgov	Holes with Binding Power.	TYPES	2002	DBLP DOI BibTeX RDF
15	Fairouz Kamareddine	On Functions and Types: A Tutorial.	SOFSEM	2002	DBLP DOI BibTeX RDF
15	Mario Cáccamo, Glynn Winskel	A Higher-Order Calculus for Categories.	TPHOLs	2001	DBLP DOI BibTeX RDF
15	Christine Röckl, Daniel Hirschkoff, Stefan Berghofer	Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the pi-Calculus and Mechanizing the Theory of Contexts.	FoSSaCS	2001	DBLP DOI BibTeX RDF
15	Patrick Blackburn, Valentin Goranko	Hybrid Ockhamist Temporal Logic.	TIME	2001	DBLP DOI BibTeX RDF
15	Carsten Schürmann	Recursion for Higher-Order Encodings.	CSL	2001	DBLP DOI BibTeX RDF
15	Guillaume Gillard	A Formalization of a Concurrent Object Calculus up to alpha-Conversion.	CADE	2000	DBLP DOI BibTeX RDF
15	Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson	Control Flow Analysis for the pi-calculus.	CONCUR	1998	DBLP DOI BibTeX RDF
15	Roland Fettig, Bernd Löchner	Unification of Higher-Order patterns in a Simply Typed Lambda-Calculus with Finite Products and terminal Type.	RTA	1996	DBLP DOI BibTeX RDF
15	Karen E. Andrésen	From Pencils and Paste-Ups to VDTs and the Integrated Page: Some Thoughts on the State-of-the-Art.	SIGDOC	1985	DBLP DOI BibTeX RDF