Voelkel85
type: Article in Proceedings
last modified date: 2002-07-25
author: Voelkel:Lutz.html
title: On several kinds of space-bounded on-line multicounter automata.
pages: 465-473
year: 1985
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1985
book title: FCT

RaskovskyT79
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Raskovsky:Martin_R=.html
author: Turner:Raymond.html
title: Compiler generation and denotational semantics.
pages: 382-386
year: 1979
book title: FCT

Sachs85
type: Article in Proceedings
last modified date: 2002-07-25
author: Sachs:Horst.html
title: On colour critical graphs.
pages: 390-401
year: 1985
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1985
book title: FCT

Doerr01
type: Article in Proceedings
last modified date: 2002-01-03
author: Doerr:Benjamin.html
title: Structured Randomized Rounding and Coloring.
pages: 461-471
year: 2001
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2001
book title: FCT
ee: http://link.springer.de/link/service/series/0558/bibs/2138/21380461.htm

Kreczmar77
type: Article in Proceedings
last modified date: 2002-01-03
author: Kreczmar:Antoni.html
title: On Finite and Infinite Computations.
pages: 441-446
year: 1977
book title: FCT

AvermiddigKO97
type: Article in Proceedings
last modified date: 2002-02-25
author: Avermiddig:Alfons.html
author: Kunde:Manfred.html
author: Osterloh:Andre.html
title: k-k Sorting on the Multi-Mesh.
pages: 93-104
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1997
book title: FCT

Antimirov95
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Antimirov:Valentin_M=.html
title: Rewriting Regular Inequalities (Extended Abstract).
pages: 116-125
year: 1995
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1995
book title: FCT

Gashkov87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/g/Gashkov:S=_B=.html
title: On the Complexity of Approximate Realization of Continuous Functions by Schemes and Formulas in Continuous Bases.
pages: 140-144
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

Vogler85
type: Article in Proceedings
last modified date: 2002-07-25
author: Vogler:Heiko.html
title: Iterated linear control and iterated one-turn pushdowns.
pages: 474-483
year: 1985
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1985
book title: FCT

BauernoppelJ85
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Bauern=ouml=ppel:Frank.html
author: Jung:Hermann.html
title: Fast parallel vertex colouring.
pages: 28-35
year: 1985
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1985
book title: FCT

Winkowski77
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Winkowski:J=oacute=zef.html
title: Algebras of Partial Sequences - A Tool to Deal with Concurrency.
pages: 187-198
year: 1977
book title: FCT

KaphengstR77
type: Article in Proceedings
last modified date: 2004-02-06
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kaphengst:H=.html
author: Reichel:Horst.html
title: Initial Algebraic Semantics for Non Context-Free Languages.
pages: 120-126
year: 1977
book title: FCT

ShallitW99
type: Article in Proceedings
last modified date: 2003-06-05
author: Shallit:Jeffrey.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Wang:Ming=wei.html
title: On Two-Sided Infinite Fixed Points of Morphisms.
pages: 488-499
ee: http://link.springer.de/link/service/series/0558/bibs/1684/16840488.htm
year: 1999
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1999
book title: FCT

Zamov87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/z/Zamov:N=_K=.html
title: On a Connection Between the Resolution Method and the Inverse Method.
pages: 501-505
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

EpsteinS01
type: Article in Proceedings
last modified date: 2002-01-03
author: Epstein:Leah.html
author: Stee:Rob van.html
title: Optimal Online Flow Time with Resource Augmentation.
pages: 472-482
year: 2001
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2001
book title: FCT
ee: http://link.springer.de/link/service/series/0558/bibs/2138/21380472.htm

Korec89
type: Article in Proceedings
last modified date: 2002-02-25
author: Korec:Ivan.html
title: Semilinear Real-Time Systolic Trellis Automata.
pages: 267-276
year: 1989
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1989
book title: FCT

Leguy81
type: Article in Proceedings
last modified date: 2002-02-25
author: Leguy:Bernard.html
title: Reducing Algebraic Tree Grammars.
pages: 226-233
year: 1981
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1981
book title: FCT

Wechsung79
type: Article in Proceedings
last modified date: 2002-07-25
author: Wechsung:Gerd.html
title: The oscillation complexity and a hierarchy of context-free languages.
pages: 508-515
year: 1979
book title: FCT

Wechsung85
type: Article in Proceedings
last modified date: 2002-07-25
author: Wechsung:Gerd.html
title: On the Boolean closure of NP.
pages: 485-493
year: 1985
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1985
book title: FCT

Sazonov87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Sazonov:Vladimir_Yu=.html
title: Bounded Set Theory and Polynominal Computability.
pages: 391-395
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

Kozen79
type: Article in Proceedings
last modified date: 2002-07-25
author: Kozen:Dexter.html
title: Automata and planar graphs.
pages: 243-254
year: 1979
book title: FCT

SchroderSV91
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Schr=ouml=der:Heiko.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/S=yacute=kora:Ondrej.html
author: Vrto:Imrich.html
title: Optimal Embedding of a Toroidal Array in a Linear Array.
pages: 390-394
year: 1991
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1991
book title: FCT

Zakharov87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/z/Zakharov:Vladimir_A=.html
title: To the Functional Equivalence of Turing Machines.
pages: 488-491
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

GambinP01
type: Article in Proceedings
last modified date: 2002-01-03
author: Gambin:Anna.html
author: Pokarowski:Piotr.html
title: A Combinatorial Aggregation Algorithm for Stationary Distribution of a Large Markov Chain.
pages: 384-387
year: 2001
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2001
book title: FCT
ee: http://link.springer.de/link/service/series/0558/bibs/2138/21380384.htm

Frumkin77
type: Article in Proceedings
last modified date: 2002-09-04
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/f/Frumkin:Michael_A=.html
title: Polynomial Time Algorithms in the Theory of Linear Diophantine Equations.
pages: 386-392
year: 1977
book title: FCT

TarleckiW85
type: Article in Proceedings
last modified date: 2002-07-25
author: Tarlecki:Andrzej.html
author: Wirsing:Martin.html
title: Continuous abstract data types: basic machinery and results.
pages: 431-441
year: 1985
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1985
book title: FCT

AbdulrabM93
type: Article in Proceedings
last modified date: 2002-07-25
author: Abdulrab:Habib.html
author: Maksimenko:Marianne.html
title: General Solution of Mirror Equation.
pages: 133-141
year: 1993
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1993
book title: FCT

AbdulrabP89
type: Article in Proceedings
last modified date: 2002-02-25
author: Abdulrab:Habib.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/P=eacute=cuchet:Jean=Pierre.html
title: On Word Equations and Makanin's Algorithm.
pages: 1-12
year: 1989
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1989
book title: FCT

SalomaaY91
type: Article in Proceedings
last modified date: 2002-07-25
author: Salomaa:Kai.html
author: Yu:Sheng.html
title: Degrees of Nondeterminism for Pushdown Automata.
pages: 380-389
year: 1991
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1991
book title: FCT

Engelfriet89
type: Article in Proceedings
last modified date: 2002-02-25
author: Engelfriet:Joost.html
title: Context-Free NCE Graph Grammars.
pages: 148-161
year: 1989
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1989
book title: FCT

Trnkova77
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/t/Trnkov=aacute=:Vera.html
title: Relational Automata ina Category and their Language.
pages: 340-355
year: 1977
book title: FCT

Trnkova79
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/t/Trnkov=aacute=:Vera.html
title: Machines and their behaviour in a category.
pages: 450-461
year: 1979
book title: FCT

OrlandicP89
type: Article in Proceedings
last modified date: 2002-02-25
author: Orlandic:Ratko.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Pfaltz:John_L=.html
title: Analysis of Compact 0-Complete Trees: A New Access Method to Large Databases.
pages: 362-371
year: 1989
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1989
book title: FCT

Seese77
type: Article in Proceedings
last modified date: 2002-01-03
author: Seese:Detlef.html
title: Decidability of omaega-Trees with Bounded Sets - A Survey.
pages: 511-515
year: 1977
book title: FCT

Seese81
type: Article in Proceedings
last modified date: 2002-02-25
author: Seese:Detlef.html
title: Elimination of Second-Order Quantifiers for Well-Founded Trees in Stationary Logic and Finitely Determinate Structures.
pages: 341-349
year: 1981
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1981
book title: FCT

Seese85
type: Article in Proceedings
last modified date: 2002-07-25
author: Seese:Detlef.html
title: Tree-partite graphs and the complexity of algorithms.
pages: 412-421
year: 1985
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1985
book title: FCT

Sokratova01
type: Article in Proceedings
last modified date: 2002-01-03
author: Sokratova:Olga.html
title: Linear Automata and Recognizable Subsets in Free Semirings.
pages: 420-423
year: 2001
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2001
book title: FCT
ee: http://link.springer.de/link/service/series/0558/bibs/2138/21380420.htm

EiterG97
type: Article in Proceedings
last modified date: 2002-02-25
author: Eiter:Thomas.html
author: Gottlob:Georg.html
title: 2p: Recent Results and Applications in AI and Modal Logic.
pages: 1-18
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1997
book title: FCT

Mikhailov87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Mikhailov:V=_J=.html
title: A Solving of Problems on Technological Models.
pages: 314-317
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

Langmaack83
type: Article in Proceedings
last modified date: 2002-02-25
author: Langmaack:Hans.html
title: Apects of Programs With Finite Modes.
pages: 241-254
year: 1983
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1983
book title: FCT

Seidl85
type: Article in Proceedings
last modified date: 2002-07-25
author: Seidl:Helmut.html
title: A quadratic regularity test for non-deleting macro S grammars.
pages: 422-430
year: 1985
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1985
book title: FCT

Seidl89
type: Article in Proceedings
last modified date: 2002-02-25
author: Seidl:Helmut.html
title: On the Finite Degree of Ambiguity of Finite Tree Automata.
pages: 395-404
year: 1989
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1989
book title: FCT

DrumW83
type: Article in Proceedings
last modified date: 2002-02-25
author: Drum:Peter.html
author: Wotschke:Detlef.html
title: Economy of Description for Program Schemes -Extended Abstract-.
pages: 475-486
year: 1983
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1983
book title: FCT

Chrzastowski-WachtelR93
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Chrzastowski=Wachtel:Piotr.html
author: Raczunas:Marek.html
title: Liveness of Weighted Circuits and the Diophantine Problem of Frobenius.
pages: 171-180
year: 1993
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1993
book title: FCT

PlotkinP01
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Plotkin:Boris_I=.html
author: Plotkin:Tanya.html
title: Universal Algebra and Computer Science.
pages: 35-44
year: 2001
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2001
book title: FCT
ee: http://link.springer.de/link/service/series/0558/bibs/2138/21380035.htm

Rozoy85
type: Article in Proceedings
last modified date: 2002-07-25
author: Rozoy:Brigitte.html
title: About two-way transducers.
pages: 371-379
year: 1985
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1985
book title: FCT

Ehrig77
type: Article in Proceedings
last modified date: 2002-01-03
author: Ehrig:Hartmut.html
title: Embedding Theorem in the Algebraic Theory of Graph Grammars.
pages: 245-255
year: 1977
book title: FCT

GrooteHMS87
type: Article in Proceedings
last modified date: 2004-02-11
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/g/Groote:Hans_F=_de.html
author: Heintz:Joos.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/M=ouml=hler:Stefan.html
author: Schmidt:Heinz.html
title: On the Complexity of Lie Algebras.
pages: 172-179
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

Vassiljev87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/v/Vassiljev:S=_N=.html
title: To Automation of Theorem Sythesis.
pages: 472-476
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

Diekert93
type: Article in Proceedings
last modified date: 2002-07-25
author: Diekert:Volker.html
title: Rewriting, Möbius Functions and Semi-Commutations.
pages: 1-15
year: 1993
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1993
book title: FCT

NiedermeierR95
type: Article in Proceedings
last modified date: 2002-01-03
author: Niedermeier:Rolf.html
author: Rossmanith:Peter.html
title: PRAM's Towards Realistic Parallelism: BRAM's.
pages: 363-373
year: 1995
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1995
book title: FCT

Ablaeyv87
type: Article in Proceedings
last modified date: 2004-02-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Ablayev:Farid_M=.html
title: Possibilities of Probabilistic on-line Counting Machines.
pages: 1-4
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

Sassone95
type: Article in Proceedings
last modified date: 2002-01-03
author: Sassone:Vladimiro.html
title: Axiomatizing Petri Net Concatenable Processes.
pages: 414-423
year: 1995
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1995
book title: FCT

Taimanov87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/t/Taimanov:V=_A=.html
title: 2.
pages: 435
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

MenshikovZ87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Men=shikov:M=_V=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/z/Zuev:S=_A=.html
title: Estimation Algorithms of Infinite Graphs Percolation Threshold.
pages: 310-313
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

BadouelD97
type: Article in Proceedings
last modified date: 2002-02-25
author: Badouel:Eric.html
author: Darondeau:Philippe.html
title: Stratified Petri Nets.
pages: 117-128
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1997
book title: FCT

Nigmatullin85
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/n/Nigmatullin:R=_G=.html
title: Are lower bounds on the complexity lower bounds for universal circuits.
pages: 331-340
year: 1985
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1985
book title: FCT

Sapozhenko87
type: Article in Proceedings
last modified date: 2003-02-06
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Sapozhenko:Alexander_A=.html
title: The Number of Fuzzy Monotone Functions.
pages: 389-390
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

Agibalov87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Agibalov:Gennady_P=.html
title: Functional Systems on Semilattices.
pages: 5-9
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

Hertrampf97
type: Article in Proceedings
last modified date: 2002-02-25
author: Hertrampf:Ulrich.html
title: Polynomial Time Machines Equipped with Word Problems over Algebraic Structures as their Acceptance Criteria.
pages: 233-244
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1997
book title: FCT

Sharp99
type: Article in Proceedings
last modified date: 2003-06-05
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Sharp:Jonathan_P=.html
title: Tiling Multi-dimensional Arrays.
pages: 500-511
ee: http://link.springer.de/link/service/series/0558/bibs/1684/16840500.htm
year: 1999
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1999
book title: FCT

KrauseW89
type: Article in Proceedings
last modified date: 2002-02-25
author: Krause:Matthias.html
author: Waack:Stephan.html
title: On Oblivious Branching Programs of Linear Length (Extended Abstract).
pages: 287-296
year: 1989
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1989
book title: FCT

Dunne85
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/d/Dunne:Paul_E=.html
title: Lower bounds on the complexity of 1-time only branching programs.
pages: 90-99
year: 1985
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1985
book title: FCT

Linde01
type: Article in Proceedings
last modified date: 2002-01-03
author: Linde:Girts.html
title: Equivalence Problem of Composite Class Diagrams.
pages: 264-274
year: 2001
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2001
book title: FCT
ee: http://link.springer.de/link/service/series/0558/bibs/2138/21380264.htm

Petersen95
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Petersen:H=.html
title: Some Results Concerning Two-Dimensional Turing Machines and Finite Automata.
pages: 374-382
year: 1995
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1995
book title: FCT

Petersen97
type: Article in Proceedings
last modified date: 2002-02-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Petersen:H=.html
title: The Equivalence of Pebbles and Sensing Heads for Finite Automata.
pages: 400-410
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1997
book title: FCT

ZacharovK87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/z/Zacharov:V=_M=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kuznetsov:S=_E=.html
title: Complexity of the Problem of Approximation of Stochastic Matrix by Rational Elements.
pages: 483-487
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

Linna81
type: Article in Proceedings
last modified date: 2002-02-25
author: Linna:Matti.html
title: On the Regularity Problem of SF-Languages Generated by Minimal Linear Grammars.
pages: 244-249
year: 1981
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1981
book title: FCT

Bartha81
type: Article in Proceedings
last modified date: 2002-02-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Bartha:Mikl=oacute=s.html
title: An Algebraic Defenition of Attributed Transformations.
pages: 51-60
year: 1981
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1981
book title: FCT

Bartha89
type: Article in Proceedings
last modified date: 2002-02-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Bartha:Mikl=oacute=s.html
title: Interpretations of Synchronous Flowchart Schemes.
pages: 25-34
year: 1989
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1989
book title: FCT

Barthe95
type: Article in Proceedings
last modified date: 2002-01-03
author: Barthe:Gilles.html
title: A Simple Abstract Semantics for Equational Theories.
pages: 126-135
year: 1995
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1995
book title: FCT

Taimina87
type: Article in Proceedings
last modified date: 2002-07-25
author: Taimina:Daina.html
title: Complexity Gaps of Turing Machines of Infinite Words.
pages: 436-439
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

BlattnerG77
type: Article in Proceedings
last modified date: 2002-01-03
author: Blattner:Meera.html
author: Ginsburg:Seymour.html
title: Canonical Forms of Context - Free Grammars and Position Restricted Grammar Forms.
pages: 49-53
year: 1977
book title: FCT

BlattnerR79
type: Article in Proceedings
last modified date: 2002-07-25
author: Blattner:Meera.html
author: Ramanathan:Jayashree.html
title: A grammatical model for the top-down design of structured programs.
pages: 71-83
year: 1979
book title: FCT

Kuich01
type: Article in Proceedings
last modified date: 2002-01-03
author: Kuich:Werner.html
title: Cones, Semi-AFPs, and AFPs of Algebraic Power Series.
pages: 204-216
year: 2001
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2001
book title: FCT
ee: http://link.springer.de/link/service/series/0558/bibs/2138/21380204.htm

Iordanskii87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/i/Iordanskii:M=_A=.html
title: Minimal Numberings of the Vertices of Trees - Approximate Approach.
pages: 214-217
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

Daduna77
type: Article in Proceedings
last modified date: 2002-01-03
author: Daduna:Hans.html
title: Stochastic Algebras and Stochastic Automata over General Measurable Spaces: Algebraic Theory and a Decomposition Theory.
pages: 72-77
year: 1977
book title: FCT

AmadioLT95
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Amadio:Roberto_M=.html
author: Leth:Lone.html
author: Thomsen:Bent.html
title: From a Concurrent Lambda-Calculus to the Pi-Calculus.
pages: 106-115
year: 1995
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1995
book title: FCT

Elgot77
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/e/Elgot:Calvin_C=.html
title: Some ``Geometrical'' Categories Associated with Flowchart Schemes.
pages: 256-259
year: 1977
book title: FCT

Borger81
type: Article in Proceedings
last modified date: 2002-02-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/B=ouml=rger:Egon.html
title: Logical Description of Computation Processes.
pages: 410-424
year: 1981
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1981
book title: FCT

DurandM95
type: Article in Proceedings
last modified date: 2002-01-03
author: Durand:Bruno.html
author: Mazoyer:Jacques.html
title: Growing Patterns in 1D Cellular Automata.
pages: 211-220
year: 1995
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1995
book title: FCT

Kurka77
type: Article in Proceedings
last modified date: 2002-01-03
author: Kurka:Petr.html
title: Applicability of a Production in a Categorical Grammar.
pages: 287-293
year: 1977
book title: FCT

PlandowskiRS91
type: Article in Proceedings
last modified date: 2002-07-25
author: Plandowski:Wojciech.html
author: Rytter:Wojciech.html
author: Szymacha:Tomasz.html
title: Exact Analysis of Three Tree Contraction Algorithms.
pages: 370-379
year: 1991
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1991
book title: FCT

Kuske01
type: Article in Proceedings
last modified date: 2002-01-03
author: Kuske:Dietrich.html
title: Divisibility Monoids: Presentation, Word Problem, and Rational Languages.
pages: 227-239
year: 2001
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2001
book title: FCT
ee: http://link.springer.de/link/service/series/0558/bibs/2138/21380227.htm

Kuske93
type: Article in Proceedings
last modified date: 2002-07-25
author: Kuske:Sabine.html
title: A Maximum Path Length Pumping Lemma for Edge-Replacement Languages.
pages: 342-351
year: 1993
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1993
book title: FCT

LanotteMT01
type: Article in Proceedings
last modified date: 2002-01-03
author: Lanotte:Ruggero.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Maggiolo=Schettini:Andrea.html
author: Tini:Simone.html
title: Concurrency in Timed Automata.
pages: 240-251
year: 2001
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2001
book title: FCT
ee: http://link.springer.de/link/service/series/0558/bibs/2138/21380240.htm

Meinel81
type: Article in Proceedings
last modified date: 2002-02-25
author: Meinel:Christoph.html
title: zz, <=].
pages: 445-452
year: 1981
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1981
book title: FCT

Meinel87
type: Article in Proceedings
last modified date: 2002-07-25
author: Meinel:Christoph.html
title: The Power of Nondeterminism in Polynominal-size Bounded-width Branching Programs.
pages: 302-309
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

Simon79
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Simon:Hans=Ulrich.html
title: Word problems for groups and contextfree recognition.
pages: 417-422
year: 1979
book title: FCT

Simon83
type: Article in Proceedings
last modified date: 2002-02-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Simon:Hans=Ulrich.html
title: A Tight Omega(loglog n)-Bound on the Time for Parallel Ram's to Compute Nondegenerated Boolean Functions.
pages: 439-444
year: 1983
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1983
book title: FCT

Simon89
type: Article in Proceedings
last modified date: 2002-02-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Simon:Hans=Ulrich.html
title: Approximation Algorithms for Channel Assignment in Cellular Radio Networks.
pages: 405-415
year: 1989
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1989
book title: FCT

HeideR81
type: Article in Proceedings
last modified date: 2003-06-30
author: Heide:Friedhelm Meyer auf der.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Rollik:Hans=Anton.html
title: Random Access Machines and Straight-Line Programs.
pages: 259-264
year: 1981
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1981
book title: FCT

KesslerR95
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Ke=szlig=ler:Christoph_W=.html
author: Rauber:Thomas.html
title: Optimal Continguous Expression DAG Evaluations.
pages: 293-302
year: 1995
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1995
book title: FCT

ShyrT77
type: Article in Proceedings
last modified date: 2004-05-17
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Shyr:Huei=Jan.html
author: Thierrin:Gabriel.html
title: Disjunctive Languages and Codes.
pages: 171-176
year: 1977
book title: FCT

Schuierer97
type: Article in Proceedings
last modified date: 2002-02-25
author: Schuierer:Sven.html
title: Lower Bounds in On-Line Geometric Searching.
pages: 429-440
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1997
book title: FCT

DrosteK99
type: Article in Proceedings
last modified date: 2003-06-05
author: Droste:Manfred.html
author: Kuske:Dietrich.html
title: On Recognizable Languages in Divisibility Monoids.
pages: 246-257
ee: http://link.springer.de/link/service/series/0558/bibs/1684/16840246.htm
year: 1999
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1999
book title: FCT

Podlovcenko87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Podlovcenko:R=_I=.html
title: On Approximate Solution of the Problem of Equivalent Transformations of Programs.
pages: 359-363
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

HirataS01
type: Article in Proceedings
last modified date: 2002-01-03
author: Hirata:Kouichi.html
author: Sakamoto:Hiroshi.html
title: Prediction-Preserving Reducibility with Membership Queries on Formal Languages.
pages: 172-183
year: 2001
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2001
book title: FCT
ee: http://link.springer.de/link/service/series/0558/bibs/2138/21380172.htm

MainB83
type: Article in Proceedings
last modified date: 2002-02-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Main:Michael_G=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Benson:David_B=.html
title: Functional Behaviour of Nondeterministic Programs.
pages: 290-301
year: 1983
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1983
book title: FCT

Urzyczyn83
type: Article in Proceedings
last modified date: 2002-02-25
author: Urzyczyn:Pawel.html
title: Deterministic Context-Free Dynamic Logic is More Expressive than Deterministic Dynamic Logic of Regular Programs.
pages: 498-504
year: 1983
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1983
book title: FCT

Lovasz79
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lov=aacute=sz:L=aacute=szl=oacute=.html
title: On determinants, matchings, and random algorithms.
pages: 565-574
year: 1979
book title: FCT

KnastM77
type: Article in Proceedings
last modified date: 2002-01-03
author: Knast:Robert.html
author: Martinek:Jacek.html
title: Reading Functions and an Extension of Kleene Theorem for some Families of Languages.
pages: 127-134
year: 1977
book title: FCT

Manes79
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Manes:Ernest_G=.html
title: Partially-additive semantics: A progress report.
pages: 279-290
year: 1979
book title: FCT

Manes93
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Manes:Ernest_G=.html
title: The Equational Theory of a Boolean Monad.
pages: 363-374
year: 1993
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1993
book title: FCT

Redkin87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Redkin:N=_P=.html
title: On Checking Correctness of Some Classes of Control Systems.
pages: 377-382
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

Perrot77
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Perrot:Jean=Fran=ccedil=ois.html
title: On the Theory of Syntactic Monoids for Rational Languages.
pages: 152-165
year: 1977
book title: FCT

AndrekaGN85
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Andr=eacute=ka:Hajnal.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/g/Guessarian:Ir=egrave=ne.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/n/N=eacute=meti:Istv=aacute=n.html
title: A unifying theorem for algebraic semantics and dynamic logics.
pages: 8-17
year: 1985
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1985
book title: FCT

HemachandraS93
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Hemachandra:Lane_A=.html
author: Silvestri:Riccardo.html
title: Easity Checked Self-Reducibility (Extended Abstract).
pages: 289-298
year: 1993
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1993
book title: FCT

DemlovaDK79
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/d/Demlov=aacute=:Marie.html
author: Demel:Jiri.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Koubek:V=aacute=clav.html
title: Several algorithms for finite algebras.
pages: 99-104
year: 1979
book title: FCT

AndrekaNS79
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Andr=eacute=ka:Hajnal.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/n/N=eacute=meti:Istv=aacute=n.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Sain:Ildik=oacute=.html
title: Henkin-type semantics for program-schemes to turn negative results to positive.
pages: 18-24
year: 1979
book title: FCT

KudlekMM97
type: Article in Proceedings
last modified date: 2002-02-25
author: Kudlek:Manfred.html
author: Marcus:Solomon.html
author: Mateescu:Alexandru.html
title: Contextual Grammars with Distributed Catenation and Shuffle.
pages: 269-280
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1997
book title: FCT

Soloviev87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Soloviev:V=_D=.html
title: Nondeterministic Finite Algorithmic Procedures as the Models of Abstract Computability.
pages: 409-411
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

GeorgiadesMS99
type: Article in Proceedings
last modified date: 2003-06-05
author: Georgiades:Stavros.html
author: Mavronicolas:Marios.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Spirakis:Paul_G=.html
title: Optimal, Distributed Decision-Making: The Case of No Communication.
pages: 293-303
ee: http://link.springer.de/link/service/series/0558/bibs/1684/16840293.htm
year: 1999
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1999
book title: FCT

HolzerL93
type: Article in Proceedings
last modified date: 2002-07-25
author: Holzer:Markus.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lange:Klaus=J=ouml=rn.html
title: On the Complexities of Linear LL(1) and LR(1) Grammars.
pages: 299-308
year: 1993
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1993
book title: FCT

Tiuryn77
type: Article in Proceedings
last modified date: 2002-01-03
author: Tiuryn:Jerzy.html
title: Fixed-Points and Algebras with Infinitely Long Expressions, II.
pages: 332-339
year: 1977
book title: FCT

Kuhnemann97
type: Article in Proceedings
last modified date: 2002-02-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/K=uuml=hnemann:Armin.html
title: A Two-Dimensional Hierarchy for Attributed Tree Transducers.
pages: 281-292
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1997
book title: FCT

Fischer83
type: Article in Proceedings
last modified date: 2002-02-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/f/Fischer:Michael_J=.html
title: The Consensus Problem in Unreliable Distributed Systems (A Brief Survey).
pages: 127-140
year: 1983
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1983
book title: FCT

Fischer93
type: Article in Proceedings
last modified date: 2002-07-25
author: Fischer:Paul.html
title: Finding Maximum Convex Polygons.
pages: 234-243
year: 1993
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1993
book title: FCT

Orejas83
type: Article in Proceedings
last modified date: 2002-02-25
author: Orejas:Fernando.html
title: Characterizing Composability of Abstract Implementations.
pages: 335-346
year: 1983
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1983
book title: FCT

MacarieO95
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Macarie:Ioan_I=.html
author: Ogihara:Mitsunori.html
title: Properties of Probabilistic Pushdown Automata (Extended Abstract).
pages: 343-352
year: 1995
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1995
book title: FCT

KleijnMR99
type: Article in Proceedings
last modified date: 2003-06-05
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kleijn:H=_C=_M=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Morin:R=eacute=mi.html
author: Rozoy:Brigitte.html
title: A General Categorical Connection between Local Event Structures and Local Traces.
pages: 338-349
ee: http://link.springer.de/link/service/series/0558/bibs/1684/16840338.htm
year: 1999
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1999
book title: FCT

Lingas79
type: Article in Proceedings
last modified date: 2002-07-25
author: Lingas:Andrzej.html
title: The complexity of distributive computations.
pages: 262-268
year: 1979
book title: FCT

Lingas83
type: Article in Proceedings
last modified date: 2002-02-25
author: Lingas:Andrzej.html
title: The Greedy and Delauney Triangulations are not Bad in the Average Case and Minimum Weight Geometric Triangulation of Multi-Connected Polygons is NP-Complete.
pages: 270-284
year: 1983
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1983
book title: FCT

Makanin85
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Makanin:G=_S=.html
title: On the decidability of the theory of free groups (in Russian).
pages: 279-284
year: 1985
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1985
book title: FCT

BazganV99
type: Article in Proceedings
last modified date: 2003-06-05
author: Bazgan:Cristina.html
author: Vega:Wenceslas Fernandez de la.html
title: A Polynomial Time Approximation Scheme for Dense MIN 2SAT.
pages: 91-99
ee: http://link.springer.de/link/service/series/0558/bibs/1684/16840091.htm
year: 1999
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1999
book title: FCT

LevcopoulosG97
type: Article in Proceedings
last modified date: 2002-02-25
author: Levcopoulos:Christos.html
author: Gudmundsson:Joachim.html
title: A Linear-Time Heuristic for Minimum Rectangular Coverings (Extended Abstract).
pages: 305-316
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1997
book title: FCT

LevcopoulosP91
type: Article in Proceedings
last modified date: 2002-07-25
author: Levcopoulos:Christos.html
author: Petersson:Ola.html
title: An Optimal Adaptive In-place Sorting Algorithm.
pages: 329-338
year: 1991
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1991
book title: FCT

Kucera77
type: Article in Proceedings
last modified date: 2002-01-03
author: Kucera:Ludek.html
title: Expected Behavior of Graph Coloring Algorithms.
pages: 447-451
year: 1977
book title: FCT

Bogomolov87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Bogomolov:S=_A=.html
title: On the Synthesis of "Irredundant" Automata from a Finite Set of Experiments.
pages: 51-52
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

Smith83
type: Article in Proceedings
last modified date: 2002-02-25
author: Smith:Jan.html
title: The Identification of Propositions and types in Martin-Löf's Type Theory: A Programming Example.
pages: 445-456
year: 1983
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1983
book title: FCT

Macintyre83
type: Article in Proceedings
last modified date: 2002-02-25
author: Macintyre:Angus.html
title: Decision Problems for Exponential Rings: The p-adic case.
pages: 285-289
year: 1983
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1983
book title: FCT

Kaphengst81
type: Article in Proceedings
last modified date: 2002-02-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kaphengst:H=.html
title: What is Computable for Abstract Data Types?
pages: 173-181
year: 1981
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1981
book title: FCT

Salwicki77
type: Article in Proceedings
last modified date: 2002-01-03
author: Salwicki:Andrzej.html
title: An Algorithmic Approach to Set Theory.
pages: 499-510
year: 1977
book title: FCT

BarcucciPRS91
type: Article in Proceedings
last modified date: 2002-07-25
author: Barcucci:Elena.html
author: Pinzani:Renzo.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Rodella:E=.html
author: Sprugnoli:Renzo.html
title: A Characterization of Binary Search Networks.
pages: 126-135
year: 1991
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1991
book title: FCT

Sudborough81
type: Article in Proceedings
last modified date: 2002-02-25
author: Sudborough:Ivan Hal.html
title: Pebbling and Bandwith.
pages: 373-383
year: 1981
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1981
book title: FCT

Strogalov87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Strogalov:A=_S=.html
title: On Metric Properties of Automata and Epsilon-Approximation of Automaton Mapping.
pages: 424-427
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

Durand93
type: Article in Proceedings
last modified date: 2002-07-25
author: Durand:Bruno.html
title: Undecidability of the Surjectivity Problem for 2D Cellular Automata: A Simplified Proof.
pages: 204-211
year: 1993
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1993
book title: FCT

RylRC99
type: Article in Proceedings
last modified date: 2003-06-05
author: Ryl:Isabelle.html
author: Roos:Yves.html
author: Clerbout:Mireille.html
title: Generalized Synchronization Languages.
pages: 451-462
ee: http://link.springer.de/link/service/series/0558/bibs/1684/16840451.htm
year: 1999
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1999
book title: FCT

KudlekM95
type: Article in Proceedings
last modified date: 2002-01-03
author: Kudlek:Manfred.html
author: Mateescu:Alexandru.html
title: Distributed Catenation and Chomsky Hierarchy.
pages: 313-322
year: 1995
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1995
book title: FCT

KudlekR01
type: Article in Proceedings
last modified date: 2002-01-03
author: Kudlek:Manfred.html
author: Rogozhin:Yurii.html
title: New Small Universal Circular Post Machines.
pages: 217-226
year: 2001
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2001
book title: FCT
ee: http://link.springer.de/link/service/series/0558/bibs/2138/21380217.htm

PotthoffT93
type: Article in Proceedings
last modified date: 2002-07-25
author: Potthoff:Andreas.html
author: Thomas:Wolfgang.html
title: Regular Tree Languages Without Unary Symbols are Star-Free.
pages: 396-405
year: 1993
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1993
book title: FCT

BrandstadtK85
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Brandst=auml=dt:Andreas.html
author: Kratsch:Dieter.html
title: On the restriction of some NP-complete graph problems to permutation graphs.
pages: 53-62
year: 1985
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1985
book title: FCT

BrandstadtW83
type: Article in Proceedings
last modified date: 2003-01-14
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Brandst=auml=dt:Andreas.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Wagner:Klaus_W=.html
title: Reversal-Bounded and Visit-Bounded Realtime Computations.
pages: 26-39
year: 1983
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1983
book title: FCT

GoralcikGKR81
type: Article in Proceedings
last modified date: 2002-02-25
author: Goralcik:Pavel.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/g/Goralcikov=aacute=:A=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Koubek:V=aacute=clav.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/R=ouml=dl:Vojtech.html
title: Fast Recognition of Rings and Lattices.
pages: 137-145
year: 1981
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1981
book title: FCT

DurisP89
type: Article in Proceedings
last modified date: 2002-02-25
author: Duris:Pavol.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Pudl=aacute=k:Pavel.html
title: On the Communication Complexity of Planarity.
pages: 145-147
year: 1989
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1989
book title: FCT

AndreB93
type: Article in Proceedings
last modified date: 2002-07-25
author: Andre:Yves.html
author: Bossut:Francis.html
title: Decidability of Equivalence for Linear Letter to Letter To-down Tree Transducers.
pages: 142-151
year: 1993
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1993
book title: FCT

Seebold85
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/S=eacute==eacute=bold:Patrice.html
title: Generalized Thue-Morse sequences.
pages: 402-411
year: 1985
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1985
book title: FCT

Seebold89
type: Article in Proceedings
last modified date: 2002-02-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/S=eacute==eacute=bold:Patrice.html
title: About a Family of Binary Morphisms which Stationary Words are Sturmian.
pages: 384-394
year: 1989
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1989
book title: FCT

Constable83
type: Article in Proceedings
last modified date: 2002-02-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Constable:Robert_L=.html
title: Constructive Mathematics as a Programming Logic I: Some Principles of Theory.
pages: 64-77
year: 1983
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1983
book title: FCT

AblayevA01
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Ablayev:Farid_M=.html
author: Ablayeva:Svetlana.html
title: A Discrete Approximation and Communication Complexity Approach to the Superposition Problem.
pages: 47-58
year: 2001
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2001
book title: FCT
ee: http://link.springer.de/link/service/series/0558/bibs/2138/21380047.htm

BergstraS93
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Bergstra:Jan_A=.html
author: Stefanescu:Gheorghe.html
title: Translations Between Flowchart Schemes and Process Graphs.
pages: 152-161
year: 1993
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1993
book title: FCT

BergstraS95
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Bergstra:Jan_A=.html
author: Stefanescu:Gheorghe.html
title: Processes with Multiple Entries and Exits.
pages: 136-145
year: 1995
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1995
book title: FCT

BergstraT79
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Bergstra:Jan_A=.html
author: Tiuryn:Jerzy.html
title: Implicit definability of algebraic structures by means of program properties.
pages: 58-63
year: 1979
book title: FCT

Lipski77
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/j/Jr=:Witold_Lipski.html
title: Two NP-Complete Problems Related to Information Retrieval.
pages: 452-458
year: 1977
book title: FCT

AnisimovO87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Anisimov:A=_V=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/o/Oleshchuk:Vladimir_A=.html
title: Stable Finite Automata Mappings and Church-Rosser Systems.
pages: 30-33
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

Esparza95
type: Article in Proceedings
last modified date: 2002-01-03
author: Esparza:Javier.html
title: Petri Nets, Commutative Context-Free Grammars, and Basic Parallel Processes.
pages: 221-232
year: 1995
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1995
book title: FCT

Enikeev87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/e/Enikeev:A=_I=.html
title: On Development of Dialogue Concurrent Systems.
pages: 103-108
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

Nicola83
type: Article in Proceedings
last modified date: 2002-02-25
author: Nicola:Rocco De.html
title: A Complete Set of Axioms for a Theory of Communicating Sequential Processes.
pages: 115-126
year: 1983
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1983
book title: FCT

Sokolov01
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Sokolov:Andrew_V=.html
title: Mathematical Models and Optimal Algorithms of Dynamic Data Structure Control.
pages: 416-419
year: 2001
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2001
book title: FCT
ee: http://link.springer.de/link/service/series/0558/bibs/2138/21380416.htm

ArnoldL79
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Arnold:Andr=eacute=.html
author: Leguy:Bernard.html
title: Forets de Greibach et homomorphismes inverses.
pages: 31-37
year: 1979
book title: FCT

ArnoldN77
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Arnold:Andr=eacute=.html
author: Nivat:Maurice.html
title: Non Deterministic Recursive Program Schemes.
pages: 12-21
year: 1977
book title: FCT

Obtulowicz77
type: Article in Proceedings
last modified date: 2002-01-03
author: Obtulowicz:Adam.html
title: Functorial Semantics of the Type Free lambda-beta eta Calculus.
pages: 302-307
year: 1977
book title: FCT

FisherM95
type: Article in Proceedings
last modified date: 2002-01-03
author: Fisher:Kathleen.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Mitchell:John_C=.html
title: A Delegation-based Object Calculus with Subtying.
pages: 42-61
year: 1995
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1995
book title: FCT

BukharajevEM87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Bukharajev:R=_G=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/e/Enikeev:A=_I=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Makarov:I=_I=.html
title: Chain-like Model of Programs Communication.
pages: 65-67
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

Thalheim87
type: Article in Proceedings
last modified date: 2002-07-25
author: Thalheim:Bernhard.html
title: On the Number of Keys in Relational Databases.
pages: 448-455
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

Roytberg77
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Roytberg:M=.html
title: The Equivalence of Schemata with some Feedback.
pages: 166-170
year: 1977
book title: FCT

KrivanekM85a
type: Article in Proceedings
last modified date: 2002-08-14
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kriv=aacute=nek:Mirko.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Mor=aacute=vek:Jaroslav.html
title: Linear comparison complexity of the n-cube membership problem.
pages: 242-248
year: 1985
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1985
book title: FCT

Nasyrov87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/n/Nasyrov:Ildar_R=.html
title: The Degrees of Nondeterminism in Pushdown Automata.
pages: 339-342
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

Chaboud95
type: Article in Proceedings
last modified date: 2002-01-03
author: Chaboud:Thomas.html
title: About Planar Cayley Graphs.
pages: 171-180
year: 1995
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1995
book title: FCT

Cenzer77
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Cenzer:Douglas_A=.html
title: Non-Generable RE Sets.
pages: 379-385
year: 1977
book title: FCT

Latypov87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Latypov:R=_Kh=.html
title: Built-in Self-testing of Logic Circuits Using Imperfect Duplication.
pages: 279-283
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

KinberZ89
type: Article in Proceedings
last modified date: 2002-02-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kinber:Efim_B=.html
author: Zeugmann:Thomas.html
title: Monte-Carlo Inference and Its Relations to Reliable Frequency Identification.
pages: 257-266
year: 1989
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1989
book title: FCT

Mints87
type: Article in Proceedings
last modified date: 2002-07-25
author: Mints:Grigori.html
title: Some Formal Systems of the Logic Programming.
pages: 318-322
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

GashkovS87
type: Article in Proceedings
last modified date: 2004-11-26
author: Gashkov:Igor.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Sidelnikov:V=_M=.html
title: Codes, Connected With a Fraction Linear Functions Group and Their Decoding.
pages: 150-149
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

IndermarkK87
type: Article in Proceedings
last modified date: 2002-07-25
author: Indermark:Klaus.html
author: Klaeren:Herbert.html
title: Efficient Implementation of Structural Recursion.
pages: 204-213
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

Karpova87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Karpova:N=_A=.html
title: On Complexity of Computations with Limited Memory.
pages: 234-235
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

Remila95
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/R=eacute=mila:Eric.html
title: Tiling with Bars and Satisfaction of Boolean Formulas.
pages: 404-413
year: 1995
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1995
book title: FCT

Kortelainen81
type: Article in Proceedings
last modified date: 2002-02-25
author: Kortelainen:Juha.html
title: Some Properties of Language Families Generated by Commutative Languages.
pages: 210-217
year: 1981
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1981
book title: FCT

Wechler77
type: Article in Proceedings
last modified date: 2002-01-03
author: Wechler:Wolfgang.html
title: Families of R-Fuzzy Languages.
pages: 177-186
year: 1977
book title: FCT

Abdallah85
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Abdallah:M=_A=_Nait.html
title: On some topological properties of logic programs.
pages: 310-319
year: 1985
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1985
book title: FCT

Abdallah89
type: Article in Proceedings
last modified date: 2002-02-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Abdallah:M=_A=_Nait.html
title: An Extended Framework for Default Reasoning.
pages: 339-348
year: 1989
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1989
book title: FCT

SannellaW83
type: Article in Proceedings
last modified date: 2002-02-25
author: Sannella:Donald.html
author: Wirsing:Martin.html
title: A Kernel Language for Algebraic Specification and Implementation - Extended Abstract.
pages: 413-427
year: 1983
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1983
book title: FCT

Letichevsky87
type: Article in Proceedings
last modified date: 2002-11-14
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Letichevsky:Alexander_A=.html
title: Algebras with Approximation and Excursive Data Structures.
pages: 284-287
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

HromkovicKPUWW95
type: Article in Proceedings
last modified date: 2002-01-03
author: Hromkovic:Juraj.html
author: Klasing:Ralf.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Pardubsk=aacute=:Dana.html
author: Unger:Walter.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Waczul=iacute=k:Juraj.html
author: Wagener:Hubert.html
title: Effective Systolic Algorithms for Gossiping in Cycles and Two-Dimensional Grids (Extended Abstract).
pages: 273-282
year: 1995
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1995
book title: FCT

IbarraT91
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/i/Ibarra:Oscar_H=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/t/Tr=acirc=n:Nicholas_Q=.html
title: On Space-bounded Synchronized Alternating Turing Machines.
pages: 248-257
year: 1991
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1991
book title: FCT

Courcelle93
type: Article in Proceedings
last modified date: 2002-07-25
author: Courcelle:Bruno.html
title: Context-Free Graph Grammars: Separating Vertex Replacement from Hyperedge Replacement.
pages: 181-193
year: 1993
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1993
book title: FCT

LozkinK87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lozkin:Sergej_A=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Koshkin:M=_A=.html
title: On the Complexity of Realizing Some Systems of the Functions of the Algebra of Logic by Contact and Generalized Contact Circuits.
pages: 293-296
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

LozkinS87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lozkin:Sergej_A=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Semenov:A=_A=.html
title: On Construction of a Complete System of Compression Functions and on Complexity of Monotone Realization of Threshold Boolean Functions.
pages: 297-300
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

Stohr87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/St=ouml=hr:Elena.html
title: A Tradeoff Between Pagenumber and Width of Book Embedding of Graphs.
pages: 420-423
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

BerzinaB01
type: Article in Proceedings
last modified date: 2002-04-26
author: Berzina:Aija.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Bonner:Richard_F=.html
title: Ambainis-Freivalds' Algorithm for Measure-Once Automata.
pages: 83-93
year: 2001
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2001
book title: FCT
ee: http://link.springer.de/link/service/series/0558/bibs/2138/21380083.htm

Rytter85
type: Article in Proceedings
last modified date: 2002-07-25
author: Rytter:Wojciech.html
title: Parallel time O(log n) recognition of unambiguous CFLs.
pages: 380-389
year: 1985
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1985
book title: FCT

BordihnDV99
type: Article in Proceedings
last modified date: 2003-06-05
author: Bordihn:Henning.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/d/Dassow:J=uuml=rgen.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/v/Vaszil:Gy=ouml=rgy.html
title: Grammar Systems as Language Analyzers and Recursively Enumerable Languages.
pages: 136-147
ee: http://link.springer.de/link/service/series/0558/bibs/1684/16840136.htm
year: 1999
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1999
book title: FCT

PudlaK93
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Pudl=aacute=k:Pavel.html
title: 0Circuit Complexity.
pages: 106-120
year: 1993
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1993
book title: FCT

Hirschberg77
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Hirschberg:Daniel_S=.html
title: Complexity of Common Subsequence Problems.
pages: 393-398
year: 1977
book title: FCT

Sutner89
type: Article in Proceedings
last modified date: 2002-02-25
author: Sutner:Klaus.html
title: The Computational Complexity of Cellular Automata.
pages: 451-459
year: 1989
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1989
book title: FCT

Brandstadt01
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Brandst=auml=dt:Andreas.html
title: On Robust Algorithms for the Maximum Weight Stable Set Problem.
pages: 445-458
year: 2001
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2001
book title: FCT
ee: http://link.springer.de/link/service/series/0558/bibs/2138/21380445.htm

Alexanyan87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Alexanyan:A=_A=.html
title: Linearized Disjunctive Normal Forms of Boolean Functions.
pages: 14-16
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

BaetenB95
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Baeten:Jos_C=_M=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Bergstra:Jan_A=.html
title: Discrete Time Process Algebra with Abstraction.
pages: 1-15
year: 1995
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1995
book title: FCT

ErlebachV01
type: Article in Proceedings
last modified date: 2002-01-03
author: Erlebach:Thomas.html
author: Vukadinovic:Danica.html
title: New Results for Path Problems in Generalized Stars, Complete Graphs, and Brick Wall Graphs.
pages: 483-494
year: 2001
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2001
book title: FCT
ee: http://link.springer.de/link/service/series/0558/bibs/2138/21380483.htm

KrivanekM85
type: Article in Proceedings
last modified date: 2002-08-14
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kriv=aacute=nek:Mirko.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Mor=aacute=vek:Jaroslav.html
title: Clustering to minimize the sum of volumes of convex hulls of clusters is NP-complete.
pages: 234-241
year: 1985
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1985
book title: FCT

Hemmerling79
type: Article in Proceedings
last modified date: 2002-07-25
author: Hemmerling:Armin.html
title: Concentration of multidimensional tape-bounded systems of Turing automata and cellular spaces.
pages: 167-174
year: 1979
book title: FCT

Hemmerling87
type: Article in Proceedings
last modified date: 2002-07-25
author: Hemmerling:Armin.html
title: Three-Dimensional Traps and Barrages for Cooperating Automata (Extended Abstract).
pages: 197-203
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

Skurczynski89
type: Article in Proceedings
last modified date: 2002-02-25
author: Skurczynski:Jerzy.html
title: The Borel Hierarchy is Infinite in the Class of Regular Sets of Trees.
pages: 416-423
year: 1989
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1989
book title: FCT

HennickerW97
type: Article in Proceedings
last modified date: 2002-02-25
author: Hennicker:Rolf.html
author: Wirsing:Martin.html
title: Proof Systems for Struvtured Algebraic Specifications: An Overview.
pages: 19-37
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1997
book title: FCT

Reutenauer79
type: Article in Proceedings
last modified date: 2002-07-25
author: Reutenauer:Christophe.html
title: On Polya series in noncommuting variables.
pages: 391-396
year: 1979
book title: FCT

Reutenauer85
type: Article in Proceedings
last modified date: 2002-07-25
author: Reutenauer:Christophe.html
title: Recent results on codes.
pages: 351-360
year: 1985
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1985
book title: FCT

TseytlinY79
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/t/Tseytlin:G=_E=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/y/Yushchenko:E=_L=.html
title: Automata theory and structural parallel programming.
pages: 469-475
year: 1979
book title: FCT

KuznetsovNS87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kuznetsov:S=_E=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/n/Nurmeev:N=_N=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Salimov:F=_I=.html
title: The Problem of Minimal Implicating Vector.
pages: 273-278
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

MoskaljovaV01
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Moskaljova:Nataly_S=.html
author: Virbitskaite:Irina.html
title: On the Category of Event Structures with Dense Time.
pages: 287-298
year: 2001
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2001
book title: FCT
ee: http://link.springer.de/link/service/series/0558/bibs/2138/21380287.htm

Noskov87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/n/Noskov:V=_N=.html
title: Statistically Effective Algorithms for Automata Control.
pages: 343-346
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

Schneider77
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Schneider:Hans_J=uuml=rgen.html
title: Graph Grammars.
pages: 314-331
year: 1977
book title: FCT

BuchholzKK99
type: Article in Proceedings
last modified date: 2003-06-05
author: Buchholz:Thomas.html
author: Klein:Andreas.html
author: Kutrib:Martin.html
title: Iterative Arrays with a Wee Bit Alternation.
pages: 173-184
ee: http://link.springer.de/link/service/series/0558/bibs/1684/16840173.htm
year: 1999
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1999
book title: FCT

AblayevGK01
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Ablayev:Farid_M=.html
author: Gainutdinova:Aida.html
author: Karpinski:Marek.html
title: On Computational Power of Quantum Branching Programs.
pages: 59-70
year: 2001
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2001
book title: FCT
ee: http://link.springer.de/link/service/series/0558/bibs/2138/21380059.htm

Andreev87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Andreev:Alexander_E=.html
title: Effective Lower Bounds for Complexity of Some Classes of Schemes.
pages: 24-29
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

Dassow77
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/d/Dassow:J=uuml=rgen.html
title: Some Remarks on the Algebra of Automation Mapping.
pages: 78-83
year: 1977
book title: FCT

Dassow81
type: Article in Proceedings
last modified date: 2002-02-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/d/Dassow:J=uuml=rgen.html
title: Equality Languages and Language Families.
pages: 100-109
year: 1981
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1981
book title: FCT

Hoffmann81
type: Article in Proceedings
last modified date: 2002-02-25
author: Hoffmann:Frank.html
title: One Pebble Does Not Suffice to Search Plane Labyrinths.
pages: 433-444
year: 1981
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1981
book title: FCT

Prusinkiewicz79
type: Article in Proceedings
last modified date: 2002-07-25
author: Prusinkiewicz:Przemyslaw.html
title: Recognizing of Chomsky classes of formal languages by two-dimensional iterative arrays.
pages: 355-361
year: 1979
book title: FCT

Kuzjurin87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kuzjurin:Nikolai_N=.html
title: On One Approximate Algorithm for Solving Systems of Linear Inequalities with Boolean Variables.
pages: 272
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

ValivetiOZ91
type: Article in Proceedings
last modified date: 2005-09-16
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/v/Valiveti:Radhakrishna_S=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/o/Oommen:B=_John.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/z/Zgierski:Jack_R=.html
title: Adaptive Linear List Reorganization for a System Processing Set Queries.
pages: 405-414
year: 1991
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1991
book title: FCT

Vardanian85
type: Article in Proceedings
last modified date: 2006-05-31
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/v/Vardanian:Valery_A=.html
title: On the length of single dynamic tests for monotone Boolean functions.
pages: 442-449
year: 1985
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1985
book title: FCT

FulopV89
type: Article in Proceedings
last modified date: 2002-02-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/f/F=uuml=l=ouml=p:Zolt=aacute=n.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/v/V=aacute=gv=ouml=lgyi:S=aacute=ndor.html
title: Iterated Deterministic Top-Down Look-Ahead.
pages: 175-184
year: 1989
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1989
book title: FCT

Gradel89
type: Article in Proceedings
last modified date: 2002-02-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/g/Gr=auml=del:Erich.html
title: Complexity of Formula Classes in First Order Logic with Functions.
pages: 224-233
year: 1989
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1989
book title: FCT

Nebel97
type: Article in Proceedings
last modified date: 2002-02-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/n/Nebel:Markus_E=.html
title: On the Average Complexity of the Membership Problem for a Generalized Dyck Language.
pages: 352-363
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1997
book title: FCT

VirbitskaiteP99
type: Article in Proceedings
last modified date: 2003-06-05
author: Virbitskaite:Irina.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Pokozy:E=.html
title: A Partial Order Method for the Verification of Time Petri Nets.
pages: 547-558
ee: http://link.springer.de/link/service/series/0558/bibs/1684/16840547.htm
year: 1999
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1999
book title: FCT

VirbitskaiteV97
type: Article in Proceedings
last modified date: 2002-02-25
author: Virbitskaite:Irina.html
author: Votintseva:Anzhelika.html
title: Behavioural Characterizations of Partial Order Logics.
pages: 463-474
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1997
book title: FCT

HalavaHH99
type: Article in Proceedings
last modified date: 2003-06-05
author: Halava:Vesa.html
author: Harju:Tero.html
author: Hirvensalo:Mika.html
title: Generalized PCP Is Decidable for Marked Morphisms.
pages: 304-315
ee: http://link.springer.de/link/service/series/0558/bibs/1684/16840304.htm
year: 1999
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1999
book title: FCT

ChaochenHX95
type: Article in Proceedings
last modified date: 2002-11-21
author: Zhou:Chaochen.html
author: Hung:Dang Van.html
author: Li:Xiaoshan.html
title: A Duration Calculus with Infinite Intervals.
pages: 16-41
year: 1995
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1995
book title: FCT

BergstraOW77
type: Article in Proceedings
last modified date: 2002-05-07
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Bergstra:Jan_A=.html
author: Ollongren:Alexander.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Weide:Theo_P=_van_der.html
title: An Axiomatization of the Rational Data Objects.
pages: 33-38
year: 1977
book title: FCT

Calabrese97
type: Article in Proceedings
last modified date: 2002-02-25
author: Calabrese:Antonio.html
title: Distributed Acyclic Orientation of Asynchronous Networks.
pages: 129-137
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1997
book title: FCT

Steinby81
type: Article in Proceedings
last modified date: 2002-02-25
author: Steinby:Magnus.html
title: Some Algebraic Aspects of Recognizability and Rationality.
pages: 360-372
year: 1981
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1981
book title: FCT

Steinby89
type: Article in Proceedings
last modified date: 2002-02-25
author: Steinby:Magnus.html
title: Tree Language Problems in Pattern Recognition Theory (Extended Abstract).
pages: 444-450
year: 1989
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1989
book title: FCT

LeeuwenW85
type: Article in Proceedings
last modified date: 2002-07-25
author: Leeuwen:Jan van.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Wiedermann:Jir=iacute=.html
title: Array processing machines.
pages: 257-268
year: 1985
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1985
book title: FCT

BertoniBJSY89
type: Article in Proceedings
last modified date: 2003-06-03
author: Bertoni:Alberto.html
author: Bruschi:Danilo.html
author: Joseph:Deborah.html
author: Sitharam:Meera.html
author: Young:Paul.html
title: Generalized Boolean Hierarchies and Boolean Hierarchies Over RP (Conference Abstract).
pages: 35-46
year: 1989
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1989
book title: FCT

Freivalds01
type: Article in Proceedings
last modified date: 2002-01-03
author: Freivalds:Karlis.html
title: Curved Edge Routing.
pages: 126-137
year: 2001
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2001
book title: FCT
ee: http://link.springer.de/link/service/series/0558/bibs/2138/21380126.htm

Freivalds83
type: Article in Proceedings
last modified date: 2002-02-25
author: Freivalds:Rusins.html
title: Space and Reversal Complexity of Probabilistic One-Way Turing Machines.
pages: 159-170
year: 1983
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1983
book title: FCT

Okolnishnikova97
type: Article in Proceedings
last modified date: 2002-02-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/o/Okol=nishnikova:Elizaveta_A=.html
title: On the Hierarchy of Nondeterministic Branching k-Programs.
pages: 376-387
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1997
book title: FCT

Hartmanis87
type: Article in Proceedings
last modified date: 2002-07-25
author: Hartmanis:Juris.html
title: Some Observations of NP Complete Sets.
pages: 185-196
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

Plotkin01
type: Article in Proceedings
last modified date: 2002-01-03
author: Plotkin:Tanya.html
title: Fuzzy Sets and Algorithms of Distributed Task Allocation for Cooperative Agents.
pages: 404-407
year: 2001
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2001
book title: FCT
ee: http://link.springer.de/link/service/series/0558/bibs/2138/21380404.htm

BalcazarDG85
type: Article in Proceedings
last modified date: 2003-07-15
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Balc=aacute=zar:Jos=eacute=_L=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/d/D=iacute=az:Josep.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/g/Gabarr=oacute=:Joaquim.html
title: On some "non-uniform" complexity measures.
pages: 18-27
year: 1985
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1985
book title: FCT

AfratiM01
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Afrati:Foto_N=.html
author: Milis:Ioannis.html
title: Designing PTASs for MIN-SUM Scheduling Problems.
pages: 432-444
year: 2001
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2001
book title: FCT
ee: http://link.springer.de/link/service/series/0558/bibs/2138/21380432.htm

Pereyaslavsky87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Pereyaslavsky:V=_I=.html
title: Linear Test Procedures of Recognition.
pages: 347-348
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

Gil-Luezas89
type: Article in Proceedings
last modified date: 2002-02-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/g/Gil=Luezas:Ana.html
title: A Logic for Nondeterministic Functional Programs (Extended Abstract).
pages: 197-208
year: 1989
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1989
book title: FCT

DittrichM77
type: Article in Proceedings
last modified date: 2004-02-13
author: Dittrich:Gisbert.html
author: Merzenich:Wolfgang.html
title: Nets over Many Sorted Operator Domains and Their Semantics.
pages: 240-244
year: 1977
book title: FCT

TisonDC83
type: Article in Proceedings
last modified date: 2002-03-21
author: Tison:Sophie.html
author: Dauchet:Max.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Comyn:G=eacute=rard.html
title: Metrical an Ordered Properties of Powerdomains.
pages: 465-474
year: 1983
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1983
book title: FCT

Dietzfelbinger93
type: Article in Proceedings
last modified date: 2002-07-25
author: Dietzfelbinger:Martin.html
title: Simulations Between Different Models of Parallel Computers.
pages: 16-30
year: 1993
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1993
book title: FCT

Levcopoulos85
type: Article in Proceedings
last modified date: 2002-07-25
author: Levcopoulos:Christos.html
title: A fast heuristic for covering polygons by rectangles.
pages: 269-278
year: 1985
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1985
book title: FCT

ChoffrutG97
type: Article in Proceedings
last modified date: 2002-02-25
author: Choffrut:Christian.html
author: Guerra:Leucio.html
title: Generalized Rational Relations and their Logical Definability.
pages: 138-149
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1997
book title: FCT

Traub91
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/t/Traub:J=_F=.html
title: Information-Based Complexity: Recent Results and Open Problems.
pages: 86-88
year: 1991
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1991
book title: FCT

Rasiowa79
type: Article in Proceedings
last modified date: 2002-07-25
author: Rasiowa:Helena.html
title: Logic of complex algorithms.
pages: 370-381
year: 1979
book title: FCT

Burmeister81
type: Article in Proceedings
last modified date: 2002-02-25
author: Burmeister:Peter.html
title: Quasi-Equational Logic for Partial Algebras.
pages: 71-80
year: 1981
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1981
book title: FCT

Ollinger01
type: Article in Proceedings
last modified date: 2002-01-03
author: Ollinger:Nicolas.html
title: Two-States Bilinear Intrinsically Universal Cellular Automata.
pages: 396-399
year: 2001
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2001
book title: FCT
ee: http://link.springer.de/link/service/series/0558/bibs/2138/21380396.htm

BeauquireNN91
type: Article in Proceedings
last modified date: 2004-06-18
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Beauquier:Dani=egrave=le.html
author: Nivat:Maurice.html
author: Niwinski:Damian.html
title: About the Effect of the Number of Successful Paths in an Infinite Tree on the Recognizability by a Finite Automaton with Büchi Conditions.
pages: 136-145
year: 1991
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1991
book title: FCT

Winskel83
type: Article in Proceedings
last modified date: 2002-02-25
author: Winskel:Glynn.html
title: A Note on Powerdomains and Modalitiy.
pages: 505-514
year: 1983
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1983
book title: FCT

Muldner77
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/M=uuml=ldner:Tomasz.html
title: On Properties of Certain Synchronizing Tool for Parallel Computations.
pages: 459-465
year: 1977
book title: FCT

Muldner79
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/M=uuml=ldner:Tomasz.html
title: On compilation of parallel programs.
pages: 295-300
year: 1979
book title: FCT

BodlaenderMW89
type: Article in Proceedings
last modified date: 2002-02-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Bodlaender:Hans_L=.html
author: Moran:Shlomo.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Warmuth:Manfred_K=.html
title: The Distributed Bit Complexity of the Ring: From the Anonymous to the Non-anonymous Case.
pages: 58-67
year: 1989
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1989
book title: FCT

Uhlig87
type: Article in Proceedings
last modified date: 2002-07-25
author: Uhlig:Dietmar.html
title: Reliable Networks from Unreliable Gates With Almost Minimal Complexity.
pages: 462-469
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

Uhlig91
type: Article in Proceedings
last modified date: 2002-07-25
author: Uhlig:Dietmar.html
title: Boolean Functions with a Large Number of Subfunctions and Small Complexity and Depth.
pages: 395-404
year: 1991
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1991
book title: FCT

Kozlovskiy87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kozlovskiy:V=_A=.html
title: On the Complexity of Analyzing Experiments for Checking local Faults of an Automaton.
pages: 259-262
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

Kaneps91
type: Article in Proceedings
last modified date: 2002-07-25
author: Kaneps:Janis.html
title: Regularity of One-Letter Languages Acceptable by 2-Way Finite Probabilistic Automata.
pages: 287-296
year: 1991
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1991
book title: FCT

ChlebusV91
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Chlebus:Bogdan_S=.html
author: Vrto:Imrich.html
title: Unifying Binary-Search Trees and Permutations.
pages: 190-199
year: 1991
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1991
book title: FCT

Munro77
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Munro:J=_Ian.html
title: The Parallel Complexity of Arithmetic Computation.
pages: 466-475
year: 1977
book title: FCT

KarhumakiPR01
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Karhum=auml=ki:Juhani.html
author: Plandowski:Wojciech.html
author: Rytter:Wojciech.html
title: On the Complexity of Decidable Cases of Commutation Problem for Languages.
pages: 193-203
year: 2001
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2001
book title: FCT
ee: http://link.springer.de/link/service/series/0558/bibs/2138/21380193.htm

KarhumakiPR97
type: Article in Proceedings
last modified date: 2002-02-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Karhum=auml=ki:Juhani.html
author: Plandowski:Wojciech.html
author: Rytter:Wojciech.html
title: Pattern-Matching Problems for 2-Dimensional Images Described by Finite Automata.
pages: 245-256
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1997
book title: FCT

HowellRY89
type: Article in Proceedings
last modified date: 2005-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Howell:Rodney_R=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Rosier:Louis_E=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/y/Yen:Hsu=Chun.html
title: Normal and Sinkless Petri Nets.
pages: 234-243
year: 1989
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1989
book title: FCT

DjidjevPZ95
type: Article in Proceedings
last modified date: 2002-01-03
author: Djidjev:Hristo.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Pantziou:Grammati_E=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/z/Zaroliagis:Christos_D=.html
title: Fast Algorithms for Maintaining Shortest Paths in Outerplanar and Planar Digraphs.
pages: 191-200
year: 1995
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1995
book title: FCT

Jarvinen01
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/j/J=auml=rvinen:Jouni.html
title: Dense Families and Key Functions of Database Relation Instances.
pages: 184-192
year: 2001
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2001
book title: FCT
ee: http://link.springer.de/link/service/series/0558/bibs/2138/21380184.htm

Harel83
type: Article in Proceedings
last modified date: 2002-02-25
author: Harel:David.html
title: Recurring Dominoes: Making the Highly Undecidable Highly Understandable (Preliminary Report).
pages: 177-194
year: 1983
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1983
book title: FCT

LarsenPY95
type: Article in Proceedings
last modified date: 2002-01-03
author: Larsen:Kim Guldstrand.html
author: Pettersson:Paul.html
author: Yi:Wang.html
title: Model-Checking for Real-Time Systems.
pages: 62-88
year: 1995
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1995
book title: FCT

Chardin91
type: Article in Proceedings
last modified date: 2002-07-25
author: Chardin:Marc.html
title: Differential Resultants and Subresultants.
pages: 180-189
year: 1991
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1991
book title: FCT

KriegelW85
type: Article in Proceedings
last modified date: 2002-07-25
author: Kriegel:Klaus.html
author: Waack:Stephan.html
title: Lower bounds for Boolean formulae of depth 3 and the topology of the n-cube (preliminary version).
pages: 227-233
year: 1985
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1985
book title: FCT

KriegelW87
type: Article in Proceedings
last modified date: 2002-07-25
author: Kriegel:Klaus.html
author: Waack:Stephan.html
title: Exponential Lower Bounds for Real-Time Branching Programs.
pages: 263-267
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

CabelloPS99
type: Article in Proceedings
last modified date: 2003-06-05
author: Cabello:Sergio.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Padr=oacute=:Carles.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/S=aacute=ez:Germ=aacute=n.html
title: Secret Sharing Schemes with Detection of Cheaters for a General Access Structure.
pages: 185-194
ee: http://link.springer.de/link/service/series/0558/bibs/1684/16840185.htm
year: 1999
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1999
book title: FCT

Razborov91
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Razborov:Alexander_A=.html
title: Lower Bounds for Deterministic and Nondeterministic Branching Programs.
pages: 47-60
year: 1991
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1991
book title: FCT

Turan81
type: Article in Proceedings
last modified date: 2002-02-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/t/Tur=aacute=n:Gy=ouml=rgy.html
title: On Cellular Graph-Automata and Second-Order Definable Graph-Properties.
pages: 384-393
year: 1981
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1981
book title: FCT

Turan89
type: Article in Proceedings
last modified date: 2002-02-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/t/Tur=aacute=n:Gy=ouml=rgy.html
title: On Restricted Boolean Circuits.
pages: 460-469
year: 1989
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1989
book title: FCT

Turan91
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/t/Tur=aacute=n:Gy=ouml=rgy.html
title: A Survey of Some Aspects of Computational Learning Theory (Extended Abstract).
pages: 89-103
year: 1991
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1991
book title: FCT

JansenSW93
type: Article in Proceedings
last modified date: 2002-07-25
author: Jansen:Klaus.html
author: Scheffler:Petra.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Woeginger:Gerhard_J=.html
title: Maximum Covering with D Cliques.
pages: 319-328
year: 1993
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1993
book title: FCT

Sholomov87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Sholomov:L=_A=.html
title: The Complexity of the Sequential Choice Mechanism.
pages: 406-408
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

Spielman97
type: Article in Proceedings
last modified date: 2002-02-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Spielman:Daniel_A=.html
title: The Complexity of Error-Correcting Codes.
pages: 67-84
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1997
book title: FCT

BankKMS91
type: Article in Proceedings
last modified date: 2002-07-25
author: Bank:Bernd.html
author: Krick:Teresa.html
author: Mandel:Reinhard.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Solern=oacute=:Pablo.html
title: A Gemometrical Bound for Integer Programming with Polynomial Constraints.
pages: 121-125
year: 1991
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1991
book title: FCT

Sadowski97
type: Article in Proceedings
last modified date: 2002-02-25
author: Sadowski:Zenon.html
title: On an Optimal Quantified Propositional Proof System and a Complete Language for NP cap co-NP.
pages: 423-428
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1997
book title: FCT

KlaudelP95
type: Article in Proceedings
last modified date: 2002-01-03
author: Klaudel:Hanna.html
author: Pelz:Elisabeth.html
title: Communication as Unification in the Petri Box Calculus.
pages: 303-312
year: 1995
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1995
book title: FCT

FominL01
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/f/Fomin:Fedor_V=.html
author: Lingas:Andrzej.html
title: Approximation Algorithms for Time-Dependent Orienteering.
pages: 508-515
year: 2001
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2001
book title: FCT
ee: http://link.springer.de/link/service/series/0558/bibs/2138/21380508.htm

MaassS89
type: Article in Proceedings
last modified date: 2002-02-25
author: Maass:Wolfgang.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Slaman:Theodore_A=.html
title: Extensional Properties of Sets of Time Bounded Complexity (Extended Abstract).
pages: 318-326
year: 1989
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1989
book title: FCT

Reiterman77
type: Article in Proceedings
last modified date: 2002-01-03
author: Reiterman:Jan.html
title: A More Categorical Model of Universal Algebra.
pages: 308-313
year: 1977
book title: FCT

BruschiP91
type: Article in Proceedings
last modified date: 2002-07-25
author: Bruschi:Danilo.html
author: Pighizzini:Giovanni.html
title: The Complexity of Computing Maximal Word Functions.
pages: 157-167
year: 1991
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1991
book title: FCT

Heinemann01
type: Article in Proceedings
last modified date: 2002-01-03
author: Heinemann:Bernhard.html
title: Modelling Change with the Aid of Knowledge and Time.
pages: 150-161
year: 2001
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2001
book title: FCT
ee: http://link.springer.de/link/service/series/0558/bibs/2138/21380150.htm

Viennot85
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/v/Viennot:G=eacute=rard.html
title: Enumerative combinatorics and algebraic languages.
pages: 450-464
year: 1985
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1985
book title: FCT

Nijholt81
type: Article in Proceedings
last modified date: 2002-02-25
author: Nijholt:Anton.html
title: The Equivalence Problem for LL- and LR-Regular Grammars.
pages: 291-300
year: 1981
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1981
book title: FCT

Poigne81
type: Article in Proceedings
last modified date: 2002-02-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Poign=eacute=:Axel.html
title: Context-Free Languages of Infinite Words As Least Fixpoints.
pages: 301-310
year: 1981
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1981
book title: FCT

ProtasiT83
type: Article in Proceedings
last modified date: 2002-02-25
author: Protasi:Marco.html
author: Talamo:Maurizio.html
title: A New Probabilistic Model for the Study of Algorithmic Properties of Random Graph Problems.
pages: 360-367
year: 1983
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1983
book title: FCT

GronewoldF95
type: Article in Proceedings
last modified date: 2002-01-03
author: Gronewold:Anja.html
author: Fleischhack:Hans.html
title: Computing Petri Net Languages by Reductions.
pages: 253-262
year: 1995
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1995
book title: FCT

AndrekaN81
type: Article in Proceedings
last modified date: 2002-02-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Andr=eacute=ka:Hajnal.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/n/N=eacute=meti:Istv=aacute=n.html
title: Some Universal Algebraic and Model Theoretic Results in Computer Science.
pages: 16-23
year: 1981
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1981
book title: FCT

Vazirani01
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/v/Vazirani:Umesh_V=.html
title: Quantum Algorithms.
pages: 45-46
year: 2001
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2001
book title: FCT
ee: http://link.springer.de/link/service/series/0558/bibs/2138/21380045.htm

DassowJ87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/d/Dassow:J=uuml=rgen.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/j/J=uuml=rgensen:Helmut.html
title: Soliton Automata.
pages: 95-102
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

DassowL91
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/d/Dassow:J=uuml=rgen.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lange:Klaus=J=ouml=rn.html
title: Computational Calculus and Hardest Languages of Automata with Abstract Storages.
pages: 200-209
year: 1991
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1991
book title: FCT

Gecseg77
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/g/G=eacute=cseg:Ferenc.html
title: Universal Algebras and Tree Automata.
pages: 98-112
year: 1977
book title: FCT

BukharajevA77
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Bukharajev:R=_G=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Alpin:Ju=_A=.html
title: Methodology of Proving a Finite-State Stochastic Representability and Nonrepresentability.
pages: 3-11
year: 1977
book title: FCT

BukharajevN87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Bukharajev:R=_G=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/n/Nasirov:I=_R=.html
title: Structur Automata.
pages: 68-73
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

Voronkov87
type: Article in Proceedings
last modified date: 2002-07-25
author: Voronkov:Andrei.html
title: Deductive Program Synthesis and Markov's Principle.
pages: 479-482
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

BraunmuhlV83
type: Article in Proceedings
last modified date: 2002-02-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Braunm=uuml=hl:Burchard_von.html
author: Verbeek:Rutger.html
title: Input-Driven Languages are Recognized in log n Space.
pages: 40-51
year: 1983
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1983
book title: FCT

Selivanov01
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Selivanov:Victor_L=.html
title: Relating Automata-Theoretic Hierarchies to Complexity-Theoretic Hierarchies.
pages: 323-334
year: 2001
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2001
book title: FCT
ee: http://link.springer.de/link/service/series/0558/bibs/2138/21380323.htm

Selivanov87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Selivanov:Victor_L=.html
title: Index-Sets of Factor-Objects of the Post Numbering.
pages: 396-400
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

Mukhin87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Mukhin:V=_I=.html
title: Adaptive Strategies for Partially Observable Controlled Ranom Series.
pages: 334-338
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

SeynhaeveTT99
type: Article in Proceedings
last modified date: 2003-06-05
author: Seynhaeve:Franck.html
author: Tison:Sophie.html
author: Tommasi:Marc.html
title: Homomorphisms and Concurrent Term Rewriting.
pages: 475-487
ee: http://link.springer.de/link/service/series/0558/bibs/1684/16840475.htm
year: 1999
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1999
book title: FCT

Cuhrov87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Cuhrov:I=_P=.html
title: On the Number of DNF Minimal Relatively Arbitrary Measures of Complexity.
pages: 92-94
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

KounalisR91
type: Article in Proceedings
last modified date: 2002-07-25
author: Kounalis:Emmanuel.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Rusinowitch:Micha=euml=l.html
title: Automatic Proof Methods for Algebraic Specifications.
pages: 307-317
year: 1991
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1991
book title: FCT

Rodding83
type: Article in Proceedings
last modified date: 2002-02-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/R=ouml=dding:Dieter.html
title: Modular Decompostion of Automata (Survey).
pages: 394-412
year: 1983
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1983
book title: FCT

Ochranova83
type: Article in Proceedings
last modified date: 2002-02-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/o/Ochranov=aacute=:Renata.html
title: Finding Dominators.
pages: 328-334
year: 1983
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1983
book title: FCT

Hennessy99
type: Article in Proceedings
last modified date: 2003-06-05
author: Hennessy:Matthew.html
title: Axiomatising Asynchronous Process Calculi (abstract).
pages: 90
ee: http://link.springer.de/link/service/series/0558/bibs/1684/16840090.htm
year: 1999
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1999
book title: FCT

http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
type: Proceedings
last modified date: 2003-12-12
editor: Lingas:Andrzej.html
editor: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/n/Nilsson:Bengt_J=.html
title: Fundamentals of Computation Theory, 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings
book title: FCT
in series: lncs.html
volume: 2751
publisher: www.springer.de
year: 2003
isbn: 3-540-40543-7

CuckerM97
type: Article in Proceedings
last modified date: 2002-02-25
author: Cucker:Felipe.html
author: Meer:Klaus.html
title: Logics Which Capture Complexity Classes over the Reals.
pages: 157-167
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1997
book title: FCT

FranconRS89
type: Article in Proceedings
last modified date: 2002-02-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/f/Fran=ccedil=on:Jean.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Randrianarimanana:B=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Schott:Ren=eacute=.html
title: Dynamic Data Structures with Finite Population: A Combinatorial Analysis.
pages: 162-174
year: 1989
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1989
book title: FCT

Barashko87
type: Article in Proceedings
last modified date: 2002-07-25
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Barashko:A=_S=.html
title: The New Way of Probabilistic Compact Testing.
pages: 45-47
year: 1987
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1987
book title: FCT

ScheweT99
type: Article in Proceedings
last modified date: 2003-06-05
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Schewe:Klaus=Dieter.html
author: Thalheim:Bernhard.html
title: A Generalization of Dijkstra's Calculus to Typed Program Specifications.
pages: 463-474
ee: http://link.springer.de/link/service/series/0558/bibs/1684/16840463.htm
year: 1999
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1999
book title: FCT

Schewe95
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Schewe:Klaus=Dieter.html
title: Functional Sorts in Data Type Specifications: A Geometric Approach to Semantics.
pages: 424-433
year: 1995
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/1995
book title: FCT

AblayevG03
type: Article in Proceedings
last modified date: 2003-12-12
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Ablayev:Farid_M=.html
author: Gainutdinova:Aida.html
title: Classical Simulation Complexity of Quantum Machines.
pages: 296-302
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

DamgardF03a
type: Article in Proceedings
last modified date: 2003-12-12
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/d/Damg=aring=rd:Ivan.html
author: Frandsen:Gudmund Skovbjerg.html
title: An Extended Quadratic Frobenius Primality Test with Average and Worst Case Error Estimates.
pages: 118-131
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

Tantau03
type: Article in Proceedings
last modified date: 2003-12-12
author: Tantau:Till.html
title: Weak Cardinality Theorems for First-Order Logic.
pages: 400-411
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

EvansS03
type: Article in Proceedings
last modified date: 2003-12-12
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/e/Evans:Patricia_A=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Smith:Andrew_D=.html
title: Complexity of Approximating Closest Substring Problems.
pages: 210-221
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

HammarNP03
type: Article in Proceedings
last modified date: 2003-12-12
author: Hammar:Mikael.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/n/Nilsson:Bengt_J=.html
author: Persson:Mia.html
title: Competitive Exploration of Rectilinear Polygons.
pages: 234-245
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

AngelBG03
type: Article in Proceedings
last modified date: 2005-11-10
author: Angel:Eric.html
author: Bampis:Evripidis.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/g/Gourv=egrave=s:Laurent.html
title: Approximating the Pareto Curve with Local Search for the Bicriteria TSP (1, 2) Problem.
pages: 39-48
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

Stachowiak03
type: Article in Proceedings
last modified date: 2003-12-12
author: Stachowiak:Grzegorz.html
title: Fast Periodic Correction Networks.
pages: 144-156
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

GrammGN03
type: Article in Proceedings
last modified date: 2003-12-12
author: Gramm:Jens.html
author: Guo:Jiong.html
author: Niedermeier:Rolf.html
title: On Exact and Approximation Algorithms for Distinguishing Substring Selection.
pages: 195-209
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

Damaschke03
type: Article in Proceedings
last modified date: 2003-12-12
author: Damaschke:Peter.html
title: Fast Perfect Phylogeny Haplotype Inference.
pages: 183-194
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

Arora03
type: Article in Proceedings
last modified date: 2003-12-12
author: Arora:Sanjeev.html
title: Proving Integrality Gaps without Knowing the Linear Program.
pages: 1
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

DamgardF03
type: Article in Proceedings
last modified date: 2003-12-12
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/d/Damg=aring=rd:Ivan.html
author: Frandsen:Gudmund Skovbjerg.html
title: Efficient Algorithms for GCD and Cubic Residuosity in the Ring of Eisenstein Integers.
pages: 109-117
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

HansenMV03
type: Article in Proceedings
last modified date: 2003-12-12
author: Hansen:Kristoffer Arnsfelt.html
author: Miltersen:Peter Bro.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/v/Vinay:V=.html
title: Circuits on Cylinders.
pages: 171-182
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

BodlaenderBKRS03
type: Article in Proceedings
last modified date: 2003-12-12
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Bodlaender:Hans_L=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Brandst=auml=dt:Andreas.html
author: Kratsch:Dieter.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Rao:Micha=euml=l.html
author: Spinrad:Jeremy.html
title: 5, Gem)-Free Graphs.
pages: 61-72
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

CieliebakEP03
type: Article in Proceedings
last modified date: 2003-12-12
author: Cieliebak:Mark.html
author: Eidenbenz:Stephan.html
author: Pagourtzis:Aris.html
title: Composing Equipotent Teams.
pages: 98-108
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

Gudmundsson03
type: Article in Proceedings
last modified date: 2003-12-12
author: Gudmundsson:Joachim.html
title: Constructing Sparse t-Spanners with Small Separators.
pages: 86-97
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

FokkinkGW03
type: Article in Proceedings
last modified date: 2004-02-03
author: Fokkink:Wan.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/g/Glabbeek:Rob_J=_van.html
author: Wind:Paulien de.html
title: Compositionality of Hennessy-Milner Logic through Structural Operational Semantics.
pages: 412-422
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

Kutrib03
type: Article in Proceedings
last modified date: 2003-12-12
author: Kutrib:Martin.html
title: Dimension- and Time-Hierarchies for Small Time Bounds.
pages: 321-332
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

Papadimitriou03
type: Article in Proceedings
last modified date: 2003-12-12
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Papadimitriou:Christos_H=.html
title: Games and Networks.
pages: 157
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

LiptonV03
type: Article in Proceedings
last modified date: 2003-12-12
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lipton:Richard_J=.html
author: Viglas:Anastasios.html
title: Non-uniform Depth of Polynomial Time and Space Simulations.
pages: 311-320
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

AleksandrovMS03
type: Article in Proceedings
last modified date: 2003-12-12
author: Aleksandrov:Lyudmil.html
author: Maheshwari:Anil.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Sack:J=ouml=rg=R=uuml=diger.html
title: An Improved Approximation Algorithm for Computing Geometric Shortest Paths.
pages: 246-257
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

BerstelBCPP03
type: Article in Proceedings
last modified date: 2003-12-17
author: Berstel:Jean.html
author: Boasson:Luc.html
author: Carton:Olivier.html
author: Petazzoni:Bruno.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Pin:Jean=Eric.html
title: Operations Preserving Recognizable Languages.
pages: 343-354
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

AntunesFV03
type: Article in Proceedings
last modified date: 2003-12-12
author: Antunes:Luis.html
author: Fortnow:Lance.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/v/Vinodchandran:N=_V=.html
title: Using Depth to Capture Average-Case Complexity.
pages: 303-310
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

Mastrolilli03
type: Article in Proceedings
last modified date: 2003-12-12
author: Mastrolilli:Monaldo.html
title: Scheduling to Minimize Max Flow Time: Offline and Online Algorithms.
pages: 49-60
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

Moser03
type: Article in Proceedings
last modified date: 2003-12-12
author: Moser:Philippe.html
title: Baire's Categories on Small Complexity Classes.
pages: 333-342
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

KuichW03
type: Article in Proceedings
last modified date: 2003-12-12
author: Kuich:Werner.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Wagner:Klaus_W=.html
title: On the Exponentiation of Languages.
pages: 376-386
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

Asano03
type: Article in Proceedings
last modified date: 2003-12-12
author: Asano:Takao.html
title: An Improved Analysis of Goemans and Williamson's LP-Relaxation for MAX SAT.
pages: 2-14
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

Paun03
type: Article in Proceedings
last modified date: 2003-12-12
author: Paun:Gheorghe.html
title: Membrane Computing.
pages: 284-295
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

ReifS03
type: Article in Proceedings
last modified date: 2003-12-12
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Reif:John_H=.html
author: Sun:Zheng.html
title: On Boundaries of Highly Visible Spaces and Applications.
pages: 271-283
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

HalavaHHL03
type: Article in Proceedings
last modified date: 2003-12-12
author: Halava:Vesa.html
author: Harju:Tero.html
author: Hoogeboom:Hendrik Jan.html
author: Latteux:Michel.html
title: Languages Defined by Generalized Equality Sets.
pages: 355-363
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

Szalas03
type: Article in Proceedings
last modified date: 2003-12-12
author: Szalas:Andrzej.html
title: On a Logical Approach to Estimating Computational Complexity of Potentially Intractable Problems.
pages: 423-431
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

Coja-OghlanGLS03
type: Article in Proceedings
last modified date: 2003-12-12
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Coja=Oghlan:Amin.html
author: Goerdt:Andreas.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lanka:Andr=eacute=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Sch=auml=dlich:Frank.html
title: k-SAT Formulas Using Approximation Techniques.
pages: 15-26
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

BugliesiCR03
type: Article in Proceedings
last modified date: 2003-12-12
author: Bugliesi:Michele.html
author: Ceccato:Ambra.html
author: Rossi:Sabina.html
title: Context-Sensitive Equivalences for Non-interference Based Protocol Analysis.
pages: 364-375
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

ChlebikC03
type: Article in Proceedings
last modified date: 2003-12-12
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Chleb=iacute=k:Miroslav.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Chleb=iacute=kov=aacute=:Janka.html
title: Inapproximability Results for Bounded Variants of Optimization Problems.
pages: 27-38
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

Kik03
type: Article in Proceedings
last modified date: 2003-12-12
author: Kik:Marcin.html
title: Periodic Multisorting Comparator Networks.
pages: 132-143
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

ArpeJL03
type: Article in Proceedings
last modified date: 2003-12-12
author: Arpe:Jan.html
author: Jakoby:Andreas.html
author: Liskiewicz:Maciej.html
title: One-Way Communication Complexity of Symmetric Boolean Functions.
pages: 158-170
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

Pech03
type: Article in Proceedings
last modified date: 2003-12-12
author: Pech:Christian.html
title: Kleene's Theorem for Weighted Tree-Automata.
pages: 387-399
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

SunR03
type: Article in Proceedings
last modified date: 2003-12-12
author: Sun:Zheng.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Reif:John_H=.html
title: Adaptive and Compact Discretization for Weighted Region Optimal Path Finding.
pages: 258-270
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

Zhu03
type: Article in Proceedings
last modified date: 2003-12-12
author: Zhu:Binhai.html
title: On Lawson's Oriented Walk in Random Delaunay Triangulations.
pages: 222-233
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

FominHT03
type: Article in Proceedings
last modified date: 2003-12-12
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/f/Fomin:Fedor_V=.html
author: Heggernes:Pinar.html
author: Telle:Jan Arne.html
title: Graph Searching, Elimination Trees, and a Generalization of Bandwidth.
pages: 73-85
ee: http://springerlink.metapress.com/openurl.asp
year: 2003
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2003
book title: FCT

http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
type: Proceedings
last modified date: 2005-11-04
editor: Liskiewicz:Maciej.html
editor: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Reischuk:R=uuml=diger.html
title: Fundamentals of Computation Theory, 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005, Proceedings
volume: 3623
year: 2005
isbn: 3-540-28193-2
book title: FCT
in series: lncs.html
publisher: www.springer.de

AngelBGM05
type: Article in Proceedings
last modified date: 2005-11-04
author: Angel:Eric.html
author: Bampis:Evripidis.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/g/Gourv=egrave=s:Laurent.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Monnot:J=eacute=r=ocirc=me.html
title: TSP(1, 2).
pages: 329-340
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_29

BrandstadtELL05
type: Article in Proceedings
last modified date: 2005-11-04
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Brandst=auml=dt:Andreas.html
author: Engelfriet:Joost.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Le:Ho=agrave=ng=Oanh.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lozin:Vadim_V=.html
title: Clique-Width for Four-Vertex Forbidden Subgraphs.
pages: 185-196
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_17

Schelm05
type: Article in Proceedings
last modified date: 2005-11-04
author: Schelm:Birgit.html
title: Average-Case Non-approximability of Optimisation Problems.
pages: 409-421
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_36

KohlerSZ05
type: Article in Proceedings
last modified date: 2005-11-04
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/K=ouml=hler:Sven.html
author: Schindelhauer:Christian.html
author: Ziegler:Martin.html
title: On Approximating Real-World Halting Problems.
pages: 454-466
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_40

BeinILN05
type: Article in Proceedings
last modified date: 2005-11-04
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Bein:Wolfgang_W=.html
author: Iwama:Kazuo.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Larmore:Lawrence_L=.html
author: Noga:John.html
title: k-Server Problem.
pages: 281-292
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_25

FriedlISV05
type: Article in Proceedings
last modified date: 2005-11-04
author: Friedl:Katalin.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/i/Ivanyos:G=aacute=bor.html
author: Santha:Miklos.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/v/Verhoeven:Yves_F=.html
title: On the Black-Box Complexity of Sperner's Lemma.
pages: 245-257
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_22

GrigorievB05
type: Article in Proceedings
last modified date: 2005-11-04
author: Grigoriev:Alexander.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Bodlaender:Hans_L=.html
title: Algorithms for Graphs Embeddable with Few Crossings Per Edge.
pages: 378-387
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_33

MonnotT05
type: Article in Proceedings
last modified date: 2005-11-04
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Monnot:J=eacute=r=ocirc=me.html
author: Toulouse:Sophie.html
title: 4Partition Problems.
pages: 388-396
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_34

Schubert05
type: Article in Proceedings
last modified date: 2005-11-04
author: Schubert:Aleksy.html
title: A Self-dependency Constraint in the Simply Typed Lambda Calculus.
pages: 352-364
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_31

BernetJ05
type: Article in Proceedings
last modified date: 2005-11-04
author: Bernet:Julien.html
author: Janin:David.html
title: Tree Automata and Discrete Distributed Games.
pages: 540-551
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_47

Yamakami05
type: Article in Proceedings
last modified date: 2005-11-04
author: Yamakami:Tomoyuki.html
title: Collapsing Recursive Oracles for Relativized Polynomial Hierarchies.
pages: 149-160
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_14

BonifaciIL05
type: Article in Proceedings
last modified date: 2005-11-04
author: Bonifaci:Vincenzo.html
author: Iorio:Ugo Di.html
author: Laura:Luigi.html
title: On the Complexity of Uniformly Mixed Nash Equilibria and Related Regular Subgraph Problems.
pages: 197-208
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_18

Moser05
type: Article in Proceedings
last modified date: 2005-11-04
author: Moser:Philippe.html
title: Generic Density and Small Span Theorem.
pages: 92-102
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_9

CristauLT05
type: Article in Proceedings
last modified date: 2005-11-04
author: Cristau:Julien.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/L=ouml=ding:Christof.html
author: Thomas:Wolfgang.html
title: Deterministic Automata on Unranked Trees.
pages: 68-79
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_7

HirataKH05
type: Article in Proceedings
last modified date: 2005-11-04
author: Hirata:Kouichi.html
author: Kuwabara:Megumi.html
author: Harao:Masateru.html
title: On Finding Acyclic Subhypergraphs.
pages: 491-503
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_43

GartnerR05
type: Article in Proceedings
last modified date: 2005-11-04
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/g/G=auml=rtner:Bernd.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/R=uuml=st:Leo.html
title: Simple Stochastic Games and P-Matrix Generalized Linear Complementarity Problems.
pages: 209-220
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_19

LaudV05
type: Article in Proceedings
last modified date: 2005-11-04
author: Laud:Peeter.html
author: Vene:Varmo.html
title: A Type System for Computationally Secure Information Flow.
pages: 365-377
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_32

Simon05
type: Article in Proceedings
last modified date: 2005-11-04
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Simon:Hans=Ulrich.html
title: Perfect Reconstruction of Black Pixels Revisited.
pages: 221-232
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_20

BurgisserCN05
type: Article in Proceedings
last modified date: 2005-11-04
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/B=uuml=rgisser:Peter.html
author: Cucker:Felipe.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/n/Naurois:Paulin_Jacob=eacute=_de.html
title: The Complexity of Semilinear Problems in Succinct Representation.
pages: 479-490
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_42

BeinLMS05
type: Article in Proceedings
last modified date: 2005-11-04
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Bein:Wolfgang_W=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Larmore:Lawrence_L=.html
author: Morales:Linda.html
author: Sudborough:Ivan Hal.html
title: A Faster and Simpler 2-Approximation Algorithm for Block Sorting.
pages: 115-124
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_11

HolzerO05
type: Article in Proceedings
last modified date: 2005-11-04
author: Holzer:Markus.html
author: Otto:Friedrich.html
title: Shrinking Multi-pushdown Automata.
pages: 305-316
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_27

GroheKS05
type: Article in Proceedings
last modified date: 2005-11-04
author: Grohe:Martin.html
author: Koch:Christoph.html
author: Schweikardt:Nicole.html
title: The Complexity of Querying External Memory and Streaming Data.
pages: 1-16
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_1

PoonS05
type: Article in Proceedings
last modified date: 2005-11-04
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Poon:Sheung=Hung.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Shin:Chan=Su.html
title: Adaptive Zooming in Point Set Labeling.
pages: 233-244
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_21

BordewichDK05
type: Article in Proceedings
last modified date: 2006-03-17
author: Bordewich:Magnus.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/d/Dyer:Martin_E=.html
author: Karpinski:Marek.html
title: Path Coupling Using Stopping Times.
pages: 19-31
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_3

MeerZ05
type: Article in Proceedings
last modified date: 2005-11-04
author: Meer:Klaus.html
author: Ziegler:Martin.html
title: An Explicit Solution to Post's Problem over the Reals.
pages: 467-478
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_41

JurdzinskiL05
type: Article in Proceedings
last modified date: 2005-11-04
author: Jurdzinski:Tomasz.html
author: Lorys:Krzysztof.html
title: Leftist Grammars and the Chomsky Hierarchy.
pages: 293-304
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_26

Meister05
type: Article in Proceedings
last modified date: 2005-11-04
author: Meister:Daniel.html
title: Decidable Membership Problems for Finite Recurrent Systems over Sets of Naturals.
pages: 80-91
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_8

GuoNR05
type: Article in Proceedings
last modified date: 2005-11-04
author: Guo:Jiong.html
author: Niedermeier:Rolf.html
author: Raible:Daniel.html
title: Improved Algorithms and Complexity Results for Power Domination in Graphs.
pages: 172-184
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_16

BlaserR05
type: Article in Proceedings
last modified date: 2005-11-04
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Bl=auml=ser:Markus.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Ram:L=_Shankar.html
title: An Improved Approximation Algorithm for TSP with Distances One and Two.
pages: 504-515
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_44

Tantau05
type: Article in Proceedings
last modified date: 2005-11-04
author: Tantau:Till.html
title: Logspace Optimization Problems and Their Approximability Properties.
pages: 103-114
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_10

ChlebusK05
type: Article in Proceedings
last modified date: 2005-11-04
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Chlebus:Bogdan_S=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kowalski:Dariusz_R=.html
title: Almost Optimal Explicit Selectors.
pages: 270-280
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_24

HoffmannT05
type: Article in Proceedings
last modified date: 2005-12-07
author: Hoffmann 0002:Michael.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/t/Thomas:Richard_M=.html
title: Biautomatic Semigroups.
pages: 56-67
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_6

PavanV05
type: Article in Proceedings
last modified date: 2005-11-16
author: Pavan:Aduri.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/v/Vinodchandran:N=_V=.html
title: Relations Between Average-Case and Worst-Case Complexity.
pages: 422-432
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_37

Waszkiewicz05
type: Article in Proceedings
last modified date: 2005-11-04
author: Waszkiewicz:Pawel.html
title: Completeness and Compactness of Quantitative Domains.
pages: 341-351
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_30

FennerGHZ05
type: Article in Proceedings
last modified date: 2005-11-04
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/f/Fenner:Stephen_A=.html
author: Green:Frederic.html
author: Homer:Steven.html
author: Zhang:Yong.html
title: Bounds on the Power of Constant-Depth Quantum Circuits.
pages: 44-55
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_5

Spielman05
type: Article in Proceedings
last modified date: 2005-11-04
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Spielman:Daniel_A=.html
title: The Smoothed Analysis of Algorithms.
pages: 17-18
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_2

OnoN05
type: Article in Proceedings
last modified date: 2005-11-04
author: Ono:Akimitsu.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/n/Nakano:Shin=Ichi.html
title: Constant Time Generation of Linear Extensions.
pages: 445-453
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_39

Bollig05
type: Article in Proceedings
last modified date: 2005-11-04
author: Bollig:Beate.html
title: Property Testing and the Branching Program Size of Boolean Functions.
pages: 258-269
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_23

SpakowskiT05
type: Article in Proceedings
last modified date: 2005-11-04
author: Spakowski:Holger.html
author: Tripathi:Rahul.html
title: On the Power of Unambiguity in Alternating Machines.
pages: 125-136
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_12

IwamotoNMI05
type: Article in Proceedings
last modified date: 2005-11-04
author: Iwamoto:Chuzo.html
author: Nakashiba:Yoshiaki.html
author: Morita:Kenichi.html
author: Imai:Katsunobu.html
title: Translational Lemmas for Alternating TMs and PRAMs.
pages: 137-148
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_13

IshidaIST05
type: Article in Proceedings
last modified date: 2005-11-04
author: Ishida:Yusuke.html
author: Inenaga:Shunsuke.html
author: Shinohara:Ayumi.html
author: Takeda:Masayuki.html
title: Fully Incremental LCS Computation.
pages: 563-574
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_49

BoyarEFKLPW05
type: Article in Proceedings
last modified date: 2005-11-04
author: Boyar:Joan.html
author: Epstein:Leah.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/f/Favrholdt:Lene_M=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kohrt:Jens_S=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Larsen:Kim_S=.html
author: Pedersen:Morten Monrad.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/W=oslash=hlk:Sanne.html
title: The Maximum Resource Bin Packing Problem.
pages: 397-408
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_35

GiesenM05
type: Article in Proceedings
last modified date: 2005-11-04
author: Giesen:Joachim.html
author: Mitsche:Dieter.html
title: Reconstructing Many Partitions Using Spectral Techniques.
pages: 433-444
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_38

BrandstadtLM05
type: Article in Proceedings
last modified date: 2005-11-04
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Brandst=auml=dt:Andreas.html
author: Le:Van Bang.html
author: Mahfud:Suhail.html
title: New Applications of Clique Separator Decomposition for the Maximum Weight Stable Set Problem.
pages: 516-527
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_45

Krieger05
type: Article in Proceedings
last modified date: 2005-11-04
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Krieger:Matthias_P=.html
title: On the Incompressibility of Monotone DNFs.
pages: 32-43
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_4

Brinkmeier05
type: Article in Proceedings
last modified date: 2005-11-04
author: Brinkmeier:Michael.html
title: A Simple and Fast Min-cut Algorithm.
pages: 317-328
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_28

FominHK05
type: Article in Proceedings
last modified date: 2005-11-04
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/f/Fomin:Fedor_V=.html
author: Heggernes:Pinar.html
author: Kratsch:Dieter.html
title: Exact Algorithms for Graph Homomorphisms.
pages: 161-171
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_15

Bollig05a
type: Article in Proceedings
last modified date: 2005-11-04
author: Bollig:Benedikt.html
title: On the Expressiveness of Asynchronous Cellular Automata.
pages: 528-539
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_46

HanW05
type: Article in Proceedings
last modified date: 2005-11-04
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Han:Yo=Sub.html
author: Wood:Derick.html
title: A New Linearizing Restriction in the Pattern Matching Problem.
pages: 552-562
year: 2005
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/fct/2005
book title: FCT
ee: http://dx.doi.org/10.1007/11537311_48

ReynoldsMC95
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Reynolds:Robert_G=.html
author: Michalewicz:Zbigniew.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Cavaretta:Michael_J=.html
title: Using Cultural Algorithms for Constraint Handling in GENOCOP.
pages: 289-305
year: 1995
book title: Evolutionary Programming

http://dblp.uni-trier.de/rec/bibtex/conf/eps/1997
type: Proceedings
last modified date: 2003-01-10
editor: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Angeline:Peter_J=.html
editor: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Reynolds:Robert_G=.html
editor: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/McDonnell:John_R=.html
editor: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/e/Eberhart:Russell_C=.html
title: Evolutionary Programming VI, 6th International Conference, EP97, Indianapolis, Indiana, USA, April 13-16, 1997, Proceedings
book title: Evolutionary Programming
in series: lncs.html
volume: 1213
publisher: www.springer.de
year: 1997
isbn: 3-540-62788-X

http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
type: Proceedings
last modified date: 2003-01-10
editor: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Porto:V=_William.html
editor: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Saravanan:N=.html
editor: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Waagen:Donald_E=.html
editor: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/e/Eiben:A=_E=.html
title: Evolutionary Programming VII, 7th International Conference, EP98, San Diego, CA, USA, March 25-27, 1998, Proceedings
book title: Evolutionary Programming
in series: lncs.html
volume: 1447
publisher: www.springer.de
year: 1998
isbn: 3-540-64891-7

PolitoDB97
type: Article in Proceedings
last modified date: 2003-01-10
author: Polito:John.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/d/Daida:Jason_M=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Bersano=Begey:Tommaso_F=.html
title: Musica ex Machina: Composing 16th-Century Counterpoint with Genetic Programming and Symbiosis.
pages: 113-124
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1997
book title: Evolutionary Programming

KammeyerB98
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kammeyer:Thomas_E=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Belew:Richard_K=.html
title: An Empirical Investigation of an Evolutionary Algorithm's Ability to Maintain a Known Good Solution.
pages: 767-776
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

Birk96
type: Article in Proceedings
last modified date: 2004-10-08
author: Birk 0002:Andreas.html
title: Learning Geometric Concepts with an Evolutionary Algorithm.
pages: 83-90
year: 1996
book title: Evolutionary Programming

MichalewiczNM96
type: Article in Proceedings
last modified date: 2002-01-03
author: Michalewicz:Zbigniew.html
author: Nazhiyath:Girish.html
author: Michalewicz:Maciej.html
title: A Note on Usefulness of Geometrical Crossover for Numerical Optimization Problems.
pages: 305-312
year: 1996
book title: Evolutionary Programming

KozaABK97
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Koza:John_R=.html
author: Andre:David.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/i/III:Forrest_H=_Bennett.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Keane:Martin_A=.html
title: Design of a High-Gain Operational Amplifier and Other Circuits by Means of Genetic Programming.
pages: 125-136
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1997
book title: Evolutionary Programming

TamburinoR96
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/t/Tamburino:Louis_A=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Rizki:Mateen_M=.html
title: Resource Allocation for a Hybrid Evolutionary Learning System Used for Pattern Recognition.
pages: 207-216
year: 1996
book title: Evolutionary Programming

Bull98
type: Article in Proceedings
last modified date: 2004-01-26
author: Bull:Larry.html
title: Evolutionary Computing in Multi-agent Environments: Operators.
pages: 43-52
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

BackS95
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/B=auml=ck:Thomas.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Sch=uuml=tz:Martin.html
title: Evolution Strategies for Mixed-Integer Optimization of Optical Multilayer Systems.
pages: 33-51
year: 1995
book title: Evolutionary Programming

ChenDY96
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Chen:Shu=Heng.html
author: Duffy:John.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/y/Yeh:Chia=Hsuan.html
title: Genetic Programming in the Coordination Game with a Chaotic Best-Response Function.
pages: 277-286
year: 1996
book title: Evolutionary Programming

YangCHK97
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/y/Yang:Jinn=Moon.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Chen:Ying=Ping.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Horng:Jorng=Tzong.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kao:Cheng=Yan.html
title: Applying Family Competition to Evolution Strategies for Constrained Optimization.
pages: 201-211
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1997
book title: Evolutionary Programming

DuncanO96
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/d/Duncan:Bruce_S=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/o/Olson:Arthur_J=.html
title: Applications of Evolutionary Programming for the Prediction of Protein-Protein Interactions.
pages: 411-417
year: 1996
book title: Evolutionary Programming

GehlhaarBR98
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/g/Gehlhaar:Daniel_K=.html
author: Bouzida:Djamal.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Rejto:Paul_A=.html
title: Fully Automated and Rapic Flexible Docking of Inhibitors Covalently Bound to Serine Proteases.
pages: 449-461
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

Chellapilla98
type: Article in Proceedings
last modified date: 2003-01-10
author: Chellapilla:Kumar.html
title: Evolving Nonlinear Controllers for Backing up a Truck-and-Trailer Using Evolutionary Programming.
pages: 417-426
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

Gessler95
type: Article in Proceedings
last modified date: 2002-01-03
author: Gessler:Nicholas.html
title: Ethnography of Artificial Culture: Specifications, Prospects, and Constraints.
pages: 319-331
year: 1995
book title: Evolutionary Programming

Gessler98
type: Article in Proceedings
last modified date: 2003-01-10
author: Gessler:Nicholas.html
title: Skeuomorphs and Cultural Algorithms.
pages: 229-238
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

BeaufilsDM98
type: Article in Proceedings
last modified date: 2003-01-10
author: Beaufils:Bruno.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/d/Delahaye:Jean=Paul.html
author: Mathieu:Philippe.html
title: Complete Classes of Strategies for the Classical Iterated Prisoner's Dilemma.
pages: 33-41
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

WickerRT98
type: Article in Proceedings
last modified date: 2003-01-10
author: Wicker:Devert.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Rizki:Mateen_M=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/t/Tamburino:Louis_A=.html
title: A Hybrid Evolutionary Learining System for Synthesizing Neural Network Pattern Recognition Systems.
pages: 619-628
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

Harrald96
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Harrald:Paul_G=.html
title: Evolutionary Algorithms and Economic Models: A View.
pages: 3-7
year: 1996
book title: Evolutionary Programming

WaagenM95
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Waagen:Donald_E=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/McDonnell:John_R=.html
title: A Combined Stochastic and Deterministic Approach for Classification Using Generalized Mixture Densities.
pages: 159-174
year: 1995
book title: Evolutionary Programming

SchoenauerM98
type: Article in Proceedings
last modified date: 2003-01-10
author: Schoenauer:Marc.html
author: Michalewicz:Zbigniew.html
title: Sphere Operators and Their Applicability for Constrained Parameter Optimization Problems.
pages: 241-250
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

Michalewicz95
type: Article in Proceedings
last modified date: 2002-01-03
author: Michalewicz:Zbigniew.html
title: A Survey of Constraint Handling Techniques in Evolutionary Computation Methods.
pages: 135-155
year: 1995
book title: Evolutionary Programming

Hart96
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Hart:William_E=.html
title: A Theoretical Comparison of Evolutionary Algorithms and Simulated Annealing.
pages: 147-154
year: 1996
book title: Evolutionary Programming

Hart98
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Hart:William_E=.html
title: On the Application of Evolutionary Pattern Search Algorithms.
pages: 303-312
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

GruauW95
type: Article in Proceedings
last modified date: 2002-10-23
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/g/Gruau:Fr=eacute=d=eacute=ric.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Whitley:L=_Darrell.html
title: A Programming Language for Artificial Development.
pages: 415-434
year: 1995
book title: Evolutionary Programming

KozaBA98
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Koza:John_R=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/i/III:Forrest_H=_Bennett.html
author: Andre:David.html
title: Using Programmatic Motifs and Genetic Programming to Classify Protein Sequences as to Cellular Location.
pages: 437-447
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

PortoF97
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Porto:V=_William.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/f/Fogel:Lawrence_J=.html
title: Evolution of Intelligently Interactive Behaviors for Simulated Forces.
pages: 419-430
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1997
book title: Evolutionary Programming

Beyer98
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Beyer:Hans=Georg.html
title: On the "Explorative Power" of ES/EP-like Algorithms.
pages: 323-334
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

Kane96
type: Article in Proceedings
last modified date: 2002-01-03
author: Kane:David.html
title: Local Hillclimbing on an Economic Landscape.
pages: 9-15
year: 1996
book title: Evolutionary Programming

NurnbergB97
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/n/N=uuml=rnberg:Hans=Thomas.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Beyer:Hans=Georg.html
title: The Dynamics of Evolution Strategies in the Optimization of Traveling Salesman Problems.
pages: 349-360
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1997
book title: Evolutionary Programming

KimE95
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kim:Yeong=Joon.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/e/Eick:Christoph_F=.html
title: Multi-rule-set Decision-making Schemes for a Genetic Algorithm Learning Environment for Classification Tasks.
pages: 773-788
year: 1995
book title: Evolutionary Programming

KimJ96
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kim:Jong=Hwan.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/j/Jeon:Jeong=Yul.html
title: Evolutionary Programming-Based High-Precision Controller Design.
pages: 73-81
year: 1996
book title: Evolutionary Programming

KimM96
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kim:Jong=Hwan.html
author: Myung:Hyun.html
title: A Two-Phase Evolutionary Programming for General Constrained Optimization Problem.
pages: 295-304
year: 1996
book title: Evolutionary Programming

KimS95
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kim:Jong=Hwan.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Shim:Hyun=Sik.html
title: Evolutionary Programming-Based Optimal Robust Locomotion Control of Autonomous Mobile Robots.
pages: 631-644
year: 1995
book title: Evolutionary Programming

Koza95
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Koza:John_R=.html
title: Evolving the Architecture of a Multi-part Program in Genetic Programming Using Architecture-Altering Operations.
pages: 695-717
year: 1995
book title: Evolutionary Programming

LisC96
type: Article in Proceedings
last modified date: 2002-01-03
author: Lis:Joanna.html
author: Czapkiewicz:Anna.html
title: The Loghyperbolic Distribution Fitting by Genetic Algorithm.
pages: 369-375
year: 1996
book title: Evolutionary Programming

MurataING98
type: Article in Proceedings
last modified date: 2003-01-10
author: Murata:Tadahiko.html
author: Ishibuchi:Hisao.html
author: Nakashima:Tomoharu.html
author: Gen:Mitsuo.html
title: Fuzzy Partition and Input Selection by Genetic Algorithms for Designing Fuzzy Rule-Based Classification Systems.
pages: 407-416
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

Walker98
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Walker:John_F=.html
title: Testing Three Paradigms for Evolving Groups of Cooperative, Simple Agents.
pages: 63-72
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

MinsterWMGH95
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Minster:Jean=Bernard_H=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Williams:Nadya_P=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Masters:T=_Guy.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/g/Gilbert:J=_Freeman.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Haase:Jennifer_S=.html
title: Application of Evolutionary Programming to Earthquake Hypocenter Determination.
pages: 3-17
year: 1995
book title: Evolutionary Programming

MooreG98
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Moore:Frank_W=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/g/Garcia:Oscar_N=.html
title: A Genetic Programming Methodology for Missile Countermeasures Optimization Under Uncertainty.
pages: 367-376
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

PattonDGP98
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Patton:Arnold_L=.html
author: Dexter:Terrence.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/g/Goodman:Erik_D=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/i/III:William_F=_Punch.html
title: On the Application of Cohort-Driven Operators to Continuous Optimization Problems Using Evolutionary Computation.
pages: 671-681
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

DaidaGSR96
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/d/Daida:Jason_M=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/g/Grasso:Catherine_S=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Stanhope:Stephen_A=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Ross:Steven_J=.html
title: Symbionticism and Complex Adaptive Systems I: Implications of Having Symbiosis Occur in Nature.
pages: 177-186
year: 1996
book title: Evolutionary Programming

BrewsterC98
type: Article in Proceedings
last modified date: 2003-01-10
author: Brewster:Jon.html
author: Conrad:Michael.html
title: Evolve IV: A Metabolically-Based Artificial Ecosystem Model.
pages: 473-482
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

Schoenauer96
type: Article in Proceedings
last modified date: 2002-01-03
author: Schoenauer:Marc.html
title: Shape Representations and Evolution Schemes.
pages: 121-129
year: 1996
book title: Evolutionary Programming

Tesfatsion96
type: Article in Proceedings
last modified date: 2002-01-03
author: Tesfatsion:Leigh.html
title: An Evolutionary Trade Network Game with Preferential Partner Selection.
pages: 45-54
year: 1996
book title: Evolutionary Programming

Tesfatsion98
type: Article in Proceedings
last modified date: 2003-01-10
author: Tesfatsion:Leigh.html
title: Preferential Partner Selection in Evolutionary Labor Markets: A Study in Agent-Based Computational Economics.
pages: 15-24
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

Jaffe98
type: Article in Proceedings
last modified date: 2003-01-10
author: Jaffe:Klaus.html
title: Sex, Mate Selection, and Evolution.
pages: 483-492
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

Dunning98
type: Article in Proceedings
last modified date: 2003-01-10
author: Dunning:Ted.html
title: Recorded Step Directional Mutation for Faster Convergence.
pages: 569-578
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

SchutzS96
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Sch=uuml=tz:Martin.html
author: Sprave:Joachim.html
title: Application of Parallel Mixed-Integer Evolution Strategies with Mutation Rate Pooling.
pages: 345-354
year: 1996
book title: Evolutionary Programming

ShiE98
type: Article in Proceedings
last modified date: 2003-01-10
author: Shi:Yuhui.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/e/Eberhart:Russell_C=.html
title: Parameter Selection in Particle Swarm Optimization.
pages: 591-600
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

MengshoelW98
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Mengshoel:Ole_J=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Wilkins:David_C=.html
title: Genetic Algorithms for Belief Network Inference: The Role of Scaling and Niching.
pages: 547-556
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

Ryan95
type: Article in Proceedings
last modified date: 2002-01-03
author: Ryan:Conor.html
title: Racial harmony and Function Optimization in Genetic Algorithms - The Races Genetic Algorithm.
pages: 109-125
year: 1995
book title: Evolutionary Programming

MilikS95
type: Article in Proceedings
last modified date: 2002-01-03
author: Milik:Mariusz.html
author: Skolnick:Jeffrey.html
title: An Object-Oriented Environment for Artifical Evolution of Protein Sequences: The Example of Rational Design of Transmembrane Sequences.
pages: 603-613
year: 1995
book title: Evolutionary Programming

SebagRS96
type: Article in Proceedings
last modified date: 2002-02-27
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Sebag:Mich=egrave=le.html
author: Ravise:Caroline.html
author: Schoenauer:Marc.html
title: Controlling Evolution by Means of Machine Learning.
pages: 57-66
year: 1996
book title: Evolutionary Programming

SebagSR97
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Sebag:Mich=egrave=le.html
author: Schoenauer:Marc.html
author: Ravise:Caroline.html
title: Inductive Learning of Mutation Step-Size in Evolutionary Parameter Optimization.
pages: 247-261
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1997
book title: Evolutionary Programming

DelahayeO97
type: Article in Proceedings
last modified date: 2003-01-10
author: Delahaye:Daniel.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/o/Odoni:Amedeo_R=.html
title: Airspace Congestion Smoothing by Stochastic Optimization.
pages: 163-176
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1997
book title: Evolutionary Programming

ChungR96
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Chung:Chan=Jin.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Reynolds:Robert_G=.html
title: A Testbed for Solving Optimization Problems Using Cultural Algorithms.
pages: 225-236
year: 1996
book title: Evolutionary Programming

ChungR98
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Chung:Chan=Jin.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Reynolds:Robert_G=.html
title: Culturing Evolution Strategies to Support the Exploration of Novel Environments by an Intelligent Robotic Agent.
pages: 219-228
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

MertogunoB95
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Mertoguno:S=_J=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Bourbakis:Nikolaos_G=.html
title: The Levels of Learning in Kydon's Hierarchy.
pages: 259-270
year: 1995
book title: Evolutionary Programming

Anderson95
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Anderson:Russell_W=.html
title: Genetic Mechanisms Underlying the Baldwin Effect Are Evident in Natural Antibodies.
pages: 547-563
year: 1995
book title: Evolutionary Programming

SebaldC98
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Sebald:Anthony_V=.html
author: Chellapilla:Kumar.html
title: On Making Problems Evolutionarily Friendly - Part 1: Evolving the Most Convenient Representations.
pages: 271-280
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

WatabeSO96
type: Article in Proceedings
last modified date: 2002-01-03
author: Watabe:Hirokazu.html
author: Sawada:Takashi.html
author: Okino:Norio.html
title: Evolution of 3D Shape Model.
pages: 139-144
year: 1996
book title: Evolutionary Programming

BeyerF97
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Beyer:Hans=Georg.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/f/Fogel:David_B=.html
title: A Note on the Escape Probabilities for Two Alternative Methods of Selection Under Gaussian Mutation.
pages: 265-274
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1997
book title: Evolutionary Programming

SpraveR98
type: Article in Proceedings
last modified date: 2003-01-10
author: Sprave:Joachim.html
author: Rolf:Susanne.html
title: Variable-Dimensional Optimization with Evolutionary Algorithms Using Fixed-Length Representations.
pages: 261-269
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

Nelson95
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/n/Nelson:Kevin_M=.html
title: A Comparison of Evolutionary Programming and Genetic Algorithms for Electronic Part Placement.
pages: 503-519
year: 1995
book title: Evolutionary Programming

Nelson96
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/n/Nelson:Kevin_M=.html
title: Solution Methods for Ordinary Differential Equations Using Evolutionary Algorithms.
pages: 131-138
year: 1996
book title: Evolutionary Programming

Nelson97
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/n/Nelson:Kevin_M=.html
title: Using Evolutionary Programming for Finite Element Problems.
pages: 397-406
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1997
book title: Evolutionary Programming

SundaralingamS98
type: Article in Proceedings
last modified date: 2003-01-10
author: Sundaralingam:Seelan.html
author: Sharman:Ken.html
title: Evolving IIR Filters in Multipath Environments.
pages: 397-406
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

Haynes98
type: Article in Proceedings
last modified date: 2003-01-10
author: Haynes:Thomas.html
title: Random Search versus Genetic Programming as Engines for Collective Adaptation.
pages: 683-692
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

ChenC96
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Chen:Jong=Chen.html
author: Conrad:Michael.html
title: Multilevel Evolutionary Learning in an Artificial Neuromolecular Brain and Its Application to the Recognition of Chinese Characters.
pages: 189-196
year: 1996
book title: Evolutionary Programming

ChenY97
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Chen:Shu=Heng.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/y/Yeh:Chia=Hsuan.html
title: Modeling Speculators with Genetic Programming.
pages: 137-147
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1997
book title: Evolutionary Programming

ChenY98
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Chen:Shu=Heng.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/y/Yeh:Chia=Hsuan.html
title: Genetic Programming in the Overlapping Generations Model: An Illustration with the Dynamics of the Inflation Rate.
pages: 829-838
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

Porto95
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Porto:V=_William.html
title: Non-Acoustic Sensor Array Localization Using Evolutionary Programming.
pages: 19-32
year: 1995
book title: Evolutionary Programming

Porto98
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Porto:V=_William.html
title: Evolving Integrated Low-Level Behaviors into Intelligently Interactive Simulated Forces.
pages: 777-787
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

ImadaA97
type: Article in Proceedings
last modified date: 2003-01-10
author: Imada:Akira.html
author: Araki:Keijiro.html
title: Searching Real-Valued Synaptic Weights of Hopfield's Associative Memory Using Evolutionary Programming.
pages: 13-22
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1997
book title: Evolutionary Programming

ImadaA98
type: Article in Proceedings
last modified date: 2003-01-10
author: Imada:Akira.html
author: Araki:Keijiro.html
title: What does the Landscape of a Hopfield Associative Memory Look Like?
pages: 647-656
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

DozierBHE97
type: Article in Proceedings
last modified date: 2003-10-31
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/d/Dozier:Gerry_V=.html
author: Bowen:James.html
author: Homaifar:Abdollah.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/e/Esterline:Albert_C=.html
title: Solving Static and Dynamic Fuzzy Constraint Networks Using Evolutionary Hill-Climbing.
pages: 189-200
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1997
book title: Evolutionary Programming

WongS95
type: Article in Proceedings
last modified date: 2002-01-03
author: Wong:Man Leung.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Leung:Kwong=Sak.html
title: An Adaptive Inductive Logic Programming System Using Genetic Programming.
pages: 737-752
year: 1995
book title: Evolutionary Programming

YaoL96
type: Article in Proceedings
last modified date: 2002-01-03
author: Yao:Xin.html
author: Liu:Yong.html
title: Evolving Artificial Neural Networks through Evolutionary Programming.
pages: 257-266
year: 1996
book title: Evolutionary Programming

YaoL97
type: Article in Proceedings
last modified date: 2003-01-10
author: Yao:Xin.html
author: Liu:Yong.html
title: Fast Evolution Strategies.
pages: 151-162
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1997
book title: Evolutionary Programming

YaoL98
type: Article in Proceedings
last modified date: 2003-01-10
author: Yao:Xin.html
author: Liu:Yong.html
title: Scaling Up Evolutionary Programming Algorithms.
pages: 103-112
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

DelahayeASF95
type: Article in Proceedings
last modified date: 2002-01-03
author: Delahaye:Daniel.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Alliot:Jean=Marc.html
author: Schoenauer:Marc.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/f/Farges:Jean=Loup.html
title: Genetic Algorithms for Automatic Regrouping of Air Traffic Control Sectors.
pages: 657-672
year: 1995
book title: Evolutionary Programming

KosinskiWM98
type: Article in Proceedings
last modified date: 2003-01-10
author: Kosinski:Witold.html
author: Weigl:Martyna.html
author: Michalewicz:Zbigniew.html
title: Evolutionary Domain Covering of an Inference System for Function Approximation.
pages: 167-178
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

DybowskiCW96
type: Article in Proceedings
last modified date: 2003-06-18
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/d/Dybowski:R=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Collins:Trevor_D=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Weller:P=_R=.html
title: Visualization of Binary String Convergence by Sammon Mapping.
pages: 377-383
year: 1996
book title: Evolutionary Programming

OstrowskiR98
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/o/Ostrowski:David_A=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Reynolds:Robert_G=.html
title: Integration of Slicing Methods into a Cultural Algorithm in Order to Assist in Large-Scale Engineering Systems Design.
pages: 191-198
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

ZhuR98
type: Article in Proceedings
last modified date: 2003-01-10
author: Zhu:Shinin.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Reynolds:Robert_G=.html
title: Fuzzy Cultural Algorithms with Evolutionary Programming.
pages: 209-218
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

LouisBUV98
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Louis:Sushil_J=.html
author: Bebis:George.html
author: Uthiram:Satish.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/v/Varol:Yaakov_L=.html
title: Genetic Search for Object Identification.
pages: 199-208
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

Davis97
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/d/Davis:Mark_W=.html
title: Complexity Formalisms, Order and Disorder in the Structure of Art.
pages: 3-12
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1997
book title: Evolutionary Programming

HirshY98
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Hirsh:Joel_E=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/y/Young:Darrell_K=.html
title: Evolutionary Programming Strategies with Self-Adaptation Applied to the Design of Rotorcraft Using Parallel Processing.
pages: 147-156
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

LiangYLNH98
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Liang:Ko=Hsin.html
author: Yao:Xin.html
author: Liu:Yong.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/n/Newton:Charles_S=.html
author: Hoffman:David.html
title: An Experimental Investigation of Self-Adaptation in Evolutionary Programming.
pages: 291-300
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

McDonnellW95
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/McDonnell:John_R=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Waagen:Donald_E=.html
title: An Empirical Study of Recombination in Evolutionary Search.
pages: 465-478
year: 1995
book title: Evolutionary Programming

Bilchev96
type: Article in Proceedings
last modified date: 2002-01-03
author: Bilchev:George.html
title: Evolutionary Metaphors for the Bin Packing Problem.
pages: 333-341
year: 1996
book title: Evolutionary Programming

SmalzC96
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Smalz:Robert_W=.html
author: Conrad:Michael.html
title: High Level Control of Evolutionary Learning in Complex Neural Architectures: The Evolutionary Credit Apportionment Approach.
pages: 197-206
year: 1996
book title: Evolutionary Programming

AritaT96
type: Article in Proceedings
last modified date: 2002-01-03
author: Arita:Takaya.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/t/Taylor:Charles_E=.html
title: A Simple Model for the Evolution of Communication.
pages: 405-409
year: 1996
book title: Evolutionary Programming

Raidl96
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Raidl:G=uuml=nther_R=.html
title: Skillful Genotype Decoding in EAs for Solving the Cutting Problem.
pages: 113-120
year: 1996
book title: Evolutionary Programming

FernandezE98
type: Article in Proceedings
last modified date: 2003-01-10
author: Fernandez:Thomas.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/e/Evett:Matthew_P=.html
title: Numeric Mutation as an Improvement to Symbolic Regression in Genetic Programming.
pages: 251-260
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

LamontBG98
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lamont:Gary_B=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Brown:Scott_M=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/j/Jr=:George_H=_Gates.html
title: Evolutionary Algorithms Combined with Deterministic Search.
pages: 517-526
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

RaoPH95
type: Article in Proceedings
last modified date: 2002-05-06
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Rao:B=_B=_Prahlada.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Patnaik:Lalit_M=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Hansdah:R=_C=.html
title: An Extended Evolutionary Programming Algorithm for VLSI Channel Routing.
pages: 521-544
year: 1995
book title: Evolutionary Programming

BrothertonC98
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Brotherton:Thomas_W=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Chadderdon:G=.html
title: Automated Rule Extraction for Engine Health Monitoring.
pages: 725-734
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

BrothertonS95
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Brotherton:Thomas_W=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Simpson:Patrick_K=.html
title: Dynamic Feature Set Training of Neural Nets for Classification.
pages: 83-94
year: 1995
book title: Evolutionary Programming

StanhopeD98a
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Stanhope:Stephen_A=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/d/Daida:Jason_M=.html
title: Genetic Programming for Automatic Target Classification and Recognition.
pages: 735-744
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

BackEV98
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/B=auml=ck:Thomas.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/e/Eiben:A=_E=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/v/Vink:Marco_E=.html
title: A Superior Evolutionary Algorithm for 3-SAT.
pages: 125-136
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

JongP95
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/j/Jong:Kenneth_A=_De.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Potter:Mitchell_A=.html
title: Evolving Complex Structures via Cooperative Coevolution.
pages: 307-317
year: 1995
book title: Evolutionary Programming

YaoL96a
type: Article in Proceedings
last modified date: 2002-01-03
author: Yao:Xin.html
author: Liu:Yong.html
title: Fast Evolutionary Programming.
pages: 451-460
year: 1996
book title: Evolutionary Programming

YaoLL97
type: Article in Proceedings
last modified date: 2003-01-10
author: Yao:Xin.html
author: Lin:Guangming.html
author: Liu:Yong.html
title: An Analysis of Evolutionary Algorithms Based on Neighborhood and Step Sizes.
pages: 297-307
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1997
book title: Evolutionary Programming

ZannoniR96
type: Article in Proceedings
last modified date: 2002-01-03
author: Zannoni:Elena.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Reynolds:Robert_G=.html
title: Extracting Design Knowledge from Genetic Programs Using Cultural Algorithms.
pages: 217-224
year: 1996
book title: Evolutionary Programming

ChellapillaFR97
type: Article in Proceedings
last modified date: 2003-01-10
author: Chellapilla:Kumar.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/f/Fogel:David_B=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Rao:Sathyanarayan_S=.html
title: Gaining Insight into Evolutionary Programming Through Landscape Visualization: An Investigation into IIR Filtering.
pages: 407-418
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1997
book title: Evolutionary Programming

ChellapillaSH98
type: Article in Proceedings
last modified date: 2003-01-10
author: Chellapilla:Kumar.html
author: Sathyanarayan:Rao.html
author: Hoorfar:Ahmad.html
title: Optimization of Thinned Phased Arrays Using Evolutionary Programming.
pages: 157-166
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

AlerBI98
type: Article in Proceedings
last modified date: 2003-07-14
author: Aler:Ricardo.html
author: Borrajo:Daniel.html
author: Isasi:Pedro.html
title: Evolving Heuristics for Planning.
pages: 745-754
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

English96
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/e/English:Thomas_M=.html
title: Evaluation of Evolutionary and Genetic Optimizers: No Free Lunch.
pages: 163-169
year: 1996
book title: Evolutionary Programming

English97
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/e/English:Thomas_M=.html
title: Some Geometric and Algebraic Results on Crossover.
pages: 285-296
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1997
book title: Evolutionary Programming

IzumiO96
type: Article in Proceedings
last modified date: 2002-01-03
author: Izumi:Kiyoshi.html
author: Okatsu:Takashi.html
title: An Artificial Market Analysis of Exchange Rate Dynamics.
pages: 27-36
year: 1996
book title: Evolutionary Programming

ChorazyczewskiG98
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Chorazyczewski:A=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/g/Galar:R=.html
title: n.
pages: 659-668
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

AngelineFF96
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Angeline:Peter_J=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/f/Fogel:David_B=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/f/Fogel:Lawrence_J=.html
title: A Comparison of Self-Adaptation Methods for Finite State Machines in Dynamic Environments.
pages: 441-449
year: 1996
book title: Evolutionary Programming

LiangYNH98
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Liang:Ko=Hsin.html
author: Yao:Xin.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/n/Newton:Charles_S=.html
author: Hoffman:David.html
title: Solving Cutting Stock Problems by Evolutionary Programming.
pages: 755-764
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

Hoskins95
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Hoskins:Douglas_A=.html
title: An Iterated Function systems Approach to Emergence.
pages: 673-692
year: 1995
book title: Evolutionary Programming

Hoskins96
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Hoskins:Douglas_A=.html
title: Dynamics of Mass Distributions: Neural Networks and Iterated Function Systems.
pages: 267-276
year: 1996
book title: Evolutionary Programming

Skourikhine98
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Skourikhine:Alexei_N=.html
title: An Evolutionary Algorithm for Designing Feedforward Neural Networks.
pages: 629-635
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

Angeline97a
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Angeline:Peter_J=.html
title: Tracking Extrema in Dynamic Environments.
pages: 335-345
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1997
book title: Evolutionary Programming

LandB95
type: Article in Proceedings
last modified date: 2002-01-03
author: Land:Mark.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Belew:Richard_K=.html
title: Towards a Self-Replicating Language for Computation.
pages: 403-413
year: 1995
book title: Evolutionary Programming

Thacore98
type: Article in Proceedings
last modified date: 2003-01-10
author: Thacore:Sharad.html
title: An Evolutionary Self-Learning Methodology: Some Preliminary Results from a Case Study.
pages: 387-396
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

Salomon96
type: Article in Proceedings
last modified date: 2002-01-03
author: Salomon:Ralf.html
title: Performance Degradation of Genetic Algorithms under Coordinate Rotation.
pages: 155-161
year: 1996
book title: Evolutionary Programming

Salomon97
type: Article in Proceedings
last modified date: 2003-01-10
author: Salomon:Ralf.html
title: Scaling Behavior of the Evolution Strategy when Evolving Neuronal Control Architectures for Autonomous Agents.
pages: 47-57
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1997
book title: Evolutionary Programming

Salomon98
type: Article in Proceedings
last modified date: 2003-01-10
author: Salomon:Ralf.html
title: Short Notes on the Schema Theorem and the Building Block Hypothesis in Genetic Algorithms.
pages: 113-122
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

EberhartS98
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/e/Eberhart:Russell_C=.html
author: Shi:Yuhui.html
title: Comparison between Genetic Algorithms and Particle Swarm Optimization.
pages: 611-616
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

FogelAF95
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/f/Fogel:Lawrence_J=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/a/Angeline:Peter_J=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/f/Fogel:David_B=.html
title: An Evolutionary Programming Approach to Self-Adaptation on Finite State Machines.
pages: 355-365
year: 1995
book title: Evolutionary Programming

FogelCF98
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/f/Fogel:Gary_B=.html
author: Chellapilla:Kumar.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/f/Fogel:David_B=.html
title: Reconstruction of DNA Sequence Information from a Simulated DNA Chip Using Evolutionary Programming.
pages: 429-436
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

Kennedy98
type: Article in Proceedings
last modified date: 2003-01-10
author: Kennedy:James.html
title: The Behavior of Particles.
pages: 581-589
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

HoffmeisterS96
type: Article in Proceedings
last modified date: 2002-01-03
author: Hoffmeister:Frank.html
author: Sprave:Joachim.html
title: Problem-Independent Handling of Constraints by Use of Metric Penalty Functions.
pages: 289-294
year: 1996
book title: Evolutionary Programming

SatoO95
type: Article in Proceedings
last modified date: 2002-01-03
author: Sato:Yuji.html
author: Ochiai:Tatsuo.html
title: 2-D Genetic Algorithms for Determining Neural Network Structure and Weights.
pages: 789-804
year: 1995
book title: Evolutionary Programming

AshlockL98
type: Article in Proceedings
last modified date: 2003-01-10
author: Ashlock:Dan.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lathrop:James_I=.html
title: A Fully Characterized Test Suite for Genetic Programming.
pages: 537-546
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

AshlockM98
type: Article in Proceedings
last modified date: 2003-01-10
author: Ashlock:Dan.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Mayfield:John_E=.html
title: Acquisition of General Adaptive Features by Evolution.
pages: 75-84
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

KoonS95
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Koon:Gerhard_H=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Sebald:Anthony_V=.html
title: Some Interesting Test Funcitons for Evaluating Evolutionary Programming Strategies.
pages: 479-499
year: 1995
book title: Evolutionary Programming

Bankes95
type: Article in Proceedings
last modified date: 2002-01-03
author: Bankes:Steve.html
title: Evolving Social Structure in Communities of Agents Through Meme Evolution.
pages: 333-352
year: 1995
book title: Evolutionary Programming

Bankes98
type: Article in Proceedings
last modified date: 2003-01-10
author: Bankes:Steve.html
title: Subspace Pursuit for Expolatory Modeling.
pages: 25-31
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

KozaA96
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Koza:John_R=.html
author: Andre:David.html
title: Evolution of Iteration in Genetic Programming.
pages: 469-478
year: 1996
book title: Evolutionary Programming

ClackY97
type: Article in Proceedings
last modified date: 2003-01-10
author: Clack:Chris.html
author: Yu:Tina.html
title: Performance-Enhanced Genetic Programming.
pages: 87-100
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1997
book title: Evolutionary Programming

Rosca95
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Rosca:Justinian_P=.html
title: Genetic Programming Exploratory Power and the Discovery of Functions.
pages: 719-736
year: 1995
book title: Evolutionary Programming

Stefansson97
type: Article in Proceedings
last modified date: 2003-01-10
author: Stefansson:Benedikt.html
title: Swarm: An Object Oriented Simulation Platform Applied to Markets and Organizations.
pages: 61-72
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1997
book title: Evolutionary Programming

ChellapillaF97
type: Article in Proceedings
last modified date: 2003-01-10
author: Chellapilla:Kumar.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/f/Fogel:David_B=.html
title: Exploring Self-Adaptive Methods to Improve the Efficiency of Generating Approximate Solutions to Travelling Salesman Problems Using Evolutionary Programming.
pages: 361-372
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1997
book title: Evolutionary Programming

Salomon97a
type: Article in Proceedings
last modified date: 2003-01-10
author: Salomon:Ralf.html
title: Raising Theoretical Questions About the Utility of Genetic Algorithms.
pages: 275-284
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1997
book title: Evolutionary Programming

Salomon98a
type: Article in Proceedings
last modified date: 2003-01-10
author: Salomon:Ralf.html
title: Resampling and its Avoidance in Genetic Algorithms.
pages: 335-344
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

ZellB96
type: Article in Proceedings
last modified date: 2002-01-03
author: Zell:Andreas.html
author: Baumann:Roland.html
title: Distributed Genetic Algorithms on the Intel Paragon, a Large MIMD Computer.
pages: 385-394
year: 1996
book title: Evolutionary Programming

LinGP97
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lin:Shyh=Chang.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/g/Goodman:Erik_D=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/i/III:William_F=_Punch.html
title: Investigating Parallel Genetic Algorithms on Job Shop Scheduling Problems.
pages: 383-393
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1997
book title: Evolutionary Programming

Birgmeier96
type: Article in Proceedings
last modified date: 2002-01-03
author: Birgmeier:Martin.html
title: Evolutionary Programming for the Optimization of Trellis-Coded Modulation Schemes.
pages: 323-332
year: 1996
book title: Evolutionary Programming

Kuscu96
type: Article in Proceedings
last modified date: 2002-01-03
author: Kuscu:Ibrahim.html
title: Evolution of Learning Rules for Hard Learning Problems.
pages: 91-99
year: 1996
book title: Evolutionary Programming

Kuscu98
type: Article in Proceedings
last modified date: 2003-01-10
author: Kuscu:Ibrahim.html
title: Evolving a Generalized Behaviour: Artificial Ant Problem Revisited.
pages: 799-808
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

HaidukABGLMMPE95
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/h/Haiduk:H=_Paul.html
author: Ahn:Mikyeong.html
author: Burgin:Jon.html
author: Gotesman:Moshe.html
author: Lyra:Hans.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Means:H=_Willis.html
author: Monroe:James.html
author: Patro:Sanjukta.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/e/English:Thomas_M=.html
title: The Effects of Generating More Offspring from Less-Fit Parents.
pages: 437-447
year: 1995
book title: Evolutionary Programming

LouisL97
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Louis:Sushil_J=.html
author: Li:Gan.html
title: Combining Control Strategies Using Genetic Algorithms with Memory.
pages: 431-442
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1997
book title: Evolutionary Programming

PfaffmannC98
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/Pfaffmann:Jeffrey_O=.html
author: Conrad:Michael.html
title: Microtubule Networks as a Medium for Adaptive Information Processing.
pages: 463-472
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

HocaogluS95
type: Article in Proceedings
last modified date: 2002-01-03
author: Hocaoglu:Cem.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Sanderson:Arthur_C=.html
title: Evolutionary Speciation Using Minimal Representation Size Clustering.
pages: 187-203
year: 1995
book title: Evolutionary Programming

StanhopeD97
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Stanhope:Stephen_A=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/d/Daida:Jason_M=.html
title: An Individually Variable Mutation-Rate Strategy for Genetic Algorithms.
pages: 235-246
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1997
book title: Evolutionary Programming

StanhopeD98
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Stanhope:Stephen_A=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/d/Daida:Jason_M=.html
title: Optimal Mutation and Crossover Rates for a Genetic Algorithm Operating in a Dynamic Environment.
pages: 693-702
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

McFadzeanT97
type: Article in Proceedings
last modified date: 2003-01-10
author: McFadzean:David.html
author: Tesfatsion:Leigh.html
title: An Agent-Based Computational Model for the Evolution of Trade Networks.
pages: 73-83
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1997
book title: Evolutionary Programming

Smith98
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Smith:Michael_A=.html
title: Building Software Frameworks for Evolutionary Computation.
pages: 557-567
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

RizkiTZ95
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/r/Rizki:Mateen_M=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/t/Tamburino:Louis_A=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/z/Zmuda:Michael_A=.html
title: Evolution of Morphological Recognition Systems.
pages: 95-106
year: 1995
book title: Evolutionary Programming

MyungK97
type: Article in Proceedings
last modified date: 2003-01-10
author: Myung:Hyun.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kim:Jong=Hwan.html
title: Evolian: Evolutionary Optimization Based on Lagrangian with Constraint Scaling.
pages: 177-188
year: 1997
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1997
book title: Evolutionary Programming

MyungK98
type: Article in Proceedings
last modified date: 2003-01-10
author: Myung:Hyun.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kim:Jong=Hwan.html
title: Hybrid Interior-Langrangian Penalty Based Evolutionary Optimization.
pages: 85-94
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

Saravanan95
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Saravanan:N=.html
title: Evolutionary Programming for Synthesis of Optimal Controllers.
pages: 645-656
year: 1995
book title: Evolutionary Programming

MyungKF95
type: Article in Proceedings
last modified date: 2002-01-03
author: Myung:Hyun.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kim:Jong=Hwan.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/f/Fogel:David_B=.html
title: Preliminary Investigations into a Two-State Method of Evolutionary Optimization on Constrained Problems.
pages: 449-463
year: 1995
book title: Evolutionary Programming

GehlhaarF96
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/g/Gehlhaar:Daniel_K=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/f/Fogel:David_B=.html
title: Tuning Evolutionary Programming for Conformationally Flexible Molecular Docking.
pages: 419-429
year: 1996
book title: Evolutionary Programming

WaagenPP98
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/w/Waagen:Donald_E=.html
author: Pecina:John.html
author: Pickens:Rodney.html
title: Evolving Spatially-Localized Projection Filters for SAR Automatic Target Recognition.
pages: 819-827
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

GreenwoodL98
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/g/Greenwood:Garrison_W=.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Liu:Yi=Ping.html
title: Finding Low Energy Conformations of Atomic Clusters Using Evolution Strategies.
pages: 493-502
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

Evans98
type: Article in Proceedings
last modified date: 2003-01-10
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/e/Evans:Isaac_K=.html
title: Evolutionary Algorithms for Vertex Cover.
pages: 377-386
year: 1998
is included in: http://dblp.uni-trier.de/rec/bibtex/conf/eps/1998
book title: Evolutionary Programming

GianiBS95
type: Article in Proceedings
last modified date: 2002-01-03
author: Giani:Antonella.html
author: Baiardi:Fabrizio.html
author: Starita:Antonina.html
title: PANIC: A Parallel Evolutionary Rule Based System.
pages: 753-771
year: 1995
book title: Evolutionary Programming

SefriouiPG96
type: Article in Proceedings
last modified date: 2002-01-03
author: Sefrioui:Mourad.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/p/P=eacute=riaux:Jacques.html
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/g/Ganascia:Jean=Gabriel.html
title: Fast Convergence Thanks to Diversity.
pages: 313-321
year: 1996
book title: Evolutionary Programming

Salami96
type: Article in Proceedings
last modified date: 2002-01-03
author: Salami:Mehrdad.html
title: Genetic Algorithm Processor on Reprogrammable Architectures.
pages: 355-361
year: 1996
book title: Evolutionary Programming

GoldenGT95
type: Article in Proceedings
last modified date: 2002-01-03
author: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/i/III:James_B=_Golden.html
author: Garcia:Ephrahim.html
author: Tibbetts:Clark.html
title: Evolutionary Optimization of a Neural Network- based Signal Processor for Photometric Data from an Automated DNA Sequencer.
pages: 579-601
year: 1995
book title: Evolutionary Programming