Publications

Institute of Informatics

2017

• Marzena Kryszkiewicz, Annalisa Appice, Dominik Ślęzak, Henryk Rybiński, Andrzej Skowron and Zbigniew Raś (eds.), Foundations of Intelligent Systems. 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017, Proceedings, Springer, Cham 2017.see in PBN
• Wei Shi, Therese Vu, Didier Boucher, Anna Biernacka, Jules Nde, Raj K. Pandita, Jasmin Straube, Glen M. Boyle, Fares Al-Ejeh, Purba Nag, Jessie Jeffery, Janelle L. Harris, Amanda L. Bain, Marta Grzelak, Magdalena Skrzypczak, Abhishek Mitra, Norbert Dojer, Nicola Crosetto, Nicole Cloonan, Olivier J. Becherel, John Finnie, Jeffrey R. Skaar, Carl R. Walkley, Tej K. Pandita, Maga Rowicka, Krzysztof Ginalski, Steven W. Lane and Kum Kum Khanna, Ssb1 and Ssb2 cooperate to regulate mouse hematopoietic stem and progenitor cells by resolving replicative stress, Blood 129 (18) 2017, p. 2479–2492.see in PBN
• Tomasz Kociumaka, Jakub Radoszewski and Wojciech Rytter, Efficient Indexes for Jumbled Pattern Matching with Constant-Sized Alphabet, Algorithmica 77 (4) 2017, p. 1194–1215.see in PBN
• Ali Rezaei Divroodi and Anh Linh Nguyen, On directed simulations in description logics, Journal Of Logic And Computation 27 (7) 2017, p. 1955–1986.see in PBN
• Marcin Konrad Dziubiński and Sanjeev Goyal, How do you defend a network?, Theoretical Economics 12 (1) 2017, p. 331–376.see in PBN
• Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartosz Klin and Michał Szynwelski, Learning nominal automata, in: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017, ACM, 2017, p. 613–625.see in PBN
• Adam Gudyś, Andrzej Piotr Janusz, Marek Sikora, Tomasz Stęclik, Dominik Ślęzak and Łukasz Wróbel, Moduł analityczny, in: Zintegrowany, szkieletowy system wspomagania decyzji dla systemów monitorowania procesów, urządzeń i zagrożeń, Politechnika Śląska i Instytut technik Innowacyjnych EMAG, Gliwice 2017, r. 5, p. 55–75.see in PBN
• Nathanael Fijalkow, Bartosz Klin and Prakash Panangaden, Expressiveness of Probabilistic Modal Logics, Revisited, in: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017, r. 105, p. 1–12.see in PBN
• Przemysław Przybyszewski, Szymon Dziewiątkowski, Sebastian Jaszczur, Mateusz Śmiech and Marcin Szczuka, Use of Domain Knowledge and Feature Engineering in Helping AI to Play Hearthstone, in: Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, FedCSIS 2017, Prague, Czech Republic, September 3-6, 2017., IEEE, 2017, p. 143–148.see in PBN
• Marthe Bonamy, Łukasz Kowalik, Michał Pilipczuk, Arkadiusz Aleksander Socała and Marcin Wrochna, Tight Lower Bounds for the Complexity of Multicoloring, in: 25th Annual European Symposium on Algorithms, ESA 2017, September 4-6, 2017, Vienna, Austria, 2017, p. 18:1–18:14.see in PBN
• Marek Grzegorowski, Andrzej Piotr Janusz, Dominik Ślęzak and Marcin Szczuka, On the role of feature space granulation in feature selection processes, in: 2017 IEEE International Conference on Big Data (Big Data), 2017, p. 1806–1815.see in PBN
• Lech Polkowski, Yiyu Yao, Piotr Artiemjew, Davide Ciucci, Liu Dun, Dominik Ślęzak and Beata Zielosko (eds.), Rough Sets. International Joint Conference, IJCRS 2017, Olsztyn, Poland, July 3–7, 2017, Proceedings, Part I, Springer, Cham, Switzerland 2017.see in PBN
• Sławomir Lasota, Equivariant algorithms for constraint satisfaction problems over coset templates, Information Processing Letters 118 2017, p. 44–52.see in PBN
• Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter and Tomasz Waleń, String Powers in Trees, Algorithmica 79 (3) 2017, p. 814–834.see in PBN
• Michał Przybyłek, Adam Wierzbicki and Zbigniew Michalewicz, Decomposition Algorithms for a Multi-Hard Problem, Evolutionary Computation 2017, p. 1–27.see in PBN
• Jarosław Andrzej Paszek and Paweł Górecki, New Algorithms for the Genomic Duplication Problem, Lecture Notes In Computer Science 10562 2017, p. 101–115.see in PBN
• Michael B. Cohen, Aleksander Mądry, Piotr Sankowski and Adrian Vladu, Negative-Weight Shortest Paths and Unit Capacity Minimum Cost Flow in Õ(m^10/7 log W) Time, in: Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2017, Barcelona, Spain, Hotel Porta Fira, January 16-19, Society for Industrial and Applied Mathematics, 2017, p. 752–771.see in PBN
• Andrzej Piotr Janusz, Marek Grzegorowski, Michał Kozielski, Zdzisław Krzystanek, Marek Sikora, Dominik Ślęzak and Łukasz Wróbel, Przykłady zastosowania systemu DISESOR w analizie i predykcji zagrożeń, in: Zintegrowany, szkieletowy system wspomagania decyzji dla systemów monitorowania procesów, urządzeń i zagrożeń, Politechnika Śląska i Instytut technik Innowacyjnych EMAG, Gliwice 2017, r. 11, p. 199–213.see in PBN
• Marcin Bieńkowski, Jarosław Byrka and Marcin Ireneusz Mucha, Dynamic Beats Fixed: On Phase-Based Algorithms for File Migration, in: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017, r. 13, p. 1–14.see in PBN
• Andrzej Piotr Janusz, Tomasz Tajmajer and Maciej Świechowski, Helping AI to Play Hearthstone: AAIA'17 Data Mining Challenge, in: Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, FedCSIS 2017, Prague, Czech Republic, September 3-6, 2017., IEEE, 2017, p. 121–125.see in PBN
• Jacob Holm, Giuseppe F. Italiano, Adam Karol Karczmarz, Jakub Włodzimierz Łącki, Eva Rotenberg and Piotr Sankowski, Contracting a Planar Graph Efficiently, in: 25th Annual European Symposium on Algorithms, ESA 2017, September 4-6, 2017, Vienna, Austria, 2017, p. 50:1–50:15.see in PBN
• Dominik Ślęzak, Agnieszka Chądzyńska-Krasowska, Joel Holland, Piotr Synak, Rick Glick and Marcin Perkowski, Scalable cyber-security analytics with a new summary-based approximate query engine, in: 2017 IEEE International Conference on Big Data (Big Data), 2017, p. 1840–1849.see in PBN
• Lech Polkowski, Yiyu Yao, Piotr Artiemjew, Davide Ciucci, Dun Liu, Dominik Ślęzak and Beata Zielosko (eds.), Rough Sets International Joint Conference, IJCRS 2017, Olsztyn, Poland, July 3–7, 2017, Proceedings, Part II, Springer, Cham 2017.see in PBN
• Amihood Amir, Costas S. Iliopoulos and Jakub Jan Radoszewski, Two strings at Hamming distance 1 cannot be both quasiperiodic, Information Processing Letters 128 2017, p. 54–57.see in PBN
• Marthe Bonamy, Łukasz Kowalik, Michał Pilipczuk and Arkadiusz Aleksander Socała, Linear Kernels for Outbranching Problems in Sparse Digraphs, Algorithmica 79 (1) 2017, p. 159–188.see in PBN
• Anh Linh Nguyen, Thi Hong Khanh Nguyen, Ngoc Thanh Nguyen and Quang-Thuy Ha, Bisimilarity for paraconsistent description logics, Journal Of Intelligent & Fuzzy Systems 32 (2) 2017, p. 1203–1215.see in PBN
• Paweł Górecki, Alexey Markin, Agnieszka Mykowiecka, Jarosław Andrzej Paszek and Oliver Eulenstein, Phylogenetic Tree Reconciliation: Mean Values for Fixed Gene Trees, Lecture Notes In Computer Science 10330 2017.see in PBN
• Fedor V. Fomin, Daniel Lokshtanov, Michał Pilipczuk, Saket Saurabh and Marcin Wrochna, Fully polynomial-time parameterized computations for graphs and matrices of low treewidth, in: Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2017, Barcelona, Spain, Hotel Porta Fira, January 16-19, Society for Industrial and Applied Mathematics, 2017, p. 1419–1432.see in PBN
• Loan TT Nguyen, Sinh Hoa Nguyen and Hung Son Nguyen, A Dynamic Packed Approach for Analytic Data Warehouse in Ad-Hoc Queries, in: Information Systems Architecture and Technology: Proceedings of 38th International Conference on Information Systems Architecture and Technology – ISAT 2017, Springer International Publishing, 2018, p. 205–213.see in PBN
• Wojciech Czerwiński, Charles Paperman, Lorenzo Clemente and Sławomir Lasota, Regular Separability of Parikh Automata, in: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017, p. 117:1–117:13.see in PBN
• Iwona Szulc, Krzysztof Stencel and Piotr Wiśniewski, Using Genetic Algorithms to Optimize Redundant Data, in: Beyond Databases, Architectures and Structures. Towards Efficient Solutions for Data Analysis and Knowledge Representation - 13th International Conference, BDAS 2017, Ustroń, Poland, May 30 - June 2, 2017, Proceedings, Springer, 2017, p. 165–176.see in PBN
• Daniel Marx and Marcin Pilipczuk, Subexponential Parameterized Algorithms for Graphs of Polynomial Growth, in: 25th Annual European Symposium on Algorithms, ESA 2017, September 4-6, 2017, Vienna, Austria, 2017, p. 59:1–59:15.see in PBN
• Eryk Kopczyński, Dorota Teresa Celińska and Marek Čtrnáct, HyperRogue: Playing with Hyperbolic Geometry, in: Proceedings of Bridges 2017: Mathematics, Art, Music, Architecture, Education, Culture, Tessellations Publishing, Phoenix, Arizona 2017, p. 9–16.see in PBN
• Amit P. Sheth, Axel Ngonga, Yin Wang, Elizabeth Chang, Dominik Ślęzak, Bogdan Franczyk, Rainer Alt, Xiaohui Tao and Rainer Unland (eds.), Proceedings of the International Conference on Web Intelligence, Leipzig, Germany, August 23-26, 2017, ACM, 2017.see in PBN
• Tomasz Kociumaka, Jakub Radoszewski and Wojciech Rytter, Fast algorithms for Abelian periods in words and greatest common divisor queries, Journal Of Computer And System Sciences 84 2017, p. 205–218.see in PBN
• Marcin Pilipczuk, Michał Pilipczuk and Marcin Wrochna, Edge Bipartization Faster than 2^k, Algorithmica 2017.see in PBN
• M. A. Ciach, Mateusz Łącki, Błażej Miasojedow, F. Lermyte, D. Valkenborg, F. Sobott and Anna Gambin, Estimation of Rates of Reactions Triggered by Electron Transfer in Top-Down Mass Spectrometry, Journal Of Computational Biology 2017.see in PBN
• Mirosław Kowaluk and Andrzej Lingas, A Fast Deterministic Detection of Small Pattern Graphs in Graphs Without Large Cliques, Lecture Notes In Computer Science 10167 2017, p. 217–227.see in PBN
• Bart M. P. Jansen and Marcin Pilipczuk, Approximation and Kernelization for Chordal Vertex Deletion, in: Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2017, Barcelona, Spain, Hotel Porta Fira, January 16-19, Society for Industrial and Applied Mathematics, 2017, p. 1399–1418.see in PBN
• Łukasz Sosnowski and Dominik Ślęzak, Learning in Comparator Networks, in: Advances in Fuzzy Logic and Technology 2017: Proceedings of: EUSFLAT- 2017 -- The 10th Conference of the European Society for Fuzzy Logic and Technology, September 11-15, 2017, Warsaw, Poland IWIFSGN'2017 -- The Sixteenth International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets, September 13-15, 2017, Warsaw, Poland, Volume 2, Springer International Publishing, 2018, p. 316–327.see in PBN
• Archontia Giannopoulou, Michał Pilipczuk, Jean-florent Raymond, Dimitrios M. Thilikos and Marcin Wrochna, Linear Kernels for Edge Deletion Problems to Immersion-Closed Graph Classes, in: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017, r. 57, p. 57:1–57:15.see in PBN
• Jacek Sroka, Artur Leśniewski, Mirosław Kowaluk, Krzysztof Stencel and Jerzy Paweł Tyszkiewicz, Towards minimal algorithms for big data analytics with spreadsheets, in: Proceedings of the 4th ACM SIGMOD Workshop on Algorithms and Systems for MapReduce and Beyond, BeyondMR@SIGMOD 2017, Chicago, IL, USA, May 19, 2017, ACM, 2017, p. 1:1–1:4.see in PBN
• Parinya Chalermsook, Marek Adam Cygan, Guy Kortsarz, Bundit Laekhanukit, Pasin Manurangsi, Danupon Nanongkai and Luca Trevisan, From Gap-ETH to FPT-Inapproximability: Clique, Dominating Set, and More, in: 58th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2017, Berkeley, CA, USA, October 15-17, 2017, 2017, p. 743–754.see in PBN
• Dorota Teresa Celińska and Eryk Kopczyński, Programming Languages in GitHub: A Visualization in Hyperbolic Plane, in: Proceedings of the Eleventh International Conference on Web and Social Media, ICWSM 2017, Montreal, Quebec, Canada, May 15-18, 2017, AAAI Press, 2017, p. 727–728.see in PBN
• Piotr Prokopowicz, Jacek Czerniak, Dariusz Mikołajewski, Łukasz Apiecionek and Dominik Ślęzak (eds.), Theory and Applications of Ordered Fuzzy Numbers: A Tribute to Professor Witold Kosiński, Springer, 2017.see in PBN
• Wojciech Czerwiński, Claire David, Katja Losemann and Wim Martens, Deciding definability by deterministic regular expressions, Journal Of Computer And System Sciences 88 2017, p. 75–89.see in PBN
• Son Thanh Cao, Anh Linh Nguyen and Ngoc Thanh Nguyen, Extending Query-Subquery Nets for Deductive Databases under the Well-Founded Semantics, Cybernetics And Systems 48 (3) 2017, p. 249–266.see in PBN
• Michał Startek, Jakub Nogły, Agnieszka Gromadka, Dariusz Grzebelus and Anna Gambin, Inferring transposons activity chronology by TRANScendence -- TEs database and de-novo mining tool, Bmc Bioinformatics 18 (12) 2017, p. 422.see in PBN
• Grzegorz Skoraczyński, Piotr Dittwald, Błażej Miasojedow, Sara Szymkuć, Ewa Gajewska, Bartosz Grzybowski and Anna Gambin, Predicting the outcomes of organic reactions via machine learning: are current descriptors sufficient?, Scientific Reports Of The Nature Publishing Group 7 (1) 2017.see in PBN
• Oskar Skibski, Tomasz Michalak and Talal Rahwan, Axiomatic Characterization of Game-Theoretic Network Centralities, in: Proceedings of the 31st AAAI Conference on Artificial Intelligence (AAAI-17), 2017, p. 698–705.see in PBN
• Paweł Markowski and Michał Przybyłek, Process mining methods for post-delivery validation, in: Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, Polskie Towarzystwo Informatyczne, Warszawa 2017, p. 1199–1202.see in PBN
• Hugo Gimbert, Edon Kelmendi and Mikołaj Bojańczyk, Emptiness of Zero Automata Is Decidable, in: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017, p. 106:1–106:13.see in PBN
• Paweł Parys, Intersection Types and Counting, in: Proceedings Eighth Workshop on Intersection Types and Related Systems, ITRS 2016, Porto, Portugal, 26th June 2016, 2017, p. 48–63.see in PBN
• Henryk Michalewski, Andrzej Nagórko and Jakub Pawlewicz, An upper bound of 84 for Morpion Solitaire 5D, in: Proceedings of the 28th Canadian Conference on Computational Geometry, CCCG 2016, August 3-5, 2016, Simon Fraser University, Vancouver, British Columbia, Canada, Simon Fraser University, Vancouver, British Columbia, Canada 2017, p. 270–278.see in PBN
• Krzysztof Apt, Eryk Kopczyński and Dominik Wojtczak, On the Computational Complexity of Gossip Protocols, in: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, ijcai.org, 2017, p. 765–771.see in PBN
• Guoyin Wang, Andrzej Skowron, Yiyu Yao, Dominik Ślęzak and Lech Polkowski (eds.), Thriving Rough Sets : 10th Anniversary - Honoring Professor Zdzisław Pawlak's Life and Legacy & 35 Years of Rough Sets, Springer, 2017.see in PBN
• Diego Cerdeiro, Marcin Konrad Dziubiński and Sanjeev Goyal, Individual Security, Contagion, and Network Design, Journal Of Economic Theory 2017, p. 182–226.see in PBN
• Maxime Crochemore, Costas S. Iliopoulos, Tomasz Kociumaka, Jakub Radoszewski, Wojciech Rytter and Tomasz Waleń, Covering problems for partial words and for indeterminate strings, Theoretical Computer Science 698 2017, p. 25–39.see in PBN
• Maciej Klimek, Henryk Michalewski and Piotr Miłoś, Hierarchical Reinforcement Learning with Parameters, Journal Of Machine Learning Research 78 2017.see in PBN
• Marcin Peczarski, Comments on the Golden Partition Conjecture, Contributions To Discrete Mathematics 12 (1) 2017, p. 106–109.see in PBN
• Marcin Jan Waniek, Long Tran-Thanh, Tomasz Michalak and Nicholas Jennings, The Dollar Auction with Spiteful Players, in: Proceedings of the 31st AAAI Conference on Artificial Intelligence (AAAI-17), 2017.see in PBN
• Loan TT Nguyen, Bay Vo, Hung Son Nguyen and Sinh Hoa Nguyen, Mining Class Association Rules with Synthesis Constraints, in: Intelligent Information and Database Systems: 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3--5, 2017, Proceedings, Part II, Springer, Cham, 2017, p. 556–565.see in PBN
• Laure Daviaud, Bruno Guillon, Vincent Penelle and Mikołaj Bojańczyk, Which Classes of Origin Graphs Are Generated by Transducers, in: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017, p. 114:1–114:13.see in PBN
• Andrzej Skowron, Hung Son Nguyen and Andrzej Jankowski, Rough sets in pattern recognition, in: Pattern Recognition and Big Data, World Scientific, Singapore 2017, p. 323–393.see in PBN
• Jerzy Czyżowicz, Krzysztof Diks, Jean Moussi and Wojciech Rytter, Energy-Optimal Broadcast in a Tree with Mobile Agents, in: Lecture Notes in Computer Science, 2017.see in PBN
• Maciej Piotr Zielenkiewicz and Aleksy Andrzej Schubert, Automata Theory Approach to Predicate Intuitionistic Logic, in: Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers, Springer, 2017, p. 345–360.see in PBN
• Mikołaj Bojańczyk, Wojciech Czerwiński, Piotr Hofman, Szczepan Hummel, Bartosz Klin, Eryk Kopczyński, Sławomir Lasota, Filip Aleksander Mazowiecki, Henryk Michalewski, Damian Niwiński, Joanna Ochremiak, Paweł Parys, Michał Pilipczuk, Wojciech Rytter, Michał Paweł Skrzypczak, Szymon Toruńczyk, Igor Walukiewicz, Joost Winter and Lorenzo ClementeFilip Murlak (ed.), 200 Problems in Formal Languages and Automata Theory, Uniwersytet Warszawski, Warszawa 2017.see in PBN
• L. W. Bielczynski, Mateusz Łącki, I. Hoefnagels, Anna Gambin and R. Croce, Leaf and Plant Age Affects Photosynthetic Performance and Photoprotective Capacity, Plant Physiology 175 (4) 2017, p. 1634–1648.see in PBN
• Rafał Archacki, Ruslan Yatusevich, Daniel Buszewicz, Katarzyna Krzyczmonik, Jacek Patryn, Roksana Iwanicka-Nowicka, Przemysław Biecek, Bartek Wilczyński, Marta Koblowska, Andrzej Jerzmanowski and Szymon Świeżewski, Arabidopsis SWI/SNF chromatin remodeling complex binds both promoters and terminators to regulate gene expression., Nucleic Acids Research 45 (7) 2017, p. 3116–3129.see in PBN
• Michał Ciszewski and Konrad Iwanicki, Efficient Automated Code Partitioning for Microcontrollers with Switchable Memory Banks, Acm Transactions On Embedded Computing Systems 16 (4) 2017, p. 114:1–114:26.see in PBN
• Kee Pang Soh, Ewa Szczurek, Thomas Sakoparnig and Niko Beerenwinkel, Predicting cancer type from tumour DNA signatures, Genome Medicine 9 (1) 2017.see in PBN
• Tomasz Michalak, Talal Rahwan and Michael Wooldridge, Strategic Social Network Analysis, in: Proceedings of the 31st AAAI Conference on Artificial Intelligence (AAAI-17), 2017, p. 4841–4845.see in PBN
• Łukasz Białek, Barbara Dunin-Kęplicz and Andrzej Szałas, Towards a Paraconsistent Approach to Actions in Distributed Information-Rich Environments, in: Intelligent Distributed Computing XI, Springer International Publishing, 2017, p. 49–60.see in PBN
• Kord Eickmeyer, Archontia C. Giannopoulou, Stephan Kreutzer, O-joung Kwon, Michał Pilipczuk, Roman Rabinovich and Sebastian Siebertz, Neighborhood Complexity and Kernelization for Nowhere Dense Classes of Graphs, in: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017, r. 63, p. 63:1–63:14.see in PBN
• Tomasz Tajmajer, Malwina Spławińska, Piotr Wasilewski and Stanisław Matwin, Predicting annual average daily highway traffic from large data and very few measurements, in: 2016 IEEE International Conference on Big Data (Big Data), IEEE, USA 2017, p. 1493–1501.see in PBN
• Wojciech Czerwiński, Charles Paperman, Lorenzo Clemente and Sławomir Lasota, Separability of Reachability Sets of Vector Addition Systems, in: 34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, March 8-11, 2017, Hannover, Germany, 2017, p. 24:1–24:14.see in PBN
• Jacek Chrząszcz and Aleksy Andrzej Schubert, Function definitions for compound values in object-oriented languages, in: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017, 2017, p. 61–72.see in PBN
• Juha Karkkainen, Jakub Jan Radoszewski and Wojciech Rytter (eds.), 28th Annual Symposium on Combinatorial Pattern Matching, CPM 2017, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017.see in PBN
• Daniel Lokshtanov, Marcin Pilipczuk, Michał Pilipczuk and Saket Saurabh, Fixed-Parameter Tractable Canonization and Isomorphism Test for Graphs of Bounded Treewidth, Siam Journal On Computing 46 (1) 2017, p. 161–189.see in PBN
• Łukasz Kozłowski, Proteome-pI: proteome isoelectric point database, Nucleic Acids Research 45 (D1) 2017, p. D1112–D1116.see in PBN
• Oskar Skibski and Makoto Yokoo, An Algorithm for the Myerson Value in Probabilistic Graphs with an Application to Weighted Voting, Ieee Intelligent Systems 32 (1) 2017, p. 32–39.see in PBN
• Anna Adamaszek, Tomasz Kociumaka, Marcin Pilipczuk and Michał Pilipczuk, Hardness of Approximation for Strip Packing, Acm Transactions On Computation Theory 9 (3) 2017, p. 14:1–14:7.see in PBN
• Łukasz Białek, Barbara Dunin-Kęplicz and Andrzej Szałas, Rule-Based Reasoning with Belief Structures, in: Foundations of Intelligent Systems. 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017, Proceedings, Springer, Cham 2017, p. 229–239.see in PBN
• Dominik Ślęzak, Marek Grzegorowski, Andrzej Piotr Janusz and Sebastian Stawicki, Toward Interactive Attribute Selection with Infolattices - A Position Paper, in: Rough Sets International Joint Conference, IJCRS 2017, Olsztyn, Poland, July 3–7, 2017, Proceedings, Part II, Springer, Cham 2017, p. 526–539.see in PBN
• Florian Barbero, Christophe Paul and Michał Pilipczuk, Exploring the Complexity of Layout Parameters in Tournaments and Semi-Complete Digraphs, in: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017, r. 70, p. 70:1–70:13.see in PBN
• Bartosz Klin and Mateusz Łełyk, Modal mu-Calculus with Atoms, in: 26th EACSL Annual Conference on Computer Science Logic (CSL 2017), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2017, r. 30, p. 1–12.see in PBN
• Mikołaj Bojańczyk and Michał Pilipczuk, Optimizing Tree Decompositions in MSO, in: 34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, March 8-11, 2017, Hannover, Germany, 2017, p. 15:1–15:13.see in PBN
• O-joung Kwon, Michał Pilipczuk and Sebastian Siebertz, On Low Rank-Width Colorings, in: Graph-Theoretic Concepts in Computer Science - 43rd International Workshop, WG 2017, 2017, p. 372–385.see in PBN
• Tomasz Idziaszek and Jakub Jan Radoszewski (eds.), XXIII Olimpiada Informatyczna 2015/2016, Warszawa 2017.see in PBN
• Wojciech Czerwiński, Wim Martens, Matthias Niewerth and Paweł Parys, Optimizing Tree Patterns for Querying Graph- and Tree-Structured Data, Sigmod Record 46 (1) 2017, p. 15–22.see in PBN
• Henri Niskanen, Irina Tuszyńska, Rafał Zaborowski, Merja Heinäniemi, Seppo Ylä-Herttuala, Bartosz Wilczyński and Minna U Kaikkonen, Endothelial cell differentiation is encompassed by changes in long range interactions between inactive chromatin regions, Nucleic Acids Research 2017.see in PBN
• Piotr Skowron, Krzysztof Rządca and Anwitaman Datta, Cooperation and Competition when Bidding for Complex Projects: Centralized and Decentralized Perspectives, Ieee Intelligent Systems 32 (1) 2017, p. 17–23.see in PBN
• Michał Aleksander Ciach, Anna Muszewska and Paweł Górecki, Detecting Locus Acquisition Events in Gene Trees, Leibniz International Proceedings In Informatics 88 2017, p. 5:1–5:13.see in PBN
• Agnieszka Chądzyńska-Krasowska, Paweł Betliński and Dominik Ślęzak, Scalable Machine Learning with Granulated Data Summaries: A Case of Feature Selection, in: Foundations of Intelligent Systems. 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017, Proceedings, Springer, Cham 2017, p. 519–529.see in PBN
• Marcin Konrad Dziubiński, The Spectrum of Equilibria for the Colonel Blotto and the Colonel Lotto Games, in: Algorithmic Game Theory: 10th International Symposium, SAGT 2017, L'Aquila, Italy, September 12--14, 2017, Proceedings, Springer, Cham, 2017, p. 292–306.see in PBN
• Claire David and Filip Murlak, Three Easy Pieces on Schema Mappings for Tree-structured Data, in: Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, Montevideo, Uruguay, June 7-9, 2017, 2017.see in PBN
• Divesh Aggarwal, Tomasz Piotr Kazana and Maciej Obremski, Inception Makes Non-malleable Codes Stronger, in: Theory of Cryptography - 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part II, 2017, p. 319–343.see in PBN
• Wojciech Czerwiński and Sławomir Lasota, Regular separability of one counter automata, in: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, 2017, p. 1–12.see in PBN
• Maciej Klimek, Henryk Michalewski and Piotr Miłoś, Hierarchical Reinforcement Learning with Parameters, in: 1st Annual Conference on Robot Learning, CoRL 2017, Mountain View, California, USA, November 13-15, 2017, Proceedings, 2017, p. 301–313.see in PBN
• Foto N. Afrati and Jacek Sroka (eds.), Proceedings of the 4th ACM SIGMOD Workshop on Algorithms and Systems for MapReduce and Beyond, BeyondMR@SIGMOD 2017, Chicago, IL, USA, May 19, 2017, ACM, 2017.see in PBN
• Foto N. Afrati, Jan Hidders, Christopher R\'e, Jacek Sroka and Jeffrey D. Ullman, Report from the third workshop on Algorithms and Systems for MapReduce and Beyond (BeyondMR'16), Sigmod Record 46 (2) 2017, p. 43–48.see in PBN
• Sebastian Stawicki, Dominik Ślęzak, Andrzej Piotr Janusz and Sebastian Widz, Decision bireducts and decision reducts - a comparison, International Journal Of Approximate Reasoning 84 2017, p. 75–109.see in PBN
• Fatemeh Jahedpari, Talal Rahwan, Sattar Hashemi, Tomasz Michalak, Marina De Vos, Julian Padget and Wei Lee Woon, Online Prediction via Continuous Artificial Prediction Markets, Ieee Intelligent Systems 32 (1) 2017, p. 61–68.see in PBN
• Krzysztof Gogolewski, Weronika Wronowska, Agnieszka Lech, Bogdan Lesyng and Anna Gambin, Inferring Molecular Processes Heterogeneity from Transcriptional Data, Biomed Research International (journal Of Biomedicine And Biotechnology) 2017 2017, p. 6961786.see in PBN
• Mathurin Ach\'e, Andrzej Piotr Janusz, Kamil Zbikowski, Dominik Ślęzak, Marzena Kryszkiewicz, Henryk Rybiński and Piotr Gawrysiak, ISMIS 2017 Data Mining Competition: Trading Based on Recommendations, in: Foundations of Intelligent Systems. 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017, Proceedings, Springer, Cham 2017, p. 697–707.see in PBN
• Janina Mincer-Daszkiewicz, USOS i OSA, czyli o integracji systemów, in: Wyszukiwanie podobieństw dokumentów, Wydawnictwo Naukowe UKSW w Warszawie, Warszawa 2017, r. 6, p. 131–152.see in PBN
• Marcin Jan Waniek, Tomasz Michalak, Talal Rahwan and Michael Wooldridge, On the Construction of Covert Networks, in: Proceedings of the 16th Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2017), 2017.see in PBN
• Aleksy Andrzej Schubert, Jacek Sroka and Jerzy Paweł Tyszkiewicz, Systematic Programming in a Spreadsheet, in: IS-EUD 2017 6th international symposium on end-user development, Eindhoven University of Technology, Eindhoven 2017, p. 10–17.see in PBN
• Ranko Lazić, Lorenzo Clemente, Filip Mazowiecki and Sławomir Lasota, Timed pushdown automata and branching vector addition systems, in: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, 2017, p. 1–12.see in PBN
• Anna Palczewska, Jan Palczewski, Georgios Aivaliotis and Łukasz Kowalik, RobustSPAM for Inference from Noisy Longitudinal Data and Preservation of Privacy, in: 6th IEEE International Conference on Machine Learning and Applications, 2017, p. 344–351.see in PBN
• Piotr Wasilewski (ed.), Proceedings of International Workshop on Concurrency, Specification and Programming (CS&P 2017), University of Warsaw, September 25-28, 2017, MIMUW http://csp2017.mimuw.edu.pl/, Warszawa 2017.see in PBN
• Foto N. Afrati, Jan Hidders, Paraschos Koutris, Jacek Sroka and Jeffrey D. Ullman, Report from the Fourth Workshop on Algorithms and Systems for MapReduce and Beyond (BeyondMR’17), Sigmod Record 2017.see in PBN
• Marek Adam Cygan, Daniel Marx, Marcin Pilipczuk and Michał Pilipczuk, Hitting forbidden subgraphs in graphs of bounded treewidth, Information And Computation 256 2017, p. 62–82.see in PBN
• Paweł Górecki, Jarosław Andrzej Paszek and Oliver Eulenstein, Unconstrained Diameters for Deep Coalescence, Ieee-acm Transactions On Computational Biology And Bioinformatics 14 (5) 2017, p. 1002–1012.see in PBN
• Bartosz Klin and Beata Nachyła, Some undecidable properties of SOS specifications, Journal Of Logical And Algebraic Methods In Programming 87 2017, p. 94–109.see in PBN
• Francesco Luca De Angelis, Giovanna Di Marzo Serugendo, Barbara Dunin-Kęplicz and Andrzej Szałas, Heterogeneous Approximate Reasoning with Graded Truth Values, in: Rough Sets. International Joint Conference, IJCRS 2017, Olsztyn, Poland, July 3–7, 2017, Proceedings, Part I, Springer, Cham, Switzerland 2017, p. 61–82.see in PBN
• Piotr Prokopowicz and Dominik Ślęzak, Ordered Fuzzy Numbers: Sources and Intuitions, in: Theory and Applications of Ordered Fuzzy Numbers: A Tribute to Professor Witold Kosiński, Springer, 2017, p. 47–56.see in PBN
• Mai Alzamel, Panagiotis Charalampopoulos, Costas S. Iliopoulos, Solon P. Pissis, Jakub Jan Radoszewski and Wing-Kin Sung, Faster Algorithms for 1-Mappability of a Sequence, in: Combinatorial Optimization and Applications - 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part II, 2017, p. 109–121.see in PBN
• Fanny Pascual and Krzysztof Rządca, Optimizing egalitarian performance in the side-effects model of colocation for data center resource management, in: Euro-Par 2017: Parallel Processing, Springer, 2017, p. 206–219.see in PBN
• Jan van den Heuvel, Stephan Kreutzer, Michał Pilipczuk, Daniel A. Quiroz, Roman Rabinovich and Sebastian Siebertz, Model-checking for successor-invariant first-order formulas on graph classes of bounded expansion, in: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, 2017, p. 1–11.see in PBN
• Bart M. P. Jansen, Marcin Pilipczuk and Marcin Wrochna, Turing Kernelization for Finding Long Paths in Graphs Excluding a Topological Minor, in: 12th International Symposium on Parameterized and Exact Computation, IPEC 2017, 2017, p. 23:1–23:13.see in PBN
• Lech Banachowski, Krzysztof Diks and Wojciech Rytter, Algorytmy i struktury danych, Wydawnictwo Naukowe PWN, Warszawa 2017.see in PBN
• Marcin Pilipczuk, A tight lower bound for Vertex Planarization on graphs of bounded treewidth, Discrete Applied Mathematics 231 2017, p. 211–216.see in PBN
• Tomasz Gogacz, Henryk Michalewski, Matteo Mio and Michał Paweł Skrzypczak, Measure properties of regular sets of trees, Information And Computation 256 2017, p. 108–130.see in PBN
• Marek Adam Cygan, Fabrizio Grandoni and Danny Hermelin, Tight Kernel Bounds for Problems on Graphs with Small Degeneracy, Acm Transactions On Algorithms 13 (3) 2017, p. 43:1–43:22.see in PBN
• Jacek Sroka and Jan Hidders, Finding AND-OR Hierarchies in Workflow Nets, Arxiv abs/1701.02199 2017.see in PBN
• Agnieszka Chądzyńska-Krasowska, Sebastian Stawicki and Dominik Ślęzak, A Metadata Diagnostic Framework for a New Approximate Query Engine Working with Granulated Data Summaries, in: Rough Sets. International Joint Conference, IJCRS 2017, Olsztyn, Poland, July 3–7, 2017, Proceedings, Part I, Springer, Cham, Switzerland 2017, p. 623–643.see in PBN
• Piotr Prokopowicz and Dominik Ślęzak, Ordered Fuzzy Numbers: Definitions and Operations, in: Theory and Applications of Ordered Fuzzy Numbers: A Tribute to Professor Witold Kosiński, Springer, 2017, p. 57–79.see in PBN
• Panagiotis Charalampopoulos, Maxime Crochemore, Costas S. Iliopoulos, Tomasz Kociumaka, Solon P. Pissis, Jakub Radoszewski, Wojciech Rytter and Tomasz Waleń, Efficient Enumeration of Non-Equivalent Squares in Partial Words with Few Holes, in: Computing and Combinatorics - 23rd International Conference, COCOON 2017, Hong Kong, China, August 3-5, 2017, Proceedings, 2017, p. 99–111.see in PBN
• Pawel Janus and Krzysztof Rządca, SLO-aware Colocation of Data Center Tasks Based on Instantaneous Processor Requirements, in: SoCC '17 Proceedings of the 2017 Symposium on Cloud Computing, ACM New York, NY, USA, 2017, p. 256–268.see in PBN
• Michał Paweł Skrzypczak, Connecting Decidability and Complexity for MSO Logic, in: Developments in Language Theory - 21st International Conference, DLT 2017, Li\`ege, Belgium, August 7-11, 2017, Proceedings, Springer, 2017, p. 75–79.see in PBN
• Nikolai Karpov, Marcin Pilipczuk and Anna Katarzyna Zych, An Exponential Lower Bound for Cut Sparsifiers in Planar Graphs, in: 12th International Symposium on Parameterized and Exact Computation, IPEC 2017, 2017, p. 24:1–24:11.see in PBN
• Krzysztof Diks, Wojciech Rytter, Jerzy Czyżowicz and Jean Moussi (eds.), Lecture Notes in Computer Science, 2017.see in PBN
• Mihai Codescu, Till Mossakowski, Donald Sannella and Andrzej Tarlecki, Specification refinements: Calculi, tools, and applications, Science Of Computer Programming 144 2017, p. 1–49.see in PBN
• Andreas Björklund, Vikram Kamat, Łukasz Kowalik and Meirav Zehavi, Spotting Trees with Few Leaves, Siam Journal On Discrete Mathematics 31 (2) 2017, p. 687–713.see in PBN
• Andreas Björklund, Petteri Kaski and Łukasz Kowalik, Counting Thin Subgraphs via Packings Faster than Meet-in-the-Middle Time, Acm Transactions On Algorithms 13 (4) 2017, p. 48:1–48:26.see in PBN
• Son Thanh Cao and Anh Linh Nguyen, Query-subquery nets for Horn knowledge bases in first-order logic, Journal Of Information And Telecommunication 1 (1) 2017, p. 79–99.see in PBN
• Janina Mincer-Daszkiewicz, EMREX and EWP Offering Complementary Digital Services in the Higher Education Area, in: EUNIS 2017: Shaping the Digital Future of Universities, Raimund Vogl, Münster, Germany 2017, p. 358–367.see in PBN
• Karol Zbigniew Węgrzycki, Piotr Sankowski, Andrzej Krzysztof Pacuk and Piotr Wygocki, Why Do Cascade Sizes Follow a Power-Law?, in: Proceedings of the 26th International Conference on World Wide Web, 2017, p. 569–576.see in PBN
• Michal Adamczyk, Mai Alzamel, Panagiotis Charalampopoulos, Costas S. Iliopoulos and Jakub Jan Radoszewski, Palindromic Decompositions with Gaps and Errors, in: Computer Science - Theory and Applications - 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings, 2017, p. 48–61.see in PBN
• Filippo Cavallari, Henryk Michalewski and Michał Paweł Skrzypczak, A Characterisation of Pi\^0\_2 Regular Tree Languages, in: 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017, August 21-25, 2017 - Aalborg, Denmark, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017, p. 56:1–56:14.see in PBN
• Marcin Pilipczuk, Michał Pilipczuk and Marcin Wrochna, Edge Bipartization Faster Than 2^k, in: 11th International Symposium on Parameterized and Exact Computation (IPEC 2016), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany 2017, r. 26, p. 26:1–26:13.see in PBN
• Joshua Brody, Stefan Dziembowski, Sebastian Faust and Krzysztof Pietrzak, Position-Based Cryptography and Multiparty Communication Complexity, in: Theory of Cryptography, 2017, p. 56–81.see in PBN
• Mateusz K Łącki, Michał Startek, Dirk Valkenborg and Anna Gambin, IsoSpec: Hyperfast Fine Structure Calculator, Analytical Chemistry 89 (6) 2017, p. 3272–3277.see in PBN
• Mikołaj Bojańczyk, It is Undecidable if Two Regular Tree Languages can be Separated by a Deterministic Tree-walking Automaton, Fundamenta Informaticae 154 (1-4) 2017, p. 37–46.see in PBN
• Magdalena Pawlak, Agnieszka Kikulska, Tomasz Wrzesinski, Tobias Rausch, Zbigniew Kwias, Bartosz Wilczyński, Vladimir Benes, Joanna Wesoły and Tomasz Wilanowski, Potential protective role of Grainyhead-like genes in the development of clear cell renal cell carcinoma, Molecular Carcinogenesis 56 (11) 2017, p. 2414–2423.see in PBN
• Dariusz Matlak and Ewa Szczurek, Epistasis in genomic and survival data of cancer patients, Plos Computational Biology 2017.see in PBN
• Tomasz Kociumaka, Jakub Radoszewski and Bartłomiej Wiśniewski, Subquadratic-Time Algorithms for Abelian Stringology Problems, Aims Medical Science 4 (3) 2017, p. 332–351.see in PBN
• Janina Mincer-Daszkiewicz, Mats Lindstedt, Anders Bøgebjerg Hansen, Geir Vangen and Pamela Engström, Supporting Student Mobility - Expected and unexpected results from the EMREX Field Trial, in: EUNIS 2017: Shaping the Digital Future of Universities, Raimund Vogl, Münster, Germany 2017, p. 354–357.see in PBN
• Guoyin Wang, Andrzej Skowron, Yiyu Yao, Dominik Ślęzak and Lech Polkowski, Preface, in: Thriving Rough Sets : 10th Anniversary - Honoring Professor Zdzisław Pawlak's Life and Legacy & 35 Years of Rough Sets, Springer, 2017, p. v–viii.see in PBN
• Jakub Jan Radoszewski and Tatiana A. Starikovskaya, Streaming K-Mismatch with Error Correcting and Applications, in: 2017 Data Compression Conference, DCC 2017, 2017, p. 290–299.see in PBN
• Michał Pilipczuk, Erik Jan van Leeuwen and Andreas Wiese, Approximation and Parameterized Algorithms for Geometric Independent Set with Shrinking, in: 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017, August 21-25, 2017 - Aalborg, Denmark, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017, p. 42:1–42:13.see in PBN
• Archontia Giannopoulou, Michał Pilipczuk, Jean-florent Raymond, Dimitrios M. Thilikos and Marcin Wrochna, Cutwidth: Obstructions and Algorithmic Aspects, in: 11th International Symposium on Parameterized and Exact Computation (IPEC 2016), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany 2017, r. 15, p. 15:1–15:13.see in PBN
• Tomasz Gogacz and Szymon Toruńczyk, Entropy Bounds for Conjunctive Queries with Functional Dependencies, in: 20th International Conference on Database Theory, ICDT 2017, March 21-24, 2017, Venice, Italy, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017, r. 15, p. 15:1–15:17.see in PBN
• Marek Adam Cygan, Fedor V. Fomin, Alexander Golovnev, Alexander S. Kulikov, Ivan Mihajlin, Jakub Pachocki and Arkadiusz Aleksander Socała, Tight Lower Bounds on Graph Embedding Problems, Journal Of The Acm 64 (3) 2017, p. 18:1–18:22.see in PBN
• Jacek Sroka and Jan Hidders, On Determining the AND-OR Hierarchy in Workflow Nets, Fundamenta Informaticae 156 (1) 2017, p. 95–123.see in PBN
• Loan TT Nguyen, Ngoc-Thanh Nguyen, Bay Vo and Hung Son Nguyen, Efficient method for updating class association rules in dynamic datasets with record deletion, Applied Intelligence 2017, p. 1–15.see in PBN
• Julia Danuta Herman-Iżycka, Michal Wlasnowolski and Bartosz Wilczyński, Taking promoters out of enhancers in sequence based predictions of tissue-specific mammalian enhancers, Bmc Medical Genomics 10 (1) 2017, p. 34.see in PBN
• Jerzy Czyżowicz, Wojciech Rytter and Michał Włodarczyk, Evacuation from a Disc in the Presence of a Faulty Robot., in: Lecture Notes in Computer Science, Springer-Verlag, 2014.see in PBN
• Jadwiga Sosnowska and Oskar Skibski, Attachment Centrality for Weighted Graphs, in: Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI-17), 2017, p. 416–422.see in PBN
• Piotr Sankowski and Karol Zbigniew Węgrzycki, Improved Distance Queries and Cycle Counting by Frobenius Normal Form, in: 34th Symposium on Theoretical Aspects of Computer Science, 2017, r. 56, p. 1–14.see in PBN
• Amihood Amir, Panagiotis Charalampopoulos, Costas S. Iliopoulos, Solon P. Pissis and Jakub Jan Radoszewski, Longest Common Factor After One Edit Operation, in: String Processing and Information Retrieval - 24th International Symposium, SPIRE 2017, Proceedings, 2017, p. 14–26.see in PBN
• Marek Adam Cygan, Łukasz Kowalik, Arkadiusz Aleksander Socała and Krzysztof Sornat, Approximation and Parameterized Complexity of Minimax Approval Voting, in: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA., 2017, p. 459–465.see in PBN
• Hung Son Nguyen, Ngoc Thuy Nguyen, Hoang Son Nguyen and Long Giang Nguyen, Some observations on representation of dependency degree k, in: 9th International Conference on Knowledge and Systems Engineering (KSE),, 2017, p. 13–17.see in PBN
• Wei Shi, Therese Vu, Didier Boucher, Anna Małgorzata Biernacka, Jules Nde, Raj K. Pandita, Jasmin Straube, Glen M. Boyle, Fares Al-Ejeh, Purba Nag, Jessie Jeffery, Janelle L. Harris, Amanda L. Bain, Marta Monika Grzelak, Magdalena Olga Skrzypczak, Abhishek Mitra, Norbert Dojer, Nicola Crosetto, Nicole Cloonan, Olivier J. Becherel, John Finnie, Jeffrey R. Skaar, Carl R. Walkley, Tej K. Pandita, Maga Rowicka, Krzysztof Flawiusz Ginalski, Steven W. Lane and Kum Kum Khanna, Ssb1 and Ssb2 cooperate to regulate mouse hematopoietic stem and progenitor cells by resolving replicative stress, Blood 129 (18) 2017, p. 2479–2492.see in PBN
• Eryk Kopczyński, Computational Complexity on the Blackboard, Fundamenta Informaticae 152 (4) 2017, p. 323–339.see in PBN
• Marcin Michalak, Andrzej Piotr Janusz, Marek Grzegorowski, Łukasz Wróbel, Marek Sikora and Dominik Ślęzak, Predicting seismic events in coal mines based on underground sensor measurements, Engineering Applications Of Artificial Intelligence Vol. 64 2017, p. 83–94.see in PBN
• Anuj Dawar and Eryk Kopczyński, Bounded degree and planar spectra, Logical Methods In Computer Science Volume 13, Issue 4 2017.see in PBN
• Eryk Kopczyński and Szymon Toruńczyk, LOIS: Syntax and Semantics, in: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017, ACM, 2017, p. 586–598.see in PBN
• Marek Sikora, Wojciech Moczulski, Piotr Przystałka and Dominik Ślęzak, Wprowadzenie do systemu DISESOR, in: Zintegrowany, szkieletowy system wspomagania decyzji dla systemów monitorowania procesów, urządzeń i zagrożeń, Politechnika Śląska i Instytut technik Innowacyjnych EMAG, Gliwice 2017, r. 1, p. 1–9.see in PBN
• Marek Adam Cygan, Marcin Ireneusz Mucha, Karol Zbigniew Węgrzycki and Michał Włodarczyk, On Problems Equivalent to (min, +)-Convolution, in: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017, r. 22, p. 1–15.see in PBN
• Piotr Sankowski and Piotr Wygocki, Approximate Nearest Neighbors Search Without False Negatives For l_2 For c>sqrtloglogn, in: 28th International Symposium on Algorithms and Computation (ISAAC 2017), 2017, p. 63:1–63:12.see in PBN
• Marek Adam Cygan, Łukasz Kowalik and Arkadiusz Aleksander Socała, Improving TSP Tours Using Dynamic Programming over Tree Decompositions, in: 25th Annual European Symposium on Algorithms, ESA 2017, September 4-6, 2017, Vienna, Austria, 2017, p. 30:1–30:14.see in PBN
• Giuseppe F. Italiano, Adam Karol Karczmarz, Jakub Włodzimierz Łącki and Piotr Sankowski, Decremental Single-source Reachability in Planar Digraphs, in: Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, 2017, p. 1108–1121.see in PBN