conf/dna/LimYJCYZ02:::Hee-Woong Lim::Ji-Eun Yun::Hae-Man Jang::Young-Gyu Chai::Suk-In Yoo::Byoung-Tak Zhang:::Version Space Learning with DNA Molecules.
conf/dna/FreundF00:::Rudolf Freund::Franziska Freund:::Molecular Computing with Generalized Homogeneous P-Systems.
conf/dna/MargensternR00:::Maurice Margenstern::Yurii Rogozhin:::About Time-Varying Distributed H Systems.
conf/dna/HussiniKK01:::Salah Hussini::Lila Kari::Stavros Konstantinidis:::Coding Properties of DNA Languages.
conf/dna/DeatonCBR02:::Russell Deaton::Junghuei Chen::Hong Bi::John A. Rose:::A Software Tool for Generating Non-crosshybridizing Libraries of DNA Oligonucleotides.
conf/dna/McCaskillPGAR00:::John S. McCaskill::Robert Penchovsky::Marlies Gohlke::Jörg Ackermann::Thomas Rücker:::Steady Flow Micro-Reactor Module for Pipelined DNA Computations.
conf/dna/KhodorKK01:::Yevgenia Khodor::Julia Khodor::Thomas F. Knight Jr.:::Experimental Conformation of the Basic Principles of Length-only Discrimination.
conf/dna/TanakaNYSO01:::Fumiaki Tanaka::Masashi Nakatsugawa::Masahito Yamamoto::Toshikazu Shiba::Azuma Ohuchi:::Developing Support System for Sequence Design in DNA Computing.
conf/eci/Slowinski78:::Roman Slowinski:::Scheduling preemptible tasks on unrelated processors with additional resources to minimize schedule length.
conf/eci/BoschM76:::F. J. van den Bosch::R. P. de Moel:::Aspects of the Communication within a Multisuppliers Computer Network.
conf/eci/Ricciardi78:::M. Ricciardi:::A framework for the analysis of the relationship between business organization evolution and business information systems evolution.
conf/eci/Triance78:::J. M. Triance:::A macro facility for COBOL.
conf/eci/Krieg-Bruckner81:::Bernd Krieg-Brückner:::Ada and the German Pay Phone: An Illustrative Example of Parallel Processing.
conf/eci/BussolatiM81:::U. Bussolati::Giancarlo Martella:::Access Control and Management in Multilevel Database Models.
conf/eci/BohringerF81:::Bernhard Böhringer::Hartmut Feuerhahn:::Separate and Integral Compilation of Subsystems.
conf/eci/GoosW81:::Gerhard Goos::Georg Winterstein:::Problems in Compiling Ada.
conf/doa/Schmidt00:::Douglas C. Schmidt:::Surviving the Tornado: The Best Kept Secrets of R&amp;D Success in the Internet Age.
conf/doa/KrampC00:::Thorsten Kramp::Geoff Coulson:::The Design of a Flexible Communications Framework for Next-Generation Middleware.
conf/doa/DelotF01:::Thierry Delot::Béatrice Finance:::Managing CORBA Objects with Dynamic Behaviour in a Directory.
conf/doa/AleksyK99:::Markus Aleksy::Axel Korthaus:::Interoperability of Java-based Applications and SAP's Business Framework State of the Art and Desirable Developments.
conf/doa/YearworthTTFS00:::Michael Yearworth::Nick Taylor::John Tidmus::Ian Fraser::Peter Still:::A CORBA Service for Road Traffic Information on the Internet.
conf/ecp/Muslea97:::Ion Muslea:::SINERGY: A Linear Planner Based on Genetic Programming.
conf/ecp/SrivastavaK99:::Biplav Srivastava::Subbarao Kambhampati:::Scaling up Planning by Teasing out Resource Scheduling.
conf/ecp/Mali99:::Amol Dattatraya Mali:::Plan Merging &amp; Plan Reuse as Satisfiability.
conf/ecp/HepplewhiteB97:::Richard T. Hepplewhite::Jeremy W. Baxter:::Planning and Search Techniques for Intelligent Behaviour of Battlefield Entities.
conf/ecp/GivanLD97:::Robert Givan::Sonia M. Leach::Thomas Dean:::Bounded Parameter Markov Decision Processes.
conf/dpc/HuangMR96:::Tom Huang::Sharad Mehrotra::Kannan Ramchandran:::Multimedia Analysis and Retrieval System (MARS) Project.
conf/edo/Jadhav02:::Bobby Jadhav:::Revolutionizing Software Development.
conf/edo/Joshi00:::Rushikesh K. Joshi:::Modeling with Filter Objects in Distributed Systems.
conf/eef/ChenMB96:::Deji Chen::Aloysius K. Mok::Sanjoy K. Baruah:::On Modeling Real-Time Task Systems.
conf/eef/Kuusela96:::Juha Kuusela:::Object Oriented Development of Embedded Systems with the Octopus Method.
conf/eds/Li88:::Yingnan Philip Li:::DKM - A Distributed Knowledge Representation Framework.
conf/eds/KungHISSS84:::Ru-Mei Kung::Eric N. Hanson::Yannis E. Ioannidis::Timos K. Sellis::Leonard D. Shapiro::Michael Stonebraker:::Heuristic Search in Data Base Systems.
conf/eds/NauR84:::Dana S. Nau::James A. Reggia:::Relationships Between Deductive and Abductive Inference in Knowledge-Based Diagnostic Problem Solving.
conf/eds/BrachmanL86:::Ronald J. Brachman::Hector J. Levesque:::Tales from the Far Side of KRYPTON.
conf/eds/Decker86:::Hendrik Decker:::Integrity Enforcement on Deductive Databases.
conf/eds/ZhuM88:::Jianhua Zhu::David Maier:::Abstract Objects In An Object-Oriented Data Model.
conf/eds/NakazawaIMA84:::Masahiro Nakazawa::Michio Isoda::Jun Miyazaki::Hideo Aiso:::MILK: Multi Level Interactive Logic Simulator at Keio University: Experience in Using the Contraints Language.
conf/eds/Hirschberg84:::Julia Hirschberg:::Anticipating False Implicatures: Cooperative Responses in Question-Answer Systems.
conf/eds/Sibley84:::Edgar H. Sibley:::An Expert Database System Architecture Based on an Active and Extensible Dictionary System.
conf/eds/Vieille86:::Laurent Vieille:::Recursive Axioms in Deductive Databases: The Query/Subquery Approach.
conf/egh/Rossignac91:::Jarek Rossignac:::Accurate Scanconversion of Triangulated Surfaces.
conf/egh/Kaufman86:::Arie E. Kaufman:::Towards a 3-D Graphics Workstation.
conf/egh/MorganH91:::Marc Morgan::Roger D. Hersch:::Hardware Outline Character Rasterization.
conf/egh/JongSS88:::Dirk de Jong::Paul van Slobbe::Marinus van Splunter:::Point-driven Generation of Images from a Hierarchical Data Structure.
conf/egh/JayasingheKS88:::J. A. K. S. Jayasinghe::A. A. M. Kuijk::Lambert Spaanenburg:::A Display Controller for an Object-level Frame Store System.
conf/egh/Kroker86:::Detlef Kröker:::Looking at Workstation Architectures from the Viewpoint of Interaction.
conf/egh/YoshidaNT89:::Masaharu Yoshida::Tadashi Naruse::Tokiichiro Takahashi:::A Dedicated Graphics Processor SIGHT-2.
conf/egt/BaudelaireG85:::P. Baudelaire::Michel Gangnet:::Computer-Assisted Animation - An Overview.
conf/egt/FuchsGHSABEP85:::Henry Fuchs::J. Goldfeather::J. P. Hultquist::S. Spach::John Austin::Frederick P. Brooks Jr.::John Eyles::John Poulton:::Fast Spheres, Shadows, Textures, Transparencies, and Image Enhancements in Pixel-Planes.
conf/egt/Machover85:::Carl Machover:::A New Generation of Hardware.
conf/egt/Hewitt85:::W. Terry Hewitt:::Towards a Graphics Standard for 3D (GKS-3D).
conf/dsl/Parson99:::Dale Parson:::Using Java reflection to automate extension language parsing.
conf/dsl/FernandezST99:::Mary F. Fernandez::Dan Suciu::Igor Tatarinov:::Declarative specification of data-intensive Web sites.
conf/dsl/LeijenM99:::Daan Leijen::Erik Meijer:::Domain specific embedded compilers.
conf/dsl/BonacheaFRS99:::Dan Bonachea::Kathleen Fisher::Anne Rogers::Frederick Smith:::Hancock: a language for processing very large-scale data.
conf/dsl/NakataniAOP99:::Lloyd H. Nakatani::Mark A. Ardis::Robert G. Olsen::Paul M. Pontrelli:::Jargons for domain engineering.
conf/drw/Durrett03:::Rick Durrett:::Rigorous Result for the CHKNS Random Graph Model.
conf/drw/Karlsson03:::Anders Karlsson:::Some remarks concerning harmonic functions on homogeneous graphs.
conf/drw/BerestyckiD03:::Nathanaël Berestycki::Rick Durrett:::A phase transition in the random transposition random walk.
conf/drw/SimonT03:::Klaus Simon::Beat Trachsler:::A Random Walk Approach for Light Scattering in Material.
conf/dsn/CunhaR02:::João Carlos Cunha::Mário Zenha Rela:::On the Use of Disaster Prediction for Failure-Tolerance in Feedback Control Systems.
conf/dsn/PopovS01:::Peter T. Popov::Lorenzo Strigini:::The Reliability of Diverse Systems: A Contribution Using Modelling of the Fault Creation Process.
conf/dsn/Johnson02:::M. Edwin Johnson:::Model Checking Safety Properties of Servo-Loop Control Systems.
conf/dsn/ShivakumarKKBA02:::Premkishore Shivakumar::Michael Kistler::Stephen W. Keckler::Doug Burger::Lorenzo Alvisi:::Modeling the Effect of Technology Trends on the Soft Error Rate of Combinational Logic.
conf/dsn/MartinsTY01:::Eliane Martins::Cristina Maria Toyota::Rosileny Lie Yanagawa:::Constructing Self-Testable Software Components.
conf/dsn/SunS00:::Qixiang Sun::Daniel C. Sturman:::A Gossip-Based Reliable Multicast for Large-Scale High-Throughput Applications.
conf/dsn/CarloganuR02:::Adriana Carloganu::Jacques Raguideau:::CLAIRE: An Event-Driven Simulation Tool for Test and Validation of Software Programs.
conf/dsn/LandwehrB02:::Carl E. Landwehr::Steven M. Bellovin:::Intrusion Tolerant Systems Workshop.
conf/dsn/DasGM02:::Abhinandan Das::Indranil Gupta::Ashish Motivala:::SWIM: Scalable Weakly-consistent Infection-style Process Group Membership Protocol.
conf/dsn/KandasamyHM02:::Nagarajan Kandasamy::John P. Hayes::Brian T. Murray:::Time-Constrained Failure Diagnosis in Distributed Embedded Systems.
conf/dsn/PanKSHGJ01:::Jiantao Pan::Philip Koopman::Daniel P. Siewiorek::Yennun Huang::Robert Gruber::Mimi Ling Jiang:::Robustness Testing and Hardening of CORBA ORB Implementations.
conf/dsn/CastroL01:::Miguel Castro::Barbara Liskov:::Byzantine Fault Tolerance Can Be Fast.
conf/dsn/FrolundG00:::Svend Frølund::Rachid Guerraoui:::Implementing e-Transactions with Asynchronous Replication.
conf/dsn/BholaSBZA02:::Sumeer Bhola::Robert E. Strom::Saurabh Bagchi::Yuanyuan Zhao::Joshua S. Auerbach:::Exactly-once Delivery in a Content-based Publish-Subscribe System.
conf/dsn/CheungL00:::Steven Cheung::Karl N. Levitt:::A Formal-Specification Based Approach for Protecting the Domain Name System.
conf/dsn/MaxionT00:::Roy A. Maxion::Kymie M. C. Tan:::Benchmarking Anomaly-Based Detection Systems.
conf/dsn/Meyer00:::John F. Meyer:::Performability of Algorithms for Connection Admission Control.
conf/dsn/RodriguezAA02:::Manuel Rodríguez::Arnaud Albinet::Jean Arlat:::MAFALDA-RT: A Tool for Dependability Assassment of Real-Time Systems.
conf/dsn/DeValeK01:::John DeVale::Philip J. Koopman Jr.:::Performance Evaluation of Exception Handling in I/O Libraries.
conf/dsn/AroraDK01:::Anish Arora::Murat Demirbas::Sandeep S. Kulkarni:::Graybox Stabilization.
conf/dsn/WangHKD01:::Chenxi Wang::Jonathan Hill::John C. Knight::Jack W. Davidson:::Protection of Software-Based Survivability Mechanisms.
conf/dsn/Delporte-GalletFG02:::Carole Delporte-Gallet::Hugues Fauconnier::Rachid Guerraoui:::A Realistic Look At Failure Detectors.
conf/dsn/CunhaMRS01:::João Carlos Cunha::Ricardo Maia::Mário Zenha Rela::João Gabriel Silva:::A Study of Failure Models in Feedback Control Systems.
conf/dsn/JohnsonJGVW00:::Scott Johnson::Farnam Jahanian::Sunondo Ghosh::Brian Vanvoorst::Nicholas Weininger:::Experiences with Group Communication Middleware.
conf/dsp/NiijimaT02:::Koichi Niijima::Shigeru Takano:::Finding of Signal and Image by Integer-Type Haar Lifting Wavelet Transform.
conf/dsp/NakanoS02:::Ryohei Nakano::Kazumi Saito:::Discovering Polynomials to Fit Multivariate Data Having Numeric and Nominal Variables.
conf/dsp/HirokawaI02:::Sachio Hirokawa::Daisuke Ikeda:::Visualization and Analysis of Web Graphs.
conf/dsp/KurodaKK02:::Hisayasu Kuroda::Takahiro Katagiri::Yasumasa Kanada:::Knowledge Discovery in Auto-tuning Parallel Numerical Library.
conf/dsp/ShibayamaTYT02:::Etsuya Shibayama::Masashi Toyoda::Jun Yabe::Shin Takahashi:::Scalable and Comprehensible Visualization for Discovery of Knowledge from the Internet.
conf/dsp/Suzuki02:::Einoshin Suzuki:::In Pursuit of Interesting Patterns with Undirected Discovery of Exception Rules.
conf/ejc/Ueno98:::Haruki Ueno:::Knowledge-Based Vision and Scheduling in Autonomous Human Type Service Robot.
conf/ejc/Ambroszkiewicz00:::Stanislaw Ambroszkiewicz:::Semantic Interoperability in Agentspace: An Approach to Concept Meaning.
conf/ejc/YoshiharaWK99:::Shota Yoshihara::Masahiro Wakiyama::Eiji Kawaguchi:::An Experiment on Japanese-Sentence Generation from SD-Formed Semantic Data.
conf/ejc/NiimiK98:::Michiharu Niimi::Eiji Kawaguchi:::An Automatic Abstraction Method by using SD-Forms.
conf/ejc/Kangassalo00:::Marjatta Kangassalo:::Explorative Learning in PICCO Environment.
conf/ejc/Si-SaidR98:::Samira Si-Said::Colette Rolland:::Formalising Guidance for the Crews Goal-Scenario Approach to Requirements Engineering.
conf/ejc/Niinimaki00:::Marko Niinimäki:::Intensional and Extensional Languages in Conceptual Modelling.
conf/ejc/Schewe00a:::Klaus-Dieter Schewe:::Discussion Session on Concept Theory and Conceptual Modelling.
conf/elp/Beeson89:::Michael Beeson:::Some Applications of Gentzen's Proof Theory in Automated Deduction.
conf/elp/DovierOPR92:::Agostino Dovier::Eugenio G. Omodeo::Enrico Pontelli::Gianfranco Rossi:::Embedding Finite Sets in a Logic Programming Language.
conf/elp/FranzenHJ91:::Torkel Franzén::Seif Haridi::Sverker Janson:::An Overview of the Andorra Kernel Language.
conf/elp/Przymusinski96:::Teodor C. Przymusinski:::Super Logic Programs and Negation as Belief.
conf/elp/Miller93:::Dale Miller:::A Proposal for Modules in Lambda-Prolog.
conf/elp/KinoshitaP96:::Yoshiki Kinoshita::A. John Power:::A Fibrational Semantics for Logic Programs.
conf/elp/Felty89:::Amy P. Felty:::A Logic Program for Transforming Sequent Proofs to Natural Deduction Proofs.
conf/elp/ArgeniusV96:::Martin Argenius::Andrei Voronkov:::Semantics of Constraint Logic Programs with Bounded Quantifiers.
conf/emo/CostaM03:::Mario Costa::Edmondo Minisci:::MOPED: A Multi-objective Parzen-Based Estimation of Distribution Algorithm for Continuous Problems.
conf/emo/ToroRMO03:::Francisco de Toro::Eduardo Ros::Sonia Mota::Julio Ortega:::Non-invasive Atrial Disease Diagnosis Using Decision Rules: A Multi-objective Optimization Approach.
conf/emo/PurshouseF03a:::Robin C. Purshouse::Peter J. Fleming:::An Adaptive Divide-and-ConquerMethodology forEvolutionary Multi-criterion Optimisation.
conf/emo/DebZJ03:::Kalyanmoy Deb::Pawan Zope::Abhishek Jain:::Distributed Computing of Pareto-Optimal Solutions with Evolutionary Algorithms.
conf/emo/BlumelHW01:::Anna L. Blumel::Evan J. Hughes::Brian A. White:::Multi-objective Evolutionary Design of Fuzzy Autopilot Controller.
conf/emo/ReddyD03:::A. Raji Reddy::Kalyanmoy Deb:::Identification of Multiple Gene Subsets Using Multi-objective Evolutionary Algorithms.
conf/emo/DucheyneBW03:::Els I. Ducheyne::Bernard De Baets::Robert R. De Wulf:::Is Fitness Inheritance Useful for Real-World Applications?
conf/emo/Teich01:::Jürgen Teich:::Pareto-Front Exploration with Uncertain Objectives.
conf/emo/PulidoC03:::Gregorio Toscano Pulido::Carlos A. Coello Coello:::The Micro Genetic Algorithm 2: Towards Online Adaptation in Evolutionary Multiobjective Optimization.
conf/emo/FonsecaFH01:::Viviane Grunert da Fonseca::Carlos M. Fonseca::Andreia O. Hall:::Inferential Performance Assessment of Stochastic Optimisers and the Attainment Function.
conf/emo/Andersson03:::Johan Andersson:::Applications of a Multi-objective Genetic Algorithm to Engineering Design Problems.
conf/emo/FormigaCCR03:::Klebber T. M. Formiga::Fazal H. Chaudhry::Peter B. Cheung::Luisa F. R. Reis:::Optimal Design of WaterDistribution System by Multiobjective Evolutionary Methods.
conf/emo/AnderssonK01:::Johan Andersson::Petter Krus:::Multiobjective Optimization of Mixed Variable Design Problems.
conf/emo/GuntschM03:::Michael Guntsch::Martin Middendorf:::Solving Multi-criteria Optimization Problems with Population-Based ACO.
conf/fbt/HinkelS97:::Ursula Hinkel::Katharina Spies:::Spezifikationsmethodik für mobile, dynamische FOCUS-Netze.
conf/fbt/JagerM97:::Dirk Jäger::Arnulf Mester:::Automatische Erzeugung von Prototypen verteilter Anwendungen aus cTLA-Spezifikationen.
conf/fbt/BeyerN00:::Dirk Beyer::Andreas Noack:::BDD-basierte Verifikation von Echtzeit-Systemen.
conf/fbt/BeyerR99:::Dirk Beyer::Heinrich Rust:::Concepts of Cottbus Timed Automata.
conf/fbt/Stauner99:::Thomas Stauner:::Specification of (parts of) a Lip-Sync Protocol Using HyCharts.
conf/fbt/BaierH97:::Christel Baier::Holger Hermanns:::Weak Bisimulation for Fully Probabilistic Processes.
conf/fbt/SchieferdeckerRM97:::Ina Schieferdecker::Axel Rennoch::Olaf Mertens:::Timed MSCx - an Extension to MSC'96.
conf/fbt/HolenderskiP97:::Leszek Holenderski::Axel Poigné:::Synchronous Automata for Synchronous Programming Languages.
conf/fbt/Engel97:::Christian Engel:::Code Generation for Real-Time Specifications.
conf/fbt/Lowis00:::Martin von Löwis:::Datentypsematik für SDL - 2000.
conf/fbt/Lowis97:::Martin von Löwis:::SITE - Eine SDL Entwicklungsumgebung.
conf/fct/ChlebusCD87:::Bogdan S. Chlebus::Marek Chrobak::Krzysztof Diks:::Saturating Flows in Networks.
conf/fct/Babai81:::László Babai:::Moderately Exponential Bound for Graph Isomorphism.
conf/fct/LiskiewiczL89:::Maciej Liskiewicz::Krzysztof Lorys:::Some Time-Space Bounds for One-Tape Deterministic Turing Machines.
conf/fct/DeganoNM85:::Pierpaolo Degano::Rocco De Nicola::Ugo Montanari:::Partial ordering derivations for CCS.
conf/fct/Parikh83:::Rohit Parikh:::Propositional Logics of Programs: New Directions.
conf/fct/Weihrauch77:::Klaus Weihrauch:::A Genralized Computability Thesis.
conf/fct/Ciamarra01:::Massimo Pica Ciamarra:::Quantum Reversibility and a New Model of Quantum Automaton.
conf/fct/ErshovGS87:::Yuri Leonidovich Ershov::Sergei S. Goncharov::Dmitri Ivanovich Sviridenko:::Semantic Foundations of Programming.
conf/fct/Trahtman01:::A. N. Trahtman:::Piecewise and Local Threshold Testability of DFA.
conf/fct/Wanke89:::Egon Wanke:::The Complexity of Connectivity Problems on Context-Free Graph Languages (Extended Abstract).
conf/fct/Yao91:::Andrew Chi-Chih Yao:::Recent Progress in Circuit and Communication Complexity (Abstract).
conf/fct/Kaib91:::Michael Kaib:::The Gauß Lattice Basis Reduction Algorithm Succeeds With Any Norm.
conf/fct/Karhumaki01:::Juhani Karhumäki:::Challenges of Commutation.
conf/fct/Monien85:::Burkhard Monien:::The complexity of embedding graphs into binary trees.
conf/fct/Astakhov87:::A. D. Astakhov:::Duality of Functions and Data in Algorithms Description.
conf/fct/Nagl77:::Manfred Nagl:::On the Relation Between Graph Grammars and Graph L-Systems.
conf/fct/Heinrich91:::Stefan Heinrich:::Efficiency of Monte Carlo Algorithms in Numerical Analysis.
conf/fct/DediuB99:::Luminita Dediu::Douglas S. Bridges:::Constructive Notes on Uniform and Locally Convex Spaces.
conf/fct/ItzhaikY83:::Yair Itzhaik::Amiram Yehudai:::On Containment Problems for Finite-Turn Languages (Extended Abstract).
conf/fct/Bertol95:::Michael Bertol:::Efficient Rewriting in Cograph Trace Monoids.
conf/fct/Morris77:::Eugene M. Morris:::Maximal Rectangular Relations.
conf/fct/Sofronie-StokkermansS99:::Viorica Sofronie-Stokkermans::Karel Stokkermans:::Modeling Interaction by Sheaves and Geometric Logic.
conf/fct/CostaS83:::Gerardo Costa::Colin Stirling:::A Fair Calculus of Communicating Systems.
conf/fct/Geidmanis87:::Dainis Geidmanis:::On the Capabilities of Alternating and Nondeterministic Multitape Automata.
conf/fct/Reischuk91:::Rüdiger Reischuk:::Graph Theoretical Methods for the Design of Parallel Algorithms.
conf/fct/Lucanu99:::Dorel Lucanu:::Axiomatization of the Coherence Property for Categories of Symmetries.
conf/fct/Jaromczyk81:::Jerzy W. Jaromczyk:::Lower Bounds for Problems Defined by Polynomial Inequalities.
conf/fct/ErmakovR87:::S. M. Ermakov::A. S. Rasulov:::A Simplest Probability Model of Asynchronous Iterations.
conf/fct/EhrenfeuchtHR85:::Andrzej Ehrenfeucht::Hendrik Jan Hoogeboom::Grzegorz Rozenberg:::On coordinated rewriting.
conf/fct/GasieniecI97:::Leszek Gasieniec::Piotr Indyk:::Efficient Parallel Computing with Memory Faults.
conf/fct/Regan83:::Kenneth W. Regan:::On Diagonalization Methods and the Structure of Language Classes.
conf/fct/DauchetM79:::Max Dauchet::Jocelyne Mongy:::Transformations de noyaux reconnaissables.
conf/fct/BeauquierS99:::Danièle Beauquier::Anatol Slissenko:::Decidable Classes of the Verification Problem in a Timed Predicate Logic.
conf/fct/Branstadt89:::Andreas Brandstädt:::The Jump Number Problem for Biconvex Graphs and Rectangle Covers of Rectangular Regions.
conf/fct/Juban99:::Laurent Juban:::Dichotomy Theorem for the Generalized Unique Satisfiability Problem.
conf/fct/Ukkonen83:::Esko Ukkonen:::On Approximate String Matching.
conf/fct/BaierM91:::Christel Baier::Mila E. Majster-Cederbaum:::The Consistency of a Noninterleaving and an Interleaving Model for Full TCSP.
conf/fct/Pighizzini95:::Giovanni Pighizzini:::How Hard is to Compute the Edit Distance.
conf/fct/Voelkel85:::Lutz Voelkel:::On several kinds of space-bounded on-line multicounter automata.
conf/fct/Engelfriet89:::Joost Engelfriet:::Context-Free NCE Graph Grammars.
conf/fct/Seese81:::Detlef Seese:::Elimination of Second-Order Quantifiers for Well-Founded Trees in Stationary Logic and Finitely Determinate Structures.
conf/fct/DrumW83:::Peter Drum::Detlef Wotschke:::Economy of Description for Program Schemes -Extended Abstract-.
conf/fct/Nigmatullin85:::R. G. Nigmatullin:::Are lower bounds on the complexity lower bounds for universal circuits.
conf/fct/KrauseW89:::Matthias Krause::Stephan Waack:::On Oblivious Branching Programs of Linear Length (Extended Abstract).
conf/fct/Petersen97:::H. Petersen:::The Equivalence of Pebbles and Sensing Heads for Finite Automata.
conf/fct/Bartha89:::Miklós Bartha:::Interpretations of Synchronous Flowchart Schemes.
conf/fct/Taimina87:::Daina Taimina:::Complexity Gaps of Turing Machines of Infinite Words.
conf/fct/BlattnerG77:::Meera Blattner::Seymour Ginsburg:::Canonical Forms of Context - Free Grammars and Position Restricted Grammar Forms.
conf/fct/PlandowskiRS91:::Wojciech Plandowski::Wojciech Rytter::Tomasz Szymacha:::Exact Analysis of Three Tree Contraction Algorithms.
conf/fct/Redkin87:::N. P. Redkin:::On Checking Correctness of Some Classes of Control Systems.
conf/fct/HemachandraS93:::Lane A. Hemachandra::Riccardo Silvestri:::Easity Checked Self-Reducibility (Extended Abstract).
conf/fct/DemlovaDK79:::Marie Demlová::Jiri Demel::Václav Koubek:::Several algorithms for finite algebras.
conf/fct/Kuhnemann97:::Armin Kühnemann:::A Two-Dimensional Hierarchy for Attributed Tree Transducers.
conf/fct/Fischer83:::Michael J. Fischer:::The Consensus Problem in Unreliable Distributed Systems (A Brief Survey).
conf/fct/Smith83:::Jan Smith:::The Identification of Propositions and types in Martin-Löf's Type Theory: A Programming Example.
conf/fct/BarcucciPRS91:::Elena Barcucci::Renzo Pinzani::E. Rodella::Renzo Sprugnoli:::A Characterization of Binary Search Networks.
conf/fct/BrandstadtW83:::Andreas Brandstädt::Klaus W. Wagner:::Reversal-Bounded and Visit-Bounded Realtime Computations.
conf/fct/Latypov87:::R. Kh. Latypov:::Built-in Self-testing of Logic Circuits Using Imperfect Duplication.
conf/fct/Abdallah85:::M. A. Nait Abdallah:::On some topological properties of logic programs.
conf/fct/Letichevsky87:::Alexander A. Letichevsky:::Algebras with Approximation and Excursive Data Structures.
conf/fct/HromkovicKPUWW95:::Juraj Hromkovic::Ralf Klasing::Dana Pardubská::Walter Unger::Juraj Waczulík::Hubert Wagener:::Effective Systolic Algorithms for Gossiping in Cycles and Two-Dimensional Grids (Extended Abstract).
conf/fct/BerzinaB01:::Aija Berzina::Richard F. Bonner:::Ambainis-Freivalds' Algorithm for Measure-Once Automata.
conf/fct/Hirschberg77:::Daniel S. Hirschberg:::Complexity of Common Subsequence Problems.
conf/fct/Hemmerling87:::Armin Hemmerling:::Three-Dimensional Traps and Barrages for Cooperating Automata (Extended Abstract).
conf/fct/Prusinkiewicz79:::Przemyslaw Prusinkiewicz:::Recognizing of Chomsky classes of formal languages by two-dimensional iterative arrays.
conf/fct/Steinby81:::Magnus Steinby:::Some Algebraic Aspects of Recognizability and Rationality.
conf/fct/Okolnishnikova97:::Elizaveta A. Okol'nishnikova:::On the Hierarchy of Nondeterministic Branching k-Programs.
conf/fct/Gil-Luezas89:::Ana Gil-Luezas:::A Logic for Nondeterministic Functional Programs (Extended Abstract).
