|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1224 occurrences of 905 keywords
|
|
|
Results
Found 3212 publication records. Showing 3212 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
27 | Kentaro Kikuchi |
Simple Proofs of Characterizing Strong Normalization for Explicit Substitution Calculi. |
RTA |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Christina Brodersen, Susanne Bødker, Clemens Nylandsted Klokmose |
Ubiquitous Substitution. |
INTERACT (1) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Daniel Kirsten |
A Burnside Approach to the Finite Substitution Problem. |
Theory Comput. Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Fangfang Liu, Yuliang Shi, Liang Zhang 0019, Lili Lin, Baile Shi |
Analysis of Web Services Composition and Substitution Via CCS. |
DEECS |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Ching-Yu Yang |
Based upon RBTC and LSB Substitution to Hide Data. |
ICICIC (1) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Andreas Maletti |
Does o-Substitution Preserve Recognizability? |
CIAA |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Bart George, Régis Fleurquin, Salah Sadou |
A Component-Oriented Substitution Model. |
ICSR |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Rong-Jian Chen, Wen-Kai Lu, Jui-Lin Lai |
Image encryption using progressive cellular automata substitution and SCAN. |
ISCAS (2) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | S. M. Achasova |
Simple Self-Reproduction Programs in a Cellular Space Based on the Parallel Substitution Algorithm. |
Program. Comput. Softw. |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Daniel Kirsten |
Desert Automata and the Finite Substitution Problem. |
STACS |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Roman Novak |
Side-Channel Attack on Substitution Blocks. |
ACNS |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Ramesh Karri, Grigori Kuznetsov, Michael Gössel |
Parity-Based Concurrent Error Detection of Substitution-Permutation Network Block Ciphers. |
CHES |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Panayotis E. Nastou, Yannis C. Stamatiou |
Enhancing the Security of Block Ciphers with the Aid of Parallel Substitution Box Construction. |
ICDCS Workshops |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Fairouz Kamareddine, Alejandro Ríos 0001 |
Generalized beta-Reduction and Explicit Substitution. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
27 | Peter Graf, Christoph Meyer 0001 |
Advanced Indexing Operations on Substitution Trees. |
CADE |
1996 |
DBLP DOI BibTeX RDF |
|
27 | Roel Bloo, Kristoffer Høgsbro Rose |
Combinatory Reduction Systems with Explicit Substitution that Preserve Strong Nomalisation. |
RTA |
1996 |
DBLP DOI BibTeX RDF |
|
27 | Philippe Narbel |
The Boundary of Substitution Systems. |
MFCS |
1993 |
DBLP DOI BibTeX RDF |
|
27 | István Vajda, Tibor O. H. Nemetz |
Substitution of Characters in q-ary m-Sequences. |
AAECC |
1990 |
DBLP DOI BibTeX RDF |
|
27 | Sang Ho Lee, Lawrence J. Henschen |
Substitution-based Compilation of Extended Rules in Deductive Databases. |
CADE |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Junfeng Jiao, Yefu Chen |
Is the relationship between bus and light rail transit a competition substitution or a congestion substitution? An empirical study in Seattle. |
Public Transp. |
2023 |
DBLP DOI BibTeX RDF |
|
24 | David Cheng-Han Chiang, Hung-yi Lee |
Are Synonym Substitution Attacks Really Synonym Substitution Attacks? |
ACL (Findings) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Jameel Arif, Muazzam Ali Khan, Baraq Ghaleb, Jawad Ahmad 0001, Arslan Munir, Umer Rashid, Ahmed Yassin Al-Dubai |
A Novel Chaotic Permutation-Substitution Image Encryption Scheme Based on Logistic Map and Random Substitution. |
IEEE Access |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Asim Ali, Muhammad Asif Khan 0002, Ramesh Kumar Ayyasamy, Muhammad Wasif |
A novel systematic byte substitution method to design strong bijective substitution box (S-box) using piece-wise-linear chaotic map. |
PeerJ Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Tom Hirschowitz, Ambroise Lafont |
A unified treatment of structural definitions on syntax for capture-avoiding substitution, context application, named substitution, partial differentiation, and so on. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Vincent Claveau, Antoine Chaffin, Ewa Kijak |
La génération de textes artificiels en substitution ou en complément de données d'apprentissage (Generating artificial texts as substitution or complement of training data ). |
TALN (1) |
2021 |
DBLP BibTeX RDF |
|
24 | Claus Brell, Ralf Kuron, Wilhelm Mülder |
Substitution der Akteur-Beteiligung durch KI und BI am Beispiel eines Logistik-Projekts in den Neuss-Düsseldorfer Häfen(Substitution of stakeholder participation by AI and BI using the example of a logistics project in the Neuss-Düsseldorf ports). |
LWDA |
2020 |
DBLP BibTeX RDF |
|
24 | Nawel Drira |
Les modèles de substitution pour l'optimisation rapide des circuits analogiques. (The substitution models for the fast optimization of analog circuits). |
|
2019 |
RDF |
|
24 | Mokhtar Boumedyen Billami, Núria Gala |
Création et validation de signatures sémantiques : application à la mesure de similarité sémantique et à la substitution lexicale (Creating and validating semantic signatures : application for measuring semantic similarity and lexical substitution). |
TALN |
2017 |
DBLP BibTeX RDF |
|
24 | Guillaume Babin |
A formal approach for correct-by-construction system substitution. (Une approche formelle pour la substitution correcte par construction de systèmes). |
|
2017 |
RDF |
|
24 | Ludovic Tanguy, Cécile Fabre, Camille Mercier |
Analyse d'une tâche de substitution lexicale : quelles sont les sources de difficulté ? (Difficulty analysis for a lexical substitution task). |
JEP-TALN-RECITAL (Posters) |
2016 |
DBLP BibTeX RDF |
|
24 | Qizhi Xu, Bo Li 0006, Yun Zhang 0014, Lin Ding |
High-Fidelity Component Substitution Pansharpening by the Fitting of Substitution Data. |
IEEE Trans. Geosci. Remote. Sens. |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Kata Gábor |
The WoDiS System - WOlf and DIStributions for Lexical Substitution (Le système WoDiS - WOLF et DIStributions pour la substitution lexicale) [in French]. |
SemDis@TALN-RECITAL |
2014 |
DBLP BibTeX RDF |
|
24 | Olivier Ferret |
Using a generic neural model for lexical substitution (Utiliser un modèle neuronal générique pour la substitution lexicale) [in French]. |
SemDis@TALN-RECITAL |
2014 |
DBLP BibTeX RDF |
|
24 | Cécile Fabre, Nabil Hathout, Lydia-Mai Ho-Dac, François Morlane-Hondère, Philippe Muller, Franck Sajous, Ludovic Tanguy, Tim Van de Cruys |
Presentation of the SemDis 2014 workshop: distributional semantics for two tasks - lexical substitution and exploration of specialized corpora (Présentation de l'atelier SemDis 2014 : sémantique distributionnelle pour la substitution lexicale et l'exploration de corpus spécialisés) [in French]. |
SemDis@TALN-RECITAL |
2014 |
DBLP BibTeX RDF |
|
24 | Yann Desalle, Emmanuel Navarro, Yannick Chudy, Pierre Magistry, Bruno Gaume |
BACANAL: Short Length Random Walks For Lexical Analysis, Application to lexical substitution (BACANAL : Balades Aléatoires Courtes pour ANAlyses Lexicales Application à la substitution lexicale) [in French]. |
SemDis@TALN-RECITAL |
2014 |
DBLP BibTeX RDF |
|
24 | Diana Allam |
Loose coupling and substitution principle in objet-oriented frameworks for web services. (Couplage faible et principe de substitution dans les environnements à objets pour les services web). |
|
2014 |
RDF |
|
24 | Karen Miranda |
Adaptive self-deployment algorithms for mobile wireless substitution networks. (Algorithmes d'auto-déploiement adaptatifs pour des réseaux de substitution mobiles sans fil). |
|
2013 |
RDF |
|
24 | Juan Carlos Seck Tuoh Mora, Genaro Juárez Martínez, Norberto Hernandez-Romero, Joselito Medina Marín |
Elementary cellular automaton Rule 110 explained as a block substitution system - Rule 110 as a block substitution system. |
Computing |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Roy Dyckhoff, Christian Urban |
Strong Normalization of Herbelin's Explicit Substitution Calculus with Substitution Propagation. |
J. Log. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Terry Ritter |
Substitution Cipher with Pseudo-Random Shuffling: the Dynamic Substitution Combiner. |
Cryptologia |
1990 |
DBLP DOI BibTeX RDF |
|
23 | 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 |
23 | Eagu Kim, Travis J. Wheeler, John D. Kececioglu |
Learning Models for Aligning Protein Sequences with Predicted Secondary Structure. |
RECOMB |
2009 |
DBLP DOI BibTeX RDF |
inverse parametric alignment, substitution score matrices, affine gap penalties, Sequence alignment, protein secondary structure |
23 | Sujith Ravi, Kevin Knight |
Probabilistic Methods for a Japanese Syllable Cipher. |
ICCPOL |
2009 |
DBLP DOI BibTeX RDF |
Substitution cipher, decipherment, language modeling |
23 | Stefan Tillich, Martin Feldhofer, Thomas Popp, Johann Großschädl |
Area, Delay, and Power Characteristics of Standard-Cell Implementations of the AES S-Box. |
J. Signal Process. Syst. |
2008 |
DBLP DOI BibTeX RDF |
substitution box (S-box), inversion in the finite field GF($28$), standard cell implementation, Advanced Encryption Standard (AES), power consumption, silicon area, critical path delay |
23 | Hung-Min Sun, Chi-Yao Weng, Shiuh-Jeng Wang |
Histogram-based undetectable fidelity image in steganography as MSB controller. |
ICUIMC |
2008 |
DBLP DOI BibTeX RDF |
LSB matching, LSB substitution, MSB controller, histogram detection |
23 | 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 |
23 | Mounia Ziat, Charles Lenay, Olivier Gapenne, John Stewart, Amal Ali Ammar, Dominique Aubert |
Perceptive Supplementation for an Access to Graphical Interfaces. |
HCI (5) |
2007 |
DBLP DOI BibTeX RDF |
haptic and tactile perception, Perception/action coupling, Sensory substitution |
23 | Jacek Lenckowski, Krzysztof Walczak 0002 |
Simplifying Amino Acid Alphabets Using a Genetic Algorithm and Sequence Alignment. |
EvoBIO |
2007 |
DBLP DOI BibTeX RDF |
amino acid alphabet, substitution matrices, sequence alignment, protein classification |
23 | Peera Liewlom, Thanawin Rakthanmanon, Kitsana Waiyamai |
Prediction of Enzyme Class by Using Reactive Motifs Generated from Binding and Catalytic Sites. |
ADMA |
2007 |
DBLP DOI BibTeX RDF |
mutation control, sequence motif, reactive motif, enzyme function prediction, catalytic site, amino acid substitution group, binding site |
23 | Carlisle M. Adams |
Designing against a class of algebraic attacks on symmetric block ciphers. |
Appl. Algebra Eng. Commun. Comput. |
2006 |
DBLP DOI BibTeX RDF |
symmetric block cipher design, substitution box round function, algebraic cryptanalysis |
23 | Khoongming Khoo, Swee-Huay Heng |
New Constructions of Universal Hash Functions Based on Function Sums. |
ICCSA (3) |
2006 |
DBLP DOI BibTeX RDF |
low maximal differential, low algebraic degree, substitution permutation network (SPN), Message authentication codes, universal hash functions |
23 | Tarek Sayed Ahmed |
On Amalgamation in Algebras of Logic. |
Stud Logica |
2005 |
DBLP DOI BibTeX RDF |
substitution algebras, quasipolyadic algebras, Algebraic logic, cylindric algebras, amalgamation |
23 | Mounia Ziat, Olivier Gapenne, John Stewart, Charles Lenay |
A comparison of two methods of scaling on form perception via a haptic interface. |
ICMI |
2005 |
DBLP DOI BibTeX RDF |
PDA (personal digital assistant), ZUI (zoomable user interfaces), haptic perception, sensory substitution |
23 | 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 |
23 | James Cheney |
Scrap your nameplate: (functional pearl). |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
generic programming, binding, names, substitution |
23 | Mounia Ziat, Olivier Gapenne |
Etude préliminaire visant la détermination de seuils de confort pour un zoom haptique. |
IHM |
2005 |
DBLP DOI BibTeX RDF |
haptic zoom, PDA (personal digital assistant), ZUI (zoomable user interfaces), sensory substitution |
23 | Chuck C. Liang, Gopalan Nadathur, Xiaochu Qi |
Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts. |
J. Autom. Reason. |
2004 |
DBLP DOI BibTeX RDF |
lambda conversion, implementation, lambda calculus, explicit substitution |
23 | Shahadat Hossain, Trond Steihaug |
Sparsity issues in the computation of Jacobian matrices. |
ISSAC |
2002 |
DBLP DOI BibTeX RDF |
sparse jacobians, partition, merging, substitution methods |
23 | Christian Urban |
Strong Normalisation for a Gentzen-like Cut-Elimination Procedure. |
TLCA |
2001 |
DBLP DOI BibTeX RDF |
Recursive Path Ordering, Cut-Elimination, Explicit Substitution, Classical Logic |
23 | Liam Keliher, Henk Meijer, Stafford E. Tavares |
New Method for Upper Bounding the Maximum Average Linear Hull Probability for SPNs. |
EUROCRYPT |
2001 |
DBLP DOI BibTeX RDF |
substitution-permutation networks, maximum average linear hull probability, provable security, linear cryptanalysis |
23 | Kripakaran Suryanarayanan, Kenneth J. Christensen |
Performance Evaluation of New Methods of Automatic Redirection for Load Balancing of Apache Servers Distributed in the Internet. |
LCN |
2000 |
DBLP DOI BibTeX RDF |
automatic redirection, Apache servers, overloaded web server, 404 error, open source Apache HTTP server, Red-Apache, HTTP 301 redirection, server tag, client browser, round-trip redirection, JavaScript function, Java, performance evaluation, Internet, Internet, WWW, World Wide Web, load balancing, telecommunication network routing, telecommunication traffic, file servers, substitution method |
23 | Markus Bläser |
Lower bounds for the multiplicative complexity of matrix multiplication. |
Comput. Complex. |
1999 |
DBLP DOI BibTeX RDF |
multiplicative complexity, lower bound, Matrix multiplication, substitution method |
23 | Carlo Blundo, Alfredo De Santis, Kaoru Kurosawa, Wakaha Ogata |
On a Fallacious Bound for Authentication Codes. |
J. Cryptol. |
1999 |
DBLP DOI BibTeX RDF |
Spoofing attack, Substitution, Authentication codes |
23 | Marc Fischlin |
Lower Bounds for the Signature Size of Incremental Schemes. |
FOCS |
1997 |
DBLP DOI BibTeX RDF |
incremental schemes, signature size, substitution attacks, single block replacement, lower bounds, security of data |
23 | Yuri Pogudin |
Simulation Of Fine-Grained Parallel Algorithms With The ALT (Animated Language Tools) System. |
DIS-RT |
1997 |
DBLP DOI BibTeX RDF |
fine-grained parallel algorithms simulation, ALT system, Animated Language Tools, textual elements, algorithm behaviour visualization, source representation, functional details, binding covers mechanism, parallel substitution algorithm model, interactive graphic forms, data structure display, source-code functional elements, graphical data objects, equivalent transformations optimization, parallel algorithms, C language, language interface |
23 | Candace H. Haigler, Mark J. Grimson |
Simple Cyropreservation Techniques to Preserve Cellular Ultrastructure of Freeze Fracture or Sectioning Prior to Image Analysis. |
CBMS |
1995 |
DBLP DOI BibTeX RDF |
cellular biophysics, freezing, cyropreservation techniques, cellular ultrastructure, freeze fracture, chemical fixations, membrane-bound vesicles, immunocytochemical localization protocols, freeze substitution protocols, computer-assisted electron tomography, three dimensional structure reconstruction, image reconstruction, image analysis, medical image processing, computerised tomography |
23 | Wayne Citrin, Richard Hall, Benjamin G. Zorn |
Programming with Visual Expressions. |
VL |
1995 |
DBLP DOI BibTeX RDF |
visual expressions, formal symbolic term rewriting system, VEX, expression-oriented component, VIPR, computer science education, visual programming, visual languages, teaching, teaching, lambda calculus, lambda calculus, programming theory, binding, rewriting systems, substitution, visual programming language, programming language semantics, functional programming languages, free variables |
23 | Valentina P. Markova |
Multilayer Cellular Algorithm for Complex Number Multiplication. |
ASAP |
1995 |
DBLP DOI BibTeX RDF |
Knuth number system, 3D cellular arrays, Parallel Substitution Algorithm, distributed computations, complex multiplication |
23 | Lars Wiedenhifer, Hans-Günther Hein, Andreas Dengel 0001 |
Post-processing of OCR results for automatic indexing. |
ICDAR |
1995 |
DBLP DOI BibTeX RDF |
OCR result post-processing, inaccurately recognized OCR text, index terms, document quality, character hypothesis lattices, generate-and-test, rule based substitution system, trigram correction, word candidates, elimination routine, German words, classification, classification, indexing, knowledge based systems, experiments, optical character recognition, quality, document image processing, morphology, vocabulary, word recognition, automatic indexing, document archiving |
23 | Annalisa Bossi, Nicoletta Cocco, Sandro Etalle |
On Safe Folding. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
computed answer substitution semantics, Program transformation, folding |
23 | Flemming Nielson, Hanne Riis Nielson |
Layered Predicates. |
REX Workshop |
1992 |
DBLP DOI BibTeX RDF |
partial equivalence relations, Kripke-logical relations, layered predicates, Kripke-layered predicates, substitution properties, well-structured proofs, correctness of code generation, proof principles, denotational semantics, logical relations |
23 | Karl J. Ottenstein |
A Simplified Framework for Reduction in Strength. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
loop execution, sequential processors, induction variable substitution, register requirements, array dependences, language fragments, iteration test replacement, target code, program compilers, parallelizing compilers, execution time, teaching tool, inverse transformation |
23 | G. R. Blakley |
Information Theory Without the Finiteness Assumption, II: Unfolding the DES. |
CRYPTO |
1985 |
DBLP DOI BibTeX RDF |
Caesar cipher, codomain, polyalphabet, ramp scheme, toroidal matrix, distributivity, composite, product, group, code, continuous, function, position, diffusion, associativity, discrete, message, relation, DES, ring, arithmetic, domain, matrix, galois field, substitution, symbol, commutativity, cryptosystem, replacement, field, vector space, universal algebra, threshold scheme, transposition, symmetric group, confusion, sum, cyclic group, alphabet |
23 | Eugene Wong 0001, Karel Youssefi |
Decomposition - A Strategy for Query Processing. |
ACM Trans. Database Syst. |
1976 |
DBLP DOI BibTeX RDF |
connected query, detachment, irreducible query, joining (overlapping) variable, tuple substitution, query processing, relational database, decomposition, variable selection |
22 | José Espírito Santo |
The lambda-Calculus and the Unity of Structural Proof Theory. |
Theory Comput. Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Steffen van Bakel, Maria Grazia Vigliotti |
A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Masahiko Sato 0001, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi |
Calculi of meta-variables. |
Frontiers Comput. Sci. China |
2008 |
DBLP DOI BibTeX RDF |
meta-variable, context, ?-calculus, logical framework |
22 | Qianhui Althea Liang, Herman Lam, Lalita Narupiyakul, Patrick C. K. Hung |
A Rule-Based Approach for Availability of Web Service. |
ICWS |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Ning Chen 0005, Arpita Ghosh, Sergei Vassilvitskii |
Optimal envy-free pricing with metric substitutability. |
EC |
2008 |
DBLP DOI BibTeX RDF |
envy-free pricing, algorithms |
22 | Yi-Nan Guo 0001, Dun-Wei Gong, Hui Wang |
Adaptive Evaluation Strategy Based on Surrogate Model. |
HCI (1) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Jijie Xu, Tak-Kuen John Koo, Zexiang Li 0001 |
Finger gaits planning for multifingered manipulation. |
IROS |
2007 |
DBLP DOI BibTeX RDF |
|
22 | José Espírito Santo |
Delayed Substitutions. |
RTA |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Sang Won Lee, Byoung-Ha Park, Sung Hee Hong, Chan Gyu Kim, In-Hwa Hong, Seok-Pil Lee, Sang Yep Nam |
A Study on the Personal Program Guide Technique Within Ubiquitous Media Community Environment Using Multi-band Sensor Gateway. |
ICUCT |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Feihong Wu |
Comparing Kernels for Predicting Protein Binding Sites from Amino Acid Sequence. |
IJCNN |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Yao-ming Huang, Christopher Bystroff |
Improved pairwise alignment of proteins in the Twilight Zone using local structure predictions. |
CSB Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Roger Endrigo Carvalho Porto, Luciano Volcan Agostini |
Project Space Exploration on the 2-D DCT Architecture of a JPEG Compressor Directed to FPGA Implementation. |
DATE |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Yasuhito Mukouchi, Masako Sato |
Learning Languages Generated by Elementary Formal Systems and Its Application to SH Languages. |
ALT |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Lila Kari, Stavros Konstantinidis, Petr Sosík |
Substitutions, Trajectories and Noisy Channels. |
CIAA |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Masahiko Sato 0001, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi |
Calculi of Meta-variables. |
CSL |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Jiunn-Chern Chen, Yirng-An Chen |
Equivalence checking of integer multipliers. |
ASP-DAC |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Peter Aczel |
Algebras and Coalgebras. |
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Warwick Harvey, Peter J. Stuckey |
Constraint Representation for Propagation. |
CP |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Tam Nguyen, V. Srinivasan |
Accessing Relational Databases from the World Wide Web. |
SIGMOD Conference |
1996 |
DBLP DOI BibTeX RDF |
World Wide Web (WWW) |
22 | V. Michele Abrusci, Christophe Fouqueré, Jacqueline Vauzeilles |
Tree Adjoining Grammars in Noncommutative Linear Logic. |
LACL |
1996 |
DBLP DOI BibTeX RDF |
|
22 | Deepak Kapur, G. Sivakumar |
Maximal Extensions os Simplification Orderings. |
FSTTCS |
1995 |
DBLP DOI BibTeX RDF |
|
22 | Jean H. Gallier, Paliath Narendran, Stan Raatz, Wayne Snyder |
Theorem Proving Using Equational Matings and Rigid E-Unification. |
J. ACM |
1992 |
DBLP DOI BibTeX RDF |
Knuth-Bendix procedure, matings, NP-completeness, unification, automated theorem proving, equational reasoning |
22 | Thérèse Hardin |
Eta-conversion for the Languages of Explicit Substitutions. |
ALP |
1992 |
DBLP DOI BibTeX RDF |
|
22 | Andrea Sgarro |
Lower Bounds for Authentication Codes With Splitting. |
EUROCRYPT |
1990 |
DBLP DOI BibTeX RDF |
|
22 | Anthony J. Bonner, Tomasz Imielinski |
The Reuse and Modification of Rulebases by Predicate Substituation. |
EDBT |
1990 |
DBLP DOI BibTeX RDF |
|
22 | Andrea Sgarro |
Equivolcations for Homophonic Ciphers. |
EUROCRYPT |
1984 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 3212 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|