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 |
|