journals/candc/Konopka93:::Andrzej K. Konopka:::Computational Molecular Biology: From Sequence Research to Software Development.
journals/candc/AlekseevKK99:::Boris V. Alekseev::Igor V. Kozhevnikov::Nikolai I. Koltsov:::The Research Computer Method of the Multiplicity of Steady States of Catalytic Reactions.
journals/candc/Newmark86:::Richard A. Newmark:::Calculation of NMR spectra of substituted benzenes using a microcomputer.
journals/candc/Dorin84:::R. Dorin:::A computerized electrochemical data acquisition and control system.
journals/candc/XiongZZ91:::Xiang Xiong::Yu-Zhen Zhu::Xin Zhou:::A Simple Microcomputer-controlled Instrumental System for Kinetic Analyses and Determinations.
journals/candc/MaineSM78:::Paul A. D. de Maine::G. K. Springer::R. A. Mikelskas:::Automatic curve-fitting-ll. Linear equations.
journals/candc/Taylor93:::William R. Taylor:::Protein Structure Prediction From Sequence.
journals/candc/GawowskiFJN91:::Janusz Gawowski::Krzysztof Franaszczuk::Mirosaw Jakiewicz::Jan Niedzielski:::Modernization of the MX-1321Mass-spectrometer: a New Information System for GC/MS Analysis.
journals/candc/DimitrovK96:::Sabtcho D. Dimitrov::Dimitar I. Kamenski:::Parameter Estimation in Complicated Rational Functions.
journals/candc/MekenyanKB90:::Ovanes Mekenyan::Stoyan Karabunarliev::Danail Bonchev:::The microcomputer OASIS system for predicting the biological activity of chemical compounds.
journals/candc/Rosen96:::Robert Rosen:::Biology and the Measurement Problem.
journals/candc/ClarkM90:::Terry W. Clark::J. Andrew McCammon:::Parallelization of a molecular dynamics non-bonded force algorithm for MIMD architecture.
journals/candc/MirkinN91:::Michael V. Mirkin::A. P. Nilov:::Modification of the Huber Method for Solving Integral Equations on a Non-uniform Grid.
journals/candc/BungeBCD88:::Carlos F. Bunge::Annik Vivier Bunge::Gerardo Cisneros::Jean-Pierre Daudey:::New algorithm and FORTRAN module to carry out the four-index transformation of atomic and molecular physics wholly in central memory.
journals/candc/Gordon94:::Richard Gordon:::Evolution Escapes Rugged Fitness Landscapes by Gene Or Genome Doubling: the Blessing of Higher Dimensionality.
journals/candc/DillenG80:::J. Dillen::H. J. Geise:::A computer routine for the calculation of Cartesian coordinates of seven membered ring systems.
journals/candc/Kukol97:::Andreas Kukol:::Ion Channels - analysis and Simulation Embedded in a Flexible Environment.
journals/candc/Lavine94:::Barry K. Lavine:::Chemometrics for Analytical Chemistry, Vol I: PC-Aided Statistical Data Analysis.
journals/candc/Simos97:::Tom E. Simos:::Accurate Computations for the Elastic Scattering Phase-shift Problem.
journals/candc/Gasteiger78:::Johann Gasteiger:::An algorithm for estimating heats of reaction.
journals/candc/KostrowickiL84:::J. Kostrowicki::A. Liwo:::DECFAM - A new computer oriented algorithm for the determination of equilibrium constants from potentionmetric and/or spectrophotometric measurements - I: Basic principles of the method and calculations of equilibrium concentrations.
journals/candc/MaxMH81:::Nelson L. Max::Deepak Malhorta::Anton J. Hopfinger:::Computer graphics and the generation of DNA confirmations for intercalation studies.
journals/candc/BerrondoBB86:::Manuel Berrondo::Annik Vivier Bunge::Carlos F. Bunge:::VHQRII: An accurate, modular and fast diagonalization routine for vector processors.
journals/candc/Friedman99:::Jeffrey M. Friedman:::Interconversion Between 3D Molecular Representations: Some Macromolecular Applications of Spherical Harmonic-Bessel Expansions about an Arbitrary Center.
journals/candc/TanCJ88:::H. S. Tan::P. Chiarot::W. E. Jones:::Microcomputer-assisted temperature programmed desorption studies.
journals/candc/BaumgartnerD02:::Werner Baumgartner::Detlev Drenckhahn:::An Expectation-maximisation Algorithm for the Deconvolution of the Intrinsic Distribution of Single Molecule's Parameters.
journals/candc/IsoardiBB95:::Esteban P. Isoardi::Dora A. Barbiric::Gustavo D. Barrera:::Quasiharmonic Lattice Dynamics of Body Centred Cubic Metals.
journals/candc/Konopka02a:::Andrzej K. Konopka:::This Is Biology: The Science of the Living World: Ernst Mayr, Harvard University Press, Cambridge, MA, Publication Date, July 1998. ISBN: 0674884698, Paperback, 1st Ed., 352Pp.
journals/candc/GastmansPF88:::J. P. Gastmans::V. E. De Paula::M. Furlan:::Etude par microordinateur de l'influence des atomes voisins sur les signaux RMN de 13C.
journals/candc/MillerJ89:::L. L. Miller::R. A. Jacobson:::A self-consistent semi-empirical absorption correction technique.
journals/candc/Lejtovicz91:::János Lejtovicz:::A Computer Program for the Deficiency Zero and Deficiency One Theorems.
journals/candc/WeiguangH95a:::Huang Weiguang::Brynn Hibbert:::Program Seppeak 1.1: Separator of Overlapping Peaks.
journals/candc/BronnerSPGR02:::Gisèle Bronner::Bruno Spataro::Michel Page::Christian Gautier::Franç Rechenmann:::Modeling Comparative Mapping using Objects and Associations.
journals/candc/LisyCD91:::Ján Mikulás Lisý::A. Cholvadová::B. Drobná:::Least Squares Analysis - Propagation of Random Errors and Newton-Raphson Iterative Formula.
journals/candc/MitchellM91:::Michael J. Mitchell::J. Andrew McCammon:::Vector Optimization of Amber 3.0On the NEC SX-2/400Supercomputer.
journals/candc/Fujita88:::Iwao Fujita:::Automatic analytical differentiation for nonlinear least-squares calculations.
journals/candc/Munoz-CaroN98:::Camelia Muñoz-Caro::Alfonso Niño:::Neural Modeling of Torsional Potential Hypersurfaces in Non-rigid Molecules.
journals/candc/TomczakH95:::Jaroslaw Tomczak::Jerzy P. Hawranek:::An Object-oriented Approach to the Calculation of the Inverse Kinetic Energy Matrix.
journals/candc/MatisXSGEMU96:::Sherri Matis::Ying Xu::Manesh J. Shah::Xiaojun Guan::J. Ralph Einstein::Richard J. Mural::Edward C. Uberbacher:::Detection of RNA Polymerase II Promoters and Polyadenylation Sites in Human DNA Sequence.
journals/candc/LeitnerVG93:::Jindrich Leitner::Petr Vonka::Vladimír Glaser:::Program for the Calculation, Construction of Isothermal Phase Stability Diagrams.
journals/candc/ZhaoCH02:::Weixiang Zhao::Dezhao Chen::Shangxu Hu:::Differential Fraction-based Kinetic Model for Simulating Hydrodesulfurization Process of Petroleum Fraction.
journals/candc/TupperCG91:::Kenneth J. Tupper::Richard W. Counts::Joseph J. Gajewski:::Geometry Optimization Within a Modified Extended Hückel Formalism: Modifications to the ASED Program.
journals/candc/MossM82:::D. S. Moss::A. J. Morffew:::Restrain: A restrained least squares refinement program for use in protein crystallography.
journals/candc/Wieczorek-Ciurowa98:::Krystyna Wieczorek-Ciurowa:::Application of Optimization Methods to Solid Phase Analysis of Combustion Gases Desulphurization Products.
journals/candc/MorikamiNKSN92:::Kenji Morikami::Takahisa Nakai::Akinori Kidera::Minoru Saito::Haruki Nakamura:::Presto(protein Engineering Simulator): A Vectorized Molecular Mechanics Program for Biopolymers.
journals/candc/NinoM95:::Alfonso Niño::Camelia Muñoz-Caro:::Recursive Computation of Hamiltonian Matrix Elements Using Harmonic Oscillator Eigenfunctions: Application to the Inversion of Ammonia and to the Methyl Torsion + Aldehydic Hydrogen Wagging of Acetaldehyde.
journals/candc/HawranekM98:::Jerzy P. Hawranek::Andrzej S. Muszynski:::On the Determination of Optical Constants of Liquids in the Infrared Region.
journals/candc/DolhaineGL86:::Hans Dolhaine::John S. Garavelli::Jack E. Leonard:::Comments on papers concerning computer enumeration of permutation isomers.
journals/candc/DeTar77d:::DeLos F. DeTar:::MOLMEC. a general approach to molecular mechanics computations.
journals/candc/DeTar85a:::DeLos F. DeTar:::Methods in computational molecular physics : Edited by G. H. F. Diercksen and S. Wilson, D. Reidel Publishing Company, Dordrecht, Holland, 1983.
journals/candc/DeTar85d:::DeLos F. DeTar:::Logical and combinatorial algorithms for drug design: By V. E. Golender and A. B. Rozenblit, Research Studies Press Ltd. ISBN 0-471-90266-7, Letchworth, Hertfordshire, England 1983.
journals/candc/LarizzaMPS02:::Alessandra Larizza::Wojciech Makalowski::Graziano Pesole::Cecilia Saccone:::Evolutionary Dynamics of Mammalian MRNA Untranslated Regions by Comparative Analysis of Orthologous Human, Artiodactyl and Rodent Gene Pairs.
journals/candc/NovoP94:::João B. Marques Novo::Francisco B. T. Pessine:::A Computer Program for the Simulation of Boxcar Integrator, Averager System in Luminescence Decay Kinetic Experiments.
journals/candc/Utreras-DiazL95:::Constantino A. Utreras-Díaz::Jorge Ricardo Letelier:::A Variational-numerical Method to Solve the One-dimensional Wave Equation for an Arbitrary Potential.
journals/candc/Klaerr-BlanchardCC00:::Maude Klaerr-Blanchard::Hélène Chiapello::Eivind Coward:::Detecting Localized Repeats in Genomic Sequences: A New Strategy and Its Application to Bacillus Subtilis and Arabidopsis Thaliana Sequences.
journals/cvgip/Wu93:::Zhenyu Wu:::Homogeneity Testing for Unlabeled Data: A Performance Evaluation.
journals/cvgip/ChenYH94:::Yung-Sheng Chen::Hung-Tien Yen::Wen-Hsing Hsu:::Compression of Color Image via the Technique of Surface Fitting.
journals/cvgip/ParisS03:::Sylvain X. Paris::François X. Sillion:::Robust acquisition of 3D informations from short image sequences.
journals/cvgip/VeatchD90:::Phillip A. Veatch::Larry S. Davis:::Efficient Algorithms for Obstacle Detection Using Range Data.
journals/cvgip/YangXYW00:::Xue Dong Yang::Zhan Xu::Jun Yang::Tao Wang:::The Cluster Hair Model.
journals/cvgip/HerY94:::Innchyn Her::Chi-Tseng Yuan:::Resampling on a Pseudohexagonal Grid.
journals/cvgip/LiL95:::C. H. Li::C. K. Lee:::Image Smoothing Using Parametric Relaxation.
journals/cvgip/PikazA98:::Arie Pikaz::Amir Averbuch:::On the Relation between Second-Order Statistics, Connectivity Analysis, and Percolation Models in Digital Textures.
journals/cvgip/Yan93:::Hong Yan:::Skew Correction of Document Images Using Interline Cross-Correlation.
journals/cvgip/ChoMPP99:::Wonjoon Cho::Takashi Maekawa::Nicholas M. Patrikalakis::Jaime Peraire:::Topologically Reliable Approximation of Trimmed Polynomial Surface Patches.
journals/cvgip/SaberTEK96:::Eli Saber::A. Murat Tekalp::Reiner Eschbach::KeithT. Knox:::Automatic Image Annotation Using Adaptive Color Classification.
journals/cvgip/RaoB94:::K. Raghunath Rao::Jezekiel Ben-Arie:::Nonorthogonal Image Expansion Related to Optimal Template Matching in Complex Images.
journals/cvgip/ShnaiderP97:::Mikhail Shnaider::Andrew P. Paplinski:::Image Coding throughDLattice Quantization of Wavelet Coefficients.
journals/cvgip/MountN94:::David M. Mount::Nathan S. Netanyahu:::Computationally Efficient Algorithms for High-Dimensional Robust Estimators.
journals/cvgip/YitzhakyK97:::Yitzhak Yitzhaky::N. S. Kopeika:::Identification of Blur Parameters from Motion Blurred Images.
journals/cvgip/HouleF93:::Caroline Houle::Eugene Fiume:::Light-Source Modeling Using Pyramidal Light Maps.
journals/cvgip/ChanT97:::Y. T. Chan::S. M. Thomas:::An Approximate Maximum Likelihood Linear Estimator of Circle Parameters.
journals/cvgip/ChenL97:::C. H. Chen::G. G. Lee:::On Digital Mammogram Segmentation and Microcalcification Detection Using Multiresolution Wavelet Analysis.
journals/cvgip/Veltkamp95:::Remco C. Veltkamp:::Boundaries through Scattered Points of Unknown Density.
journals/cvgip/Buzer03:::Lilian Buzer:::A linear incremental algorithm for naive and standard digital lines and planes recognition.
journals/cvgip/NagasamyL90:::Vijay Nagasamy::Noshir A. Langrana:::Engineering Drawing Processing and Vectorization System.
journals/cvgip/KimKK99:::Dongryeol Kim::Jinsoo Kim::Hyeong-Seok Ko:::Unification of Distance and Volume Optimization in Surface Simplification.
journals/cvgip/ArakawaK96:::Kenichi Arakawa::Eric Krotkov:::Fractal Modeling of Natural Terrain: Analysis and Surface Reconstruction with Range Data.
journals/cvgip/GalinA00:::Eric Galin::Samir Akkouche:::Incremental Polygonization of Implicit Surfaces.
journals/cvgip/LeeKE98:::In-Kwon Lee::Myung-Soo Kim::Gershon Elber:::Polynomial/Rational Approximation of Minkowski Sum Boundary Curves.
journals/cvgip/WaksmanR96:::Adlai Waksman::Azriel Rosenfeld:::Sparse, Opaque Three-Dimensional Texture: 2a. Visibility.
journals/cvgip/MeerPC94:::Peter Meer::Rae-Hong Park::Kyujin Cho:::Multiresolution Adaptive Image Smoothing.
journals/cvgip/ZhouK01:::Lin Zhou::Chandra Kambhamettu:::Extending Superquadrics with Exponent Functions: Modeling and Reconstruction.
journals/cvgip/Andres03:::Eric Andres:::Discrete linear objects in dimension n: the standard model.
journals/cvgip/KnillK90:::David C. Knill::Daniel Kersten:::Learning a Near-Optimal Estimator for Surface Shape from Shading.
journals/cvgip/AnguhM93:::M. M. Anguh::Ralph R. Martin:::A Truncation Method for Computing Walsh Transforms with Applications to Image Processing.
journals/cvgip/Herman93:::Gabor T. Herman:::Oriented Surfaces in Digital Spaces.
journals/cvgip/VenkateshR95:::Svetha Venkatesh::Paul L. Rosin:::Dynamic Threshold Determination by Local and Global Edge Evaluation.
journals/cvgip/MalgouyresL00:::Rémy Malgouyres::Alexandre Lenoir:::Topology Preservation Within Digital Surfaces.
journals/cvgip/CarevicC97:::Dragana Carevic::Terry Caelli:::Region-Based Coding of Color Images Using Karhunen-Loeve Transform.
journals/cvgip/Ghosh90:::Pijush K. Ghosh:::A Solution of Polygon Containment, Spatial Planning, and Other Related Problems Using Minkowski Operations.
journals/cvgip/HuangC96:::Chung-Lin Huang::Kou-Chang Chen:::Directional Moving Averaging Interpolation for Texture Mapping.
journals/cvgip/BaraldiP95:::A. Baraldi::F. Parmiggiani:::An Alternative Form of the Lee Filter for Speckle Suppression in SAR Images.
journals/cvgip/BediniGT94:::Luigi Bedini::I. Gerace::Anna Tonazzini:::A Deterministic Algorithm for Reconstructing Images with Interacting Discontinuities.
journals/cvgip/ToffoliQ97:::Tommaso Toffoli::Jason Quick:::Three-Dimensional Rotations by Three Shears.
journals/cvgip/Adams93:::Rolf Adams:::Radial Decomposition of Discs and Spheres.
journals/cvgip/SherbrookePW96:::Evan C. Sherbrooke::Nicholas M. Patrikalakis::Franz-Erich Wolter:::Differential and Topological Properties of Medial Axis Transforms.
journals/cvgip/ChangL90:::Long-Wen Chang::Kuen-Long Leu:::A fast algorithm for the restoration of images based on chain codes description and its applications.
journals/cvgip/SchmitzS95:::Barbara E. Schmitz::Robert L. Stevenson:::Color Palette Restoratio.
journals/eatcs/Hromkovic89:::Juraj Hromkovic:::The knowledge on information content of problems provides much useful information to circuit designers.
journals/eatcs/Darondeau91:::Philippe Darondeau:::Recursive Graphs are not Stable under Maximal Reduction.
journals/eatcs/BackhouseM90:::Roland Carl Backhouse::Grant Malcolm:::On induced congruences.
journals/eatcs/CulikK85:::Karel Culik II::Juhani Karhumäki:::Decision problems solved with the help of the Ehrenfeucht conjecture.
journals/eatcs/Steward90:::Iain A. Stewart:::On The Graph Accessibility Problem for Directed Graphs of Bounded Degree.
journals/eatcs/Damm98:::Carsten Damm:::A Note on Spectral Lower Bound Arguments for Decision Trees.
journals/eatcs/BaazZ92:::Matthias Baaz::Richard Zach:::Note on calculi for a three-valued logic for logic programming..
journals/eatcs/Schmidt99:::M. Schmidt:::Time-Bounded Kolmogorov Complexity May Help in Search for Extra Terrestrial Intelligence (SETI).
journals/eatcs/LengauerW88:::Thomas Lengauer::Egon Wanke:::Efficient processing of hierarchical graphs for engineering design.
journals/eatcs/Campeanu96:::Cezar Câmpeanu:::Random Numbers Are Borel Normal.
journals/eatcs/Blass88:::Andreas Blass:::Logic in Computer Ccience Column, guest authors.
journals/eatcs/Paun95:::Gheorghe Paun:::Splicing.
journals/eatcs/Seda96:::Anthony Karel Seda:::Quasi-Metrics and Fixed Points in Computing.
journals/eatcs/Rote02:::Günter Rote:::Crossing the Bridge at Night.
journals/eatcs/TrejoKL00:::Raul Trejo::Vladik Kreinovich::Luc Longpré:::Choosing a Physical Model: Why Symmetries?
journals/eatcs/LehikoinenM95:::Juha Lehikoinen::Erkki Mäkinen:::A New Distance-based Coding Method For Binary Trees.
journals/eatcs/Martin-VideP00:::Carlos Martín-Vide::Gheorghe Paun:::Computing with Membranes: One More Collapsing Hierarchy.
journals/eatcs/CaludeCS98:::Cristian Calude::Elena Calude::Catalina Stefanescu:::Computational Complementarity for Mealy Automata.
journals/eatcs/Nourani95:::Cyrus F. Nourani:::Artificial Algebras.
journals/eatcs/Chang94:::Richard Chang:::A Machine Model for NP-Approximation Problems and the Revenge of the Boolean Hierarchy.
journals/eatcs/FotakisNPS01:::Dimitris Fotakis::Sotiris E. Nikoletseas::Vicky G. Papadopoulou::Paul G. Spirakis:::Hardness Results and Efficient Appromixations for Frequency Assignment Problems and the Radio Coloring Problem.
journals/eatcs/KoshelevKL99:::M. Koshelev::Vladik Kreinovich::Luc Longpré:::Encryption Algorithms Made (Somewhat) More Natural (a pedagogical remark).
journals/eatcs/SkowronS93:::Andrzej Skowron::Zbigniew Suraj:::A rough set approach to real-time state identification.
journals/eatcs/SanellaT90:::Donald Sanella::Andrzej Tarlecki:::Algebraic specification and formal methods for program development: what are the real problems?
journals/eatcs/OvermarsSV89:::Mark H. Overmars::Bertha Scholten::Ingrid Vincent:::Sets without emtpy convex 6-gons.
journals/eatcs/Fortnow00:::Lance Fortnow:::Diagonalization.
journals/eatcs/KatajainenM90:::Jyrki Katajainen::Erkki Mäkinen:::A note on the complexity of trie compaction.
journals/eatcs/Schoning00:::Uwe Schöning:::Mastering the Master Theorem.
journals/eatcs/DershowitzJ91:::Nachum Dershowitz::Jean-Pierre Jouannaud:::Notations for Rewting.
journals/eatcs/Turner87:::David Turner:::An overview of Miranda.
journals/eatcs/Brzozowski89:::Janusz A. Brzozowski:::Minimization by reversal is not new.
journals/eatcs/ThomsenT98:::Bent Thomsen::Lone Leth Thomsen:::Towards Global Computations Guided by Concurrency Theory.
journals/eatcs/Ehrig88a:::Hartmut Ehrig:::The Algebraic Specification Column.
journals/eatcs/CorradiniK97:::Andrea Corradini::Hans-Jörg Kreowski:::GETGRATS and APPLIGRAPH: Theory and Applications of Graph Transformation.
journals/eatcs/GaifmanV85:::Haim Gaifman::Moshe Y. Vardi:::A simple proof that connectivity of finite graphs is not first-order definable.
journals/eatcs/EhrigPO99:::Hartmut Ehrig::Julia Padberg::Fernando Orejas:::From Basic Views and Aspects to Integration of Specification Formalisms.
journals/eatcs/Edelsbrunner88:::Herbert Edelsbrunner:::The computational Geometry Column.
journals/eatcs/Padberg93:::Julia Padberg:::Algebreic high-level net transformation systems: a survey over theory and applications.
journals/eatcs/Padberg98:::Julia Padberg:::Classification of Petri Nets Using Adjoint Functors.
journals/eatcs/Salomaa97:::Arto Salomaa:::Conjugate Words, Cuts of the Deck and Cryptographic Protocols.
journals/eatcs/ODunlaing96:::Colm Ó'Dúnlaing:::Resolution Proofs viewed as Automata.
journals/eatcs/Gurevich89a:::Yuri Gurevich:::The Logic in computer science Column.
journals/eatcs/JousselinM89:::C. Jousselin::J.-P. Moskowitz:::Memory and algebra.
journals/eatcs/RussellS02:::Alexander Russell::Alexander A. Shvartsman:::Distributed Computation Meets Design Theory: Local Scheduling for Disconnected Cooperation.
journals/eatcs/Seda94a:::Anthony Karel Seda:::Some Applications of General Topology To The Semantics of Logic Programms.
journals/eatcs/Engelfriet85:::Joost Engelfriet:::The non-computability of computability.
journals/eatcs/Hartmanis87a:::Juris Hartmanis:::Structural Complexity Columns in Sparse complete sets for NP and the optimal collpase of the polynomial hierarchy.
journals/eatcs/Hartmanis89a:::Juris Hartmanis:::The Structural Complexity Column.
journals/eatcs/RestivoS83:::Antonio Restivo::Sergio Salemi:::On weakly square free words.
journals/eatcs/Ehrig01:::Hartmut Ehrig:::A Review of Graph Grammars and Preview of ICGT 2002: The First International Conference on Graph Transformation.
journals/eatcs/Ehrig02:::Hartmut Ehrig:::Bigraphs meet Double Pushouts.
journals/eatcs/Kunen91:::Kenneth Kunen:::Declarative Semantics of Logic Programming.
journals/eatcs/Maass00:::Wolfgang Maass:::Neural Computation: A Research Topic for Theoretical Computer Science? Some Thoughts and Pointers.
journals/eatcs/Shaltiel02:::Ronen Shaltiel:::Recent Developments in Explicit Constructions of Extractors.
journals/eatcs/HemachandraO92:::Lane A. Hemachandra::Mitsunori Ogiwara:::Is #P Closed under Substraction?
journals/eatcs/Fischer01:::Eldar Fischer:::The Art of Uninformed Decisions.
journals/eatcs/Balanescu84:::Tudor Balanescu:::A proof rule for the "it it" generalized control structure.
journals/eatcs/MateescuS96:::Alexandru Mateescu::Arto Salomaa:::Views on Linguistics.
journals/eatcs/Meyer87:::John-Jules Ch. Meyer:::Process modalities obtained as fixed points (part 2).
journals/eatcs/Urquhart98:::Alasdair Urquhart:::The Complexity of Propositional Proofs.
journals/eatcs/Honkala99:::Juha Honkala:::On Chains of Word Equations and Test Sets.
journals/eatcs/LucaR86:::Aldo de Luca::Antonio Restivo:::On a generalization of a conjecture of Ehrenfeucht.
journals/eatcs/Courcelle91:::Bruno Courcelle:::On Constructing Obstruction Sets of Words.
journals/eatcs/Hirvensalo02:::Mika Hirvensalo:::Universality and Quantum Computing.
journals/eatcs/Makinen92:::Erkki Mäkinen:::A note on Graftings, Rotations, and Distances in Binary Trees.
journals/eatcs/SpaanTB89:::Edith Spaan::Leen Torenvliet::Peter van Emde Boas:::Nondeterminism fairness and a fundamental analogy.
journals/eatcs/Hemmerling84:::Armin Hemmerling:::A searching algorithm for finite embedded D-graphs with no more than k regions.
journals/eatcs/Heuter88:::Uschi Heuter:::Definite tree languages.
journals/eatcs/Allender01:::Eric Allender:::The Division Breakthroughs.
journals/eatcs/BaratellaF88:::Stefano Baratella::Gilberto Filé:::A completeness result for SLDNF resoultion.
journals/eatcs/Freivalds85:::Rusins Freivalds:::Recursiveness of the enumerating functions invreases the inferablity of recursively enumberable sets.
journals/eatcs/Choffrut90:::Christian Choffrut:::An Optimal Algorithm for building the Boyer-Moore automaton.
journals/eatcs/ArnoldDN92:::André Arnold::Anne Dicky::Maurice Nivat:::A note about minimal non-deterministic automata.
journals/eatcs/Poigne89:::Axel Poigné:::Bisimulation as cointersection.
journals/eatcs/Lipponen94:::Marjo Lipponen:::Primitive Words and Languages Associated to PCP.
journals/dmtcs/KrummeF01:::David W. Krumme::Paraskevi Fragopoulou:::Minimum Eccentricity Multicast Trees.
journals/dmtcs/Manzini98:::Giovanni Manzini:::Lower bounds for sparse matrix vector multiplication on hypercubic networks.
journals/dmtcs/DuchampKKT97:::Gérard Duchamp::Alexander Klyachko::Daniel Krob::Jean-Yves Thibon:::Noncommutative symmetric functions III: Deformations of Cauchy and convolution algebras.
journals/dmtcs/CapelleHM02:::Christian Capelle::Michel Habib::Fabien de Montgolfier:::Graph Decompositions andFactorizing Permutations.
journals/dmtcs/HoangL01:::Chính T. Hoàng::Van Bang Le:::P4-Colorings and P4-Bipartite Graphs.
journals/dmtcs/LynchS98:::Christopher Lynch::Polina Strogova:::SOUR graphs for efficient completion.
journals/emisa/ZemanekN96:::Georg V. Zemanek::Hans W. Nissen:::Formales System und Vorgehensweise zur Modellierung von Geschäftsprozessen.
journals/emisa/MunzenbergerW96:::Meinhard Münzenberger::Axel Wieczorek:::Einführung in Java.
journals/emisa/Sinz92:::Elmar J. Sinz:::Modellierung betrieblicher Informationssysteme: Anforderungen, Ziele und Methoden.
journals/emisa/JablonskiB93:::Stefan Jablonski::Christoph Bussler:::Objektorientierte Modellierung integrierter Informationssysteme.
journals/emisa/Nemeth92:::Tibor Németh:::Konzeptuelle Objektsysteme zur Modellierung von Informations- und Steuerungssystemen.
journals/emisa/Jeusfeld96:::Manfred A. Jeusfeld:::Informationsserver für das Internet oder Die Suche nach der Nadel im Heuhaufen.
journals/emisa/Hrachovec03:::Herbert Hrachovec:::Objekt und Klasse, Gegenstand und Begriff.
journals/emisa/BottPT96:::O. J. Bott::O.-S. Penger::A. Terstappen:::Ein Ansatz zur methoden- und werkzeuggestützten Anfroderungs- und Systemspezifikation auf der Grundlage objektorientierter Modellierungs- und Simulationstechniken.
journals/emisa/AngelePSOZMDPS97:::Jürgen Angele::Rainer Perkuhn::Rudi Studer::Andreas Oberweis::G. Zimmermann::Frank Maurer::Barbara Dellen::Gerhard Pews::W. Stein:::Abschlußbericht der GI-Arbeitsgruppe "Vergleichende Analyse von Problemstellungen und Lösungsansätzen in den Fachgebieten Information Systems Engineering, Software Engineering und Knowledge Engineering".
journals/emisa/LohrS94:::Perdita Löhr::Gabriele Scherrer:::Software Engineering - Methoden und Vorgehensmodelle.
journals/emisa/Rohloff96:::Michael Rohloff:::Analyse und Prozeßentwurf betrieblicher Abläufe im OGM-Aansatz.
journals/emisa/Frank03:::Ulrich Frank:::Ebenen der Abstraktion und ihre Abbildung auf konzeptionelle Modelle - oder: Anmerkungen zur Semantik von Spezialisierungs- und Instanziierungsbeziehungen.
journals/emisa/HerzwurmMS96:::Georg Herzwurm::Werner Mellis::Sixten Schockert:::Kondenorientierte Planung von Softwareprodukten und -prozessen mit Quality Function Depelopment (QFD).
journals/entcs/BorovanskyKKMR98:::Peter Borovanský::Claude Kirchner::Hélène Kirchner::Pierre-Etienne Moreau::Christophe Ringeissen:::An overview of ELAN.
journals/entcs/HiltonH02:::Adrian Hilton::Jon Hall:::Refining specifications to programmable logic.
journals/entcs/FouquereV96:::Christophe Fouqueré::Jacqueline Vauzeilles:::Linear Logic for Taxonomical Networks and Database Updates.
journals/entcs/FraerKFV99:::Ranan Fraer::Gila Kamhi::Limor Fix::Moshe Y. Vardi:::Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting.
journals/entcs/SchiedB95:::Georg Schied::Klaus Barthelmann:::Linear types for higher order processes with first class directed channels.
journals/entcs/NicolaL98:::Rocco De Nicola::Anna Labella:::Tree Morphisms and Bisimulations.
journals/entcs/Cirstea00:::Corina Cîrstea:::An Algebra-Coalgebra Framework for System Specification.
