×

SOFSEM 2015: theory and practice of computer science. 41st international conference on current trends in theory and practice of computer science, Pec pod Sněžkou, Czech Republic, January 24–29, 2015. Proceedings. (English) Zbl 1303.68019

Lecture Notes in Computer Science 8939. Berlin: Springer (ISBN 978-3-662-46077-1/pbk). xvi, 616 p. (2015).

Show indexed articles as search result.

The articles of mathematical interest will be reviewed individually. For the preceding conference see [Zbl 1298.68026].
Indexed articles:
Wiedermann, Jiří; van Leeuwen, Jan, What is computation: an epistemic approach, 1-13 [Zbl 1432.68142]
Halldórsson, Magnús M., Progress (and lack thereof) for graph coloring approximation problems, 14-23 [Zbl 1432.68356]
Saia, Jared; Zamani, Mahdi, Recent results in scalable multi-party computation, 24-44 [Zbl 1432.68157]
Barnat, Jiří, Quo vadis explicit-state model checking, 46-57 [Zbl 1432.68255]
Aloisio, Alessandro; Navarra, Alfredo, Balancing energy consumption for the establishment of multi-interface networks, 102-114 [Zbl 1432.68008]
Bekos, Michael A.; Kaufmann, Michael; Kobourov, Stephen; Veeramoni, Sankar, The maximum k-differential coloring problem, 115-127 [Zbl 1432.68336]
Bertoni, Alberto; Goldwurm, Massimiliano; Lin, Jianyi, Exact algorithms for 2-clustering with size constraints in the Euclidean plane, 128-139 [Zbl 1432.68378]
Bose, Prosenjit; Durocher, Stephane; Mondal, Debajyoti; Peabody, Maxime; Skala, Matthew; Wahid, Mohammad Abdul, Local routing in convex subdivisions, 140-151 [Zbl 1432.68341]
Bujtor, Ferenc; Fendrich, Sascha; Lüttgen, Gerald; Vogler, Walter, Nondeterministic modal interfaces, 152-163 [Zbl 1345.68230]
Chrobak, Marek; Gąsieniec, Leszek; Gorry, Thomas; Martin, Russell, Group search on the line, 164-176 [Zbl 1410.68159]
Dohrau, Jérôme, Online makespan scheduling with sublinear advice, 177-188 [Zbl 1432.68589]
Farrugia, Ashley; Gąsieniec, Leszek; Kuszner, Łukasz; Pacheco, Eduardo, Deterministic rendezvous in restricted graphs, 189-200 [Zbl 1432.68351]
Fügenschuh, Armin; Junosza-Szaniawski, Konstanty; Klug, Torsten; Kwasiborski, Sławomir; Schlechte, Thomas, Fastest, average and quantile schedule, 201-216 [Zbl 1435.90066]
de Haan, Ronald; Szeider, Stefan, Machine characterizations for parameterized complexity classes beyond para-NP, 217-229 [Zbl 1370.68145]
van Hulst, Alan C.; Reniers, Michel A.; Fokkink, Wan J., Maximally permissive controlled system synthesis for modal logic, 230-241 [Zbl 1432.68248]
Hume, Thomas; Soueidan, Hayssam; Nikolski, Macha; Blin, Guillaume, Approximation hardness of the cross-species conserved active modules detection problem, 242-253 [Zbl 1435.92023]
Hüffner, Falk; Komusiewicz, Christian; Sorge, Manuel, Finding highly connected subgraphs, 254-265 [Zbl 1432.68358]
Junosza-Szaniawski, Konstanty; Liedloff, Mathieu; Rzążewski, Paweł, Fixing improper colorings of graphs, 266-276 [Zbl 1386.68072]
Kamali, Shahin; López-Ortiz, Alejandro, Efficient online strategies for renting servers in the cloud, 277-288 [Zbl 1432.68013]
Kosolobov, Dmitry; Rubinchik, Mikhail; Shur, Arseny M., \(\mathrm{Pal}^{k}\) is linear recognizable online, 289-301 [Zbl 1432.68228]
Kostolányi, Peter, Two grammatical equivalents of flip-pushdown automata, 302-313 [Zbl 1364.68252]
Krišlauks, Rihards; Balodis, Kaspars, On the hierarchy classes of finite ultrametric automata, 314-326 [Zbl 1432.68229]
Laforest, Christian; Momège, Benjamin, Nash-Williams-type and Chvátal-type conditions in one-conflict graphs, 327-338 [Zbl 1435.05124]
Moreira, Nelma; Pighizzini, Giovanni; Reis, Rogério, Optimal state reductions of automata with partially specified behaviors, 339-351 [Zbl 1432.68235]
Nakanishi, Masaki, Quantum pushdown automata with a garbage tape, 352-363 [Zbl 1432.68238]
Nevries, Ragnar; Rosenke, Christian, Towards a characterization of leaf powers by clique arrangements, 364-376 [Zbl 1435.05096]
Ookawa, Hiroaki; Izumi, Taisuke, Filling logarithmic gaps in distributed complexity for global problems, 377-388 [Zbl 1432.68364]
Otto, Friedrich, On visibly pushdown trace languages, 389-400 [Zbl 1432.68240]
Rothenberger, Ralf; Grau, Sascha; Rossberg, Michael, Dominating an \(s\)-\(t\)-cut in a network, 401-411 [Zbl 1432.68370]
Uchizawa, Kei; Takimoto, Eiji, Lower bounds for linear decision trees with bounded weights, 412-422 [Zbl 1432.68167]
Horváth, Máté, Attribute-based encryption optimized for cloud computing, 566-577 [Zbl 1432.68126]
Skorski, Maciej, True random number generators secure in a changing environment: improved security bounds, 590-602 [Zbl 1314.94095]

MSC:

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Qxx Theory of computing
00B25 Proceedings of conferences of miscellaneous specific interest

Citations:

Zbl 1298.68026
PDFBibTeX XMLCite
Full Text: DOI