Search results for "substitution"

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