×

zbMATH — the first resource for mathematics

Theoretical computer science. Exploring new frontiers of theoretical informatics. International conference IFIP TCS 2000, Sendai, Japan, August 17–19, 2000. Proceedings. (English) Zbl 0944.00071
Lecture Notes in Computer Science 1872. Berlin: Springer (ISBN 3-540-67823-9). xv, 630 p. (2000).

Show indexed articles as search result.

The articles of this volume will be reviewed individually.
Indexed articles:
Abadi, Martín; Rogaway, Phillip, Reconciling two views of cryptography (the computational soundness of formal encryption), 3-22 [Zbl 1008.68048]
Hagiya, Masami, Theory and construction of molecular computers, 23-24 [Zbl 0998.68647]
Sudan, Madhu, List decoding: Algorithms and applications, 25-41 [Zbl 1009.94572]
Mauri, Giancarlo; Pavesi, Giulio, Approximation algorithms for string folding problems, 45-58 [Zbl 0998.68703]
Fredriksson, Kimmo; Navarro, Gonzalo; Ukkonen, Esko, An index for two dimensional string matching allowing rotations, 59-75 [Zbl 0998.68546]
Jeong, Chang-Sung; Cho, Sung-Up; Whang, Sun-Chul; Choi, Mi-Young, Parallel edge coloring of a tree on a mesh connected computer, 76-83 [Zbl 0998.68700]
Uehara, Ryuhei; Chen, Zhi-Zhong, Parallel approximation algorithms for maximum weighted matching in general graphs, 84-98 [Zbl 0998.68229]
Mayr, Ernst W., It is on the boundary: Complexity considerations for polynomial ideals, 99 [Zbl 0998.68661]
Chung, Yoojin; Park, Kunsoo; Kwon, Hyuk-Chul, An efficient parallel algorithm for scheduling interval ordered tasks, 100-111 [Zbl 0998.68511]
Shchepin, Evgeny V.; Vakhania, Nodari N., Task distributions on multiprocessor systems, 112-125 [Zbl 0998.68021]
Sarzeaud, Olivier; Stéphan, Yann, Fast interpolation using Kohonen self-organizing neural networks, 126-139 [Zbl 0998.68667]
Blundo, Carlo; Galdi, Clemente, Steganography using modern arts (extended abstract), 140-151 [Zbl 0998.68671]
Flajolet, Philippe; Hatzis, Kostas; Nikoletseas, Sotiris; Spirakis, Paul, Trade-offs between density and robustness in random interconnection graphs, 152-168 [Zbl 1001.05108]
Taoka, Satoshi; Watanabe, Toshimasa, The \((\sigma+1)\)-edge-connectivity augmentation problem without creating multiple edges of a graph, 169-185 [Zbl 1001.05114]
Mishra, Sounaka; Sikdar, Kripasindhu, On the hardness of approximating some NP-optimization problems related to minimum linear ordering problem (extended abstract), 186-199 [Zbl 1010.90523]
Eidenbenz, Stephan; Stamm, Christoph, Maximum Clique and Minimum Clique Partition in visibility graphs, 200-212 [Zbl 0998.68091]
Buchholz, Thomas; Klein, Andreas; Kutrib, Martin, Real-time language recognition by alternating cellular automata, 213-225 [Zbl 0998.68081]
Martin, Bruno, Damage spreading and \(\mu\)-sensitivity on cellular automata, 226-242 [Zbl 0998.68082]
Tezuka, Shu, Discrepancy theory and its application to finance, 243-256 [Zbl 1015.91033]
Boros, Endre; Ibaraki, Toshihide; Makino, Kazuhisa, Fully consistent extensions of partially defined Boolean functions with missing bits, 257-272 [Zbl 1010.94568]
Mizuki, Takaaki; Shizuya, Hiroki; Nishizeki, Takao, Characterization of optimal key set protocols. (Extended abstract), 273-285 [Zbl 1012.94543]
Brimkov, Valentin E.; Dantchev, Stefan S., On the complexity of integer programming in the Blum-Shub-Smale computational model, 286-300 [Zbl 1010.90100]
Albrecht, Andreas; Wong, Chak-Kuen, On logarithmic simulated annealing, 301-314 [Zbl 0998.68232]
Yannakakis, Mihalis, Hierarchical state machines, 315-330 [Zbl 0998.68525]
Cardelli, Luca; Ghelli, Giorgio; Gordon, Andrew D., Ambient groups and mobility types, 333-347 [Zbl 0998.68536]
Fournet, Cédric; Lévy, Jean-Jacques; Schmitt, Alan, An asynchronous, distributed implementation of mobile ambients, 348-364 [Zbl 0998.68537]
Kobayashi, Naoki, Type systems for concurrent processes: From deadlock-freedom to livelock-freedom, time-boundedness, 365-389 [Zbl 0998.68085]
Merro, Massimo; Kleist, Josva; Nestmann, Uwe, Local \(\pi\)-calculus at work: Mobile objects as mobile processes, 390-408 [Zbl 0998.68517]
Dal Zilio, Silvano, An interpretation of typed concurrent objects in the blue calculus, 409-424 [Zbl 0998.68086]
Despeyroux, Joëlle, A higher-order specification of the \(\pi\)-calculus, 425-439 [Zbl 0998.68538]
Bruni, Roberto; Montanari, Ugo; Sassone, Vladimiro, Open ended systems, dynamic bisimulation and tile logic, 440-456 [Zbl 0998.68087]
Fiore, Marcelo P., Fibred models of processes: Discrete, continuous, and hybrid systems (extended abstract), 457-473 [Zbl 0998.68539]
Mayr, Richard, On the complexity of bisimulation problems for pushdown automata, 474-488 [Zbl 0998.68088]
Kameyama, Yukiyoshi, A type-theoretic study on partial continuations, 489-504 [Zbl 0998.68033]
Fujita, Ken-Etsu; Schubert, Aleksy, Partially typed terms between Church-style and Curry-style, 505-520 [Zbl 0998.03009]
Löding, Christoph; Thomas, Wolfgang, Alternating automata and logics over infinite words (extended abstract), 521-535 [Zbl 0998.68526]
Loyer, Yann; Spyratos, Nicolas; Stamate, Daniel, Hypothesis support for information integration in four-valued logics, 536-548 [Zbl 0998.68169]
Henzinger, Thomas A., Masaccio: A formal model for embedded components, 549-563 [Zbl 0998.93507]
Lermer, Karl; Strooper, Paul, A single complete refinement rule for demonic specifications, 564-579 [Zbl 0998.68080]
Charpentier, Michel; Chandy, K. Mani, Reasoning about composition using property transformers and their conjugates, 580-595 [Zbl 0998.68518]
Gruska, Jozef, New challenges for theoretical computer science (general introduction to the panel), 599-601 [Zbl 0998.68698]
Ausiello, Giorgio, Algorithm design challenges (position statement), 602-603 [Zbl 0998.68694]
Gruska, Jozef, Quantumization of theoretical informatics (position statement), 604-608 [Zbl 0998.68695]
Montanari, Ugo, Two problems in wide area network programming (position statement), 609-611 [Zbl 0998.68696]
Toyama, Yoshihito, New challenges for computational models (position statement), 612-613 [Zbl 0998.68697]
Wiedermann, Jiří, Towards a computational theory of everything (position statement), 614-615 [Zbl 0998.68699]
van Leeuwen, Jan; Wiedermann, Jiří, On the power of interactive computing, 619-623 [Zbl 0998.68527]
Mosses, Peter D., The varieties of programming language semantics (summary), 624-628 [Zbl 0998.68614]
MSC:
00B25 Proceedings of conferences of miscellaneous specific interest
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
PDF BibTeX XML Cite
Full Text: DOI