Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
78 | Flávio L. C. de Moura, Fairouz Kamareddine, Mauricio Ayala-Rincón |
Second-Order Matching via Explicit Substitutions. |
LPAR |
2004 |
DBLP DOI BibTeX RDF |
Higher-Order Unification, Second-Order Matching, Explicit Substitutions |
77 | Steve Dunne |
A Theory of Generalised Substitutions. |
ZB |
2002 |
DBLP DOI BibTeX RDF |
|
77 | Delia Kesner, Pablo E. Martínez López |
Explicit Substitutions for Objects and Functions. |
PLILP/ALP |
1998 |
DBLP DOI BibTeX RDF |
|
68 | Adrian Schneider, Gaston H. Gonnet, Gina Cannarozzi |
SynPAM-A Distance Measure Based on Synonymous Codon Substitutions. |
IEEE ACM Trans. Comput. Biol. Bioinform. |
2007 |
DBLP DOI BibTeX RDF |
synonymous substitutions, evolutionary distance, SynPAM, dS, molecular evolution |
68 | Neil Ghani, Tarmo Uustalu, Makoto Hamana |
Explicit substitutions and higher-order syntax. |
High. Order Symb. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Algebras, Monads, Abstract syntax, Explicit substitutions, Variable binding |
68 | Neil Ghani, Tarmo Uustalu |
Explicit substitutions and higher-order syntax. |
MERLIN |
2003 |
DBLP DOI BibTeX RDF |
algebras, monads, abstract syntax, explicit substitutions, variable binding |
68 | Maria C. F. Ferreira, Delia Kesner, Laurence Puel |
lambda-Calculi with Explicit Substitutions Preserving Strong Normalization. |
Appl. Algebra Eng. Commun. Comput. |
1999 |
DBLP DOI BibTeX RDF |
Preservation of strong normalization, ?-Calculus, Explicit substitutions |
58 | Pierre-Louis Curien, Thérèse Hardin, Jean-Jacques Lévy |
Confluence Properties of Weak and Strong Calculi of Explicit Substitutions. |
J. ACM |
1996 |
DBLP DOI BibTeX RDF |
confluency, explicit substitutions |
57 | José Espírito Santo |
Delayed Substitutions. |
RTA |
2007 |
DBLP DOI BibTeX RDF |
|
57 | Jean-Jacques Lévy, Luc Maranget |
Explicit Substitutions and Programming Languages. |
FSTTCS |
1999 |
DBLP DOI BibTeX RDF |
|
57 | Bruce J. McAdam |
On the Unification of Substitutions in Type Interfaces. |
IFL |
1998 |
DBLP DOI BibTeX RDF |
|
50 | Martha A. Larson, Manos Tsagkias, Jiyin He, Maarten de Rijke |
Investigating the Global Semantic Impact of Speech Recognition Error on Spoken Content Collections. |
ECIR |
2009 |
DBLP DOI BibTeX RDF |
|
50 | Peter Graf, Christoph Meyer 0001 |
Advanced Indexing Operations on Substitution Trees. |
CADE |
1996 |
DBLP DOI BibTeX RDF |
|
48 | Yuichi Kaji, Toru Fujiwara, Tadao Kasami |
Solving a Unification Problem under Constrained Substitutions Using Tree Automata. |
FSTTCS |
1994 |
DBLP DOI BibTeX RDF |
unification problems, constrained substitutions, tree automata, term rewriting systems |
47 | Delia Kesner |
The Theory of Calculi with Explicit Substitutions Revisited. |
CSL |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Steve Dunne |
Understanding Object-Z Operations as Generalised Substitutions. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
|
47 | Juhani Karhumäki, Leonid P. Lisovik |
A Simple Undecidable Problem: The Inclusion Problem for Finite Substitutions on ab*c. |
STACS |
2001 |
DBLP DOI BibTeX RDF |
|
47 | Eike Ritter |
Characterising Explicit Substitutions which Preserve Termination. |
TLCA |
1999 |
DBLP DOI BibTeX RDF |
|
47 | Maria C. F. Ferreira, Delia Kesner, Laurence Puel |
Lambda-Calculi with Explicit Substitutions and Composition Which Preserve Beta-Strong Normalization. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
|
43 | Jeremy E. Dawson |
Compound monads in specification languages. |
PLPV |
2007 |
DBLP DOI BibTeX RDF |
angelic choice, compound monads, demonic choice, distributive law for monads, extended substitutions, specification languages, generalised substitutions |
41 | Malgorzata Biernacka, Olivier Danvy |
A concrete framework for environment machines. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
closures, derivation, Abstract machines, explicit substitutions |
41 | Maribel Fernández, Ian Mackie, François-Régis Sinot |
Lambda-Calculus with Director Strings. |
Appl. Algebra Eng. Commun. Comput. |
2005 |
DBLP DOI BibTeX RDF |
Director Strings, Strategies, Calculus, Explicit Substitutions |
40 | David S. Campo, Zoya Dimitrova, Yuri Khudyakov |
Physicochemical Correlation between Amino Acid Sites in Short Sequences under Selective Pressure. |
ISBRA |
2008 |
DBLP DOI BibTeX RDF |
physicochemical properties, selection, covariation, amino acid |
40 | Béatrice Bérard, Paul Gastin, Antoine Petit 0001 |
Refinements and Abstractions of Signal-Event (Timed) Languages. |
FORMATS |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Michal Lapidot, Yitzhak Pilpel |
Characterization of the Effects of TF Binding Site Variations on Gene Expression Towards Predicting the Functional Outcomes of Regulatory SNPs. |
Systems Biology and Regulatory Genomics |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Venkatesh Choppella |
Polymorphic Type Reconstruction Using Type Equations. |
IFL |
2003 |
DBLP DOI BibTeX RDF |
|
39 | Rong-Jian Chen, Jui-Lin Lai |
Novel Stream Cipher Using 2-D Hybrid CA and Variable Ordered Recursive CA Substitutions. |
NPC Workshops |
2008 |
DBLP DOI BibTeX RDF |
2-D hybrid CA, Variable ordered recursive CA substitutions, Image security system, Stream cipher, Data security |
39 | Dmitri Roussinov, SzeWang Fong, David B. Skillicorn |
Detecting word substitutions: PMI vs. HMM. |
SIGIR |
2007 |
DBLP DOI BibTeX RDF |
detecting substitutions, security informatics, text oddity, text mining |
39 | Christian Choffrut |
Iterated Substitutions and Locally Catanative Systems: A Decidability Result in the Binary Case. |
ICALP |
1990 |
DBLP DOI BibTeX RDF |
substitutions in the free monoids, DOL-systems, DOL-sequences, linear recurrence equations, locally catenative systems, finite deciphering delay of codes, equations in words |
37 | SzeWang Fong, Dmitri Roussinov, David B. Skillicorn |
Detecting Word Substitutions in Text. |
IEEE Trans. Knowl. Data Eng. |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine |
Principal Typings for Explicit Substitutions Calculi. |
CiE |
2008 |
DBLP DOI BibTeX RDF |
lambda-calculus, explicit substitution, principal typings |
37 | Jeremy E. Dawson |
Formalising Generalised Substitutions. |
TPHOLs |
2007 |
DBLP DOI BibTeX RDF |
general correctness, generalised substitution |
37 | Thomas Fernique |
Bidimensional Sturmian Sequences and Substitutions. |
Developments in Language Theory |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Gopalan Nadathur, Xiaochu Qi |
Explicit substitutions in the reduction of lambda terms. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
beta reduction, graph and environment based reduction procedures, suspension notation, lambda calculus, higher-order abstract syntax, explicit substitution, metalanguages |
37 | Claude Kirchner, Christophe Ringeissen |
Higher-Order Equational Unification via Explicit Substitutions. |
ALP/HOA |
1997 |
DBLP DOI BibTeX RDF |
|
37 | Roberto Di Cosmo, Delia Kesner |
Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets (Extended Abstract). |
LICS |
1997 |
DBLP DOI BibTeX RDF |
|
37 | Delia Kesner |
Confluence Properties of Extensional and Non-Extensional lambda-Calculi with Explicit Substitutions (Extended Abstract). |
RTA |
1996 |
DBLP DOI BibTeX RDF |
|
37 | Thérèse Hardin |
Eta-conversion for the Languages of Explicit Substitutions. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
37 | Martín Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lévy |
Explicit Substitutions. |
POPL |
1990 |
DBLP DOI BibTeX RDF |
|
34 | Pablo Barenbaum |
Dynamic Semantics of Calculi with Explicit Substitutions at a Distance. (Semántica dinámica de cálculos de sustituciones explícitas a distancia / Sémantique dynamique des calculs avec substitutions explicites à distance). |
|
2020 |
RDF |
|
34 | Romain Kervarc |
Systèmes de types purs et substitutions explicites. (Pure type systems and explicit substitutions). |
|
2007 |
RDF |
|
31 | Jean-François Couchot, Alain Giorgetti, Nikolai Kosmatov |
A uniform deductive approach for parameterized protocol safety. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
generalized substitutions, safety, assertion, symbolic model checking, reachability |
31 | Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan |
Probabilistic Invariants for Probabilistic Machines. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
the B Method (B), Probability, probabilistic algorithms, weakest preconditions, program correctness, generalised substitutions |
31 | Carroll Morgan |
The Generalised Substitution Language Extended to Probabilistic Programs. |
B |
1998 |
DBLP DOI BibTeX RDF |
GSL, Probability, weakest preconditions, B, program correctness, generalised substitutions |
30 | Beniamino Accattoli, Stefano Guerrini |
Jumping Boxes. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Ting Hu 0001, Wolfgang Banzhaf |
The Role of Population Size in Rate of Evolution in Genetic Programming. |
EuroGP |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Horatiu Cirstea, Germain Faure, Claude Kirchner |
A rho-calculus of explicit constraint application. |
High. Order Symb. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Rewriting calculus, Explicit matching, Pattern matching, Explicit substitution |
30 | Stoyan Mihov, Petar Mitankin, Annette Gotscharek, Ulrich Reffle, Klaus U. Schulz, Christoph Ringlstetter |
Using Automated Error Profiling of Texts for Improved Selection of Correction Candidates for Garbled Tokens. |
Australian Conference on Artificial Intelligence |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Frank Pfenning |
Towards a type theory of contexts. |
MERLIN |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Natalie Priebe Frank |
Detecting Combinatorial Hierarchy in Tilings Using Derived Voronoi Tessellations. |
Discret. Comput. Geom. |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Jin Uemura, Masako Sato |
Learning of Erasing Primitive Formal Systems from Positive Examples. |
ALT |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Juan Bicarregui |
Do Not Read This. |
FME |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Nikolaj S. Bjørner, César A. Muñoz |
Absolute Explicit Unification. |
RTA |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Serenella Cerrito, Delia Kesner |
Pattern Matching as Cut Elimination. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Sally A. Goldman, Stephen Kwek |
On Learning Unions of Pattern Languages and Tree Patterns. |
ALT |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Maribel Fernández, Ian Mackie |
Closed Reductions in the lambda-Calculus. |
CSL |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Leo Bachmair, Ta Chen, C. R. Ramakrishnan 0001, I. V. Ramakrishnan |
Subsumption Algorithms Based on Search Trees. |
CAAP |
1996 |
DBLP DOI BibTeX RDF |
|
30 | Susumu Yamasaki |
Extraction of Functional from Logic Program. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
30 | Klaus Hülsmann, Gunter Saake |
Representation of the Historical Information Necessary for Temporal Integrity Monitoring. |
EDBT |
1990 |
DBLP DOI BibTeX RDF |
|
30 | Susumu Yamasaki |
Dataflow for Logic Program as Substitution Manipulator. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
27 | Wolfram Kahl |
Determinisation of Relational Substitutions in Ordered Categories with Domain. |
RelMiCS |
2008 |
DBLP DOI BibTeX RDF |
|
27 | 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 |
27 | Béatrice Bérard, Paul Gastin, Antoine Petit 0001 |
Timed substitutions for regular signal-event languages. |
Formal Methods Syst. Des. |
2007 |
DBLP DOI BibTeX RDF |
Signal-event word, Refinement, Abstraction, Timed automata, Substitution |
27 | Michal Kunc |
The Simplest Language Where Equivalence of Finite Substitutions Is Undecidable. |
FCT |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Rosie Jones, Benjamin Rey, Omid Madani, Wiley Greiner |
Generating query substitutions. |
WWW |
2006 |
DBLP DOI BibTeX RDF |
query substitution, sponsored search, query rewriting, paraphrasing |
27 | Jim Dowd, Shouhuai Xu, Weining Zhang |
Privacy-Preserving Decision Tree Mining Based on Random Substitutions. |
ETRICS |
2006 |
DBLP DOI BibTeX RDF |
data mining, decision tree, Privacy-preservation, matrix, perturbation |
27 | Umut Topkara, Mercan Topkara, Mikhail J. Atallah |
The hiding virtues of ambiguity: quantifiably resilient watermarking of natural language text through synonym substitutions. |
MM&Sec |
2006 |
DBLP DOI BibTeX RDF |
homograph, natural language text, synonym substitution, information hiding |
27 | Emmanuel Polonowski |
Strong Normalization of lambda-mu-mu/tilde-Calculus with Explicit Substitutions. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Lila Kari, Stavros Konstantinidis, Petr Sosík |
Substitutions, Trajectories and Noisy Channels. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Eduardo Bonelli |
A Normalisation Result for Higher-Order Calculi with Explicit Substitutions. |
FoSSaCS |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Juhani Karhumäki, Leonid P. Lisovik |
The Equivalence Problem of Finite Substitutions on ab*c, with Applications. |
ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Dhananjai Madhava Rao, Philip A. Wilsey |
Web-based simulation 2: performance prediction of dynamic component substitutions. |
WSC |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Steffen van Bakel, Mariangiola Dezani-Ciancaglini |
Characterising Strong Normalisation for Explicit Substitutions. |
LATIN |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Roberto Di Cosmo, Delia Kesner, Emmanuel Polonowski |
Proof Nets and Explicit Substitutions. |
FoSSaCS |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Eduardo Bonelli |
Using Fields and Explicit Substitutions to Implement Objects and Functions in a de Bruijn Setting. |
CSL |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Neil Ghani, Valeria de Paiva, Eike Ritter |
Explicit Substitutions for Constructive Necessity. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Gilles Barthe, Fairouz Kamareddine, Alejandro Ríos 0001 |
Explicit Substitutions for the Lambda-Calculus. |
ALP/HOA |
1997 |
DBLP DOI BibTeX RDF |
|
27 | Marek A. Bednarczyk |
Logic of Predicates with Explicit Substitutions. |
MFCS |
1996 |
DBLP DOI BibTeX RDF |
|
27 | Fairouz Kamareddine, Alejandro Ríos 0001 |
A Lambda-Calculus à la de Bruijn with Explicit Substitutions |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
27 | Pierre Lescanne |
From Lambda-sigma to Lambda-upsilon a Journey Through Calculi of Explicit Substitutions. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
27 | Catuscia Palamidessi |
Algebraic Properties of Idempotent Substitutions. |
ICALP |
1990 |
DBLP DOI BibTeX RDF |
|
21 | Zena M. Ariola, Aaron Bohannon, Amr Sabry |
Sequent calculi and abstract machines. |
ACM Trans. Program. Lang. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Krivine machine, duality, explicit substitutions, natural deduction, Curry-Howard isomorphism |
21 | Valérie Berthé |
Arithmetic Discrete Planes Are Quasicrystals. |
DGCI |
2009 |
DBLP DOI BibTeX RDF |
arithmetic discrete planes, word combinatorics, quasicrystals, tilings, substitutions, digital planes |
21 | Guillaume Burel |
A First-Order Representation of Pure Type Systems Using Superdeduction. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
lambda-calculus with explicit substitutions, natural deduction vs. sequent calculus, first-order logic, logical frameworks, deduction modulo |
21 | Krishna M. Roskin, Mark Diekhans, David Haussler |
Scoring two-species local alignments to try to statistically separate neutrally evolving from selected DNA segments. |
RECOMB |
2003 |
DBLP DOI BibTeX RDF |
CpG effect, ancestral repeat, context-dependent base substitutions, dinucleotide dependence, fraction of human genome under selection, mouse-human alignments, neutral evolution, mutual information, comparative genomics, evolutionary models |
21 | Jorge Llacer, Eugene Veklerov, Jorge Núñez de Murga |
Preliminary Examination of the Use of Case Specific Medical Information as "prior" in Bayesian Reconstruction. |
IPMI |
1991 |
DBLP DOI BibTeX RDF |
Prior information, Medical prior information, Successive Substitutions, Maximum a posteriori (MAP), Bayesian reconstruction |
21 | William I. Chang, Eugene L. Lawler |
Approximate String Matching in Sublinear Expected Time |
FOCS |
1990 |
DBLP DOI BibTeX RDF |
random string, infrequent errors, sublinear expected time, pattern string, substring matching, dynamic programming, efficient algorithms, genetics, insertions, approximate string matching, deletions, substitutions, differences, molecular biology, text string |
21 | Jean-Jacques Thiel |
Stop Losing Sleep Over Incomplete Data Type Specifications. |
POPL |
1984 |
DBLP DOI BibTeX RDF |
Data types specifications, Completeness, Unification, Term rewriting systems, Substitutions, Equational theories |
21 | Sharon Sickel |
A Search Technique for Clause Interconnectivity Graphs. |
IEEE Trans. Computers |
1976 |
DBLP DOI BibTeX RDF |
Clause graphs, consistency of substitutions, resolution, unifers |
20 | Malgorzata Biernacka, Olivier Danvy |
Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines. |
Semantics and Algebraic Specification |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Huiqun Deng, George Stathopoulos, Ching Y. Suen |
Error-Correcting Output Coding for the Convolutional Neural Network for Optical Character Recognition. |
ICDAR |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Olivier Danvy, Jacob Johannsen |
Inter-deriving Semantic Artifacts for Object-Oriented Programming. |
WoLLIC |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Xuanhui Wang, ChengXiang Zhai |
Mining term association patterns from search logs for effective query reformulation. |
CIKM |
2008 |
DBLP DOI BibTeX RDF |
term association patterns, query reformulation, search log mining |
20 | Carlos Olarte, Frank D. Valencia |
Universal concurrent constraint programing: symbolic semantics and applications to security. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
symbolic semantics, security, mobility, concurrent constraint programming |
20 | Jun Hu, Tolga M. Duman, Mehmet Fatih Erden |
On the Information Rates of Channels with Insertion/Deletion/Substitution Errors. |
ICC |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Adam Poswolsky, Carsten Schürmann 0001 |
Practical Programming with Higher-Order Encodings and Dependent Types. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Deng Pan, Liqing Zhang 0002 |
A Holistic View of Evolutionary Rates in Paralogous and Orthologous Genes. |
ICIC (2) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Leonardo Mendonça de Moura, Nikolaj S. Bjørner |
Deciding Effectively Propositional Logic Using DPLL and Substitution Sets. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Kazunori Ueda |
Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting. |
RTA |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Andreas Abel 0001, Dulma Rodriguez |
Syntactic Metatheory of Higher-Order Subtyping. |
CSL |
2008 |
DBLP DOI BibTeX RDF |
Higher-order subtyping, bounded quantification, algorithmic subtyping, hereditary substitution |