Search results for "Binders"

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