Search results for "Lattice"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Karl-Heinz Zimmermann	A Unifying Lattice-Based Approach for the Partitioning of Systolic Arrays via LPGS and LSGP.	J. VLSI Signal Process.	1997	DBLP DOI BibTeX RDF
24	Andreas Frommer, Thomas Lippert, Klaus Schilling 0002	Scalable Parallel SSOR Preconditioning for Lattice Computations in Gauce Theories.	Euro-Par	1997	DBLP DOI BibTeX RDF
24	Zulkalnain Mohdyusof, Thomas R. Fischer	An entropy-coded lattice vector quantizer for transform and subband image coding.	IEEE Trans. Image Process.	1996	DBLP DOI BibTeX RDF
24	Claus-Peter Schnorr, Horst Helmut Hörner	Attacking the Chor-Rivest Cryptosystem by Improved Lattice Reduction.	EUROCRYPT	1995	DBLP DOI BibTeX RDF
24	Paul Ammann, Sushil Jajodia	Distributed Timestamp Generation in Planar Lattice Networks.	ACM Trans. Comput. Syst.	1993	DBLP DOI BibTeX RDF	hierarchical databases, planar lattices, secure databases, timestamps
24	H. Levinson, Ruth Silverman	Algorithms for paths in the lattice of topologies on finite sets (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
24	Ka-Chun Wong, Kwong-Sak Leung, Man Hon Wong 0001	Protein structure prediction on a lattice model via multimodal optimization techniques.	GECCO	2010	DBLP DOI BibTeX RDF	absolute encoding, hp lattice model, relative encoding, evolutionary algorithm, protein structure prediction, distance metric, crowding, multimodal optimization, fitness sharing
24	E. Riegel, T. Indinger, Nikolaus A. Adams	Implementation of a Lattice-Boltzmann method for numerical fluid mechanics using the nVIDIA CUDA technology.	Comput. Sci. Res. Dev.	2009	DBLP DOI BibTeX RDF	Lattice-Boltzmann, LBUltra, GPU, CUDA, Fluid dynamics
24	Daofeng Xu, Yongming Huang, Luxi Yang	Improved nonlinear multiuser precoding using lattice reduction.	Signal Image Video Process.	2009	DBLP DOI BibTeX RDF	Multiuser precoding, MIMO, Lattice reduction
24	Jakub Pawlewicz, Mihai Patrascu	Order Statistics in the Farey Sequences in Sublinear Time and Counting Primitive Lattice Points in Polygons.	Algorithmica	2009	DBLP DOI BibTeX RDF	Möbius inversion, Mertens function, Primitive lattice points, Farey sequence
24	Yann Gaudeau, Jean-Marie Moureaux	Lossy compression of volumetric medical images with 3D dead-zone lattice vector quantization.	Ann. des Télécommunications	2009	DBLP DOI BibTeX RDF	Volumetric medical images, 3D dead-zone lattice vector quantization, Lossy compression, 3D wavelet transform
24	Olga L. Bandman	A Lattice-Gas Model of Fluid Flow through Tortuous Channels of Hydrophilous and Hydrophobic Porous Materials.	PaCT	2009	DBLP DOI BibTeX RDF	Lattice-Gas models, porous medium, cellular automata, parallel implementation, pattern formation
24	Dieter Bardyn, Ann Dooms, Tim Dams, Peter Schelkens	Comparative Study of Wavelet Based Lattice QIM Techniques and Robustness against AWGN and JPEG Attacks.	IWDW	2009	DBLP DOI BibTeX RDF	Quantization Index Modulation, Digital Watermarking, Lattice
24	Yonnim Lee, Debashis Sarangi, Ohbyung Kwon, Minyong Kim	Lattice Based Privacy Negotiation Rule Generation for Context-Aware Service.	UIC	2009	DBLP DOI BibTeX RDF	Privacy negotiation, Privacy ontology, Lattice, P3P, Agent technology
24	Yukio-Pegio Gunji, Taichi Haruna, Eugene Schneider Kitamura	Lattice Derived by Double Indiscernibility and Computational Complementarity.	RSKT	2009	DBLP DOI BibTeX RDF	computational complementarity, automata, lattice theory, Indiscernibility
24	Abdul Majid, Muhammad Farooq Ahmad, Tae-Sun Choi	Lattice Constant Prediction of A2BB'O6 Type Double Perovskites.	ICCSA (2)	2009	DBLP DOI BibTeX RDF	Lattice Constant, Double Cubic Perovskites, Artificial Neural Network, Support Vector Regression, Multiple Linear Regression
24	Stefan Cernák	Convergence with a fixed regulator in lattice ordered groups and applications to MV-algebras.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Regulator of a convergence, Dedekind completion, Cauchy completion, MV-algebra, Lattice ordered group
24	Ye Zhao 0003	Lattice Boltzmann based PDE solver on the GPU.	Vis. Comput.	2008	DBLP DOI BibTeX RDF	Laplace and Poisson equation, Volume smoothing, Diffusion, Image editing, Lattice Boltzmann model, Surface fairing
24	Liu Peng, Ken-ichi Nomura, Takehiro Oyakawa, Rajiv K. Kalia, Aiichiro Nakano, Priya Vashishta	Parallel Lattice Boltzmann Flow Simulation on Emerging Multi-core Platforms.	Euro-Par	2008	DBLP DOI BibTeX RDF	Hybrid thread + message passing programming, Spatial decomposition, Critical section-free, dual representation, PlayStation3 cluster, Cell Broadband Engine architecture, Parallel computing, CUDA, Lattice Boltzmann Method, Flow simulation
24	Shinsuke Tajiri, Michihisa Tsutahara, Hisao Tanaka	Simulation of Sound Emitted from Collision of Droplet with Shallow Water by the Lattice Boltzmann Method.	ICCS (2)	2008	DBLP DOI BibTeX RDF	Finite difference lattice Boltzmann method, Aero-acoustics, Twophase flow, Two-fluid interface
24	Tee Kiah Chia, Khe Chai Sim, Haizhou Li 0001, Hwee Tou Ng	A lattice-based approach to query-by-example spoken document retrieval.	SIGIR	2008	DBLP DOI BibTeX RDF	lattice-based spoken document retrieval, probabilistic retrieval approach, retrieval of conversational telephone speech, language modeling, query by example
24	Nicolas Gama, Phong Q. Nguyen	Finding short lattice vectors within mordell's inequality.	STOC	2008	DBLP DOI BibTeX RDF	schnorr's algorithm, slide reduction, transference reduction, lattice reduction, lll
24	Francesca Tosi, Stefano Ubertini, Sauro Succi, Iliya V. Karlin	Optimization Strategies for the Entropic Lattice Boltzmann Method.	J. Sci. Comput.	2007	DBLP DOI BibTeX RDF	H-theorem, lid-driven cavity flow, entropy, Lattice Boltzmann method
24	Vassilis G. Kaburlasos	Unified Analysis and Design of ART/SOM Neural Networks and Fuzzy Inference Systems Based on Lattice Theory.	IWANN	2007	DBLP DOI BibTeX RDF	Neural Networks, Self-Organizing Map (SOM), Fuzzy Inference System (FIS), Adaptive Resonance Theory (ART), Lattice Theory
24	Jia-Xing Cheng, Ling Zhang 0001, Bo Zhang 0010	A Theoretical Framework of Natural Computing - M Good Lattice Points (GLP) Method.	APWeb/WAIM	2007	DBLP DOI BibTeX RDF	good lattice point method, genetic algorithm, semi-supervising learning, discrepancy, immunity algorithm, ant colony algorithm, particle swarm optimizer algorithm
24	Gilles Villard	Certification of the QR factor R and of lattice basis reducedness.	ISSAC	2007	DBLP DOI BibTeX RDF	lattice basis reducedness, verification algorithm, linear algebra, QR factorization
24	Patricia Hersh, John Shareshian	Chains of Modular Elements and Lattice Connectivity.	Order	2006	DBLP DOI BibTeX RDF	modular element, topological connectivity, lattice
24	Jean-Luc Baril, Jean Marcel Pallo	The Phagocyte Lattice of Dyck Words.	Order	2006	DBLP DOI BibTeX RDF	Dyck words, noncrossing partitions, lattice
24	Guillermo Barrenetxea, Baltasar Beferull-Lozano, Martin Vetterli	Lattice networks: capacity limits, optimal routing, and queueing behavior.	IEEE/ACM Trans. Netw.	2006	DBLP DOI BibTeX RDF	border data gathering, lattice networks, uniform communication, routing, queueing theory, torus, data gathering, network capacity, square grid
24	James B. Nation	Closure Operators and Lattice Extensions.	Order	2004	DBLP DOI BibTeX RDF	atomistic, congruence-preserving, lattice, extension, closure operator
24	Xiaoming Wei, Ye Zhao 0004, Zhe Fan, Wei Li 0004, Feng Qiu, Suzanne Yoakum-Stover, Arie E. Kaufman	Lattice-Based Flow Field Modeling.	IEEE Trans. Vis. Comput. Graph.	2004	DBLP DOI BibTeX RDF	force evaluation, flow field interaction, two-way solid-fluid coupling, bubble simulation, feather simulation, computation on GPU, hardware acceleration, Lattice Boltzmann model
24	Jan Jakubik	On the Schröder-Bernstein problem for abelian lattice ordered groups and for MV-algebras.	Soft Comput.	2004	DBLP DOI BibTeX RDF	Direct factor, Convex -subgroup, Lattice ordered group
24	Karen I. Aardal	Comments on the Paper: Attacking the Market Split Problem with Lattice Point Enumeration.	J. Comb. Optim.	2004	DBLP DOI BibTeX RDF	linear diophantine equations, lattice reformulation, integer programming
24	Taweechai Ouypornkochagorn, Kitsana Waiyamai	Formal Concept Mining: A Statistic-Based Approach for Pertinent Concept Lattice Construction.	ASIAN	2004	DBLP DOI BibTeX RDF	Formal Concept Mining, DESEA, Statistic-based, Pertinent Concept, Data Mining, Concept Lattice
24	Wei Li 0004, Xiaoming Wei, Arie E. Kaufman	Implementing lattice Boltzmann computation on graphics hardware.	Vis. Comput.	2003	DBLP DOI BibTeX RDF	Graphics hardware, Lattice Boltzmann method, Flow simulation
24	James Mayfield, Paul McNamee, Christine D. Piatko, Claudia Pearce	Lattice-based tagging using support vector machines.	CIKM	2003	DBLP DOI BibTeX RDF	SVM-Lattice, support vector machines, tagging, named entity recognition, part of speech tagging
24	Nathan Reading	Order Dimension, Strong Bruhat Order and Lattice Properties for Posets.	Order	2002	DBLP DOI BibTeX RDF	Bruhat, clivage, Coxeter, critical complex, Dilworth, MacNeille completion, monotone triangle, congruence, distributive lattice, order dimension, dissective
24	Gérard D. Cohen, Iiro S. Honkala, Antoine Lobstein, Gilles Zémor	On Codes Identifying Vertices in the Two-Dimensional Square Lattice with Diagonals.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	square lattice, identifying code, Graph, code
24	Massimo Bernaschi, Sauro Succi, Hudong Chen	Accelerated Lattice Boltzmann Schemes for Steady-State Flow Simulations.	J. Sci. Comput.	2001	DBLP DOI BibTeX RDF	discrete kinetic theory, numerical matrix algebra, steady-state flows, lattice Boltzmann method
24	Zhaoli Guo, Chuguang Zheng, T. S. Zhao	A Lattice BGK Scheme with General Propagation.	J. Sci. Comput.	2001	DBLP DOI BibTeX RDF	lattice BGK method, numerical stability
24	P. Morales, F. García Mazarío, Pedro Jiménez Guerra	First Alexandroff Decomposition Theorem for Topological Lattice Group Valued Measures.	Order	2000	DBLP DOI BibTeX RDF	paving, topological lattice group, K-inner regular measure, Alexandroff space, A-compactness, Wallman extension, F-mooth measure, Boolean algebra
24	Z. L. Guo, Baochang Shi, N. C. Wang	Fully Lagrangian and Lattice Boltzmann Methods for the Advection-Diffusion Equation.	J. Sci. Comput.	1999	DBLP DOI BibTeX RDF	Fully-Lagrangian method, advection-diffusion equation, Lattice Boltzmann method
24	Chi Lap Yip, K. K. Loo, Ben Kao, David Wai-Lok Cheung, C. K. Cheng	LGen - A Lattice-Based Candidate Set Generation Algorithm for I/O Efficient Association Rule Mining.	PAKDD	1999	DBLP DOI BibTeX RDF	LGen, Data mining, association rules, lattice, Apriori
24	Ravi Kumar 0001, D. Sivakumar 0001	A Note on the Shortest Lattice Vector Problem.	CCC	1999	DBLP DOI BibTeX RDF	shortest lattice vector, NP-completness, uniqueness
24	T. F. Himdi, Ravi S. Sandhu	Lattice Based Models for Controlled Sharing of Confidential Information in the Saudi Hajj System.	ACSAC	1997	DBLP DOI BibTeX RDF	lattice based models, controlled sharing, confidential information, Saudi Hajj system, pilgrimage, annual event, Saudi Arabia, government ministries, trusted environment, Saudi ministries, no obligation access security, Chinese Wall security, information flow policy, interoperability, confidentiality, data sharing, security requirements, security requirement, government data processing, shared data, multi level security
24	Lucien Haddad, Jean Fugère	On the Lattice of Partial Clones on a Finite Set.	ISMVL	1996	DBLP DOI BibTeX RDF	partial clones, lattice, set theory, multivalued logic, finite set
24	Kiyoshi Muto, Haruo Miyazaki, Yoichi Seki, Yoshihiro Kimura, Yukio Shibata	Lattice path counting andM/M/c queueing systems.	Queueing Syst. Theory Appl.	1995	DBLP DOI BibTeX RDF	M/M/c queue, transient solution, lattice path counting, depth of path
24	Mark H. Nodine, Daniel P. Lopresti, Jeffrey Scott Vitter	I/O Overhead and Parallel VLSI Architectures for Lattice Computations.	ICCI	1990	DBLP DOI BibTeX RDF	Input/output complexity, lattice computations, cellular automata, VLSI architectures, pebbling
24	Paul A. Karger	The Lattice Security Model In A Public Computing Network.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF	Data processing security, Lattice security model, Non-discretionary security, Computer security, Computer network security
22	Jouni Järvinen, Sándor Radeleczki, Laura Veres	Rough Sets Determined by Quasiorders.	Order	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 06A06, Secondary 06D10, 06D15, 68T37
22	K. Raj Kumar, Giuseppe Caire	Space-Time Codes From Structured Lattices.	IEEE Trans. Inf. Theory	2009	DBLP DOI BibTeX RDF
22	William B. Lund, Eric K. Ringger	Improving optical character recognition through efficient multiple system alignment.	JCDL	2009	DBLP DOI BibTeX RDF	OCR error rate reduction, text alignment, A* algorithm
22	Fritz Venter, Derrick G. Kourie, Bruce W. Watson	FCA-Based Two Dimensional Pattern Matching.	ICFCA	2009	DBLP DOI BibTeX RDF	2d pattern matching, microchip design layout, microchip design rules, formal concept analysis
22	Gasper Jaklic, Jernej Kozak, Marjeta Krajnc, Vito Vitrih, Emil Zagar	Barycentric coordinates for Lagrange interpolation over lattices on a simplex.	Numer. Algorithms	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 41A05, 65D05, 41A63
22	Joshua A. Cole	Embedding FD(omega) into Ps densely.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF
22		Introduction.	Complexity of Constraints	2008	DBLP DOI BibTeX RDF
22	Nayantara Bhatnagar, Sam Greenberg, Dana Randall	Sampling stable marriages: why spouse-swapping won't work.	SODA	2008	DBLP BibTeX RDF
22	Giulio Manzonetto, Antonino Salibra	From lambda-Calculus to Universal Algebra and Back.	MFCS	2008	DBLP DOI BibTeX RDF	Church Algebras, Stone Representation Theorem, Lambda Theories, Lambda calculus, Universal Algebra
22	Francisco J. Valverde-Albacete, Carmen Peláez-Moreno	Spectral Lattices of ['(R)]max, +-Formal Contexts.	ICFCA	2008	DBLP DOI BibTeX RDF
22	Iván Dotú, Manuel Cebrián, Pascal Van Hentenryck, Peter Clote	Protein Structure Prediction with Large Neighborhood Constraint Programming Search.	CP	2008	DBLP DOI BibTeX RDF
22	Heverton B. Macêdo, Marcelo J. L. Lima, Gina M. B. Oliveira	Searching for a Cryptographic Model Based on the Pre-Image Calculus of Cellular Automata.	SBRN	2008	DBLP DOI BibTeX RDF
22	Daowen Qiu	Notes on automata theory based on quantum logic.	Sci. China Ser. F Inf. Sci.	2007	DBLP DOI BibTeX RDF	orthomodular lattices, quantum computing, automata, quantum logic
22	Fang-Min Han, Xian-Da Zhang	Hexagonal Multicarrier Modulation: A Robust Transmission Scheme for Time-Frequency Dispersive Channels.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
22	Laurent Condat, Brigitte Forster-Heinlein, Dimitri Van De Ville	H2O: Reversible Hexagonal-Orthogonal Grid Conversion by 1-D Filtering.	ICIP (2)	2007	DBLP DOI BibTeX RDF
22	Mi Ryung Han, Hee-Joon Chung, Jihun Kim 0001, Dong-Young Noh, Ju Han Kim	Protein Classification from Protein-Domain and Gene-Ontology Annotation Information Using Formal Concept Analysis.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF
22	Benjamin Berkels, Andreas Rätz, Martin Rumpf, Axel Voigt	Identification of Grain Boundary Contours at Atomic Scale.	SSVM	2007	DBLP DOI BibTeX RDF
22	Josep Maria Font, Ramon Jansana, Don Pigozzi	On the Closure Properties of the Class of Full G-models of a Deductive System.	Stud Logica	2006	DBLP DOI BibTeX RDF	Leibniz congruence, Tarski congruence, generalized matrix, full generalized model, fully adequate Gentzen system, algebraizable logic, abstract algebraic logic, protoalgebraic logic
22	Amir J. Salomon, Ofer Amrani	Encoding and Decoding Binary Product Lattices.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
22	Pierre Moulin, Anil Kumar Goteti	Block QIM watermarking games.	IEEE Trans. Inf. Forensics Secur.	2006	DBLP DOI BibTeX RDF
22	Sebastian Hunt, David Sands 0001	On flow-sensitive security types.	POPL	2006	DBLP DOI BibTeX RDF	static analysis, type systems, information flow, non-interference, flow-sensitivity
22	Guangming Shi, Yafang Sun, Danhua Liu, Jin Pan	A Study on Construction of Time-Varying Orthogonal Wavelets.	ICNC (2)	2006	DBLP DOI BibTeX RDF
22	Wen-Chieh Lin, Yanxi Liu 0001	Tracking Dynamic Near-Regular Texture Under Occlusion and Rapid Movements.	ECCV (2)	2006	DBLP DOI BibTeX RDF
22	William Y. C. Chen, Christian Krattenthaler, Arthur L. B. Yang	The Flagged Cauchy Determinant.	Graphs Comb.	2005	DBLP DOI BibTeX RDF	AMS Subject Classification: 05E05, 05A15
22	Babak Hassibi, Haris Vikalo	On the sphere-decoding algorithm I. Expected complexity.	IEEE Trans. Signal Process.	2005	DBLP DOI BibTeX RDF
22	Yabo Li, Xiang-Gen Xia 0001, Genyuan Wang	Simple iterative methods to exploit the signal-space diversity.	IEEE Trans. Commun.	2005	DBLP DOI BibTeX RDF
22	Jeffrey Fischer, Ranjit Jhala, Rupak Majumdar	Joining dataflow with predicates.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	counterexample analysis, model checking, dataflow analysis, predicate abstraction
22	Nizar Messai, Marie-Dominique Devignes, Amedeo Napoli, Malika Smaïl-Tabbone	Querying a Bioinformatic Data Sources Registry with Concept Lattices.	ICCS	2005	DBLP DOI BibTeX RDF
22	Jürg Schmid	Bialgebraic Contexts for Distributive Lattices - Revisited.	ICFCA	2005	DBLP DOI BibTeX RDF
22	Tian-Shyr Dai, Yuh-Dauh Lyuu	Pricing Double Barrier Options by Combinatorial Approaches.	WSTST	2005	DBLP DOI BibTeX RDF
22	Yuhong Xiong, Edward A. Lee, Xiaojun Liu 0001, Yang Zhao, Lizhi C. Zhong	The design and application of structured types in Ptolemy II.	GrC	2005	DBLP DOI BibTeX RDF
22	Uri Dekel, Joseph Gil	Visualizing class interfaces with formal concept analysis.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	feature categorization, reverse-engineering, documentation, classes, concept analysis
22	Jeffrey Johnson, Blaine A. Price	Complexity Science and Representation in Robot Soccer.	RoboCup	2003	DBLP DOI BibTeX RDF
22	Zongtian Liu, Liansheng Li, Qing Zhang	Research on a Union Algorithm of Multiple Concept Lattices.	RSFDGrC	2003	DBLP DOI BibTeX RDF	Multiple concept lattices, Union operation of concept lattices, Union algorithm of concept lattices, Formal Concept Analysis
22	Iwan Jensen	Counting Polyominoes: A Parallel Implementation for Cluster Computing.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
22	Antoine Deza, Shmuel Onn	Solitaire Lattices.	Graphs Comb.	2002	DBLP DOI BibTeX RDF
22	Christo Dichev	Do What We Do to Find What You Want.	AIMSA	2002	DBLP DOI BibTeX RDF	web-based technology, information retrieval
22	Michael Bain 0001	Structured Features from Concept Lattices for Unsupervised Learning and Classification.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF
22	Daniel Gatica-Perez, Chuang Gu, Ming-Ting Sun, Salvador Ruiz-Correa	Extensive partition operators, gray-level connected operators, and region merging/classification segmentation algorithms: theoretical links.	IEEE Trans. Image Process.	2001	DBLP DOI BibTeX RDF
22	Manijeh Khataie, M. Reza Soleymani	Indexing the output points of an LBVQ used for image transform coding.	IEEE Trans. Image Process.	2000	DBLP DOI BibTeX RDF
22	Richard J. Cole II, Peter W. Eklund, Gerd Stumme	CEM-Visualisation and Discovery in Email.	PKDD	2000	DBLP DOI BibTeX RDF
22	Yuhong Xiong, Edward A. Lee	An Extensible Type System for Component-Based Design.	TACAS	2000	DBLP DOI BibTeX RDF
22	John Atkins, William E. Hart	On the Intractability of Protein Folding with a Finite Alphabet of Amino Acids.	Algorithmica	1999	DBLP DOI BibTeX RDF	Protein folding, Protein structure prediction, Intractability
22	Benjamin W. Wah, Zhe Wu 0002	Discrete Lagrangian Methods for Designing Multiplierless Two-Channel PR-LP Filter Banks.	J. VLSI Signal Process.	1999	DBLP DOI BibTeX RDF
22	Martin F. van Bommel, T. J. Beck	Incremental Encoding of Multiple Inheritance Hierarchies.	CIKM	1999	DBLP DOI BibTeX RDF
22	Volker Heun	Approximate Protein Folding in the HP Side Chain Model on Extended Cubic Lattices.	ESA	1999	DBLP DOI BibTeX RDF
22	Susanne Wetzel	An Efficient Parallel Block-Reduction Algorithm.	ANTS	1998	DBLP DOI BibTeX RDF
22	Wojciech Banaszczyk	Inequalities for Convex Bodies and Polar Reciprocal Lattices in $R^n$ II: Application of $K$-Convexity.	Discret. Comput. Geom.	1996	DBLP DOI BibTeX RDF
22	J. C. Lagarias 0001, Andrew M. Odlyzko	Solving Low-Density Subset Sum Problems	J. ACM	1985	DBLP DOI BibTeX RDF
22	Hassan Aït-Kaci	Solving Type Equations by Graph Rewriting.	RTA	1985	DBLP DOI BibTeX RDF
22	Gérard Berry, Jean-Jacques Lévy	Minimal and Optimal Computations of Recursive Programs.	POPL	1977	DBLP DOI BibTeX RDF