@article{Holzer-Kutrib/11,
AUTHOR = {Holzer, Markus and Kutrib, Martin},
TITLE = {Descriptional and computational complexity of finite automata --- A survey},
JOURNAL = {Inf.~Comput.},
VOLUME = {209},
NUMBER = {3},
PAGES = {456-470},
YEAR = {2011},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {finite automata, determinism, nondeterminism, alternation, descriptional complexity, computational complexity, survey},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540110001999},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Birkedal-Harper/99,
AUTHOR = {Birkedal, Lars and Harper, Robert},
TITLE = {Relational interpretations of recursive types in an operational setting},
JOURNAL = {Inf.~Comput.},
VOLUME = {155},
NUMBER = {1-2},
PAGES = {3-63},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1999.2828},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Ohori/99,
AUTHOR = {Ohori, Atsushi},
TITLE = {Type-directed specialization of polymorphism},
JOURNAL = {Inf.~Comput.},
VOLUME = {155},
NUMBER = {1-2},
PAGES = {64-107},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1999.2831},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Bruce-Cardelli-Pierce/99,
AUTHOR = {Bruce, Kim B. and Cardelli, Luca and Pierce, Benjamin C.},
TITLE = {Comparing object encodings},
JOURNAL = {Inf.~Comput.},
VOLUME = {155},
NUMBER = {1-2},
PAGES = {108-133},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1999.2829},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Garrigue-Remy/99,
AUTHOR = {Garrigue, Jacques and R{\'e}my, Didier},
TITLE = {Semi-explicit first-class polymorphism for ML},
JOURNAL = {Inf.~Comput.},
VOLUME = {155},
NUMBER = {1-2},
PAGES = {134-169},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1999.2830},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Bonsangue-Kok/99,
AUTHOR = {Bonsangue, Marcello M. and Kok, Joost N.},
TITLE = {Toward an infinitary logic of domains: Abramsky logic for transition systems},
JOURNAL = {Inf.~Comput.},
VOLUME = {155},
NUMBER = {1-2},
PAGES = {170-201},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1999.2827},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Grossi-Italiano/99,
AUTHOR = {Grossi, Roberto and Italiano, Giuseppe F.},
TITLE = {Efficient splitting and merging algorithms for order decomposable problems},
JOURNAL = {Inf.~Comput.},
VOLUME = {154},
NUMBER = {1},
PAGES = {1-33},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1999.2811},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Engelfriet-Maneth/99,
AUTHOR = {Engelfriet, Joost and Maneth, Sebastian},
TITLE = {Macro tree transducers, attribute grammars, and MSO definable tree translations},
JOURNAL = {Inf.~Comput.},
VOLUME = {154},
NUMBER = {1},
PAGES = {34-91},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1999.2807},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Cleaveland-Dayar-Smolka-Yuen/99,
AUTHOR = {Cleaveland, Rance and Dayar, Zeynep and Smolka, Scott A. and Yuen, Shoji},
TITLE = {Testing preorders for probabilistic processes},
JOURNAL = {Inf.~Comput.},
VOLUME = {154},
NUMBER = {2},
PAGES = {93-148},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1999.2808},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Stephan-Terwijn/99,
AUTHOR = {Stephan, Frank and Terwijn, Sebastiaan A.},
TITLE = {The complexity of universal text-learners},
JOURNAL = {Inf.~Comput.},
VOLUME = {154},
NUMBER = {2},
PAGES = {149-166},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1999.2804},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Bernasconi-Egidi/99,
AUTHOR = {Bernasconi, Anna and Egidi, Lavinia},
TITLE = {Hilbert function and complexity lower bounds for symmetric Boolean functions},
JOURNAL = {Inf.~Comput.},
VOLUME = {153},
NUMBER = {1},
PAGES = {1-25},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1999.2798},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Maass-Schmitt/99,
AUTHOR = {Maass, Wolfgang and Schmitt, Michael},
TITLE = {On the complexity of learning for spiking neurons with temporal coding},
JOURNAL = {Inf.~Comput.},
VOLUME = {153},
NUMBER = {1},
PAGES = {26-46},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1999.2806},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Droste-Gastin/99,
AUTHOR = {Droste, Manfred and Gastin, Paul},
TITLE = {The Kleene-Sch{\"u}tzenberger theorem for formal power series in partially commuting variables},
JOURNAL = {Inf.~Comput.},
VOLUME = {153},
NUMBER = {1},
PAGES = {47-80},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1999.2799},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Greco-Sacca/99,
AUTHOR = {Greco, Sergio and Sacc{\`a}, Domenico},
TITLE = {Complexity and expressive power of deterministic semantics for DATALOG$\neg$},
JOURNAL = {Inf.~Comput.},
VOLUME = {153},
NUMBER = {1},
PAGES = {81-98},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1999.2800},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Stolboushkin-Taitslin/99,
AUTHOR = {Stolboushkin, Alexei P. and Taitslin, Michael A.},
TITLE = {Finite queries do not have effective syntax},
JOURNAL = {Inf.~Comput.},
VOLUME = {153},
NUMBER = {1},
PAGES = {99-116},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1999.2792},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Afek-Merritt-Taubenfeld/99,
AUTHOR = {Afek, Yehuda and Merritt, Michael and Taubenfeld, Gadi},
TITLE = {The power of multiobjects},
JOURNAL = {Inf.~Comput.},
VOLUME = {153},
NUMBER = {1},
PAGES = {117-138},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1999.2793},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Lathrop-Lutz/99,
AUTHOR = {Lathrop, James I. and Lutz, Jack H.},
TITLE = {Recursive computational depth},
JOURNAL = {Inf.~Comput.},
VOLUME = {153},
NUMBER = {2},
PAGES = {139-172},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1999.2794},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Baldan-Ghelli-Raffaeta/99,
AUTHOR = {Baldan, Paolo and Ghelli, Giorgio and Raffaet{\`a}, Alessandra},
TITLE = {Basic theory of $F$-bounded quantification},
JOURNAL = {Inf.~Comput.},
VOLUME = {153},
NUMBER = {2},
PAGES = {173-237},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1999.2802},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Jain/99,
AUTHOR = {Jain, Sanjay},
TITLE = {Robust behaviorally correct learning},
JOURNAL = {Inf.~Comput.},
VOLUME = {153},
NUMBER = {2},
PAGES = {238-248},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1999.2805},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Engelfriet/99,
AUTHOR = {Engelfriet, Joost},
TITLE = {Closures on COPs form complete lattices},
JOURNAL = {Inf.~Comput.},
VOLUME = {152},
NUMBER = {1},
PAGES = {1-15},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1998.2786},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Baliga-Case-Jain/99,
AUTHOR = {Baliga, Ganesh R. and Case, John and Jain, Sanjay},
TITLE = {Closures on COPs form complete lattices},
JOURNAL = {Inf.~Comput.},
VOLUME = {152},
NUMBER = {1},
PAGES = {16-43},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1998.2782},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Fleischer/99,
AUTHOR = {Fleischer, Rudolf},
TITLE = {Closures on COPs form complete lattices},
JOURNAL = {Inf.~Comput.},
VOLUME = {152},
NUMBER = {1},
PAGES = {44-61},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1999.2788},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Maciel-Therien/99,
AUTHOR = {Maciel, Alexis and Th{\'e}rien, Denis},
TITLE = {Closures on COPs form complete lattices},
JOURNAL = {Inf.~Comput.},
VOLUME = {152},
NUMBER = {1},
PAGES = {62-73},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1998.2783},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Case-Jain-Lange-Zeugmann/99,
AUTHOR = {Case, John and Jain, Sanjay and Lange, Steffen and Zeugmann, Thomas},
TITLE = {Closures on COPs form complete lattices},
JOURNAL = {Inf.~Comput.},
VOLUME = {152},
NUMBER = {1},
PAGES = {74-110},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1998.2784},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Ehrhard/99,
AUTHOR = {Ehrhard, Thomas},
TITLE = {Closures on COPs form complete lattices},
JOURNAL = {Inf.~Comput.},
VOLUME = {152},
NUMBER = {1},
PAGES = {111-137},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1998.2781},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Zhang/99a,
AUTHOR = {Zhang, Guo-Qiang},
TITLE = {Closures on COPs form complete lattices},
JOURNAL = {Inf.~Comput.},
VOLUME = {152},
NUMBER = {1},
PAGES = {138-154},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1998.2787},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Awerbuch-Betke-Rivest-Singh/99,
AUTHOR = {Awerbuch, Baruch and Betke, Margrit and Rivest, Ronald L. and Singh, Mona},
TITLE = {Closures on COPs form complete lattices},
JOURNAL = {Inf.~Comput.},
VOLUME = {152},
NUMBER = {2},
PAGES = {155-172},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1999.2795},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Hirst-Lewenstein/99,
AUTHOR = {Hirst, Tirza and Lewenstein, Moshe},
TITLE = {Closures on COPs form complete lattices},
JOURNAL = {Inf.~Comput.},
VOLUME = {152},
NUMBER = {2},
PAGES = {173-187},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {alternation automata, bounded concurrency, finite automata, nondeterminism, succinctness},
URL = {http://dx.doi.org/10.1006/inco.1999.2796},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Sakai-Takimoto-Maruoka/99,
AUTHOR = {Sakai, Yoshifumi and Takimoto, Eiji and Maruoka, Akira},
TITLE = {Closures on COPs form complete lattices},
JOURNAL = {Inf.~Comput.},
VOLUME = {152},
NUMBER = {2},
PAGES = {188-204},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1998.2785},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Gurevich-Veanes/99,
AUTHOR = {Gurevich, Yuri and Veanes, Margus},
TITLE = {Closures on COPs form complete lattices},
JOURNAL = {Inf.~Comput.},
VOLUME = {152},
NUMBER = {2},
PAGES = {205-235},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1999.2797},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Ranzato/99,
AUTHOR = {Ranzato, Francesco},
TITLE = {Closures on COPs form complete lattices},
JOURNAL = {Inf.~Comput.},
VOLUME = {152},
NUMBER = {2},
PAGES = {236-249},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {closure operator, complete lattice, CPO, domain theory, abstract interpretation},
URL = {http://dx.doi.org/10.1006/inco.1999.2801},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Adleman-Huang/99,
AUTHOR = {Adleman, Leonard M. and Huang, Ming-Deh A.},
TITLE = {Function field sieve method for discrete logarithms over finite fields},
JOURNAL = {Inf.~Comput.},
VOLUME = {151},
NUMBER = {1-2},
PAGES = {5-16},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1998.2761},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Cai-Cusick/99,
AUTHOR = {Cai, Jin-Yi and Cusick, Thomas W.},
TITLE = {A lattice-based public-key cryptosystem},
JOURNAL = {Inf.~Comput.},
VOLUME = {151},
NUMBER = {1-2},
PAGES = {17-31},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {public-key cryptosystem, lattice, cryptographic security},
URL = {http://dx.doi.org/10.1006/inco.1998.2762},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Carlet/99,
AUTHOR = {Carlet, Claude},
TITLE = {On cryptographic propagation criteria for Boolean functions},
JOURNAL = {Inf.~Comput.},
VOLUME = {151},
NUMBER = {1-2},
PAGES = {32-56},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1998.2763},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Dobbertin/99,
AUTHOR = {Dobbertin, Hans},
TITLE = {Almost perfect nonlinear power functions on $GF(2^n)$: The Niho case},
JOURNAL = {Inf.~Comput.},
VOLUME = {151},
NUMBER = {1-2},
PAGES = {57-72},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1998.2764},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Helleseth-Martinsen/99,
AUTHOR = {Helleseth, T. and Martinsen, H.M.},
TITLE = {Binary sequences of period $2^m-1$ with large linear complexity},
JOURNAL = {Inf.~Comput.},
VOLUME = {151},
NUMBER = {1-2},
PAGES = {73-91},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1998.2765},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Huang-Xing/99,
AUTHOR = {Huang, Ming-Deh A. and Xing, Chaoping},
TITLE = {Some computational problems of cryptographic significance concerning elliptic curves over rings},
JOURNAL = {Inf.~Comput.},
VOLUME = {151},
NUMBER = {1-2},
PAGES = {92-99},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1998.2766},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Johansson/99,
AUTHOR = {Johansson, Thomas},
TITLE = {Further results on asymmetric authentication schemes},
JOURNAL = {Inf.~Comput.},
VOLUME = {151},
NUMBER = {1-2},
PAGES = {100-133},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1998.2767},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Kaida-Uehara-Imamura/99,
AUTHOR = {Kaida, Takayasu and Uehara, Satoshi and Imamura, Kyoki},
TITLE = {An algorithm for the $k$-error linear complexity of sequences over $GF(p^m)$ with period $p^n$, $p$ a prime},
JOURNAL = {Inf.~Comput.},
VOLUME = {151},
NUMBER = {1-2},
PAGES = {134-147},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {$k$-error linear complexity, sequence over gf($p^m$) with period $p^n$, stamp-martin algorithm, games-chan algorithm},
URL = {http://dx.doi.org/10.1006/inco.1998.2768},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Safavi-Naini-Wang/99,
AUTHOR = {Safavi-Naini, R. and Wang, H.},
TITLE = {Multireceiver authentication codes: Models, bounds, constructions, and extensions},
JOURNAL = {Inf.~Comput.},
VOLUME = {151},
NUMBER = {1-2},
PAGES = {148-172},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1998.2769},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Kfoury-Ronchi_della_Rocca-Tiuryn-Urzyczyn/99,
AUTHOR = {Kfoury, A.J. and Ronchi della Rocca, S. and Tiuryn, J. and Urzyczyn, P.},
TITLE = {Alpha-conversion and typability},
JOURNAL = {Inf.~Comput.},
VOLUME = {150},
NUMBER = {1},
PAGES = {1-21},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1998.2756},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Yamanishi/99,
AUTHOR = {Yamanishi, Kenji},
TITLE = {Distributed cooperative Bayesian learning strategies},
JOURNAL = {Inf.~Comput.},
VOLUME = {150},
NUMBER = {1},
PAGES = {22-56},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1998.2753},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Guha-Khuller/99,
AUTHOR = {Guha, Sudipto and Khuller, Samir},
TITLE = {Improved methods for approximating node weighted Steiner trees and connected dominating sets},
JOURNAL = {Inf.~Comput.},
VOLUME = {150},
NUMBER = {1},
PAGES = {57-74},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1998.2754},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Moser-Melliar-Smith/99,
AUTHOR = {Moser, Louise E. and Melliar-Smith, P.M.},
TITLE = {Byzantine-resistant total ordering algorithms},
JOURNAL = {Inf.~Comput.},
VOLUME = {150},
NUMBER = {1},
PAGES = {75-111},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1998.2770},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Blum-Koch/99,
AUTHOR = {Blum, Norbert and Koch, Robert},
TITLE = {Greibach normal form transformation revisited},
JOURNAL = {Inf.~Comput.},
VOLUME = {150},
NUMBER = {1},
PAGES = {112-118},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1998.2772},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Gargantini-Mandrioli-Morzenti/99,
AUTHOR = {Gargantini, Angelo and Mandrioli, Dino and Morzenti, Angelo},
TITLE = {Dealing with zero-time transitions in axiom systems},
JOURNAL = {Inf.~Comput.},
VOLUME = {150},
NUMBER = {2},
PAGES = {119-131},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1998.2779},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Gerth-Kuiper-Peled-Penczek/99,
AUTHOR = {Gerth, Rob and Kuiper, Ruurd and Peled, Doron and Penczek, Wojciech},
TITLE = {A partial order approach to branching time logic model checking},
JOURNAL = {Inf.~Comput.},
VOLUME = {150},
NUMBER = {2},
PAGES = {132-152},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1998.2778},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Dezani-Ciancaglini-Tiuryn-Urzyczyn/99,
AUTHOR = {Dezani-Ciancaglini, Mariangiola and Tiuryn, Jerzy and Urzyczyn, Pawe{\l}},
TITLE = {Discrimination by parallel observers: The algorithm},
JOURNAL = {Inf.~Comput.},
VOLUME = {150},
NUMBER = {2},
PAGES = {153-186},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1998.2773},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Jakoby-Reischuk-Schindelhauer/99,
AUTHOR = {Jakoby, Andreas and Reischuk, R{\"u}diger and Schindelhauer, Christian},
TITLE = {Malign distributions for average case circuit complexity},
JOURNAL = {Inf.~Comput.},
VOLUME = {150},
NUMBER = {2},
PAGES = {187-208},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {average complexity, circuit complexity, boolean functions, asymptotic complexity, malign distributions, lower bounds},
URL = {http://dx.doi.org/10.1006/inco.1998.2776},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Kesten-Pnueli-Sifakis-Yovine/99,
AUTHOR = {Kesten, Y. and Pnueli, A. and Sifakis, J. and Yovine, S.},
TITLE = {Decidable integration graphs},
JOURNAL = {Inf.~Comput.},
VOLUME = {150},
NUMBER = {2},
PAGES = {209-243},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1998.2774},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Borodin-El-Yaniv/99,
AUTHOR = {Borodin, Allan and El-Yaniv, Ran},
TITLE = {On randomization in on-line computation},
JOURNAL = {Inf.~Comput.},
VOLUME = {150},
NUMBER = {2},
PAGES = {244-267},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1998.2775},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Grumbach-Milo/99,
AUTHOR = {Grumbach, St{\'e}phane and Milo, Tova},
TITLE = {An algebra for pomsets},
JOURNAL = {Inf.~Comput.},
VOLUME = {150},
NUMBER = {2},
PAGES = {268-306},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1998.2777},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Gilleron-Tison-Tommasi/99,
AUTHOR = {Gilleron, R{\'e}mi and Tison, Sophie and Tommasi, Marc},
TITLE = {Set constraints and automata},
JOURNAL = {Inf.~Comput.},
VOLUME = {149},
NUMBER = {1},
PAGES = {1-41},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1998.2747},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Barthe/99,
AUTHOR = {Barthe, Gilles},
TITLE = {Order-sorted inductive types},
JOURNAL = {Inf.~Comput.},
VOLUME = {149},
NUMBER = {1},
PAGES = {42-76},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1998.2751},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Boreale-de_Nicola-Pugliese/99,
AUTHOR = {Boreale, Michele and de Nicola, Rocco and Pugliese, Rosario},
TITLE = {Basic observables for processes},
JOURNAL = {Inf.~Comput.},
VOLUME = {149},
NUMBER = {1},
PAGES = {77-98},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1998.2755},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Tung/99,
AUTHOR = {Tung, Shih Ping},
TITLE = {Sentences over integral domains and their computational complexities},
JOURNAL = {Inf.~Comput.},
VOLUME = {149},
NUMBER = {2},
PAGES = {99-133},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1998.2771},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Badouel-Darondeau-Raoult/99,
AUTHOR = {Badouel, Eric and Darondeau, Philippe and Raoult, Jean-Claude},
TITLE = {Context-free event domains are recognizable},
JOURNAL = {Inf.~Comput.},
VOLUME = {149},
NUMBER = {2},
PAGES = {134-172},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1998.2752},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{van_Raamsdonk-Severi-Sorensen-Xi/99,
AUTHOR = {van Raamsdonk, Femke and Severi, Paula and S{\o}rensen, Morten Heine B. and Xi, Hongwei},
TITLE = {Perpetual reductions in $\lambda$-calculus},
JOURNAL = {Inf.~Comput.},
VOLUME = {149},
NUMBER = {2},
PAGES = {173-225},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1998.2750},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Abadi-Gordon/99,
AUTHOR = {Abadi, Mart{\'{\i}}n and Gordon, Andrew D.},
TITLE = {A calculus for cryptographic protocols: The Spi calculus},
JOURNAL = {Inf.~Comput.},
VOLUME = {148},
NUMBER = {1},
PAGES = {1-70},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1998.2740},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Salibra-Goldblatt/99,
AUTHOR = {Salibra, Antonio and Goldblatt, Robert},
TITLE = {A finite equational axiomatization of the functional algebras for the lambda calculus},
JOURNAL = {Inf.~Comput.},
VOLUME = {148},
NUMBER = {1},
PAGES = {71-130},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {lambda calculus, lambda abstraction algebras, abstract substitution, combinatory algebras, lambda algebras, lambda models.},
URL = {http://dx.doi.org/10.1006/inco.1998.2745},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Esik/99,
AUTHOR = {{\'E}sik, Z.},
TITLE = {Group axioms for iteration},
JOURNAL = {Inf.~Comput.},
VOLUME = {148},
NUMBER = {2},
PAGES = {131-180},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1998.2746},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Ozhigov/99,
AUTHOR = {Ozhigov, Yuri},
TITLE = {Computations on nondeterministic cellular automata},
JOURNAL = {Inf.~Comput.},
VOLUME = {148},
NUMBER = {2},
PAGES = {181-201},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1998.2741},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Maass-Ruf/99,
AUTHOR = {Maass, Wolfgang and Ruf, Berthold},
TITLE = {On computation with pulses},
JOURNAL = {Inf.~Comput.},
VOLUME = {148},
NUMBER = {2},
PAGES = {202-218},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1998.2743},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Seiden/99,
AUTHOR = {Seiden, Steve},
TITLE = {Unfair problems and randomized algorithms for metrical task systems},
JOURNAL = {Inf.~Comput.},
VOLUME = {148},
NUMBER = {2},
PAGES = {219-240},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1998.2744},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Spreen/99,
AUTHOR = {Spreen, Dieter},
TITLE = {Corrigendum to ''On some decision problems in programming''},
JOURNAL = {Inf.~Comput.},
VOLUME = {148},
NUMBER = {2},
PAGES = {241-244},
YEAR = {1999},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1006/inco.1998.2758},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
NOTE = {Originally in Inf. Comput., Vol. 122, 1995, No. 1, 120-139},
}