Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
82 | Stefan Leye, Adelinde M. Uhrmacher, Corrado Priami |
A Bounded-Optimistic, Parallel Beta-Binders Simulator. |
DS-RT |
2008 |
DBLP DOI BibTeX RDF |
|
82 | Jan Himmelspach, Paola Lecca, Davide Prandi, Corrado Priami, Paola Quaglia, Adelinde M. Uhrmacher |
Developing An Hierarchical Simulator for Beta-binders. |
PADS |
2006 |
DBLP DOI BibTeX RDF |
|
82 | Andrew M. Pitts |
A Fresh Approach to Representing Syntax with Static Binders in Functional Programming. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
|
75 | John Power, Miki Tanaka |
Binding Signatures for Generic Contexts. |
TLCA |
2005 |
DBLP DOI BibTeX RDF |
|
67 | Paola Quaglia |
On Beta-Binders Communications. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
67 | Frédéric Prost |
Taming Non-compositionality Using New Binders. |
UC |
2007 |
DBLP DOI BibTeX RDF |
|
67 | Federica Ciocchetta, Corrado Priami, Paola Quaglia |
Modeling Kohn Interaction Maps with Beta-Binders: An Example. |
Trans. Comp. Sys. Biology |
2005 |
DBLP DOI BibTeX RDF |
|
60 | Liwen You, Ping Zhang 0008, Mikael Bodén, Vladimir Brusic |
Understanding Prediction Systems for HLA-Binding Peptides and T-Cell Epitope Identification. |
PRIB |
2007 |
DBLP DOI BibTeX RDF |
|
55 | Christophe Calvès, Maribel Fernández |
Nominal Matching and Alpha-Equivalence. |
WoLLIC |
2008 |
DBLP DOI BibTeX RDF |
?-equivalence, nominal terms, matching, Binders |
52 | Federica Ciocchetta, Corrado Priami, Paola Quaglia |
An Automatic Translation of SBML into Beta-Binders. |
IEEE ACM Trans. Comput. Biol. Bioinform. |
2008 |
DBLP DOI BibTeX RDF |
modeling, Process algebras, systems biology, biological systems, translation tool, Systems Biology Markup Language (SBML) |
52 | Corrado Priami, Paola Quaglia |
Beta Binders for Biological Interactions. |
CMSB |
2004 |
DBLP DOI BibTeX RDF |
|
52 | Mark R. Shinwell, Andrew M. Pitts, Murdoch Gabbay |
FreshML: programming with binders made simple. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
alpha-conversion, metaprogramming, variable binding |
52 | Dale Miller 0001 |
Abstract Syntax for Variable Binders: An Overview. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
40 | Andrew M. Pitts |
Nominal system T. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
alpha-equivalence, types, recursion, binders |
40 | Andrew M. Pitts, Mark R. Shinwell |
Generative unbinding of names. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
alpha-conversion, meta-programming, abstract syntax, binders |
40 | Marino Miculan, Ivan Scagnetto, Furio Honsell |
Translating specifications from nominal logic to CIC with the theory of contexts. |
MERLIN |
2005 |
DBLP DOI BibTeX RDF |
calculus of inductive constructions, languages with binders, logical expressivity, theory of contexts, nominal logics |
37 | Matthew R. Lakin, Andrew M. Pitts |
Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Maria Luisa Guerriero, Corrado Priami, Alessandro Romanel |
Modeling Static Biological Compartments with Beta-binders. |
AB |
2007 |
DBLP DOI BibTeX RDF |
|
37 | Tadeusz Litak |
Algebraization of Hybrid Logic with Binders. |
RelMiCS |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Corrado Priami, Paola Quaglia |
Operational Patterns in Beta-Binders. |
Trans. Comp. Sys. Biology |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Michael Norrish |
Recursive Function Definition for Types with Binders. |
TPHOLs |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Miki Tanaka |
Abstract Syntax and Variable Binding for Linear Binders. |
MFCS |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Niall J. Haslam, Toby J. Gibson |
EpiC: A Resource for Integrating Information and Analyses to Enable Selection of Epitopes for Antibody Based Experiments. |
DILS |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Adelinde M. Uhrmacher, Jan Himmelspach, Matthias Jeschke, Mathias John, Stefan Leye, Carsten Maus, Mathias Röhl, Roland Ewald |
One Modelling Formalism & Simulator Is Not Enough! A Perspective for Computational Biology Based on James II. |
FMSB |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Brigitte Pientka |
A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
type system, logical frameworks |
30 | Miki Tanaka, John Power |
Pseudo-distributive laws and axiomatics for variable binding. |
High. Order Symb. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Binding signatures, Pseudo-distributive law, Substitution monoidal structure, Context, Initial algebra semantics, Pseudo-monad |
30 | Carsten Schürmann 0001, Adam Poswolsky, Jeffrey Sarnat |
The [triangle]-Calculus. Functional Programming with Higher-Order Encodings. |
TLCA |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Yeon-Jin Cho, Hyeoncheol Kim, Heung-Bum Oh |
Prediction Rule Generation of MHC Class I Binding Peptides Using ANN and GA. |
ICNC (1) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Geoffrey Washburn, Stephanie Weirich |
Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
modal type system, parametricity, higher-order abstract syntax, parametric polymorphism, catamorphism |
30 | Carlos Areces, Juan Heguiabehere |
HyLoRes 1.0: Direct Resolution for Hybrid Logics. |
CADE |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Didier Rémy, Boris Yakobowski |
From ML to MLF: graphic type constraints with efficient type inference. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
type generalization, type instantiation, graphs, ML, types, type inference, unification, system F, binders, type constraints, MLF |
25 | Didier Rémy |
MLF for everyone (users, implementers, and designers). |
ML |
2007 |
DBLP DOI BibTeX RDF |
graphs, ML, types, type inference, unification, System F, binders, type constraints, MLF |
25 | Didier Rémy, Boris Yakobowski |
A graphical presentation of MLF types with a linear-time unification algorithm. |
TLDI |
2007 |
DBLP DOI BibTeX RDF |
system SF, graphs, types, unification, binders, MLF |
25 | Andrew M. Pitts |
Alpha-structural recursion and induction. |
J. ACM |
2006 |
DBLP DOI BibTeX RDF |
recursion, induction, names, Abstract syntax, binders |
25 | Maribel Fernández, Murdoch Gabbay |
Nominal rewriting with name generation: abstraction vs. locality. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
?-conversion, first and higher-order rewriting, name generation, locality, confluence, binders |
25 | Murdoch Gabbay |
A new calculus of contexts. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
calculi of contexts, lambda-calculi, nominal techniques, functional programming, binders |
25 | Maribel Fernández, Murdoch Gabbay, Ian Mackie |
Nominal rewriting systems. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
?-conversion, first and higher-order rewriting, binders |
22 | Juan Manuel Parrilla Gutierrez, Jaroslaw M. Granda, Jean-François Ayme, Michal D. Bajczyk, Liam Wilbraham, Leroy Cronin |
Electron density-based GPT for optimization and suggestion of host-guest binders. |
Nat. Comput. Sci. |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Gokay Avci, Kim E. Jelfs |
Enhancing discovery of host-guest binders. |
Nat. Comput. Sci. |
2024 |
DBLP DOI BibTeX RDF |
|
22 | Nour Jamal Jaradat, Mámon M. Hatmal, Dana Alqudah, Mutasem Omar Taha |
Computational workflow for discovering small molecular binders for shallow binding sites by integrating molecular dynamics simulation, pharmacophore modeling, and machine learning: STAT3 as case study. |
J. Comput. Aided Mol. Des. |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Nour Jamal Jaradat, Mámon M. Hatmal, Dana Alqudah, Mutasem Omar Taha |
Correction to: Computational workflow for discovering small molecular binders for shallow binding sites by integrating molecular dynamics simulation, pharmacophore modeling, and machine learning: STAT3 as case study. |
J. Comput. Aided Mol. Des. |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Francini Fonseca Lopez, Jiayuan Miao, Jovan Damjanovic, Luca Bischof, Michael B. Braun, Yingjie Ling, Marcus D. Hartmann, Yu-Shan Lin, Joshua A. Kritzer |
Computational Prediction of Cyclic Peptide Structural Ensembles and Application to the Design of Keap1 Binders. |
J. Chem. Inf. Model. |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Renne Leini, Tatu Pantsar |
In Silico Evaluation of the Thr58-Associated Conserved Water with KRAS Switch-II Pocket Binders. |
J. Chem. Inf. Model. |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Benedikt Ahrens, Ralph Matthes, Kobe Wullaert |
Formalizing Monoidal Categories and Actions for Syntax with Binders. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Ralph Matthes, Kobe Wullaert, Benedikt Ahrens |
Substitution for Non-Wellfounded Syntax with Binders. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Ya-Lin Chen |
Combining Sequence Similarity with Physicochemical Properties to Predict Binders for MHC-II Molecules. |
MIE |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Chang Su, Xuan Gao |
Recent Advances in Battery Binders with an Insight of Predictive Commercial Development. |
CECNet |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Elisabeth Kallert, Tim R. Fischer, Simon Schneider, Maike Grimm, Mark Helm, Christian Kersten |
Protein-Based Virtual Screening Tools Applied for RNA-Ligand Docking Identify New Binders of the preQ1-Riboswitch. |
J. Chem. Inf. Model. |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Yanjun Li 0005, Daohong Zhou, Guangrong Zheng, Xiaolin Li 0001, Dapeng Wu 0001, Yaxia Yuan |
DyScore: A Boosting Scoring Method with Dynamic Properties for Identifying True Binders and Nonbinders in Structure-Based Drug Discovery. |
J. Chem. Inf. Model. |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Julia Neumair, Martin Elsner, Michael Seidel |
Flow-Based Chemiluminescence Microarrays as Screening Platform for Affinity Binders to Capture and Elute Bacteria. |
Sensors |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Margherita Longoni, Beatrice Genova, Alessia Marzanni, Daniela Melfi, Carlotta Beccaria, Silvia Bruni |
FT-NIR Spectroscopy for the Non-Invasive Study of Binders and Multi-Layered Structures in Ancient Paintings: Artworks of the Lombard Renaissance as Case Studies. |
Sensors |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Anthony Savidis, Marios Ntoulas |
Improved Untyped IntelliSense for JavaScript with Type Carriers and Binders. |
IISA |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Anthony Savidis, Marios Ntoulas |
Improved Untyped IntelliSense for JavaScript with Type Carriers and Binders. |
IISA |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Dong-Gun Kim, Yoonjoo Choi, Hak-Sung Kim |
Epitopes of Protein Binders Are Related to the Structural Flexibility of a Target Protein Surface. |
J. Chem. Inf. Model. |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Laila K. Elghoneimy, Muhammad I. Ismail, Frank M. Boeckler, Hassan M. E. Azzazy, Tamer M. Ibrahim |
Facilitating SARS CoV-2 RNA-Dependent RNA polymerase (RdRp) drug discovery by the aid of HCV NS5B palm subdomain binders: In silico approaches and benchmarking. |
Comput. Biol. Medicine |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Rolf Hennicker, Alexander Knapp, Alexandre Madeira |
Observational interpretations of hybrid dynamic logic with binders and silent transitions. |
J. Log. Algebraic Methods Program. |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski |
Binders by day, labels by night: effect instances via lexically scoped handlers. |
Proc. ACM Program. Lang. |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Xiaohong Chen 0002, Grigore Rosu |
A general approach to define binders using matching logic. |
Proc. ACM Program. Lang. |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Jianyu Li, Aurélien F. A. Moumbock, Stefan Günther |
Exploring Cocrystallized Aromatic Cage Binders to Target Histone Methylation Reader Proteins. |
J. Chem. Inf. Model. |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Marta Cialdea Mayer |
A Prover Dealing with Nominals, Binders, Transitivity and Relation Hierarchies. |
J. Autom. Reason. |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Yannick Forster 0002, Kathrin Stark |
Coq à la carte: a practical approach to modular syntax with binders. |
CPP |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Kathrin Stark |
Mechanising syntax with binders in Coq. |
|
2020 |
RDF |
|
22 | Yi Xiao |
Learning nominal regular languages with binders. |
|
2020 |
RDF |
|
22 | Daniel Schmitter |
On operations with binders and operations with equations. |
|
2020 |
RDF |
|
22 | Emily Ford |
Experimental Investigations and Machine Learning-Based Predictive Modeling of the Chemo-mechanical Characteristics of Ultra-High Performance Binders. |
|
2020 |
RDF |
|
22 | Yusuke Aoki |
Electrophoretic Co-Deposition of Alumina-Resin Composites on Metal Substrate Using Polydimethylsiloxane-Based Organic-Inorganic Hybrid Materials as Binders. |
IEICE Trans. Electron. |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Ai Niitsu, Suyong Re, Hiraku Oshima, Motoshi Kamiya, Yuji Sugita |
De Novo Prediction of Binders and Nonbinders for T4 Lysozyme by gREST Simulations. |
J. Chem. Inf. Model. |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Yi Xiao, Emilio Tuosto |
On Learning Nominal Automata with Binders. |
ICE |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Rolf Hennicker, Alexander Knapp, Alexandre Madeira, Felix Mindt |
Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions. |
DaLí |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Amy P. Felty, Alberto Momigliano, Brigitte Pientka |
Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions. |
Math. Struct. Comput. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Chimno I. Nnadi, Meredith L. Jenkins, Daniel R. Gentile, Leslie A. Bateman, Daniel Zaidman, Trent E. Balius, Daniel K. Nomura, John E. Burke, Kevan M. Shokat, Nir London |
Novel K-Ras G12C Switch-II Covalent Binders Destabilize Ras and Accelerate Nucleotide Exchange. |
J. Chem. Inf. Model. |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Ernesto Copello, Nora Szasz, Álvaro Tasistro |
Formalisation in Constructive Type Theory of Barendregt's Variable Convention for Generic Structures with Binders. |
LFMTP@FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Rodolphe Lepigre, Christophe Raffalli |
Abstract Representation of Binders in OCaml using the Bindlib Library. |
LFMTP@FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Kazutaka Matsuda, Meng Wang 0002 |
Embedding invertible languages with binders: a case of the FliPpr language. |
Haskell@ICFP |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Laura Kallmeyer, Rainer Osswald, Sylvain Pogodalla |
Quantification in frame semantics with binders and nominals of hybrid logic. |
J. Lang. Model. |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Igor I. Baskin, Vitaly P. Solov'ev, Alexander A. Bagatur'yants, Alexandre Varnek |
Predictive cartography of metal binders using generative topographic mapping. |
J. Comput. Aided Mol. Des. |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Melanie L. Aprahamian, Svetlana B. Tikunova, Morgan V. Price, Andres F. Cuesta, Jonathan P. Davis, Steffen Lindert |
Successful Identification of Cardiac Troponin Calcium Sensitizers Using a Combination of Virtual Screening and ROC Analysis of Known Troponin C Binders. |
J. Chem. Inf. Model. |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Alejandro Serrano 0001, Jurriaan Hage |
Constraint Handling Rules with Binders, Patterns and Generic Quantification. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
22 | Alejandro Serrano 0001, Jurriaan Hage |
Constraint handling rules with binders, patterns and generic quantification. |
Theory Pract. Log. Program. |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Rolf Hennicker, Alexandre Madeira |
Institutions for Behavioural Dynamic Logic with Binders. |
ICTAC |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Francisco Ferreira 0001, Brigitte Pientka |
Programs Using Syntax with First-Class Binders. |
ESOP |
2017 |
DBLP DOI BibTeX RDF |
|
22 | K. C. Sivakumar, T. P. Sajeevan, I. S. Bright Singh |
Marine derived compounds as binders of the White spot syndrome virus VP28 envelope protein: In silico insights from molecular dynamics and binding free energy calculations. |
Comput. Biol. Chem. |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Rolf Hennicker, Alexandre Madeira |
Observational Semantics for Dynamic Logic with Binders. |
WADT |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Alexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins 0001 |
Dynamic Logic with Binders and Its Application to the Development of Reactive Systems. |
ICTAC |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Amy P. Felty, Alberto Momigliano, Brigitte Pientka |
An Open Challenge Problem Repository for Systems Supporting Binders. |
LFMTP |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Marta Cialdea Mayer |
Erratum to: Extension of a Decision Procedure for a Fragment of Hybrid Logic with Binders. |
J. Autom. Reason. |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Li Xing, Brajesh Rai, Elizabeth A. Lunney |
Scaffold mining of kinase hinge binders in crystal structure database. |
J. Comput. Aided Mol. Des. |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Bharath Srinivasan, Hongyi Zhou, Julia Kubanek, Jeffrey Skolnick |
Experimental validation of FINDSITEcomb virtual ligand screening results for eight proteins yields novel nanomolar and micromolar binders. |
J. Cheminformatics |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Salwa M. Soliman, Gerhard Wolber |
Using structure- and Ligand-based pharmacophores as filters to discriminate Human Aryl Sulfotransferase 1A1 (SUL1A1) binders into substrates and inhibitors. |
J. Cheminformatics |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Marta Cialdea Mayer |
Extended Decision Procedure for a Fragment of HL with Binders. |
J. Autom. Reason. |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Martin Clochard, Claude Marché, Andrei Paskevich |
Verified programs with binders. |
PLPV |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Ali Nazari, F. Pacheco Torgal |
Modeling the compressive strength of geopolymeric binders by gene expression programming-GEP. |
Expert Syst. Appl. |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Marta Cialdea Mayer |
A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies (extended version). |
CoRR |
2013 |
DBLP BibTeX RDF |
|
22 | Serenella Cerrito, Marta Cialdea Mayer |
A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities. |
J. Autom. Reason. |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Matthew R. Lakin, Andrew M. Pitts |
Contextual equivalence for inductive definitions with binders in higher order typed functional programming. |
J. Funct. Program. |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Marta Cialdea Mayer |
A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies. |
CADE |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Jean-Philippe Bernardy, Nicolas Pouillard |
Names for free: polymorphic views of names and binders. |
Haskell |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Lars Hellström |
Quantifiers and n-ary binders: an OpenMath standard enhancement proposal. |
CICM Workshops |
2013 |
DBLP BibTeX RDF |
|
22 | |
Tableaux for multi-modal hybrid logic with binders, transitive relations and relation hierarchies |
CoRR |
2012 |
DBLP BibTeX RDF |
|
22 | Nicolas Pouillard, François Pottier |
A unified treatment of syntax with binders. |
J. Funct. Program. |
2012 |
DBLP DOI BibTeX RDF |
|