Menu
  • Publikacje Pracowni Inteligencji Obliczeniowej w roku 2017

    1. P. Wnuk-Lipiński, K. Michalak, A. Łańcucki, Improving classification of patterns in ultra-high frequency time series with evolutionary algorithms, W: Proceedings of the 2016 on Genetic and Evolutionary Computation Conference Companion (GECCO '16 Companion) / Tobias Friedrich (ed.). - New York : ACM, 2017. - S. 127-128. (http://dx.doi.org/10.1145/2908961.2909042)
  • Publikacje Zakładu Teorii Informatyki i Baz Danych w roku 2017

    1. T. Gogacz, J. Marcinkowski, Converging to the chase: a tool for finite controllability, Journal of Computer and System Sciences. - Vol. 83, iss. 1 (2017), s. 180-206. (http://dx.doi.org/10.1016/j.jcss.2016.08.001)
    2. T. A. Henzinger, J. Otop, Model measuring for discrete and hybrid systems, Nonlinear Analysis-Hybrid Systems . - Vol. 23 (2017), s. 166-190. (http://dx.doi.org/10.1016/j.nahs.2016.09.001)
  • Publikacje Zakładu Złożoności Obliczeniowej i Analizy Algorytmów w roku 2017

    1. M. Karpiński, Vertex 2-coloring without monochromatic cycles of fixed size is NP-complete, Theoretical Computer Science. - Vol. 659 (2017), s. 88-94. (http://dx.doi.org/10.1016/j.tcs.2016.10.011)
  • Publikacje Zakładu Metod Numerycznych w roku 2017

    1. P. Gospodarczyk, S. Lewanowicz, P. Woźny, Degree reduction of composite Bézier curves, Applied Mathematics and Computation 293 (2017), 40-48. (http://dx.doi.org/10.1016/j.amc.2016.08.004)
  • Publikacje Zakładu Inżynierii Oprogramowania w roku 2016

    1. W. Zychla, Heterogeneous system architecture in education management software, W: Software Engineering: Improving Practice through Research / Bogumiła Hnatkowska, Michał Śmiałek Redaktor (eds.). - Warszawa : Polish Information Processing Society, 2016.- S. 13-29.
  • Publikacje Pracowników niezależnych w roku 2016

    1. M. M. Sysło, A. B. Kwiatkowska, Introducing a new computer science curriculum for all school levels in Poland, W: Informatics in Schools. Curricula, Competences, and Competitions : 8th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2015 Ljubljana, Slovenia, September 28 - October 1, 2015, Proceedings / Andrej Brodnik, Jan Vahrenhold (eds.). - Cham : Springer International Publishing, 2016. - (Lecture Notes in Computer Science ; 9378). - S. 141-154. (http://dx.doi.org/10.1007/978-3-319-25396-1_13)
  • Publikacje Zakładu Języków Programowania w roku 2016

    1. A. Aristizábal, D. Biernacki, S. Lenglet, P. Polesiuk, Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation. FSCD 2016, pp. 9:1–9:17 (http://dx.doi.org/10.4230/LIPIcs.FSCD.2016.9)
    2. W. Charatonik, P. Witkowski, Two-variable Logic with Counting and a Linear Order. Logical Methods in Computer Science 12(2) (2016), pp. 1–31, (https://arxiv.org/abs/1604.06038)
    3. H. de Nivelle, Subsumption Algorithms for Three-Valued Geometric Resolution. IJCAR 2016, pp. 257–272, (http://dx.doi.org/10.1007/978-3-319-40229-1_18)
  • Publikacje Zakładu Złożoności Obliczeniowej i Analizy Algorytmów w roku 2016

    1. A. Jeż, One-variable word equations in linear time, Algorithmica. - Vol. 74, iss. 1 (2016), s. 1-48. (http://dx.doi.org/10.1007/s00453-014-9931-3)
    2. A. Jeż, A really simple approximation of smallest grammar, Theoretical Computer Science. - Vol. 616 (2016), s. 141-150. (http://dx.doi.org/10.1016/j.tcs.2015.12.032)
    3. A. Jeż, A. Okhotin, Equations over sets of integers with addition only, Journal of Computer and System Sciences. - Vol. 82, Iss. 6 (2016), s. 1007-1019. (http://dx.doi.org/10.1016/j.jcss.2016.02.003)
    4. A. Jeż, A. Okhotin, Least and greatest solutions of equations over sets of integers, Theoretical Computer Science. - Vol. 619 (2016), s. 68-86. (http://dx.doi.org/10.1016/j.tcs.2016.01.013)
    5. A. Jeż, Recompression: a simple and powerful technique for word equations, Journal of the ACM. - Vol. 63, iss. 1 (2016), nr art. 4. (http://dx.doi.org/10.1145/2743014)
    6. V. Diekert, A. Jeż, M. Kufleitner, Solutions of word equations over partially commutative structures, W: 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016) / Ioannis Chatzigiannakis, Michael Mitzenmacher, Yuval Rabani, and Davide Sangiorgi (eds.). - Wadern : Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2016. - (Leibniz International Proceedings in Informatics (LIPIcs) ; 55). - S. 127:1-127:14. (http://dx.doi.org/10.4230/LIPIcs.ICALP.2016.127)
    7. A. Kisielewicz, J. Kowalski, M. Szykuła, Experiments with synchronizing automata, W: Implementation and Application of Automata : 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings / Yo-Sub Han, Kai Salomaa (eds.). - Cham : Springer International Publishing - Springer, 2016. - (Lecture Notes in Computer Science ; 9705).- S. 176-188. (http://dx.doi.org/10.1007/978-3-319-40946-7_15)
    8. J. Kowalski, A. Kisielewicz, Towards a real-time game description language, W: ICAART 2016 : 8th International Conference on Agents and Artificial Intelligence, February 24-26, 2016, in Rome, Italy, Proceedings, Vol.2 / Jaap van den Herik, Joaquim Filipe (eds.). - [Setúbal] : SCITEPRESS , 2016. - S. 494-499. (http://dx.doi.org/10.5220/0005816904940499)
    9. M. Piotrów, Faster merging networks with a small constant period, Theoretical Computer Science. - Vol. 640 (2016) , s. 20-40. (http://dx.doi.org/10.1016/j.tcs.2016.05.038)
    10. M. V. Berlinkov, M. Szykuła, Algebraic synchronization criterion and computing reset words, Information Sciences. - Vol. 369 (2016), s. 718-730. (http://dx.doi.org/10.1016/j.ins.2016.07.049)
    11. M. Szykuła, V. Vorel, An extremal series of eulerian synchronizing automata, W: Developments in Language Theory : 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings / Srečko Brlek, Christophe Reutenauer (eds.). - Berlin, Heidelberg : Springer , 2016. - (Lecture Notes in Computer Science ; 9840).- S. 380-392. (http://dx.doi.org/10.1007/978-3-662-53132-7_31)
    12. J. Kowalski, M. Szykuła, Evolving chess-like games using relative algorithm performance profiles, W: Applications of Evolutionary Computation : 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part I / Giovanni Squillero, Paolo Burelli (eds.). - Cham : Springer International Publishing, 2016. - (Lecture Notes in Computer Science ; 9597).- S. 574-589. (http://dx.doi.org/10.1007/978-3-319-31204-0_37)
    13. J. Brzozowski, G. Jirásková, B. Liu, A. Rajasekaran, M. Szykuła, W: Descriptional Complexity of Formal Systems : 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings / Cezar Câmpeanu, Florin Manea, Jeffrey Shallit (eds.). - Cham : Springer International Publishing - Springer, 2016. - (Lecture Notes in Computer Science ; 9777).- S. 73-86. (http://dx.doi.org/10.1007/978-3-319-41114-9_6)
    14. P. Gawrychowski, A. Jeż, LZ77 factorisation of trees, W: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016) / Akash Lal, S. Akshay, Saket Saurabh, Sandeep Sen (eds.). - Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. - (LIPIcs - Leibniz Internation Proceedings in Informatics ; 65).- S. 35:1-35:15. (http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2016.35)
    15. T. Jurdziński, D. R. Kowalski, Wake-up problem in multi-hop radio networks, W: Encyclopedia of Algorithms / Ming-Yang Kao (ed.). - New York : Springer, 2016. - S. 2352-2354. (http://dx.doi.org/10.1007/978-1-4939-2864-4_536)
    16. J. Brzozowski, G. Jirásková, B. Liu, A. Rajasekaran, M. Szykuła, On the state complexity of the shuffle of regular languages, W: Descriptional Complexity of Formal Systems : 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings / Cezar Câmpeanu, Florin Manea, Jeffrey Shallit (eds.). - Cham : Springer International Publishing - Springer, 2016. - (Lecture Notes in Computer Science ; 9777).- S. 73-86. (http://dx.doi.org/10.1007/978-3-319-41114-9_6)
  • Publikacje Zakładu Optymalizacji Kombinatorycznej w roku 2016

    1. Ł. Jeż, Y. Azar, A. Epstein, A. Vardi, Make-to-order integrated scheduling and distribution, Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms / Robert Krauthgamer (ed.). - New York : Society for Industrial and Applied Mathematics, 2016. - (Proceedings).- S. 140-154. (http://epubs.siam.org/doi/pdf/10.1137/1.9781611974331.ch11)
    2. Ł. Jeż, M. Cygan, J. Sgall, Online knapsack revisited, Theory of Computing Systems. - Vol. 58, iss. 1 (2016), s. 153-190. (http://dx.doi.org/10.1007/s00224-014-9566-4)
    3. Ł. Jeż, L. Epstein, J. Sgall, R. van Stee, Online scheduling of jobs with fixed start times on related machines, Algorithmica. - Vol. 74, iss. 1 (2016), s. 156-176. (http://dx.doi.org/10.1007/s00453-014-9940-2)
    4. M. Bieńkowski, L. Gąsieniec, M. Klonowski, M. Korzeniowski, B. Mans, S. Schmid, R. Wattenhofer, Distributed alarming in the on-duty and off-duty models, IEEE/ACM Transactions on Networking. - Vol. 24, iss. 1 (2016), s. 218-230. (http://dx.doi.org/10.1109/TNET.2014.2359684)
    5. J. Byrka, B. Rybicki, S. Uniyal, An approximation algorithm for uniform capacitated k-median problem with 1+ε capacity violation, W: Integer Programming and Combinatorial Optimization : 18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedings / Quentin Louveaux, Martin Skutella (eds.). - Cham : Springer International Publishing, 2016. - (Lecture Notes in Computer Science ; 9682). - S. 262-274. (http://dx.doi.org/10.1007/978-3-319-33461-5_22)
    6. J. Byrka, M. Lewandowski, C. Moldenhauer, Approximation algorithms for node-weighted prize-collecting steiner tree problems on planar graphs, W: 15th Scandinavian Symposium and Workshops on Algorithm Theory (SWAT 2016) / Rasmus Pagh (ed.). - Wadern : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2016. - ((LIPIcs - Leibniz International Proceedings in Informatics ; 53).- S. 2:1-2:14. (http://dx.doi.org/10.4230/LIPIcs.SWAT.2016.2)
    7. J. Byrka, L. Shanfei, B. Rybicki, Improved approximation algorithm for k-level uncapacitated facility location problem (with penalties), Theory of Computing Systems. - Vol. 58, nr 1 (2016), s. 19-44. (http://dx.doi.org/10.1007/s00224-014-9575-3)
    8. C. Fuerst, M. Pacut, P. Costa, S. Schmid, How hard can it be?: understanding the complexity of replica aware virtual cluster embeddings, W: 2015 IEEE 23rd International Conference on Network Protocols (ICNP 2015) : San Francisco, CA, USA, 10-13 November 2015 : proceedings / Srikanth V. Krishnamurthy, Prasant Mohapatra (General Chairs) . - Los Alamitos : IEEE Computer Society, 2016.- S. 11-21. (http://dx.doi.org/10.1109/ICNP.2015.30)
    9. A. Kunysz, K. Paluch, P. Ghosal, Characterisation of strongly stable matchings, W: Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms / Robert Krauthgamer (ed.). - New York : Society for Industrial and Applied Mathematics, 2016. - (Proceedings).- S. 107-119. (http://dx.doi.org/10.1137/1.9781611974331.ch8)
    10. M. Bieńkowski, M. Böhm, J. Byrka, M. Chrobak, C. Dürr, L. Folwarczný, Ł. Jeż, J. Sgall, N. K. Thang, P. Veselý, Online algorithms for multi-level aggregation, W: 24th Annual European Symposium on Algorithms (ESA 2016) / Piotr Sankowski, Christos Zaroliagis (eds.). - Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. - (LIPIcs - Leibniz International Porceedings in Informatics ; 57).- S. 12:1-12:17.(http://dx.doi.org/10.4230/LIPIcs.ESA.2016.12)
    11. M. Bieńkowski, M. Klonowski, M. Korzeniowski, D. R. Kowalski, Randomized mutual exclusion on a multiple access channel, Distributed Computing. - Vol. 29, iss. 5 (2016), s. 341-359. (http://dx.doi.org/10.1007/s00446-016-0265-z)
    12. M. Böhm, M. Chrobak, Ł. Jeż, F. Li, J. Sgall, P. Veselý, Online packet scheduling with bounded delay and lookahead, W: 27th International Symposium on Algorithms and Computation (ISAAC 2016), December 12-14, 2016 - Sydney, Australia / ed. Seok-Hee Hong. - Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. - (LIPIcs - Leibniz International Proceedings in Informatics ; 64).- S. 21:1-21:13. (http://dx.doi.org/10.4230/LIPIcs.ISAAC.2016.21)
    13. A. Kunysz, The strongly stable roommates problem, W: 24th Annual European Symposium on Algorithms (ESA 2016) / Piotr Sankowski and Christos Zaroliagis (eds.). - Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. - (LIPIcs - Leibniz International Porceedings in Informatics ; 57).- S. 60:1-60:15. (http://dx.doi.org/10.4230/LIPIcs.ESA.2016.60)
    14. C. Avin, A. Loukas, M. Pacut, S. Schmid, Online balanced repartitioning, W: Distributed computing : 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016 : proceedings / Cyril Gavoille, David Ilcinkas (eds.). - Berlin ; Heidelberg : Springer, 2016. - (Lecture Notes in Computer Science ; 9888).- S. 243-256. (http://dx.doi.org/10.1007/978-3-662-53426-7_18)
    15. G. Amanatidis, E. Markakis, K. Sornat, Inequity aversion pricing over social networks: : approximation algorithms and hardness results, W: 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016) / Piotr Faliszewski, Anca Muscholl, Rolf Niedermeier (eds.). - Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. - (Leibniz International Proceedings in Informatics (LIPIcs) ; 58).- S. 9:1-9:13. (http://dx.doi.org/10.4230/LIPIcs.MFCS.2016.9)
  • Publikacje Pracowni Inteligencji Obliczeniowej w roku 2016

    1. A. Kaczmarek, M. Marcińczuk, Evaluation of coreference resolution tools for Polish from the information extraction perspective, BSNLP 2015 : 5th Workshop on Balto-Slavic Natural Language : associated with the 10th International Conference on Recent Advances in Natural Language Processing, RANLP 2015, Hissar, Bulgaria, September 10-11, 2015; proceedings / sponsored by SIGSLAV. - Shumen : INCOMA Ltd, 2016.- S. 24-33. (http://aclweb.org/anthology/W/W15/W15-53.pdf).
    2. J. Chorowski, D. Bahdanau, D. Serdyuk, K. Cho, Y. Bengio, Attention-based models for speech recognition, W: 29th Annual Conference on Neural Information Processing Systems 2015, December 7-12, 2015, Montreal, Quebec, Canada / Corinna Cortes, Neil D. Lawrence, Daniel D. Lee, Masashi Sugiyama, Roman Garnett (eds.). - Red Hook, N.Y : Curran, 2016. - (Advances in Neural Information Processing Systems ; 28).- S. 577-585. (http://tinyurl.com/jpb3jkz)
    3. D. Bahdanau, J. Chorowski, D. Serdyuk, P. Brakel, Y. Bengio, End-to-end attention-based large vocabulary speech recognition, W: 2016 IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2016, Shanghai, China, March 20-25, 2016. - [Piscataway] : Institute of Electrical and Electronics Engineers, 2016. - S. 4945-4949. (http://dx.doi.org/10.1109/ICASSP.2016.7472618)
    4. P. Filipiak, B. Golenko, C. Dołęga, NSGA-II based auto-calibration of automatic number plate recognition camera for vehicle speed measurement, // W: Applications of Evolutionary Computation : 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings, Part I / Giovanni Squillero, Paolo Burelli (eds.). - Cham : Springer International Publishing - Springer, 2016. - (Lecture Notes in Computer Science ; 9597).- S. 803-818. (http://dx.doi.org/10.1007/978-3-319-31204-0_51)
    5. A. Łańcucki, I. Saha, S. S. Bhowmick, U. Maulik, P. Wnuk-Lipiński, A new evolutionary microRNA marker selection using next-generation sequencing data, W: 2016 IEEE Congress on Evolutionary Computation (CEC), 24 - 29 July 2016, Vancouver, Canada. - Piscataway : IEEE, 2016. - S. 2752-2759. (http://dx.doi.org/10.1109/CEC.2016.7744136)
    6. A. Brabazon, P. Wnuk-Lipiński, P. Hamill, Characterising order book evolution using self-organising maps, Evolutionary Intelligence. - Vol. 9, iss. 4 (2016), s. 167-179. (http://dx.doi.org/10.1007/s12065-016-0149-y)
    7. K. Michalak, A. Łańcucki, P. Wnuk-Lipiński, Multiobjective optimization of frequent pattern models in ultra-high frequency time series: stability versus universality, W: 2016 IEEE Congress on Evolutionary Computation (CEC), 24 - 29 July 2016, Vancouver, Canada. - Piscataway : IEEE, 2016. - S. 3491-3498. (http://dx.doi.org/10.1109/CEC.2016.7744232)
  • Publikacje Zakładu Metod Numerycznych w roku 2016

    1. P. Gospodarczyk, P. Woźny, Merging of Bézier curves with box constraints, Journal of Computational and Applied Mathematics 296 (2016), 265-274. (http://dx.doi.org/10.1016/j.cam.2015.10.005)
    2. P. Gospodarczyk, S. Lewanowicz, P. Woźny, $G^{k,l}$-constrained multi-degree reduction of Bézier curves, Numerical Algorithms 71 (2016), 121-137. (http://dx.doi.org/10.1007/s11075-015-9988-3)
    3. W. Bożejko, M. Uchroński, M. Wodecki, Parallel metaheuristics for the cyclic flow shop scheduling problem, Computers and Industrial Engineering 95 (2016), 156-163. (http://dx.doi.org/10.1016/j.cie.2016.03.008)
    4. W. Bożejko, C. Smutnicki, M. Wodecki, Metropolitan delivery with time windows as a scheduling problem, W: 2016 Smart Cities Symposium Prague (SCSP)Prague May 26-27, 2016 / Milan Koukol (ed.). - Piscataway : Institute of Electrical and Electronics Engineers, 2016.- S. 55:1-55:5. (http://dx.doi.org/10.1109/SCSP.2016.7501038)
    5. W. Bożejko, M. Uchroński, M. Wodecki, Parallel tabu search algorithm with uncertain data for the flexible job shop problem, W: Artificial Intelligence and Soft Computing : 15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016, Proceedings, Part II / Leszek Rutkowski, Marcin Korytkowski, Rafał Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada (eds.). - Cham : Springer International Publishing, 2016. - (Lecture Notes in Computer Science ; 9693).- S. 419-428. (http://dx.doi.org/10.1007/978-3-319-39384-1_36)
    6. K. Borowicka, W. Bożejko, Ł. Kacprzak, M. Wodecki, Problem harmonogramowania zadań wielomaszynowych, W: Innowacje w zarządzaniu i inżynierii produkcji. T. 1 / pod redakcją Ryszarda Knosali. - Opole : Oficyna Wydawnicza Polskiego Towarzystwa Zarządzania Produkcją, 2016.- S. 547-558. (http://tinyurl.com/jm6ynp3)
    7. W. Bożejko, R. Idzikowski, M. Wodecki, Problem przepływowy z przezbrojeniami oraz ciągłą pracą maszyn, W: Innowacje w zarządzaniu i inżynierii produkcji. T. 1 / pod redakcją Ryszarda Knosali. - Opole : Oficyna Wydawnicza Polskiego Towarzystwa Zarządzania Produkcją, 2016.- S. 559-570. (http://tinyurl.com/hpo27bd)
    8. W. Bożejko, A. Gnatowski, T. Niżyński, M. Wodecki, Tabu search algorithm with neural tabu mechanism for the cyclic job shop problem, W: Artificial Intelligence and Soft Computing : 15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016, Proceedings, Part II / Leszek Rutkowski, Marcin Korytkowski, Rafał Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada (eds.). - Cham : Springer International Publishing, 2016. - (Lecture Notes in Computer Science ; 9693).- S. 409-418. (http://dx.doi.org/10.1007/978-3-319-39384-1_35)
    9. A. Bartkowiak, Gianluca Baio: Bayesian methods in health economics. Boca Raton, 2013 : [recenzja] Rec.: Bartkowiak Anna // ISCB News [International Society for Clinical Biostatistics]. - Nb 62, Dec. 2016, s. 36.
    10. W. Bożejko, A. Gnatowski, R. Idzikowski, M. Wodecki, Algorytm wielomianowy dla cyklicznego problemu przydziału operacji w dwumaszynowym gnieździe, W: Automatyzacja procesów dyskretnych : teoria i zastosowania, T.I / pod red. Andrzeja Świerniaka i Jolanty Krystek. - Gliwice : Wydawnictwo Pracowni Komputerowej Jacka Skalmierskiego, 2016.- S. 41-48.
    11. W. Bożejko, Z. Hejducki, M. Uchroński, M. Wodecki, Computer module for scheduling of transportation of composite beam bridge structures, MATEC Web of Conferences. - Vol. 86 (2016), nr art. 05015. (http://dx.doi.org/10.1051/matecconf/20168605015)
    12. W. Bożejko, Z. Hejducki, M. Rogalska, M. Wodecki, Metody sprzężeń czasowych w inżynierii przedsięwzięć budowlanych = Time couplings method in construction project management, Materiały Budowlane. - 2016, nr 6, s. 11-12. (http://sigma-not.pl/publikacja-99260-2016-6.html)
    13. W. Bożejko, M. Uchroński, M. Wodecki, Równoległe wyznaczanie wzorców w rozwiązywaniu cyklicznego problemu przepływowego z przezbrojeniami, W: Automatyzacja procesów dyskretnych : teoria i zastosowania, T.I / pod red. Andrzeja Świerniaka i Jolanty Krystek. - Gliwice : Wydawnictwo Pracowni Komputerowej Jacka Skalmierskiego, 2016. - S. 57-64.
    14. W. Bożejko, J. Pempera, M. Wodecki, Szybki algorytm rozwiązywania cyklicznego problemu gniazdowego, W: Automatyzacja procesów dyskretnych : teoria i zastosowania, T.I / pod red. Andrzeja Świerniaka i Jolanty Krystek. - Gliwice : Wydawnictwo Pracowni Komputerowej Jacka Skalmierskiego, 2016.- S. 49-56.
    15. Wojciech Bożejko, Piotr Nadybski, Mieczysław Wodecki, Two step algorithm for virtual machine distributed replication with limited bandwidth problem, W: Computer Information Systems and Industrial Management : 15th IFIP TC8 International Conference, CISIM 2016, Vilnius, Lithuania, September 14-16, 2016, Proceedings / Khalid Saeed, Władysław Homenda (eds.). - Cham : Springer International Publishing, 2016. - (Lecture Notes in Computer Science ; 9842).- S. 312-321. (http://dx.doi.org/10.1007/978-3-319-45378-1_28)
  • Publikacje Zakładu Teorii Informatyki i Baz Danych w roku 2016

    1. J. Otop, T. A. Henzinger, R. Samanta, Lipschitz robustness of timed I/O systems, Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings / Barbara Jobstmann, K. Rustan M. Leino (eds.). - Berlin : Springer Berlin, 2016. - (Lecture Notes in Computer Science ; 9583). - S. 250-267. (http://dx.doi.org/10.1007/978-3-662-49122-5_12)
    2. E. Kieroński, One-dimensional logic over words, W: 25th EACSL Annual Conference on Computer Science Logic (CSL 2016) / Jean-Marc Talbot, Laurent Regnier (eds.). - Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. - (LIPIcs - Leibniz International Porceedings in Informatics ; 62).- S. 38:1--38:15. (http://dx.doi.org/10.4230/LIPIcs.CSL.2016.38)
    3. T. Gogacz, J. Marcinkowski, Red spider meets a rainworm: conjunctive query finite determinacy is undecidable, W: PODS'16 Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems / Tova Milo (General Chair). - New York, NY : ACM, 2016.- S. 121-134. (http://dx.doi.org/10.1145/2902251.2902288)
    4. A. Lomuscio, J. Michaliszyn, Model checking multi-agent systems against epistemic HS specifications with regular expressions, W: Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), Cape Town, South Africa, April 25-29, 2016 / Chitta Baral, James Delgrande, and Frank Wolter (eds.).- Palo Alto : AAAI Press, 2016.- S. 298-308. (http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12823/12486)
    5. M. Graboń, J. Michaliszyn, J. Otop, P. Wieczorek, Querying data graphs with arithmetical regular expressions, W: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI), New York, New York, USA 9-15 July 2016 / Subbarao Kambhampati (ed.). - Palo Alto : AAAI Press / International Joint Conferences on Artificial Intelligence, 2016. - S. 1088-1094. (http://www.ii.uni.wroc.pl/~piotrek/papers/ijcai16.pdf)
    6. A. Lomuscio, J. Michaliszyn, Verification of multi-agent systems via predicate abstraction against ATLK specifications, W: Proceedings of the 2016 International Conference on Autonomous Agents Multiagent Systems (AAMAS 2016) / Catholijn M. Jonker, Stacy Marsella (General Chairs). - Richland, SC : International Foundation for Autonomous Agents and Multiagent Systems, 2016.- S. 662-670. (http://tinyurl.com/zta6n6n)
    7. T. A. Henzinger, J. Otop, R. Samanta, Lipschitz robustness of timed I/O systems, W: Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings / Barbara Jobstmann, K. Rustan M. Leino (eds.). - Berlin : Springer Berlin, 2016. - (Lecture Notes in Computer Science ; 9583). - S. 250-267. (http://dx.doi.org/10.1007/978-3-662-49122-5_12)
    8. K. Chatterjee, T. A. Henzinger, J. Otop, Nested weighted limit-average automata of bounded width, W: 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016) / Piotr Faliszewski, Anca Muscholl, Rolf Niedermeier (eds.). - Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. - (Leibniz International Proceedings in Informatics (LIPIcs) ; 58).- S. 24:1--24:14. (http://dx.doi.org/10.4230/LIPIcs.MFCS.2016.24)
    9. K. Chatterjee, T. A. Henzinger, J. Otop, Quantitative automata under probabilistic semantics, W: LICS '16 31st Annual ACM/IEEE Symposium on Logic in Computer Science New York, NY, USA - July 05 - 08, 2016 / Martin Grohe (General Chairs). - New York : Association for Computing Machinery, 2016.- S. 76-85. (http://dx.doi.org/10.1145/2933575.2933588)
    10. K. Chatterjee, T. A. Henzinger, J. Otop, Quantitative monitor automata, W: Static analysis : 23rd international symposium, SAS 2016 Edinburgh, UK, September 8-10, 2016 : proceedings / Xavier Rival (ed.). - Berlin ; Heidelberg : Springer, 2016. - (Lecture Notes in Computer Science ; 9837).- S. 23-38. (http://dx.doi.org/10.1007/978-3-662-53413-7_2)
  • Publikacje Pracowników niezależnych w roku 2015

    1. A. B. Kwiatkowska, M. M. Sysło, Informatyka w edukacji: nauczyciel przewodnik i twórca, Toruń : Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika : Polskie Towarzystwo Informatyczne, 2015. - 243, [10] s. : il.
    2. M. M. Sysło, From algorithmic to computational thinking: on the way for computing for all students, ITICSE '15 : Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education. - New York : The Association for Computing Machinery, 2015. (http://dx.doi.org/10.1145/2729094.2742582).
    3. M. M. Sysło, Jak moglibyśmy się uczyć, II: (as we may learn), Człowiek, media, edukacja / red. nauk. Janusz Morbitzer, Danuta Morańska, Emilia Musiał. - Dąbrowa Górnicza : Wyższa Szkoła Biznesu, 2015. - (Prace Naukowe Wyższej Szkoły Biznesu w Dąbrowie Górniczej). - S. 345-355.
  • Publikacje Zakładu Inteligencji Obliczeniowej w roku 2015

    1. J. Chorowski, J.M. Zurada, Learning understandable neural networks with nonnegative weight constraints, IEEE Transactions on Neural Networks and Learning Systems . - Vol.26, iss.1 (2015), s. 62 - 69. (http://dx.doi.org/10.1109/TNNLS.2014.2310059).
    2. A. Faleńska, A. Björkelund, Ö. Cetinoglu, W. Seeker, Stacking or supertagging for dependency parsing - what's the difference, IWPT 2015 : proceedings of the 14th International Conference on Parsing Technologies, July 22-24, 2015, Bilbao, Spain / John Carroll, Koldo Gojenola, Stephan Oepen (chairs). - Stroudsburg : Association for Computational Linguistics, 2015. - S. 118-129. (http://www.aclweb.org/anthology/W15-2215).
    3. A. Kaczmarek, M. Marcińczuk, Heuristic algorithm for zero subject detection in Polish, Text, speech, and dialogue : 18th international conference, TSD 2015, Pilsen, Czech Republic, September 14-17, 2015 ; proceedings / Pavel Král, Václav Matoušek (eds.). - Cham : Springer, 2015. - (Lecture notes in computer science ; 9302). - S. 378-386. (http://dx.doi.org/10.1007/978-3-319-24033-6_43).
    4. P. Filipiak, K. Michalak, P. Wnuk-Lipiński, Infeasibility driven evolutionary algorithm with the anticipation mechanism for the reaching goal in dynamic constrained inverse kinematics, GECCO Companion '15 : proceedings of the companion publication of the 2015 Annual Conference on Genetic and Evolutionary Computation ; July 11 - 15, Madrid, Spain / Sara Silva (ed.). - New York : ACM, 2015.- S. 1389-1390. (http://dx.doi.org/10.1145/2739482.2764683).
    5. P. Filipiak, P. Wnuk-Lipiński, Making IDEA-ARIMA efficient in dynamic constrained optimization problems, Applications of Evolutionary Computation : 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings / Antonio M. Mora, Giovanni Squillero (eds.). - Cham : Springer International Publishing, 2015. - (Lecture Notes in Computer Science ; 9028).- S. 882-893. (http://dx.doi.org/10.1007/978-3-319-16549-3_71).
    6. I. Saha, P. Wnuk-Lipiński, A. Łańcucki, A new evolutionary gene selection technique, IEEE Congress on Evolutionary Computation (CEC), 2015 : 25-28 May 2015, Sendai, Japan ; proceedings. - Piscataway : IEEE, 2015. - S. 1612-1619. (http://dx.doi.org/10.1109/CEC.2015.7257080).
    7. P. Wnuk-Lipiński, Training financial decision support systems with thousands of decision rules using differential evolution with embedded dimensionality reduction, Applications of Evolutionary Computation : 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings / Antonio M. Mora, Giovanni Squillero (eds.). - Cham : Springer International Publishing, 2015. - (Lecture Notes in Computer Science ; 9028). - S. 289-301. (http://dx.doi.org/10.1007/978-3-319-16549-3_24).
  • Publikacje Zakładu Teorii Informatyki i Baz Danych w roku 2015

    1. S. Staworko, P. Wieczorek, Characterizing XML twig queries with examples, 18th International Conference on Database Theory, ICDT-15, March 23-27, 2015, Brussels, Belgium / Marcelo Arenas, Martín Ugarte (eds.). - Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015. - (LIPIcs - Leibniz International Proceedings in Informatics ; 31).- S. 144-160. (http://dx.doi.org/10.4230/LIPIcs.ICDT.2015.144).
    2. E. Kieroński, A. Kuusisto, Uniform one-dimensional fragments with one equivalence relation, 24th EACSL Annual Conference on Computer Science Logic (CSL 2015) / Stephan Kreutzer (ed.). - Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015. - (LIPIcs - Leibniz International Proceedings in Informatics ; 41).- S. 597-615. (http://dx.doi.org/10.4230/LIPIcs.CSL.2015.597).
    3. E. Kieroński, J. Michaliszyn, J. Otop, On the decidability of elementary modal logics, ACM Transactions on Computational Logic. - Vol. 17, iss. 1 (2015), nr art. 2 (47 str.). (http://dx.doi.org/10.1145/2811262).
    4. T. Gogacz, J. Marcinkowski, The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable, LICS 2015: 281-292.
    5. T. Gogacz, W. Czerwinski, E. Kopczynski, Non-dominating Sequences of Vectors Using only Resets and Increments, Fundam. Inform. 140(2): 123-127 (2015).
    6. U. Boker, T. A. Henzinger, J. Otop, The target discounted-sum problem, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : 6 - 10 July 2015, Kyoto, Japan. - Piscataway : IEEE, 2015. - (IEEE Conference Publications). - S. 750 - 761. (http://dx.doi.org/10.1109/LICS.2015.74).
    7. K. Chatterjee, T. A. Henzinger, J. Otop, Nested weighted automata, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : 6 - 10 July 2015, Kyoto, Japan. - Piscataway : IEEE, 2015.- (IEEE Conference Publicatons). - S. 725 - 737. (http://dx.doi.org/10.1109/LICS.2015.72).
  • Publikacje Zakładu Optymalizacji Kombinatorycznej w roku 2015

    1. M. Bieńkowski, J. Byrka, T. Jurdziński, K.Chrobak, D. R. Kowalski, Provable fairness for TDMA scheduling, IEEE Conference on Computer Communications, INFOCOM 2015, Kowloon, Hong Kong, April 26 - May 1, 2015, Proceedings. - Piscataway : IEEE, 2015.- S. 1320-1327. (http://dx.doi.org/10.1109/INFOCOM.2015.7218508).
    2. J. Byrka, B. Rybicki, T. Pensyl, J. Spoerhase, A. Srinivasan, K. Trinh, An improved approximation algorithm for knapsack median using sparsification, Algorithms - ESA 2015 : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings / Nikhil Bansal, Irene Finocchi (eds.). - Berlin : Springer Berlin, 2015. - (Lecture Notes in Computer Science ; 9294). - S. 275-287. (http://dx.doi.org/10.1007/978-3-662-48350-3_24).
    3. J. Byrka, B. Rybicki, T. Pensyl, A. Srinivasan, K. Trinh, An improved approximation for k-median, and positive correlation in budgeted optimization, SODA '15 Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms : [San Diego, California, USA, January 4 - 6, 2015] / [jointly sponsored by SIGACT (the ACM Special Interest Group on Algorithms and Computation Theory) and by the SIAM Activity Group on Discrete Mathematics. Program committee chair Piotr Indyk] / Piotr Indyk (ed.). - New York, Philadelphia : Association for Computing Machinery, Society for Industrial and Applied Mathematics, 2015. - S. 737-756. (http://dx.doi.org/10.1137/1.9781611973730.50).
    4. J. Byrka, B. Rybicki, K. Fleszar, J. Spoerhase, Bi-factor approximation algorithms for hard capacitated k-median problems, SODA '15 Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms : [San Diego, California, USA, January 4 - 6, 2015] / [jointly sponsored by SIGACT (the ACM Special Interest Group on Algorithms and Computation Theory) and by the SIAM Activity Group on Discrete Mathematics. Program committee chair Piotr Indyk] / Piotr Indyk (ed.). - New York, Philadelphia : Association for Computing Machinery, Society for Industrial and Applied Mathematics, 2015.- S. 722-736. (http://dx.doi.org/10.1137/1.9781611973730.49).
    5. J. Byrka, A. Karrenbauer, L. Sanita, The interval constrained 3-coloring problem, Theoretical Computer Science. - Vol. 593 (2015), s. 42-50. (http://dx.doi.org/10.1016/j.tcs.2015.04.037).
    6. M. Bieńkowski, J. Byrka, M. Chrobak, N. Dobbs, T. Nowicki, M. Sviridenko, G. Świrszcz, N. E. Young, Approximation algorithms for the joint replenishment problem with deadlines, Journal of Scheduling. - Vol.18, iss. 6 (2015), s. 545-560. (http://dx.doi.org/10.1007/s10951-014-0392-y).
    7. M. Bieńkowski, N. Sarrar, R. Wuttke, S. Schmid, S. Uhlig, Leveraging locality for FIB aggregation, 2014 IEEE Global Communications Conference (GLOBECOM 2014) : Austin, Texas, USA, 8 - 12 December 2014 / IEEE. - Piscataway : IEEE, 2015.- S. 1930-1935. (http://dx.doi.org/10.1109/GLOCOM.2014.7037090).
    8. M. Bieńkowski, A. Kraska, P. Schmidt, A randomized algorithm for online scheduling with interval conflicts, Structural Information and Communication Complexity : 22nd International Colloquium, Sirocco 2015, Montserrat, Spain, July 14-16, 2015 : Revised Selected Papers / Christian Schneideler (ed.). - Cham : Springer-Verlag, 2015. - (Lecture notes in computer science ; 9439).- S. 91-103. (http://dx.doi.org/10.1007/978-3-319-25258-2_7).
    9. I.R. Cohen, A. Eden, A. Fiat, Ł. Jeż, Pricing online decisions: beyond auctions, Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms : [San Diego, California, USA, January 4 - 6, 2015] / [jointly sponsored by SIGACT (the ACM Special Interest Group on Algorithms and Computation Theory) and by the SIAM Activity Group on Discrete Mathematics / Piotr Indyk (eds.). - New York, Philadelphia : Association for Computing Machinery; Society for Industrial and Applied Mathematics, 2015. - (Proceedings in applied mathematics / SIAM ; 146).- S. 73-91. (http://dx.doi.org/10.1137/1.9781611973730.7).
    10. Ł. Jeż, Y. Mansour, B. Patt-Shamir, Scheduling multipacket frames with frame deadlines, Structural Information and Communication Complexity : 22nd International Colloquium, Sirocco 2015, Montserrat, Spain, July 14-16, 2015 : Revised Selected Papers / Christian Schneideler (ed.). - Cham : Springer-Verlag, 2015. - (Lecture Notes in Computer Science ; 9439). - S. 76-90. (http://dx.doi.org/10.1007/978-3-319-25258-2_6).
    11. Ł. Jeż, C. Dürr, O.C. Vásquez, Scheduling under dynamic speed-scaling for minimizing weighted completion time and energy consumption, Discrete Applied Mathematics. - Vol. 196 (2015), s. 20-27. (http://dx.doi.org/10.1016/j.dam.2014.08.001).
    12. J. Byrka, B. Rybicki, Improved approximation algorithm for fault-tolerant facility placement, Approximation and Online Algorithms : 12th International Workshop, WAOA 2014, Wrocław, Poland, September 11-12, 2014, Revised Selected Papers / Evripidis Bampis, Ola Svensson (eds.). - Cham : Springer International Publishing, 2015. - (Lecture Notes in Computer Science ; 8952).- S. 59-70. (http://dx.doi.org/10.1007/978-3-319-18263-6_6).
    13. Ł. Jeż, N. Bansal, M. Elias, G. Koumoutsos, K. Pruhs, Tight bounds for double coverage against weak adversaries, Approximation and Online Algorithms : 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015. Revised Selected Papers / Laura Sanita, Martin Skutella (eds.). - Cham : Springer International Publishing, 2015. - (Lecture Notes in Computer Science ; 9499).- S. 47-58. (http://dx.doi.org/10.1007/978-3-319-28684-6_5).
    14. K. Paluch, Maximum ATSP with weights zero and one via half-edges, Approximation and Online Algorithms : 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015. Revised Selected Papers / Laura Sanita, Martin Skutella (eds.). - Cham : Springer International Publishing, 2015. - (Lecture Notes in Computer Science ; 9499). - S. 25-34. (http://dx.doi.org/10.1007/978-3-319-28684-6_3).
  • Publikacje Zakładu Inżynierii Oprogramowania w roku 2015

    1. Z. Płoski, Badanie danych: raport z pierwszej linii działań, Rachel Schutt, Cathy O'Neil ; tł. Zdzisław Płoski Gliwice : Wydawnictwo Helion, 2015. - 318, [18] s. : il.
    2. Z. Płoski, Od matematyki do programowania uogólnionego, A.A. Stepanov, D.E. Rose, tł. Zdzisław Płoski, Gliwice : Wydawnictwo Helion, cop. 2015. - 286 s.

  • Publikacje Zakładu Złożoności Obliczeniowej i Algorytmów w roku 2015

    1. A. Jeż, Faster fully compressed pattern matching by recompression, ACM Transactions on Algorithms. - Vol. 11, iss.3 (2015), s. article no. 20. (http://dx.doi.org/10.1145/2631920).
    2. M. Bieńkowski, J. Byrka, T. Jurdziński, K.Chrobak, D. R. Kowalski, Provable fairness for TDMA scheduling, IEEE Conference on Computer Communications, INFOCOM 2015, Kowloon, Hong Kong, April 26 - May 1, 2015, Proceedings. - Piscataway : IEEE, 2015.- S. 1320-1327. (http://dx.doi.org/10.1109/INFOCOM.2015.7218508).
    3. A. Jeż, Approximation of grammar-based compression via recompression, Theoretical Computer Science. - Vol. 592 (2015), s. 115-134. (http://dx.doi.org/10.1016/j.tcs.2015.05.027).
    4. A. Kisielewicz, J. Kowalski, M. Szykuła, Computing the shortest reset words of synchronizing automata, Journal of Combinatorial Optimization. - Vol. 29, iss. 1 (2015), s. 88-124. (http://dx.doi.org/10.1007/s10878-013-9682-0).
    5. M. Karpiński, M. Piotrów, Smaller selection networks for cardinality constraints encoding, Principles and Practice of Constraint Programming : 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings / Gilles Pesant (ed.). - Cham : Springer International Publishing , 2015. - (Lecture Notes in Computer Science ; 9255).- S. 210-225. (http://dx.doi.org/10.1007/978-3-319-23219-5_16).
    6. A. Kisielewicz, M. Szykuła, Synchronizing automata with extremal properties, Mathematical Foundations of Computer Science 2015 : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I / Giuseppe F. Italiano, Giovanni Pighizzini, Donald T. Sannella (eds.). - Berlin, Heidelberg : Springer Berlin, 2015. - (Lecture Notes in Computer Science ; 9234). - S. 331-343. (http://dx.doi.org/10.1007/978-3-662-48057-1_26).
    7. M. Berlinkov, M. Szykuła, Algebraic synchronization criterion and computing reset words, Mathematical Foundations of Computer Science 2015 : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I / Giuseppe F. Italiano, Giovanni Pighizzini, Donald T. Sannella (eds.). - Berlin, Heidelberg : Springer Berlin, 2015. - (Lecture Notes in Computer Science ; 9234).- S. 103-115. (http://dx.doi.org/10.1007/978-3-662-48057-1_8).
    8. M. Szykuła, Checking whether an automaton is monotonic is NP-complete, Implementation and Application of Automata : 20th International Conference, CIAA 2015, Umea, Sweden, August 18-21, 2015, Proceedings / Frank Drewes (ed.). - Cham : Springer International Publishing, 2015. - (Lecture Notes in Computer Science ; 9223).- S. 279-291. (http://dx.doi.org/10.1007/978-3-319-22360-5).
    9. J. Brzozowski, M. Szykuła, Complexity of suffix-free regular languages, Fundamentals of Computation Theory : 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings / Adrian Kosowski, Igor Walukiewicz (eds.). - Cham : Springer International Publishing, 2015. - (Lecture Notes in Computer Science ; 9210).- S. 146-159. (http://dx.doi.org/10.1007/978-3-319-22177-9_12).
    10. V. V. Gusev, M. Szykuła, On the number of synchronizing colorings of digraphs, Implementation and Application of Automata : 20th International Conference, CIAA 2015, Umea, Sweden, August 18-21, 2015, Proceedings / Frank Drewes (ed.). - Cham : Springer International Publishing, 2015. - (Lecture Notes in Computer Science ; 9223).- S. 127-139. (http://dx.doi.org/10.1007/978-3-319-22360-5_11).
    11. J. Brzozowski, M. Szykuła, Upper bound on syntactic complexity of suffix-free languages, Descriptional Complexity of Formal Systems : 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings / Jeffrey Shallit, Alexander Okhotin (eds.). - Cham : Springer International Publishing, 2015. - (Lecture Notes in Computer Science ; 9118).- S. 33-45. (http://dx.doi.org/10.1007/978-3-319-19225-3_3).
    12. A. Kisielewicz, J. Kowalski, Testing general game players against a Simplified Boardgames player using temporal-difference learning, 2015 IEEE Congress on Evolutionary Computation, (CEC 2015), Sendai, Japan, May 25-28, 2015, Proceedings. - Piscataway : Institute of Electrical and Electronics Engineers, 2015. - S. 1466-1473. (http://dx.doi.org/10.1109/CEC.2015.7257061).
    13. T. Jurdziński, G. Stachowiak, Deterministic symmetry breaking in ring networks, 2015 IEEE 35th International Conference on Distributed Computing Systems (ICDCS 2015) ; Columbus, Ohio, USA, 29 June - 2 July 2015. - Piscataway, NJ : IEEE, 2015.- S. 517-526. (http://dx.doi.org/10.1109/ICDCS.2015.59).
    14. T. Jurdziński, M. Różański, G. Stachowiak, On setting-up asynchronous ad hoc wireless networks, 2015 IEEE Conference on Computer Communications (INFOCOM 2015) : Kowloon, Hong Kong, 26 April - 1 May 2015. - Piscataway, NJ : IEEE, 2015. - S. 2191 - 2199. (http://dx.doi.org/10.1109/INFOCOM.2015.7218605).
    15. T. Jurdziński, G. Stachowiak, The cost of synchronizing multiple-access channels, Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing - PODC '15 . - New York : ACM , 2015.- S. 421-430. (http://dx.doi.org/10.1145/2767386.2767439).
    16. T. Jurdziński, D. R. Kowalski, K. Loryś, Online packet scheduling under adversarial jamming, Approximation and Online Algorithms : 12th International Workshop, WAOA 2014, Wrocław, Poland, September 11-12, 2014. - Cham : Springer International Publishing, 2015. - (Lecture Notes in Computer Science ; 8952). - S. 193-206. (http://dx.doi.org/10.1007/978-3-319-18263-6_17).
    17. A. Roman, M. Szykuła, Forward and backward synchronizing algorithms, Expert Systems with Applications. - Vol. 42, iss. 24 (2015), s. 9512-9527. (http://dx.doi.org/10.1016/j.eswa.2015.07.071).
    18. J. Brzozowski, M. Szykuła, Large aperiodic semigroups, International Journal of Foundations of Computer Science. - Vol. 26, iss. 07 (2015), s. 913-931. (http://dx.doi.org/10.1142/S0129054115400067).
  • Publikacje Zakładu Języków Programowania w roku 2015

    1. W. Charatonik, P. Witkowski, Two-variable logic with counting and a linear order, 24th EACSL Annual Conference on Computer Science Logic (CSL 2015) / Stephan Kreutzer (ed.). - Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015. - (LIPIcs - Leibniz International Proceedings in Informatics ; 41).- S. 631-647. (http://dx.doi.org/10.4230/LIPIcs.CSL.2015.631).
    2. M. Materzok, Easyprove: a tool for teaching precise reasoning, Proceedings of the Fourth International Conference on Tools for Teaching Logic 9-12 June 2015 / (eds.) M. Antonia Huertas et al. - Rennes : Université de Rennes, 2015.- S. 129-136. (http://ttl2015.irisa.fr/TTL2015_proceedings.pdf).
    3. D. Biernacki, O. Danvy, K. Millikin, A dynamic continuation-passing style for dynamic delimited continuations, ACM Transactions on Programming Languages and Systems . - Vol.38, iss. 1 (2015), nr art. 2. (http://dx.doi.org/10.1145/2794078).
    4. D. Biernacki, P. Polesiuk, Logical relations for coherence of effect subtyping, 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015)/ Thorsten Altenkirch (ed.). - Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015. - (LIPIcs - Leibniz International Proceedings in Informatics ; 38).- S. 107-122. (http://dx.doi.org/10.4230/LIPIcs.TLCA.2015.107).
    5. J. de Nivelle, Automated Reasoning with Analytic Tableaux and Related Methods, 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings / red. Hans de Nivelle Cham : Springer International Publishing, 2015. (http://dx.doi.org/10.1007/978-3-319-24312-2).
  • Publikacje Zakładu Metod Numerycznych w roku 2015

    1. P. Gospodarczyk, Degree reduction of Bézier curves with restricted control points area, Computer-Aided Design 62 (2015), 143-151. (http://dx.doi.org/10.1016/j.cad.2014.11.009)
    2. P. Woźny, P. Gospodarczyk, S. Lewanowicz, Efficient merging of multiple segments of Bézier curves, Applied Mathematics and Computation 268 (2015), 354-363. (http://dx.doi.org/10.1016/j.amc.2015.06.079)
    3. A. Bartkowiak, R. Zimroz, NMF and PCA as applied to gearbox fault data, Intelligent data engineering and automated learning - IDEAL 2015 : 16th international conference, Wroclaw, Poland, October 14-16, 2015 ; proceedings / Konrad Jackowski et al. (eds.). - Cham : Springer, 2015. - (Lecture Notes in Computer Science ; 9375). - S. 199-206. (http://dx.doi.org/10.1007/978-3-319-24834-9_24)
    4. A. Bartkowiak, R. Zimroz, Probabilistic principal components and mixtures, how this works, Computer Information Systems and Industrial Management : 14th IFIP TC 8 International Conference, CISIM 2015, Warsaw, Poland, September 24-26, 2015, Proceedings / Khalid Saeed, Wladyslaw Homenda (eds.). - Cham : Springer, 2015. - (Lecture Notes in Computer Science ; 9339). - S. 24-35. (http://dx.doi.org/10.1007/978-3-319-24369-6_2)
    5. W. Bożejko, M. Uchroński, M. Wodecki, Block approach to the cyclic flow shop scheduling, Computers & Industrial Engineering. - Vol. 81 (2015), s. 158-166. (http://dx.doi.org/10.1016/j.cie.2015.01.004)
    6. W. Bożejko, Ł. Kacprzak, M. Wodecki, Parallel coevolutionary algorithm for three-dimensional bin packing problem, Artificial Intelligence and Soft Computing : 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I / Leszek Rutkowski, Marcin Korytkowski, Rafal Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada (eds.) . - Cham : Springer International Publishing, 2015. - (Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence ; 9119).- S. 319-328. (http://dx.doi.org/10.1007/978-3-319-19324-3_29)
    7. W. Bożejko, S. Jagiełło, J. Pempera, M. Wodecki, Parallel cost function determination on GPU for the vehicle routing problem, Artificial Intelligence and Soft Computing : 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II / Leszek Rutkowski, Marcin Korytkowski, Rafal Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek Zurada (eds.). - Cham : Springer International Publishing, 2015. - (Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence ; 9120).- S. 778-788. (http://dx.doi.org/10.1007/978-3-319-19369-4_69)
    8. W. Bożejko, Ł. Kacprzak, M. Wodecki, Parallel packing procedure for three dimensional bin packing problem, 2015 20th International Conference on Methods and Models in Automation and Robotics (MMAR) : 24 - 27 Aug. 2015, Miedzyzdroje, Poland. - Piscataway : IEEE, 2015.- S. 1122 - 1126. (http://dx.doi.org/10.1109/MMAR.2015.7284036)
    9. W. Bożejko, J. Pempera, M. Wodecki, Parallel simulated annealing algorithm for cyclic flexible job shop scheduling problem, Artificial Intelligence and Soft Computing : 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II / Leszek Rutkowski, Marcin Korytkowski, Rafal Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek Zurada (eds.). - Cham : Springer International Publishing, 2015. - (Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence ; 9120).- S. 603-612. (http://dx.doi.org/10.1007/978-3-319-19369-4_53)
    10. W. Bożejko, A. Gnatowski, M. Wodecki, Równoległy algorytm przeszukiwania z zabronieniami dla cyklicznego problemu gniazdowego, Innowacje w zarządzaniu i inżynierii produkcji. T.2 / pod red. Ryszarda Knosali. - Opole : Oficyna Wydawnicza Polskiego Towarzystwa Zarządzania Produkcją, 2015.- S. 622-632. (http://www.ptzp.org.pl/files/konferencje/kzz/artyk_pdf_2015/T2/t2_0622.pdf)
    11. W. Bożejko, P. Rajba, M. Wodecki, Stochastyczny problem przepływowy z terminami zakończenia operacji, Innowacje w zarządzaniu i inżynierii produkcji. T.2 / pod red. Ryszarda Knosali. - Opole : Oficyna Wydawnicza Polskiego Towarzystwa Zarządzania Produkcją, 2015.- S. 633-644. (http://www.ptzp.org.pl/files/konferencje/kzz/artyk_pdf_2015/T2/t2_0633.pdf)
  • Publikacje Zakładu Metod Numerycznych w roku 2014

    1. A. Bartkowiak, R. Zimroz, Dimensionality reduction via variables selection: linear and nonlinear approaches with application to vibration-based condition monitoring of planetary gearbox, Applied Acoustics. - Vol. 77 (2014), s. 169-177. (http://dx.doi.org/10.1016/j.apacoust.2013.06.017).
    2. W. Bożejko, M. Karpiński, M. Pacut, M. Wodecki, Multi-GPU parallel memetic algorithm for capacitated vehicle routing problem, Parallel Processing and Applied Mathematics : 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part 2 / Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wasniewski (eds.). - Berlin : Springer Berlin, 2014. - (Lecture Notes in Computer Science ; 8385).- S. 207-214. (http://dx.doi.org/10.1007/978-3-642-55195-6_19).
    3. P. Woźny, Construction of dual B-spline functions, Journal of Computational and Applied Mathematics. - Vol. 260 (2014), s. 301-311. (http://dx.doi.org/10.1016/j.cam.2013.10.003).
    4. W. Bożejko, Z. Hejducki, M. Uchroński, M. Wodecki, Solving resource-constrained construction scheduling problems with overlaps by metaheuristic, Journal of Civil Engineering and Management, Taylor & Francis, 2014, Volume 20(5), 649-659.
    5. W. Bożejko, Ł. Gniewkowski, J. Pempera, M. Wodecki, Cyclic hybrid flow-shop scheduling problem with machine setups, Procedia Computer Science Volume 29, Elsevier (2014), 2127-2136.
    6. W. Bożejko, P. Rajba, M. Wodecki, Scheduling problem with uncertain parameters in Just in Time system, Lecture Notes in Artificial Intelligence No. 8468, Springer (2014), 456-467.
    7. W. Bożejko, Ł. Gniewkowski, M. Wodecki, Solving timetabling problems on GPU, Lecture Notes in Artificial Intelligence No. 8468, Springer (2014), 445-455.
    8. W. Bożejko, M. Uchroński, M. Wodecki, Multi-GPU Tabu Search Metaheuristic for the Flexible Job Shop Scheduling Problem, Advanced Methods and Applications in Computational Intelligence (R. Klempous, J. Nikodem, Z. Chaczko, eds.), Topics in Intelligent Engineering and Informatics series Vol. 6 (2014), ISBN 978-3-319-01435-7, Springer, 43-60.
    9. W. Bożejko, P. Rajba, M. Wodecki, Stable scheduling with random processing times, Advanced Methods and Applications in Computational Intelligence (R. Klempous, J. Nikodem, Z. Chaczko, eds.), Topics in Intelligent Engineering and Informatics series Vol. 6 (2014), ISBN 978-3-319-01435-7, Springer, 61-77.
    10. W. Bożejko, Z. Hejducki, M. Uchroński, M. Wodecki, Analiza harmonogramów powykonawczych w budownictwie, Innowacje w Zarządzaniu i Inżynierii Produkcji (red. R. Knosala), Oficyna Wydawnicza Polskiego Towarzystwa Zarządzania Produkcją, Opole 2014, 474-483.
    11. W. Bożejko, Ł. Kacprzak, M. Wodecki, Cykliczny problem przepływowy z przezbrojeniami maszyn, Innowacje w Zarządzaniu i Inżynierii Produkcji(red. R. Knosala), Oficyna Wydawnicza Polskiego Towarzystwa Zarządzania Produkcją, Opole 2014, 484-493.
    12. W. Bożejko, Ł. Kacprzak, M. Wodecki, Równoległe algorytmy populacyjne dla trójwymiarowego problemu pakowania, Innowacje w Zarządzaniu i Inżynierii Produkcji (red. R. Knosala), Oficyna Wydawnicza Polskiego Towarzystwa Zarządzania Produkcją, Opole 2014, 494-506.
    13. W. Bożejko, M. Karpiński, M. Pacut, M. Wodecki, Multi-GPU Parallel Memetic Algorithm for Capacitated Vehicle Routing Problem, Lecture Notes in Computer Science No. 8386, Springer (2014), 207-214.
    14. W. Bożejko, Ł. Gniewkowski, M. Wodecki, Równoległy algorytm memetyczny dla problemu układania planu zajęć, Automatyzacja procesów dyskretnych, Teoria i zastosowania (red. A. Świerniak, J. Krystek), Gliwice 2014, ISBN 978-83-62652-67-9, 17-26.
    15. W. Bożejko, M. Wodecki, Problemy cykliczne z równoległymi maszynami, Automatyzacja procesów dyskretnych, Teoria i zastosowania (red. A. Świerniak, J. Krystek), Gliwice 2014, ISBN 978-83-62652-67-9, 27-36.
  • Publikacje Zakładu Języków Programowania w roku 2014

    1. W. Charatonik, E. Kieroński, F. Mazowiecki, Decidability of Weak Logics with Deterministic Transitive Closure, CSL-LICS 2014. Vienna, Austria, July 14 - 18, 2014. Proceedings, pp. 29:1--29:10. (http://dl.acm.org/citation.cfm?doid=2603088.2603134).
    2. D. Biernacki, S. Lenglet, Applicative Bisimilarities for Call-by-Name and Call-by-Value Lambda-Mu-Calculus, In Bart Jacobs, Alexandra Silva, and Sam Staton, editors, Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXX), pp. 49-64, Ithaca, NY, June 2014. ENTCS 308, 2014. Elsevier. (http://www.sciencedirect.com/science/article/pii/S1571066114000711).
    3. J. de Nivelle, Theorem Proving for Logic with Partial Functions Using Kleene Logic and Geometric Logic, workshop Automated Reasoning in Quantified Non-Classical Logics (ARQNL) 2014, edited by Christoph Benzmüller and Jens Otten, pages 71-85, published by VSL Workshop Proceedings.
    4. J. de Nivelle, Theorem Proving for Classical Logic with Partial Functions by Reduction to Kleene Logic, Journal of Logic and Computation, Oxford University Press, 2014.
  • Publikacje Zakładu Złożoności Obliczeniowej i Algorytmów w roku 2014

    1. P. Gawrychowski, Ł. Jeż, A. Jeż, Validating the Knuth-Morris-Pratt failure function, fast and online, Theory of Computing Systems. - Vol. 54, iss. 2 (2014), s. 337-372. (http://dx.doi.org/10.1007/s00224-013-9522-8).
    2. A. Jeż, M. Lohrey, Approximation of smallest linear tree grammar, 31st International Symposium on Theoretical Aspects of Computer Science (STACS 2014) / Ernst W. Mayr, Natacha Portier (eds.). - Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014. - (LIPIcs - Leibniz International Proceedings in Informatics ; 25). - S. 445-457. (http://dx.doi.org/10.4230/LIPIcs.STACS.2014.445).
    3. A. Jeż, The complexity of compressed membership problems for finite automata, Theory of Computing Systems. - Vol.55, iss. 4 (2014), s. 685-718. (http://dx.doi.org/10.1007/s00224-013-9443-6).
    4. A. Jeż, Context unification is in PSPACE, Automata, languages, and programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings. Part II / Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias (eds.). - Berlin, Heidelberg : Springer, 2014. - (Lecture Notes in Computer Science ; 8573). - S. 244-255. (http://dx.doi.org/10.1007/978-3-662-43951-7_21).
    5. A. Jeż, V. Diekert, W. Plandowski, Finding all solutions of equations in free groups and monoids with involution, Computer science - theory and applications : 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014 : proceedings / Edward A. Hirsch, Sergei O. Kuznetsov, Jean-Eric Pin, Nikolay K. Vereshchagin (eds.). - Cham : Springer, 2014. - (Lecture Notes in Computer Science ; 8476).- S. 1-15. (http://dx.doi.org/10.1007/978-3-319-06686-8_1).
    6. A. Jeż, A really simple approximation of smallest grammar, Combinatorial Pattern Matching : 25th Annual Symposium, CPM 2014, Moscow, Russia, June 16-18, 2014. Proceedings / Alexander S. Kulikov, Sergei O. Kuznetsov, Pavel Pevzner (eds.). - Cham : Springer, 2014. - (Lecture Notes in Computer Science ; 8486).- S. 182-191. (http://dx.doi.org/10.1007/978-3-319-07566-2_19).
    7. W. Bożejko, M. Karpiński, M. Pacut, M. Wodecki, Multi-GPU parallel memetic algorithm for capacitated vehicle routing problem, Parallel Processing and Applied Mathematics : 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part 2 / Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wasniewski (eds.). - Berlin : Springer Berlin, 2014. - (Lecture Notes in Computer Science ; 8385).- S. 207-214. (http://dx.doi.org/10.1007/978-3-642-55195-6_19).
    8. J. Brzozowski, M. Szykuła, Upper Bounds on Syntactic Complexity of Left and Two-Sided Ideals, In Developments in Language Theory (DLT 2014), volume 8633 of LNCS, pages 13-24.
    9. J. Brzozowski, M. Szykuła, Large Aperiodic Semigroups, In Implementation and Application of Automata (CIAA 2014), volume 8587 of LNCS, pages 124-135, 2014.
    10. A. Jeż, A. Okhotin, Computational completeness of equations over sets of natural numbers, Information and Computation 237 (2014), 56-94. (http://www.sciencedirect.com/science/article/pii/S0890540114000637)
    11. J. Kowalski, Embedding a Card Game Language into a General Game Playing Language, Frontiers in Artificial Intelligence and Applications Volume 264: STAIRS 2014, 161 - 170. (http://ebooks.iospress.nl/volumearticle/37205).
    12. W. Bożejko, M. Karpiński, M. Pacut, M. Wodecki, Multi-GPU Parallel Memetic Algorithm for Capacitated Vehicle Routing Problem, Lecture Notes in Computer Science No. 8386, Springer (2014), 207-214.
    13. T. Jurdziński, D. Kowalski, M. Różański, G. Stachowiak, On the Impact of Geometry on Ad Hoc Communication in Wireless Networks, 33rd ACM Symposium on Principles of Distributed Computing, PODC 2014, wydane w Proceedings of the 2014 ACM symposium on Principles of distributed computing, 2014, st. 357-366. (http://dl.acm.org/citation.cfm?doid=2611462.2611487).
  • Publikacje Zakładu Inżynierii Oprogramowania w roku 2014

    1. Z. Płoski, Kontrola wersji z systemem Git: narzędzia i techniki programistów, Jon Loeliger, Matthew McCullough ; [tł. Zdzisław Płoski] Gliwice : Helion, cop. 2014. - 422, [2] s.
    2. W. Bożejko, P. Rajba, M. Wodecki, Scheduling problem with uncertain parameters in Just in Time system, Lecture Notes in Artificial Intelligence No. 8468, Springer (2014), 456-467.
    3. W. Bożejko, P. Rajba, M. Wodecki, Stable scheduling with random processing times, Advanced Methods and Applications in Computational Intelligence (R. Klempous, J. Nikodem, Z. Chaczko, eds.), Topics in Intelligent Engineering and Informatics series Vol. 6 (2014), ISBN 978-3-319-01435-7, Springer, 61-77.
  • Publikacje Zakładu Optymalizacji Kombinatorycznej w roku 2014

    1. P. Gawrychowski, Ł. Jeż, A. Jeż, Validating the Knuth-Morris-Pratt failure function, fast and online, Theory of Computing Systems. - Vol. 54, iss. 2 (2014), s. 337-372. (http://dx.doi.org/10.1007/s00224-013-9522-8).
    2. W. Bożejko, M. Karpiński, M. Pacut, M. Wodecki, Multi-GPU parallel memetic algorithm for capacitated vehicle routing problem, Parallel Processing and Applied Mathematics : 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part 2 / Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wasniewski (eds.). - Berlin : Springer Berlin, 2014. - (Lecture Notes in Computer Science ; 8385).- S. 207-214. (http://dx.doi.org/10.1007/978-3-642-55195-6_19).
    3. M. Bieńkowski, J. Byrka, Ł. Jeż, M. Chrobak, D. Nogneng, J. Sgall, Better Approximation Bounds for the Joint Replenishment Problem, Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, 42-54. (http://epubs.siam.org/doi/pdf/10.1137/1.9781611973402.4).
    4. M. Bieńkowski, N. Sarrar, S. Schmid, S. Uhlig, Competitive FIB Aggregation without Update Churn, IEEE 34th International Conference on Distributed Computing Systems, ICDCS 2014, Madrid, Spain, June 30 - July 3, 2014. IEEE 2014 strony 607-616.
    5. M. Bieńkowski, A. Feldmann, J. Grassler, G. Schaffrath, S. Schmid, The Wide-Area Virtual Service Migration Problem: A Competitive Analysis Approach, IEEE/ACM Transactions on Networking, Volume 22, Number 1, February 2014 strony 165-178.
    6. M. Bieńkowski, An Optimal Lower Bound for Buffer Management in Multi-Queue Switches, Algorithmica, Volume 68, Number 1, January 2014 strony 426-447.
    7. W. Bożejko, M. Karpiński, M. Pacut, M. Wodecki, Multi-GPU Parallel Memetic Algorithm for Capacitated Vehicle Routing Problem, Lecture Notes in Computer Science No. 8386, Springer (2014), 207-214.
    8. J. Byrka, K. Sornat, PTAS for Minimax Approval Voting, The 10th Conference on Web and Internet Economics, WINE 2014, Pekin, Chiny, Lecture Notes in Computer Science, Vol. 8877 (2014), ISBN 978-3-319-13128-3, Springer, strony 203-217. (http://link.springer.com/chapter/10.1007/978-3-319-13129-0_15).
    9. K. Paluch, Faster and Simpler Approximation of Stable Matchings, Algorithms 2014, 7(2), 189-202. (http://dx.doi.org/10.3390/a7020189).
    10. K. Paluch, Popular and clan-popular b-matchings, Theoretical Computer Science 544: 3-13 (2014). (http://dx.doi.org/10.1016/j.tcs.2014.04.017).
  • Publikacje Zakładu Teorii Informatyki i Baz Danych w roku 2014

    1. T. Gogacz, K. Krupiński, On regular groups and fields, Journal of Symbolic Logic. - Vol. 79, iss. 3 (2014), s. 826-844. (http://dx.doi.org/10.1017/jsl.2013.17).
    2. E. Kieroński, A. Kuusisto, Complexity and Expressivity of Uniform One-Dimensional Fragment with Equality, MFCS 2014. Budapest, Hungary, August 26-29, 2014. Proceedings, Part I, LNCS 8634, pp. 365--376. (http://link.springer.com/chapter/10.1007%2F978-3-662-44522-8_31).
    3. W. Charatonik, E. Kieroński, F. Mazowiecki, Decidability of Weak Logics with Deterministic Transitive Closure, CSL-LICS 2014. Vienna, Austria, July 14 - 18, 2014. Proceedings, pp. 29:1--29:10. (http://dl.acm.org/citation.cfm?doid=2603088.2603134).
    4. E. Kieroński, J. Michaliszyn, I. Pratt-Hartmann, L. Tendera, Two-variable First-order Logic with Equivalence Closure, SIAM Journal on Computing, Volume 43, Issue 3, 2014, pp. 1012--1063. (http://epubs.siam.org/doi/abs/10.1137/120900095).
    5. T. Gogacz, M. Bojańczyk, H. Michalewski, M. Skrzypczak, On the decidability of MSO+U on infinite trees, Proceedings - International Colloquium on Automata, Languages, and Programming - 2014, s. 50-61.
    6. T. Gogacz, J. Marcinkowski, All-Instances Termination of Chase is Undecidable, Proceedings - International Colloquium on Automata, Languages, and Programming - 2014, s. 293-304.
    7. T. Gogacz, H. Michalewski, M. Mio, M. Skrzypczak, Measure Properties of Game Tree Languages, Proceedings - Mathematical Foundations of Computer Science - 2014, s. 303-314.
    8. T. A. Henzinger, J. Otop, Model measuring for hybrid systems, 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, ACM, 2014, str. 213-222. (http://dl.acm.org/citation.cfm?doid=2562059.2562130).
    9. J. Otop, T. A. Henzinger, S. Roopsha, Lipschitz Robustness of Finite-state Transducers, 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, LIPIcs, 2014, str. 431-443. (http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2014.431).
    10. S. Staworko, P. Wieczorek, Characterizing XML Twig Queries with Examples, 18th International Conference on Database Theory (ICDT'15). Leibniz International Proceedings in Informatics Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany. (http://www.ii.uni.wroc.pl/~piotrek/paper.php?p=icdt15)
    11. J. Marcinkowski, J. Michaliszyn, The Undecidability of the Logic of Subintervals, Fundamenta Informaticae. 131(2): 217-240, 2014. (http://dx.doi.org/10.3233/FI-2014-1011).
  • Publikacje Zakładu Inteligencji Obliczeniowej w roku 2014

    1. P. Filipiak, P. Wnuk-Lipiński, E. Brzychczy, R. Zimroz, Artificial Immune Systems for Data Classification in Planetary Gearboxes Condition Monitoring, Advances in Condition Monitoring of Machinery in Non-Stationary Operations, Lecture Notes in Mechanical Engineering, Springer, 2014, pp. 235-247. (http://dx.doi.org/10.1007/978-3-642-39348-8_20).
    2. P. Wnuk-Lipiński, Training Complex Decision Support Systems with Differential Evolution Enhanced by Locally Linear Embedding, Applications of Evolutionary Computation, Lecture Notes in Computer Science, vol. 8602, Springer, 2014, pp. 125-137. (http://dx.doi.org/10.1007/978-3-662-45523-4_11).
    3. A. Brabazon, P. Wnuk-Lipiński, Pattern Mining in Ultra-High Frequency Order Books with Self-Organizing Maps, Applications of Evolutionary Computation, Lecture Notes in Computer Science, vol. 8602, Springer, 2014, pp. 288-298. (http://dx.doi.org/10.1007/978-3-662-45523-4_24).
    4. P. Filipiak, P. Wnuk-Lipiński, Infeasibility Driven Evolutionary Algorithm with Feed-Forward Prediction Strategy for Dynamic Constrained Optimization Problems, Applications of Evolutionary Computation, Lecture Notes in Computer Science, vol. 8602, Springer, 2014, pp. 817-828. (http://dx.doi.org/10.1007/978-3-662-45523-4_66).
    5. P. Wnuk-Lipiński, Optimizing Objective Functions with Non-Linearly Correlated Variables Using Evolution Strategies with Kernel-Based Dimensionality Reduction, Hybrid Artificial Intelligence Systems, Lecture Notes in Computer Science, vol. 8480, 2014, Springer, pp. 342-353. (http://dx.doi.org/10.1007/978-3-319-07617-1_31).
    6. P. Filipiak, K. Michalak, P. Wnuk-Lipiński, Multiobjective Dynamic Constrained Evolutionary Algorithm for Control of a Multi-segment Articulated Manipulator, Intelligent Data Engineering and Automated Learning, Lecture Notes in Computer Science, vol. 8669, 2014, pp. 199-206. (http://dx.doi.org/10.1007/978-3-319-10840-7_25).
    7. P. Filipiak, P. Wnuk-Lipiński, Univariate Marginal Distribution Algorithm with Markov Chain Predictor in Continuous Dynamic Environments, Intelligent Data Engineering and Automated Learning, Lecture Notes in Computer Science, vol. 8669, 2014, pp. 404-411. (http://dx.doi.org/10.1007/978-3-319-10840-7_49).
    8. J. Chorowski, P. Filipiak, K. Michalak, P. Wnuk-Lipiński, A. Łańcucki, Continuous Population-Based Incremental Learning with Mixture Probability Modeling for Dynamic Optimization Problems, Intelligent Data Engineering and Automated Learning, Lecture Notes in Computer Science, vol. 8669, 2014, pp. 457-464. (http://dx.doi.org/10.1007/978-3-319-10840-7_55).
    9. J. Chorowski, J. Wang, J.M. Zurada, Review and performance comparison of SVM- and ELM-based classifiers, Neurocomputing 128, 507-516. (http://dx.doi.org/10.1016/j.neucom.2013.08.009).
    10. J. Chorowski, J.M. Zurada, Learning Understandable Neural Networks With Nonnegative Weight Constraints, Transactions on Neural Networks and Learning Systems PP, 1-1. (http://dx.doi.org/doi:10.1109/TNNLS.2014.2310059).
    11. S. Dey, U. Maulik, S. Bhattacharyya, I. Saha, Multi-level Thresholding using Quantum Inspired Meta-heuristics, Knowledge-Based Systems, Vol. 67, pp. 373-400, 2014. (http://dx.doi.org/10.1016/j.knosys.2014.04.006).
    12. A. Faleńska, A. Björkelund, Ö. Cetinoglu, R. Farkas, T. Mueller, W. Seeker, Z. Szántó, Introducing the IMS-Wrocław-Szeged-CIS entry at the SPMRL 2014 Shared Task: Reranking and Morpho-syntax meet Unlabeled, Proceedings of the First Joint Workshop on Statistical Parsing of Morphologically Rich Languages and Syntactic Analysis of Non-Canonical Languages. (http://www.aclweb.org/anthology/W14-6110).
  • Publikacje Pracowników niezależnych w roku 2014

    1. A. B. Kwiatkowska, M. M. Sysło, Informatyka w edukacji: informatyka dla wszystkich od najmłodszych lat, Toruń: Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika, 2014. - 344, [9] s.
    2. M. M. Sysło, The First 25 Years of Computers in Education in Poland: 1965-1990, in: A. Tatnall, B. Davey (eds.), History of Comoputers in Education, IFIP AICT 424, Springer-Verlag 2014, 266-290.
    3. A. B. Kwiatkowska, M. M. Sysło, Introducing Students to Recursion: A Multi-facet and Multi-tool Approach, in: Y. Gulbahar, E. Karatas (eds.), ISSEP 2014, LNCS 8730, Springer-Verlag 2014, 124-137.
    4. A. B. Kwiatkowska, M. M. Sysło, Think logarithmically!, in: T. Brinda, N. Reynolds, R. Romeike (eds.), KEYCIT 2014 - Key Competencies in Informatics and ICT, Commentarii informaticae didactisae, 2014, 232-237.
    5. A. B. Kwiatkowska, M. M. Sysło, Learning Mathematics Supported by Computational Thinking, in: G. Futschek, C. Kynigos (eds.), Constructionism and Creativity, Oesterreichische Computer Gesellschaft, Vienna 2014, 258-268.
    6. A. B. Kwiatkowska, M. M. Sysło, Myśl logarytmicznie!, Delta, 12, 2014, 10-13.
    7. A. B. Kwiatkowska, M. M. Sysło, Myślenie komputacyjne. Nowe spojrzenie na kompetencje informatyczne, Informatyka w Edukacji, XI, Wydawnictwo UMK Toruń, 2014, 15-32.
  • Publikacje Zakładu Metod Numerycznych w roku 2013

    1. P. Woźny, Construction of dual bases, Journal of Computational and Applied Mathematics 245 (2013), 75-85. (http://dx.doi.org/10.1016/j.cam.2012.12.007).
    2. S. Lewanowicz, R. Nowak, P. Woźny, Structure relations for the bivariate big q-Jacobi polynomials, Applied Mathematics and Computation 219 (2013), 8790-8802. (http://dx.doi.org/10.1016/j.amc.2013.02.059).
    3. A. Bartkowiak, R. Zimroz, Efficacy of some primary discriminant functions in diagnosing planetary gearboxes, Computer Information Systems and Industrial Management : 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013 : Proceedings / Khalid Saeed, Rituparna Chaki, Agostino Cortesi, Sławomir Wierzchoń (eds.). - Berlin, Heidelberg : Springer, 2013. - (Lecture Notes in Computer Science ; 8104). - S. 24-35. (http://dx.doi.org/10.1007/978-3-642-40925-7_3).
    4. A. Bartkowiak, R. Zimroz, Two simple multivariate procedures for monitoring planetary gearboxes in non-stationary operating conditions, Mechanical Systems and Signal Processing. - Vol. 38, iss. 1 (2013), s. 237-247. (http://dx.doi.org/10.1016/j.ymssp.2012.03.022).
    5. P. Woźny, A short note on Jacobi-Bernstein connection coefficients, Applied Mathematics and Computation. - Vol.222 (2013), s. 53-57. (http://dx.doi.org/10.1016/j.amc.2013.07.029).
    6. W. Bożejko, M. Uchroński, M. Wodecki, Parallel neuro-tabu search algorithm for the job shop scheduling problem, Proceedings of ICAISC 2013, Springer 2013- (Lecture Notes in Artificial Intelligence Vol. 7895), s. 489-499. (http://dx.doi.org/10.1007/978-3-642-38610-7_45).
    7. W. Bożejko, M. Uchroński, Z. Hejducki, M. Rogalska, M. Wodecki, Harmonogramowanie zintegrowanego systemu transportu i montażu kompozytowych elementów mostowych w systemie Just In Time, Przegląd Budowlany 2/2013, s. 39-44, ISSN 0033-2038.
    8. W. Bożejko, Z. Hejducki, M. Uchroński, M. Wodecki, Zintegrowany proces transportu i montażu obiektu, Innowacje w zarządzaniu i inżynierii produkcji (red. R. Knosala), Oficyna Wydawnicza Polskiego Towarzystwa Zarządzania Produkcją, Opole 2013, ISBN 978-83-930399-5-1, 273-285.
    9. W. Bożejko, M. Uchroński, M. Wodecki, Równoległy algorytm neuro-tabu dla problemu gniazdowego szeregowania zadań, Innowacje w zarządzaniu i inżynierii produkcji (red. R. Knosala), Oficyna Wydawnicza Polskiego Towarzystwa Zarządzania Produkcją, Opole 2013, ISBN 978-83-930399-5-1, 537-547.
    10. W. Bożejko, Z. Hajducki, M. Uchroński, M. Wodecki, Scheduling of composite bridge components transportation in Just in Time system, Preprints of the IFAC Conference on Manufacturing Modeling, Management, and Control (MIM2013), 2013, 2146-2150.
  • Publikacje Zakładu Języków Programowania w roku 2013

    1. M. Biernacka, D. Biernacki, W. Jedynak, An operational foundation for the tactic language of Coq, Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming : Madrid, Spain, September 16-18, 2013. - New York : ACM , 2013.- S. 25-36. (http://dx.doi.org/10.1145/2505879.2505890).
    2. W. Charatonik, E. Kieroński, S. Benaim, M. Benedikt, R. Lenhardt, F. Mazowiecki, J. Worrell, Complexity of two-variable logic on finite trees, Automata, languages, and programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8 - 12, 2013, Part II / Fedor V. Fomin, Rusinš Freivalds, Marta Kwiatkowska, David Peleg (eds.). - Berlin, Heidelberg : Springer, 2013. - (Lecture Notes in Computer Science ; Vol. 7966). - S. 74-88. (http://dx.doi.org/10.1007/978-3-642-39212-2_10).
    3. W. Charatonik, P. Witkowski, Two-variable logic with counting and trees, 28th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS), 2013 : 25 - 28 June 2013, New Orleans, Louisiana. - Piscataway : IEEE Computer Society, 2013. - S. 73-82. (http://doi.ieeecomputersociety.org/10.1109/LICS.2013.12).
    4. M. Materzok, Axiomatizing subtyped delimited continuations, Computer Science Logic 2013 (CSL 2013) / Simona Ronchi Della Rocca (ed.). - Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013. - (LIPIcs - Leibniz International Proceedings in Informatics ; Vol.23).- S. 521-539. (http://dx.doi.org/10.4230/LIPIcs.CSL.2013.521).
    5. M. Biernacka, D. Biernacki, S. Lenglet, M. Materzok, Proving termination of evaluation for System F with control operators, Electronic Proceedings in Theoretical Computer Science. - Vol. 127 (2013), s. 15-29. (http://dx.doi.org/10.4204/EPTCS.127.2).
    6. A. Barecka, W. Charatonik, Parameterized complexity of basic decision problems for tree automata, International Journal of Computer Mathematics. - Vol. 90, iss. 6 (2013), s. 1150-1170. (http://dx.doi.org/10.1080/00207160.2012.762451).
    7. D. Biernacki, S. Lenglet, Environmental Bisimulations for Delimited-Control Operators, Proceedings of the 11th Asian Symposium on Programming Languages and Systems (APLAS 2013), pp., Melbourne, Australia, Springer, 2013. - (Lecture Notes in Computer Science ; Vol. 8301). - S. 333-348. (http://dx.doi.org/ 10.1007/978-3-319-03542-0_24).
  • Publikacje Pracowni Grafiki Komputerowej w roku 2013

    W. Tarnawski, V. Kurtcuoglu, P. Lorek, M. Bodych, J. Rotter, M. Muszkieta, D. Poulikakos, M. Majkowski, A. Ferrari, Ł. Piwowar, A robust algorithm for segmenting and tracking clustered cells in time-lapse fluorescent microscopy, IEEE Journal of Biomedical and Health Informatics. - Vol. 17, iss. 4 (2013), s. 862 - 869. (http://dx.doi.org/10.1109/JBHI.2013.2262233).

  • Publikacje Zakładu Metod Numerycznych w roku 2012

    1. P. Keller, S. Lewanowicz, P. Woźny, Polynomial approximation of rational Bezier curves with constraints, Numerical Algorithms 59 (2012), 607-622. (http://dx.doi.org/10.1007/s11075-011-9507-0).
    2. P. Keller, A practical algorithm for computing Cauchy principal value integrals of oscillatory functions, Applied Mathematics and Computation 218 (2012), 4988-5001. (http://dx.doi.org/10.1016/j.amc.2011.10.064).
    3. P. Woźny, Simple algorithms for computing the Bezier coefficients of the constrained dual Bernstein polynomials, Applied Mathematics and Computation 219 (2012), 2521-2525. (http://dx.doi.org/10.1016/j.amc.2012.08.087 ).
    4. R. Nowak, A method of convergence acceleration of some continued fractions II, Numerical Algorithms, 64(4), 2013. (http://link.springer.com/article/10.1007/s11075-012-9642-2).
    5. W. Bożejko, Z. Hejducki, M. Uchroński, M. Wodecki, System wspomagania harmonogramowania przedsięwzięć budowlanych, Innowacje w zarządzaniu i inżynierii produkcji (red. R. Knosala), Oficyna Wydawnicza Polskiego Towarzystwa Zarządzania Produkcją, Opole 2012, RK.
    6. W. Bożejko, M. Uchroński, M. Wodecki, Elastyczny problem gniazdowy - równoległy algorytm przeszukiwania z tabu dla multi-GPU, Automatyzacja Procesów Dyskretnych, Teoria i zastosowania (red. A. Świerniak, J. Krystek), Tom I, Gliwice (2012), 15-22, RK.
    7. W. Bożejko, M. Uchroński, M. Wodecki, Wielomaszynowy problem szeregowania zadań z przezbrojeniami, Automatyzacja Procesów Dyskretnych, Teoria i zastosowania (red. A. Świerniak, J. Krystek), Tom I, Gliwice (2012), 23-31, RK.
    8. W. Bożejko, Z. Hejducki, M. Wodecki, Harmonogramowanie robót budowlanych, Optymalizacja dyskretna w informatyce, automatyce i robotyce, (red. W.Bożejo, J.Pempera), Wydawnictwo Politechniki Wrocławskiej, Wrocław 2012, 195-219, RK.
    9. M. Uchroński, M. Wodecki, Elastyczne systemy produkcyjne, Optymalizacja dyskretna w informatyce, automatyce i robotyce, (red. W.Bożejo, J.Pempera), Wydawnictwo Politechniki Wrocławskiej, Wrocław 2012, 221-255, RK.
    10. A. Bartkowiak, R. Zimroz, Multidimensional data analysis for condition monitoring: features selection and data classification, CM 2012 / MFPT 2012 - The Ninth International Conference on Condition Monitoring and Machinery Failure Prevention Technologies. Electronic Proceedings, [CD-ROM], Paper 402, pp. 1-12. ISBN 978-1-901892-36-9. Publisher: Coxmoor Publishing Co., Oxfordshire, 2012, RK.
    11. A. Bartkowiak, R. Zimroz, Curvilinear component analysis in search of dimensionality and structure of some gearbox data, Proceedings of the Federated Conference on Computer Science and Information Systems - FedCSIS 2012, September 9 - 12, 2012, Wroclaw, Poland / M. Ganzha, L. Maciaszek, M. Paprzycki, (eds). - Warszawa : Polskie Towarzystwo Informatyczne, 2012.- S. 27-34. (http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6330483).
    12. A. Bartkowiak, R. Zimroz, Data dimension reduction and visualization with application to multi-dimensional gearbox diagnostics data: comparison of several methods, Solid State Phenomena. - Vol. 180 (2012), s. 177-184. (http://www.dx.doi.org/10.4028/www.scientific.net/SSP.180.177).
    13. A. Bartkowiak, R. Zimroz, Curvilinear dimensionality reduction of data for gearbox condition monitoring, Przeglad Elektrotechniczny . - R. 88, nr 10b (2012), s. 268-271. (http://pe.org.pl/issue.php?lang=0).
    14. W. Bożejko, S. Jagiełło, M. Wodecki, A survey of parallel local search methods application in scheduling and logistics, Proceedings of the International Conference on ICT Management for Global Competitiveness and Economic Growth in Emerging Economies ICTM 2012, 214-232, RK.
    15. W. Bożejko, Z. Hejducki, M. Wodecki, Applying metaheuristic strategies in construction projects management, Journal of Civil Engineering and Management, Taylor & Francis, (2012) Volume 18(5), 621-630, RF.
    16. W. Bożejko, M. Uchroński, M. Wodecki, Parallel Cost Function Determination on GPU for the Job Shop Scheduling Problem, Proceedings of PPAM 2011, Lecture Notes in Computer Science No. 7204, Springer (2012), 1-10,RK.
    17. W. Bożejko, M. Uchroński, M. Wodecki, Solving the Flexible Job Shop Problem on Multi-GPU, Proceedings of ICCS 2012, Procedia Computer Science, Elsevier, 9 (2012) 2020 - 2023, RK.
    18. W. Bożejko, M. Uchroński, M. Wodecki, Solving the flexible job shop problem on GPU, Proceedings of ICAISC 2012, Lecture Notes in Artificial Intelligence No. 7268, Springer (2012), 387-394, RK.
    19. W. Bożejko, M. Uchroński, M. Wodecki, Fast parallel cost function calculation for the flow shop scheduling problem, Proceedings of ICAISC 2012, Lecture Notes in Artificial Intelligence No. 7268, Springer (2012), 378-386, RK.
    20. W. Bożejko, M. Uchroński, M. Wodecki, Multi-machine scheduling problem with setup limes, Archives of Control Sciences, Volume 22(LVIII), No. 4, 2012, R.
    21. W. Bożejko, M. Uchroński, M. Wodecki, Flexible job shop problem - parallel tabu serach algorithm for multi-GPU, Archives of Control Sciences, Volume 22(LVIII), No. 4, 2012, R.
    22. W. Bożejko, Z. Hejducki, P. Rajba, M. Wodecki, Algorytm memetyczny dla pewnego problemu potokowego w budownictwie, Innowacje w zarządzaniu i inżynierii produkcji (red. R. Knosala), Oficyna Wydawnicza Polskiego Towarzystwa Zarządzania Produkcją, Opole 2012, 251-262, RK.
    23. W. Bożejko, P. Rajba, M. Wodecki, Arrangement Algorithms Stability with Probabilistic Parameters of Tasks, Proceedings of APCAST 2012, 14th International Asia Pacific Conference on Computer Aided System Theory, 6th to 8th February, 2012, Sydney, Australia (2012) 120-122, RK.
    24. W. Bożejko, P. Rajba, M. Wodecki, Scheduling problem with uncertain parameters, Proceedings of the International Conference on ICT Management for Global Competitiveness and Economic Growth in Emerging Economies ICTM 2012, 262-273, RK.
    25. P. Wnuk-Lipiński, Parallel evolutionary algorithms for stock market trading rule selection on many-core graphics processors, Natural computing in computational finance. Vol. 4 / Anthony Brabazon, Michael O'Neill and Dietmar Maringer (Eds.). - Berlin, Heidelberg : Springer, 2012.- (Studies in Computational Intelligence ; 380).- S. 79-92. (http://dx.doi.org/10.1007/978-3-642-23336-4_5).
    26. P. Filipiak, K. Michalak, P. Wnuk-Lipiński, A predictive evolutionary algorithm for dynamic constrained inverse kinematics problems, Hybrid Artificial Intelligent Systems : 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012. Proceedings, Part I / Emilio Corchado, Vaclav Snasel, Ajith Abraham, Michal Woźniak, Manuel Grana, Sung-Bae Cho (Eds.). - Berlin, Heidelberg : Springer, 2012. - (Lecture Notes in Artificial Intelligence ; nr 7208).- S. 610-621. (http://dx.doi.org/10.1007/978-3-642-28942-2_55).
    27. P. Filipiak, P. Wnuk-Lipiński, Parallel CHC Algorithm for Solving Dynamic Traveling Salesman Problem Using Many-Core GPU, Artificial Intelligence: Methodology, Systems, and Applications, Lecture Notes in Computer Science, vol. 7557, Springer, 2012,pp.305-314, RK.
    28. P. Rajba, M. Wodecki, Stability of scheduling with random processing times on one machine, Applicationes Mathematicae. - Vol. 39, nr 2 (2012), s. 169-183.
  • Publikacje Zakładu Języków Programowania w roku 2012

    1. J. Otop, E-unification with Constants vs. General E-unification, Journal of Automated Reasoning, Vol. 48 No. 3 (2012), 363-390. (http://dx.doi.org/10.1007/s10817-010-9201-2).
    2. D. Biernacki, S. Lenglet, Applicative bisimulations for delimited-control operators, Foundations of software science and computational structures : 15th international conference FOSSACS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings / Lars Birkedal (ed.). - Berlin ; Heidelberg : Springer, 2012. - (Lecture Notes in Computer Science ; 7213).- S. 119-134. (http://dx.doi.org/10.1007/978-3-642-28729-9).
    3. D. Biernacki, M. Materzok, A Dynamie Interpretation of the CPS Hierarchy, R. Jhala and A. Igarashi, editors, Proceedings of the l0th Asian Symposium on Programming Languages and Systems (APLAS 2012), Kyoto, Japan, December 2012. (http://www.ii.uni.wroc. pl/~dabi/publications/APLAS12/materzok-biernacki-aplasl2.pdf).
    4. D. Biernacki, S. Lenglet, Normal Form Bisimulations for Delimited-Control Operators, T. Shrijvers and P. Thiemann, editors, Proceedings of the 11th International Symposium on Functional and Logic Programming (FLOPS 2012), Kobe, Japan, May 2012. (http: //www.ii.uni.wroc.pl/~dabi/publications/FL0PS12/biernacki-lenglet -flopsl2.pdf.).
    5. L. Grocholski, Specyfikowanie wymagań jako bariera wdrażania systemów klasy B2B, Metody Informatyki Stosowanej. - 2011, nr 5 (2012), s. 35-48.
    6. J. Michaliszyn, J. Otop, Decidable elementary modal logics, 27th Annual ACM/IEEE Symposium on Logic in Computer Science, 25-28 June 2012, Dubrovnik, Croatia : proceedings /Rajeev Alur (ed.). - Los Alamitos : IEEE Computer Society, 2012.- S. 491-500. (http://dx.doi.org/10.1109/LICS.2012.59).
    7. E. Kieroński, J. Michaliszyn, Two-variable universal logic with transitive closure, Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, CSL 2012, September 3-6, 2012, Fontainebleau, France / Patrick Cégielski, Arnaud Durand (eds.). - Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012. - (LIPIcs - Leibniz International Proceedings in Informatics ; Vol.16).- S. 396-410. (http://dx.doi.org/10.4230/LIPIcs.CSL.2012.396).
    8. J. Michaliszyn, J. Otop, P. Witkowski, Satisfiability vs. finite satisfiability in elementary modal logics, Electronic Proceedings in Theoretical Computer Science. - Vol. 96 (2012), s. 141-154. (http://dx.doi.org/10.4204/EPTCS.96.11).
    9. S. Staworko, P. Wieczorek, Learning twig and path queries, EDBT/ICDT 2012 Joint Conference : Electronic Conference Proceedings : March 26-30, 2012, Berlin, Germany / Ismail Ari (ed.). - Berlin : ACM, 2012. (http://www.edbt.org/Proceedings/2012-Berlin/papers/icdt/a20-Staworko.pdf).
    10. E. Kieroński, M. Otto, Small substructures and decidability issues for first-order logic with two variables, Journal of Symbolic Logic. - Vol. 77, iss. 3 (2012), s. 729-765. (http://projecteuclid.org/DPubS?service=UI).
    11. E. Kieroński, J. Michaliszyn, I. Pratt-Hartmann, L. Tendera, Two-variable first-order logic with equivalence closure, Proceedings of the 27th Annual ACM/IEEE Symposium on Logic in Computer Science ; 25-28 June 2012, Dubrovnik, Croatia. - Los Alamitos : IEEE Computer Society, 2012.- S. 431-440. (http://dx.doi.org/10.1109/LICS.2012.53).
    12. E. Kieroński, J. Michaliszyn, Finite Satisfiability of Modal Logic over Horn Definable Classes of Frames, AIML 2012. 27th Annual Symposium on Advances in Modal Logic. Copenhagen, Denmark, August 25-28, 2012. Proceedings, pages 464-482, RK.
    13. S. Staworko, J. Chomicki, J. Marcinkowski, Prioritized repairing and consistent query answering in relational databases, Annals of Mathematics and Artificial Intelligence . 64(2-3): 209-246 (2012), RF.
    14. J. Michaliszyn, P. Wieczorek, A. Muscholl, S. Staworko, Z. Wu, On Injective Embeddings of Tree Patterns, (http://arxiv.org/pdf/1204.4948).
    15. A. Kościelski, Uwagi o indukcji matematycznej, Matematyka. - R. 65, nr 5 (2012), s. 25-31.
  • Publikacje Zakładu Złożoności Obliczeniowej i Algorytmów w roku 2012

    1. P. Gawrychowski, Tying up the loose ends in fully LZW-compressed pattern matching, 29th International Symposium on Theoretical Aspects of Computer Science (STACS 2012) / Christoph Dürr, Thomas Wilke (eds). - Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012. - (LIPIcs - Leibniz International Proceedings in Informatics ; Vol. 14 ).- S. 624- 635. (http://dx.doi.org/10.4230/LIPIcs.STACS.2012.624).
    2. A. Jeż, Compressed Membership for NFA (DFA) with Compressed Labels is in NP (P), 29th International Symposium on Theoretical Aspects of Computer Science (STACS 2012) / Christoph Dürr, Thomas Wilke (eds). - Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012. - (LIPIcs - Leibniz International Proceedings in Informatics ; Vol.14). - S. 136- 147. (http://dx.doi.org/10.4230/LIPIcs.STACS.2012.136).
    3. P. Gawrychowski, Faster algorithm for computing the edit distance between SLP-compressed strings, String Processing and Information Retrieval : 19th International Symposium, SPIRE 2012, Cartagena de Indias, Colombia, October 21-25, 2012, Proceedings / Liliana Calderón- Benavides, Cristina González-Caro, Edgar Chávez,Nivio Ziviani (eds.). - Berlin : Springer Berlin , 2012. - (Lecture Notes in Computer Science ; 7608).- S. 229-236. (http://dx.doi.org/10.1007/978-3-642-34109-024).
    4. P. Gawrychowski, Simple and efficient LZW-compressed multiple pattern matching, Combinatorial pattern matching : 23rd annual symposium ; proceedings / CPM 2012, Helsinki, Finland, July 3 - 5, 2012 / Juha Karkkainen, Jens Stoye (eds.). - Berlin ; Heidelberg : Springer , 2012. - (Lecture Notes in Computer Science ; 7354).- S. 232-242. (http://dx.doi.org/10.1007/978-3-642-31265-619).
    5. A. Jeż, Faster fully compressed pattern matching by recompression, Automata, Languages, and Programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I / ed. by Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer. - Berlin, Heidelberg : Springer, 2012. - (Lecture Notes in Computer Science ; 7391). - S. 533-544. (http://dx.doi.org/10.1007/978-3- 642-31594-7_45).
    6. A. Jeż, A. Okhotin, On the number of nonterminal symbols in unambiguous conjunctive grammars, Descriptional Complexity of Formal Systems : 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012 : proceedings / ed. by Martin Kutrib, Nelma Moreira, Rogério Reis. - Berlin, Heidelberg : Springer, 2012. - (Lecture Notes in Computer Science ; 7386). - S. 183-195. (http://dx.doi.org/10.1007/978-3-642-31623-4_14).
    7. A. Jeż, A. Maletti, Hyper-minimization for deterministic tree automata, Implementation and Application of Automata : 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012 : proceedings / ed. by Nelma Moreira, Rogério Reis. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. - (Lecture Notes in Computer Science ; 7381). - S. 217-228. (http://dx.doi.org/10.1007/978-3-642- 31606-7_19).
    8. C. Dürr, Ł. Jeż, N. K. Thang, Online scheduling of bounded length jobs to maximize throughput, Journal of Scheduling October 2012, Volume 15, Issue 5, pp 653-664 (http://dx.doi.org/10.1007/s10951-011-0233-1).
    9. Ł. Jeż, F. Li, J. Sethuraman, C. Stein, Online scheduling of packets with agreeable deadlines, Journal ACM Transactions on Algorithms (TALG) Volume 9 Issue 1, December 2012 Article No. 5, ACM New York, NY, USA (http://doi.acm.org/10.1145/2390176.2390181).
    10. L. Epstein, Ł. Jeż, J. Sgall, R. van Stee, Online Scheduling of Jobs with Fixed Start Times on Related Machines, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques Lecture Notes in Computer Science Volume 7408, 2012, pp 134-145 (http://dx.doi.org/10.1007/978-3-642-32512-0_12).
    11. A. Jeż, A. Okhotin, Representing hyper-arithmetical sets by equations over sets of integers, Theory of Computing Systems. - Vol. 51, nr 2 (2012), s. 196-228. (http://dx.doi.org/10.1007/s00224-011-9352-5).
    12. A. Jeż, T. Jurdziński, Length-reducing Automata (almost) without Auxiliary Symbols, Journal of Automata, Languages and Combinatorics, Otto-von-Guericke-Universitat, 16(2-4): 141-164 (2011); RK.
    13. T. Jurdziński, D. R. Kowalski, Distributed Backbone Structure for Algorithms in the SINR Model of Wireless Networks, Distributed Computing - 26th International Sympodium (DISC 2012), LNCS 7611, Springer, 2012, 106-120; RK.
    14. T. Jurdziński, D. R. Kowalski, On the Complexity of Distributed Broadcasting and MDS Construction in Radio Networks, 16th International Conference On Principles Of Distributed Systems (OPODIS 2012), LNCS 7702, Springer, 2012, 209-224;RK.
    15. K. Paluch, K. Elbassioni, A. van Zuylen, Simpler approximation of the maximum asymmetric traveling salesman problem, 29th International Symposium on Theoretical Aspects of Computer Science (STACS 2012) / Christoph Dürr, Thomas Wilke (eds). - Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012. - (LIPIcs - Leibniz International Proceedings in Informatics ; 14).- S. 501-506. (http://dx.doi.org/10.4230/LIPIcs.STACS.2012.501).
    16. K. Paluch, Faster and simpler approximation of stable matchings, Approximation and online algorithms : 9th international workshop ; revised selected papers : WAOA 2011, Saarbruecken, Germany, September 8-9, 2011 / (ed.)Roberto Solis-Oba, Giuseppe Persiano. - Berlin ; Heidelberg : Springer, 2012. - (Lecture Notes in Computer Science ; 7164). - S. 176-187.
    17. J. Byrka, K. Buchin, M. Buchin, M. Nöllenburg, Y. Okamoto, R. I. Silveira, Drawing (complete) binary tanglegrams : hardness, approximation, fixed-parameter tractability, Algorithmica. - Vol. 62, nr 1-2 (2012), s. 309-332. (http://dx.doi.org/10.1007/s00453-010-9456-3).
    18. M. Bieńkowski, T. Jurdziński, M. Korzeniowski, D. R. Kowalski, Distributed Online and Stochastic Queuing on a Multiple Access Channel, 26 Int. Symposum on DIStributed Computing (DISC), Lecture Notes in Computer Science vol. 7611, 121-135, 2012. (http://www.ii.uni.wroc.pl/~mbi/papers/2012-disc-online-mac.pdf).
    19. M. Bieńkowski, Migrating and Replicating Data in Networks Computer Science, Research and Development, vol. 27, issue 3, 169-179, 2012. Wyd.: Springer. (http://www.ii.uni.wroc.pl/~mbi/papers/2012-csrd-migration-replication-survey.pdf).
    20. M. Bieńkowski, J. Kutyłowski, The k-Resource Problem in Uniform Metric, Spaces, Theoretical Computer Science, vol. 459,42-54,2012. Wyd.: Elsevier. (http://www.sciencedirect.com/science/article/pii/S0304397512006214).
  • Publikacje Zakładu Złożoności Obliczeniowej i Algorytmów w roku 2013

    1. M. Bieńkowski, M. Chrobak, C. Dürr, M. Hurand, Ł. Jeż, A. Jeż, G. Stachowiak, Collecting Weighted Items from a Dynamic Queue, Algorithmica, January 2013, Volume 65, Issue 1, pp 60-94. (http://dx.doi.org/10.1007/s00453-011-9574-6).
    2. M. Bieńkowski, M. Chrobak, C. Dürr, M. Hurand, Ł. Jeż, G. Stachowiak, A phi-competitive algorithm for collecting items with increasing weights from a dynamic queue, Theoretical Computer Science, Volume 475, 4 March 2013, Pages 92-102. (http://dx.doi.org/10.1016/j.tcs.2012.12.046).
    3. P. Gawrychowski, Alphabetic minimax trees in linear time, Computer Science - Theory and Applications : 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013, Proceedings / Andrei A. Bulatov, Arseny M. Shur (eds.). - Berlin : Springer, 2013. - (Lecture Notes in Computer Science ; 7913). - S. 36-48. (http://dx.doi.org/10.1007/978-3-642-38536-0_4).
    4. A. Jeż, Approximation of grammar-based compression via recompression, Combinatorial pattern matching : 24th annual symposium, CPM 2013, Bad Herrenalb, Germany, June 17 - 19, 2013 / Johannes Fischer, Peter Sanders (eds.). - Berlin, Heidelberg : Springer, 2013. - (Lecture Notes in Computer Science ; Vol.7922). - S. 165-176. (http://dx.doi.org/10.1007/978-3-642-38905-4).
    5. A. Jeż, One-variable word equations in linear time, Automata, languages, and programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8 - 12, 2013, Part II / Fedor V. Fomin, Rusinš Freivalds, Marta Kwiatkowska, David Peleg (eds.). - Berlin, Heidelberg : Springer, 2013. - (Lecture Notes in Computer Science ; Vol.7966). - S. 324-335. (http://dx.doi.org/10.1007/978-3-642-39212-2_30).
    6. A. Jeż, Recompression: a simple and powerful technique for word equations, 30th International Symposium on Theoretical Aspects of Computer Science (STACS 2013) / Natacha Portier, Thomas Wilke (eds.). - Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013. - (LIPIcs - Leibniz International Proceedings in Informatics ; Vol.20). - S. 233-244. (http://dx.doi.org/10.4230/LIPIcs.STACS.2013.233)
    7. A. Jeż, Recompression: word equations and beyond, Developments in language theory : 17th international conference ; proceedings, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013 / Marie-Pierre Béal ; Oliver Carton (eds.). - Berlin, Heidelberg : Springer, 2013. - (Lecture Notes in Computer Science ; Vol.7907). - S. 12-26. (http://dx.doi.org/10.1007/978-3-642-38771- 5_2).
    8. T. Jurdziński, D. R. Kowalski, G. Stachowiak, Distributed deterministic broadcasting in wireless networks of weak devices, Automata, languages, and programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8 - 12, 2013, Part II / Fedor V. Fomin, Rusinš Freivalds, Marta Kwiatkowska, David Peleg (eds.). - Berlin, Heidelberg : Springer, 2013. - (Lecture Notes in Computer Science ; Vol.7966). - S. 632-644. (http://dx.doi.org/10.1007/978-3- 642-39212-2_55).
    9. A. Kisielewicz, J. Kowalski, M. Szykuła, A fast algorithm finding the shortest reset words, 19th international conference ; proceedings / COCOON 2013, Hangzhou, China, June 21 - 23, 2013 / Ding-Zhu Du ; Guochuan Zhang (ed.). - Berlin ; Heidelberg : Springer, 2013. - (Lecture notes in computer science ; Vol.7936). - S. 182-196. (http://dx.doi.org/10.1007/978-3-642-38768-5_18).
    10. A. Kisielewicz, M. Szykuła, Generating small automata and the Černý conjecture, Implementation and Application of Automata : 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings / Stavros Konstantinidis (ed.). - Berlin, Heidelberg : Springer , 2013. - (Lecture Notes in Computer Science ; Vol.7982).- S. 340-348. (http://dx.doi.org/10.1007/978-3-642-39274-0_30).
    11. J. Kowalski, M. Szykuła, Game description language compiler construction, AI 2013: Advances in Artificial Intelligence : 26th Australian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings. - Cham : Springer International Publishing, 2013. - (Lecture Notes in Computer Science ; Vol.8272). - S. 234-245. (http://dx.doi.org/10.1007/978-3-319-03680-9_26).
    12. A. Jeż, A. Maletti, Hyper-minimization for deterministic tree automata, International Journal of Foundations of Computer Science. - Vol. 24, iss. 06 (2013), s. 815-830. (http://dx.doi.org/10.1142/S0129054113400200).
    13. T. Jurdziński, G. Stachowiak, Distributed Deterministic Broadcasting in Uniform-Power Ad Hoc Wireless Networks, Fundamentals of Computation Theory - 19th International Symposium (FCT 2013) : Springer, 2013. - (Lecture Notes in Computer Science ; Vol.8070). - s. 195-209. (http://dx.doi.org/10.1007/978-3-642-40164-0_20).
    14. T. Jurdziński, D. R. Kowalski, M. Różański, G. Stachowiak, Distributed Randomized Broadcasting in Wireless Networks under the SINR Model. Distributed Computing, 27th International Symposium (DISC 2013), : Springer 2013. - (Lecture Notes in Computer Science Volume 8205). s. 373-387. (http://dx.doi.org/10.1007/978-3-642-41527-2_26).
    15. P. Gawrychowski, D. Straszak, Beating O(nm) in Approximate LZW-Compressed Pattern Matching, 24th International Symposium, ISAAC 2013, Algorithms and Computation - Springer 2013 (Lecture Notes in Computer Science Vol. 8283, s. 78-88. (http://dx.doi.org/10.1007/978-3-642-45030-3_8).
    16. P. Gawrychowski, Optimal pattern matching in LZW compressed strings, ACM Transactions on Algorithms. - Vol. 9, iss.3 (2013), nr art. 25 (17 str.). (http://dx.doi.org/10.1145/2483699.2483705).
    17. A. Jeż, A. Okhotin, Unambiguous conjunctive grammars over a one-letter alphabet, Developments in Language Theory : 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings / Marie-Pierre Béal, Olivier Carton (eds.). - Berlin, Heidelberg : Springer, 2013. - (Lecture notes in computer science ; 7907). - S. 277-288. ( http://www.dx.doi.org/10.1007/978-3-642-38771-5_25).
  • Publikacje Zakładu Inżynierii Oprogramowania w roku 2013

    1. Z. Płoski, Algorytmy bez tajemnic, Thomas H. Cormen ; tł. Zdzisław Płoski. - Gliwice : Helion, 2013. - 224 s.
    2. L. Grocholski, Stymulowanie innowacyjności poprzez politykę podatkową, E-gospodarka Problemy, Metody, Aplikacje, Uniwersytet Szczeciński Zeszyty Naukowe nr 781 Ekonomiczne Problemy Usług nr 106, Szczecin 2013, s. 189-199, ISSN 1640-6818, ISSN 1896-382X.
  • Publikacje Zakładu Optymalizacji Kombinatorycznej w roku 2013

    1. M. Bieńkowski, M. Chrobak, C. Dürr, M. Hurand, Ł. Jeż, A. Jeż, G. Stachowiak, Collecting Weighted Items from a Dynamic Queue, Algorithmica, January 2013, Volume 65, Issue 1, pp 60-94. (http://dx.doi.org/10.1007/s00453-011-9574-6).
    2. M. Bieńkowski, M. Chrobak, C. Dürr, M. Hurand, Ł. Jeż, G. Stachowiak, A phi-competitive algorithm for collecting items with increasing weights from a dynamic queue, Theoretical Computer Science, Volume 475, 4 March 2013, Pages 92-102. (http://dx.doi.org/10.1016/j.tcs.2012.12.046).
    3. M. Bieńkowski, J. Byrka, M. Chrobak, N. Dobbs, T. Nowicki, M. Sviridenko, G. Świrszcz, N. E. Young, Approximation algorithms for the joint replenishment problem with deadlines, Automata, languages, and programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8 - 12, 2013, Part I / Fedor V. Fomin, Rusinš Freivalds, Marta Kwiatkowska, David Peleg (eds.). - Berlin, Heidelberg : Springer, 2013. - (Lecture Notes in Computer Science ; Vol. 7965).- S. 135-147. (http://dx.doi.org/10.1007/978-3-642-39206-1_12).
    4. M. Bieńkowski, J. Byrka, Ł. Jeż, M. Chrobak, J. Sgall, Online control message aggregation in chain networks, Algorithms and Data Structures : 13th International Symposium, WADS 2013, London, ON, Canada, August 12-14, 2013. Proceedings / Frank Dehne, Roberto Solis-Oba, Jörg-Rüdiger Sack (eds.). - Berlin, Heidelberg : Springer, 2013. - (Lecture Notes in Computer Science ; Vol. 8037). - S. 133-145. (http://dx.doi.org/10.1007/978-3-642-40104-6_1).
    5. Ł. Jeż, C. Dürr, Ó. C. Vásquez, Mechanism design for aggregating energy consumption and quality of service in speed scaling scheduling, Web and Internet Economics : 9th International Conference, WINE 2013, Cambridge, MA, USA, December 11-14, 2013 : proceedings / Yiling Chen, Nicole Immorlica (eds.). - Berlin [u.a.] : Springer International Publishing, 2013. - (Lecture Notes in Computer Science ; Vol.8289).- S. 134-145. (http://dx.doi.org/10.1007/978-3-642-45046-4_12).
    6. M. Bieńkowski, P. Zalewski, (1, 2)-Hamiltonian completion on a matching, International Journal of Foundations of Computer Science. - Vol. 24, no 01 (2013), s. 95-108. (http://dx.doi.org/10.1142/S0129054113500019).
    7. J. Byrka, F. Grandoni, T. Rothvoss, L. Sanita, Steiner tree approximation via iterative randomized rounding, Journal of the ACM. - Vol. 60, iss. 1 (2013), nr art. 6 (33 str.). (http://dx.doi.org/10.1145/2432622.2432628).
    8. Ł. Jeż, M. Chrobak, J. Sgall, Better bounds for incremental frequency allocation in bipartite graphs, Theoretical Computer Science. - Vol.514 (2013), s. 75-83. (http://dx.doi.org/10.1016/j.tcs.2012.05.020).
    9. J. Schwartz, J. Sgall, J. Békési, Ł. Jeż, Lower bounds for online makespan minimization on a smallnumber of related machines, Journal of Scheduling. - Vol. 16, nr 5 (2013), s. 539-547. (http://dx.doi.org/10.1007/s10951-012-0288-7).
    10. Ł. Jeż, A universal randomized packet scheduling algorithm, Algorithmica. - Vol. 67, nr 4 (2013), s. 498-515. (http://dx.doi.org/10.1007/s00453-012-9700-0).
    11. M. Bieńkowski, S. Schmid, Competitive FIB Aggregation: Online Ski Rental on the Trie, 20th Int. Colloquium on Structural Information and Communication Complexity (SIROCCO), Springer 2013, (Lecture Notes in Computer Science vol. 8205), s. 583-584. (http://www.ii.uni.wroc.pl/~mbi/papers/2013-sirocco-fib-compression.pdf).
    12. M. Bieńkowski, N. Sarrar, S. Schmid, S. Uhlig, Brief Announcement: Dynamic Forwarding Table Aggregation without Update Churn: The Case of Dependent Prefixes, 27th Int. Symposium on DIStributed Computing (DISC), Springer 2013, (Lecture Notes in Computer Science vol. 8179), s. 92-103. (http://www.ii.uni.wroc.pl/~mbi/papers/2013-disc-ba-fib-aggregation.pdf).
    13. K. Paluch, Capacitated Rank-Maximal Matchings, 8th International Conference on Algorithms and Complexity CIAC 2013-Springer 2013 (Lecture Notes in Computer Science Vol. 7878) 2013, s. 324-335. (http://dx.doi.org/10.1007/978-3-642-38233-8_27).
    14. M. Cygan, Ł. Jeż, Online Knapsack Revisited, Approximation and Online Algorithms Lecture Notes in Computer Science Volume 8447, 2014, pp 144-155. (http://link.springer.com/chapter/10.1007%2F978-3-319-08001-7_13).
    15. J. Byrka, S. Li, B. Rybicki, Improved Approximation Algorithm for k-Level UFL with Penalties, a Simplistic View on Randomizing the Scaling Parameter, WAOA 2013: 85-96.
  • Publikacje Zakładu Teorii Informatyki i Baz Danych w roku 2013

    1. W. Charatonik, E. Kieroński, S. Benaim, M. Benedikt, R. Lenhardt, F. Mazowiecki, J. Worrell, Complexity of two-variable logic on finite trees, Automata, languages, and programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8 - 12, 2013, Part II / Fedor V. Fomin, Rusinš Freivalds, Marta Kwiatkowska, David Peleg (eds.). - Berlin, Heidelberg : Springer, 2013. - (Lecture Notes in Computer Science ; Vol. 7966). - S. 74-88. (http://dx.doi.org/10.1007/978-3-642-39212-2_10).
    2. P. Guagliardo, P. Wieczorek, Query processing in data integration, Data Exchange, Integration, and Streams / Phokion G. Kolaitis and Maurizio Lenzerini and Nicole Schweikardt (Eds.). - Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013. - (Dagstuhl Follow-Ups ; Vol. 5).- S. 129-160. (http://dx.doi.org/10.4230/DFU.Vol5.10452.129).
    3. T. Gogacz, J. Marcinkowski, Converging to the Chase - A Tool for Finite Controllability, 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, s. 540-549. (http://doi.ieeecomputersociety.org/10.1109/LICS.2013.61).
    4. T. Gogacz, J. Marcinkowski, On the BDD/FC conjecture, Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2013, New York, NY, USA - June // s. 22 - 27, ACM 2013 ISBN 978-1-4503-2066-5: 127-138.
    5. T. A. Henzinger, J. Otop, From Model Checking to Model Measuring, Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, Springer 2013, (Lecture Notes in Computer Science Vol. ), s. 273-287. (http://dx.doi.org/ 10.1007/978-3-642-40184-8_20).
    6. J. Michaliszyn, J. Otop, Elementary Modal Logics over Transitive Structures, Computer Science Logic 2013 CSL 2013, Torino, Italy, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, vol. 23 of LIPIcs s. 563-577. (http://dx.doi.org/10.1007/978-3-642-40184-8_20).
    7. J. Otop, K. Chatterjee, T. A. Henzinger, A. Pavlogiannis, Distributed synthesis for LTL fragments, Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, USA, October 20-23, 2013, IEEE, s. 18-25. (https://repository.ist.ac.at/130/1/Distributed_Synthesis.pdf).
  • Publikacje Zakładu Inteligencji Obliczeniowej w roku 2013

    P. Filipiak, K. Michalak, P. Wnuk-Lipiński, Usage Patterns of Trading Rules in Stock Market Trading Strategies Optimized with Evolutionary Methods, Applications of Evolutionary Computation, Springer 2013, (Lecture Notes in Computer Science, vol. 7835), s.234-243. (http://dx.doi.org/10.1007/978-3-642-37192-9_24).

  • Publikacje Pracowników niezależnych w roku 2013

    1. M. M. Sysło, Learning while we are connected, WCCE 2013 : 10th IFIP World Conference on Computers in Education, Toruń, Poland, July 1-7 2013 Vol. 1, Research Papers / red. Nicholas Reynolds, Mary Webb, Valentina Dagienë, Maciej M. Sysło. - Toruń : Nicolaus Copernicus University Press, 2013.
    2. M. M. Sysło, Uczyć się będąc połączonym, IwE 2013 : X konferencja "Informatyka w Edukacji", 5-7 lipca 2013, UMK Toruń : teksty wystąpień / red. Maciej M. Sysło, Anna Beata Kwiatkowska. - Toruń : Nicolaus Copernicus University Press, 2013.
    3. M. Berndt-Schreiber, A. B. Kwiatkowska, A. Polewczyński, K. Skowronek, M. M. Sysło, Teacher training one the way to e-teacher qualifications, Learning while we are connected : WCCE 2013 : 10th IFIP World Conference on Computers in Education, Toruń, Poland, July 1-7 2013. Vol. 2, Practice papers / red. Nicholas Reynolds, Mary Webb, Valentina Dagienë, Maciej M. Sysło. - Toruń : Nicolaus Copernicus University Press, 2013. - S. 199-207.
    4. A. B. Kwiatkowska, M. M. Sysło, E-teacher standards and certificates, Learning while we are connected : WCCE 2013 : 10th IFIP World Conference on Computers in Education, Toruń, Poland, July 1-7 2013. Vol. 2, Practice papers / red. Nicholas Reynolds, Mary Webb, Valentina Dagiene, Maciej M. Sysło. - Toruń : Nicolaus Copernicus University Press, 2013. - S. 145-151.
    5. A. B. Kwiatkowska, M. M. Sysło, Ocena pracy nauczyciela i wspomaganie jego rozwoju w zakresie technologii informacyjno-komunikacyjnej, Uczyć się będąc połączonym : IwE 2013 : X konferencja "Informatyka w Edukacji", 5-7 lipca 2013, UMK Toruń : teksty wystąpień / red. Maciej M. Sysło, Anna Beata Kwiatkowska. - Toruń : Nicolaus Copernicus University Press, 2013. - S. 164-167.
    6. M. Nowicki, M. Matuszak, A. B. Kwiatkowska, P. Bała, M. M. Sysło, Teaching secondary school students programming using distance learning: a case study, Learning while we are connected : WCCE 2013 : 10th IFIP World Conference on Computers in Education, Toruń, Poland, July 1-7 2013. Vol. 2, Practice papers / red. Nicholas Reynolds, Mary Webb, Valentina Dagiene, Maciej M. Sysło. - Toruń : Nicolaus Copernicus University Press, 2013.- S. 246-254.