Publikacje

Instytut Informatyki

2013

• Igor Chikalov, Vadim Lozin, Irina Lozina, Andrzej Skowron, Hung Son Nguyen, Mikhail Moshkov i Beata Zielosko, Three Approaches to Data Analysis. Test Theory, Rough Sets and Logical Analysis of Data, Springer, Berlin 2013.zobacz w PBN
• Mirosław Kowaluk, Andrzej Lingas i Eva-Marta Lundell, Unique Small Subgraphs Are Not Easier to Find, International Journal Of Computer Mathematics 90 (6) 2013, s. 1247–1253.zobacz w PBN
• Dominik Ślęzak, Hung Son Nguyen i Marcin Szczuka, Preface, Fundamenta Informaticae 127 (1-4) 2013.zobacz w PBN
• Janusz Józef Dutkowski i Jerzy Tiuryn, A probabilistic model of neutral and selective dynamics of protein network evolution, Journal Of Computational Biology 20 (9) 2013, s. 631–642.zobacz w PBN
• Paweł Górecki, Oliver Eulenstein i Jerzy Tiuryn, Unrooted Tree Reconciliation: A Unified Approach, Ieee-acm Transactions On Computational Biology And Bioinformatics 10 (2) 2013, s. 522–536.zobacz w PBN
• Peter Floderus, Mirosław Kowaluk, Andrzej Lingas i Eva-Marta Lundell, Detecting and Counting Small Pattern Graphs, Lecture Notes In Computer Science 8283 2013, s. 547–557.zobacz w PBN
• Marcin Drozd, Michał Bleja, Krzysztof Stencel i Kazimierz Subieta, Optimization of Object-Oriented Queries through Pushing Selections, w: Advances in Databases and Information Systems, Springer, Berlin Heidelberg 2013, s. 57–68.zobacz w PBN
• Piotr Jaroszynski i Norbert Dojer, Efficient and Error-Tolerant Sequencing Read Mapping, w: PROCEEDINGS IWBBIO 2013: INTERNATIONAL WORK-CONFERENCE ON BIOINFORMATICS AND BIOMEDICAL ENGINEERING, 2013, s. 353–364.zobacz w PBN
• Talal Rahwan, Tri-Dung Nguyen, Tomasz Michalak, Maria Polukarov, Madalina Croitoru i Nicholas Jennings, Coalitional Games via Network Flows, w: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI, 2013.zobacz w PBN
• Adam Krasuski, Andrzej Jankowski, Andrzej Skowron i Dominik Ślęzak, From Sensory Data to Decision Making: A Perspective on Supporting a Fire Commander, w: Proceedings of the 2013 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 2013.zobacz w PBN
• Mikołaj Bojańczyk, Luc Segoufin i Szymon Toruńczyk, Verification of database-driven systems via amalgamation, w: Proceedings of PODS 2013, 2013.zobacz w PBN
• Marcin Szczuka, MAGDALENA KACPRZAK i Ludwik Czaja (red.), Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming, Warsaw, Poland, CEUR-WS.org, 2013.zobacz w PBN
• Marcin Konrad Dziubiński, Non-symmetric discrete General Lotto games, International Journal Of Game Theory 42 (4) 2013, s. 801–833.zobacz w PBN
• Maxime Crochemore, Lucian Ilie, Costas S. Iliopoulos, Marcin Kubica, Wojciech Rytter i Tomasz Waleń, Computing the Longest Previous Factor, European Journal Of Combinatorics 34 (1) 2013, s. 15–26.zobacz w PBN
• Tomasz Michalak, Karthik Aadithya, Piotr Szczepański, Balaraman Ravindran i Nicholas Jennings, Efficient Computation of the Shapley Value for Game-Theoretic Network Centrality, Journal Of Artificial Intelligence Research 2013.zobacz w PBN
• Nicola Crosetto, Abhishek Mitra, Maria Joao Silva, Magda Bienko, Norbert Dojer, Qi Wang, Elif Karaca, Roberto Chiarle, Magdalena Olga Skrzypczak, Krzysztof Flawiusz Ginalski, Philippe Pasero, Maga Rowicka i Ivan Dikic, Nucleotide-resolution DNA double-strand break mapping by next-generation sequencing, Nature Methods 10 (4) 2013, s. 361–365.zobacz w PBN
• Barbara Dunin-Kęplicz i Andrzej Szałas, Taming Complex Beliefs, Lncs Transactions On Computational Collective Intelligence 2013.zobacz w PBN
• Mikołaj Bojańczyk, Tomasz Idziaszek i Michał Paweł Skrzypczak, Regular languages of thin trees, w: 30th International Symposium on Theoretical Aspects of Computer Science (STACS 2013), Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany 2013, s. 562–573.zobacz w PBN
• Michał Modzelewski i Norbert Dojer, MSARC: Multiple Sequence Alignment by Residue Clustering, w: Algorithms in Bioinformatics, 2013, s. 259–272.zobacz w PBN
• Simina Branzei, Tomasz Michalak, Talal Rahwan, Kate Larson i Nicholas Jennings, Matchings with Externalities and Attitudes, w: AAMAS'13: 12th International Conference on Autonomous Agents and Multiagent Systems, 2013.zobacz w PBN
• Piotr Skowron i Krzysztof Rządca, Exploring heterogeneity of unreliable machines for p2p backup, w: HPCS 2013, International Conference on High Performance Computing & Simulation, 2013, s. 91–98.zobacz w PBN
• Janina Mincer-Daszkiewicz, Framework for rapid in-house development of web applications for higher education institutions in Poland, w: EUNIS 2013, The 19th International Conference of European University Information Systems, Riga Technical University, Riga, Latvia 2013.zobacz w PBN
• Dominik Ślęzak, Hung Son Nguyen i Marcin Szczuka (red.), Logic, Data and Wisdom. To Andrzej Skowron on his 70th birthday., IOS Press, Amsterdam 2013.zobacz w PBN
• Mikołaj Bojańczyk, Leszek Aleksander Kołodziejczyk i Filip Murlak, Solutions in XML data exchange, Journal Of Computer And System Sciences 79 (6) 2013, s. 785–815.zobacz w PBN
• Marcin Kubica, Jakub Jan Radoszewski, Wojciech Rytter i Tomasz Waleń, On the maximum number of cubic subwords in a word, European Journal Of Combinatorics 34 (1) 2013, s. 27–37.zobacz w PBN
• Paweł Baturo, Marcin Piątkowski i Wojciech Rytter, The Maximal Number of Runs in Standard Sturmian Words, Electronic Journal Of Combinatorics 2013.zobacz w PBN
• Janusz Bujnicki i Jerzy Tiuryn, Bioinformatics and computational biology in Poland, Plos Computational Biology 2013.zobacz w PBN
• Michał Przybyłek, Algebraic pattern recognition, Proceedings Of Spie 9069 2013.zobacz w PBN
• Andreas Bjorklund, Petteri Kaski i Łukasz Kowalik, Probably Optimal Graph Motifs, w: 30th International Symposium on Theoretical Aspects of Computer Science (STACS 2013), Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany 2013.zobacz w PBN
• Mikołaj Bojańczyk, Bartosz Klin, Sławomir Lasota i Szymon Toruńczyk, Turing machines with atoms, w: Proceedings of LICS 2013, 2013, s. 183–192.zobacz w PBN
• Marek Adam Cygan, Dániel Marx, Marcin Łukasz Pilipczuk i Michał Pilipczuk, The Planar Directed K-Vertex-Disjoint Paths Problem Is Fixed-Parameter Tractable, w: 54th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2013, IEEE Computer Society, 2013, s. 197–206.zobacz w PBN
• Piotr Skowron i Krzysztof Rządca, Non-monetary fair scheduling --- a cooperative game theory approach, w: SPAA 2013, 25th ACM Symposium on Parallelism in Algorithms and Architectures, ACM, 2013, s. 288–297.zobacz w PBN
• Hung Son Nguyen, Tolerance Rough Set Model and Its Applications in Web Intelligence, w: 2013 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology, Atlanta, Georgia, USA, 17-20 November 2013, Workshop Proceedings, 2013, s. 237–244.zobacz w PBN
• Davide Ciucci, Masahiro Inuiguchi, Yiyu Yao, Dominik Ślęzak i Guoyin Wang (red.), Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - 14th International Conference, RSFDGrC 2013, Halifax, NS, Canada, October 11-14, 2013. Proceedings, Springer, Berlin, Heidelberg 2013.zobacz w PBN
• Michał Startek, Arnaud Le Rouzic, Pierre Capy, Dariusz Grzebelus i Anna Gambin, Genomic parasites or symbionts? Modeling the effects of environmental pressure on transposition activity in asexual populations, Theoretical Population Biology 90 (Complete) 2013, s. 145–151.zobacz w PBN
• Michalis Christou, Maxime Crochemore, Costas S. Iliopoulos, Marcin Kubica, Solon P. Pissis, Jakub Jan Radoszewski, Wojciech Rytter, Bartosz Szreder i Tomasz Waleń, Efficient seed computation revisited, Theoretical Computer Science 483 (Complete) 2013, s. 171–181.zobacz w PBN
• Aleksander Jankowski, Ewa Szczurek, Ralf Jauch, Jerzy Tiuryn i Shyam Prabhakar, Comprehensive prediction in 78 human cell lines reveals rigidity and compactness of transcription factor dimers, Genome Research 23 (8) 2013, s. 1307–1318.zobacz w PBN
• Anna Gambin, J. Li, R.A. Harris, S.W. Cheung, C. Coarfa, M. Jeong, M.A. Goodell, L.D. White, A. Patel, S. H. Kang, C. Shaw, A.C. Chinault, Tomasz Gambin, J.R. Lupski i A. Milosavlevic, Confounding by Repetitive Elements and CpG Islands Does Not Explain the Association between Hypomethylation and Genomic Instability, Plos Genetics 9 (2) 2013.zobacz w PBN
• Janina Mincer-Daszkiewicz, Skąd USOS mnie zna i jakie są moje prawa, czyli o zarządzaniu tożsamością, Delta 2013, s. 4–6.zobacz w PBN
• Marcin Łukasz Pilipczuk, Michał Pilipczuk, Piotr Sankowski i Erik Jan van Leeuwen, Subexponential-Time Parameterized Algorithm for Steiner Tree on Planar Graphs, w: 30th International Symposium on Theoretical Aspects of Computer Science (STACS 2013), Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany 2013, s. 353–364.zobacz w PBN
• Alessandro Facchini, Filip Murlak i Michał Paweł Skrzypczak, Rabin-Mostowski Index Problem: A Step beyond Deterministic Automata, w: Proceedings of LICS 2013, 2013, s. 499–508.zobacz w PBN
• Marek Adam Cygan, Marcin Łukasz Pilipczuk i Michał Pilipczuk, Known algorithms for EDGE CLIQUE COVER are probably optimal, w: Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2013, 2013, s. 1044–1053.zobacz w PBN
• Anh Linh Nguyen i Andrzej Szałas, On the Horn Fragments of Serial Regular Grammar Logics with Converse, w: Advanced Methods and Technologies for Agent and Multi-Agent Systems, Proceedings of the 7th KES Conference on Agent and Multi-Agent Systems - Technologies and Applications (KES-AMSTA 2013), May 27-29, 2013, Hue City, Vietnam, IOS Press, 2013, s. 225–234.zobacz w PBN
• Pawan Lingras, Marcin Wolski, Chris Cornelis, Sushmita Mitra i Piotr Wasilewski (red.), Rough Sets and Knowledge Technology - 8th International Conference, RSKT 2013, Halifax, NS, Canada, October 11-14, 2013, Proceedings, Springer, Berlin, Heidelberg 2013.zobacz w PBN
• Fabrizio Grandoni, Anupam Gupta, Stefano Leonardi, Pauli Miettinen, Piotr Sankowski i Mohit Singh, Set Covering with Our Eyes Closed, Siam Journal On Computing 42 (3) 2013, s. 808–830.zobacz w PBN
• Jun Yang, Abhishek Mitra, Norbert Dojer, Shuhua Fu, Maga Rowicka i Allan R. Brasier, A probabilistic approach to learn chromatin architecture and accurate inference of the NF-kappa B/RelA regulatory network using ChIP-Seq, Nucleic Acids Research 41 (15) 2013, s. 7240–7259.zobacz w PBN
• Piotr Dittwald, Tomasz Gambin, P. Szafranski, J. Li, S. Amato, M. Y. Divon, L. X. Rodriguez Rojas, L. E. Elton, D. A. Scott, C. P. Schaaf, W. Torres-Martinez, A. K. Stevens, J. A. Rosenfeld, S. Agadi, D. Francis, S. H. Kang, A. Breman, S. R. Lalani, C. A. Bacino, W. Bi, A. Milosavljevic, A. L. Beaudet, A. Patel, C. A. Shaw, J. R. Lupski, Anna Gambin, S. W. Cheung i Paweł Stankiewicz, NAHR-mediated copy-number variants in a clinical population: mechanistic insights into both genomic disorders and Mendelizing traits, Genome Research 23 (9) 2013, s. 1395–1409.zobacz w PBN
• Xin Liu, Anwitaman Datta i Krzysztof Rządca, Trust beyond reputation: A computational trust model based on stereotypes, Electronic Commerce Research And Applications 12 (1) 2013, s. 24–39.zobacz w PBN
• Janina Mincer-Daszkiewicz, Każdy student nosi w kieszeni ... komputer, czyli o Elektronicznej Legitymacji Studenckiej, Delta 2013, s. 20–21.zobacz w PBN
• Fedor V. Fomin, Stefan Kratsch, Marcin Łukasz Pilipczuk, Michał Pilipczuk i Yngve Villanger, Tight bounds for Parameterized Complexity of Cluster Editing, w: 30th International Symposium on Theoretical Aspects of Computer Science (STACS 2013), Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany 2013, s. 32–43.zobacz w PBN
• Piotr Hofman, Sławomir Lasota, Richard Mayr i Patrick Totzke, Simulation Over One-counter Nets is PSPACE-Complete, w: Proc. FSTTCS'13, 2013.zobacz w PBN
• Marcin Ireneusz Mucha, Lyndon Words and Short Superstrings, w: Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2013, 2013, s. 958–972.zobacz w PBN
• Anh Linh Nguyen, Cut-Free ExpTime Tableaux for Converse-PDL Extended with Regular Inclusion Axioms, w: Advanced Methods and Technologies for Agent and Multi-Agent Systems, Proceedings of the 7th KES Conference on Agent and Multi-Agent Systems - Technologies and Applications (KES-AMSTA 2013), May 27-29, 2013, Hue City, Vietnam, IOS Press, 2013, s. 235–244.zobacz w PBN
• Marcin Peczarski, USB dla niewtajemniczonych w przykładach na mikrokontrolery STM32, Wydawnictwo BTC, Legionowo 2013.zobacz w PBN
• Jacek Sroka, Jan Hidders i Paolo Missier, Report from the second workshop on scalable workflow enactment engines and technology (SWEET'13), Sigmod Record 42 (4) 2013, s. 73–77.zobacz w PBN
• Tomasz Puton, Łukasz Paweł KOZŁOWSKI, Kristian M. Rother i Janusz Bujnicki, CompaRNA: a server for continuous benchmarking of automated methods for RNA secondary structure prediction, Nucleic Acids Research 41 (7) 2013, s. 4307–23.zobacz w PBN
• P. Meyer, G. Siwo, D. Zeevi, E. Sharon, R. Norel, E. Segal, G. Stolovitzky, A. K. Rider, A. Tan, R. S. Pinapati, S. Emrich, N. Chawla, M. T. Ferdig, Y. A. Tung, Y. S. Chen, M. J. Chen, C. Y. Chen, J. M. Knight, S. M. Sahraeian, M. S. Esfahani, R. Dreos, P. Bucher, E. Maier, Y. Saeys, Ewa Szczurek, A. Mysickova, M. Vingron, H. Klein, S. M. Kielbasa, J. Knisley, J. Bonnell, D. Knisley, M. B. Kursa, W. R. Rudnicki, M. Bhattacharjee, M. J. Sillanpaa, J. Yeung, P. Meysman, A. S. Rodriguez, K. Engelen, K. Marchal, Y. Huang, F. Mordelet, A. Hartemink, L. Pinello i G. C. Yuan, Inferring gene expression from ribosomal promoter sequences, a crowdsourcing approach, Genome Research 23 (11) 2013, s. 1928–1937.zobacz w PBN
• Zbigniew Adamczyk i Wojciech Rytter, A note on a simple computation of the maximal suffix of a string, Journal Of Discrete Algorithms 20 (Complete) 2013, s. 61–64.zobacz w PBN
• Marcin Szczuka i Andrzej Piotr Janusz, Semantic Clustering of Scientific Articles Using Explicit Semantic Analysis, Lecture Notes In Computer Science Transactions On Rough Sets 7736 (XVI) 2013, s. 83–102.zobacz w PBN
• Tomasz Kociumaka, Jakub Jan Radoszewski i Wojciech Rytter, Fast Algorithms for Abelian Periods in Words and Greatest Common Divisor Queries, w: 30th International Symposium on Theoretical Aspects of Computer Science (STACS 2013), Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany 2013, s. 245–256.zobacz w PBN
• Kamil Bąk, Adam Krasuski i Marcin Szczuka, Searching for Concepts in Natural Language Part of Fire Service Reports, w: Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming, Warsaw, Poland, CEUR-WS.org, 2013, s. 39–48.zobacz w PBN
• Marek Adam Cygan i Marcin Łukasz Pilipczuk, Faster Exponential-Time Algorithms in Graphs of Bounded Average Degree, w: Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Part I, 2013, s. 364–375.zobacz w PBN
• Jan Małuszyński i Andrzej Szałas, Partiality and Inconsistency in Agents' Belief Bases, w: Advanced Methods and Technologies for Agent and Multi-Agent Systems, Proceedings of the 7th KES Conference on Agent and Multi-Agent Systems - Technologies and Applications (KES-AMSTA 2013), May 27-29, 2013, Hue City, Vietnam, IOS Press, 2013.zobacz w PBN
• Bartłomiej Gajewski, Tomasz Idziaszek, Marcin Kubica i Jakub Jan Radoszewski (red.), XX Olimpiada Informatyczna 2012/2013, Komitet Główny Olimpiady Informatycznej, Warszawa 2013.zobacz w PBN
• Łukasz Kowalik, Marcin Pilipczuk i Karol Suchan, Towards optimal kernel for connected vertex cover in planar graphs, Discrete Applied Mathematics 161 2013, s. 1154–1161.zobacz w PBN
• Sergei Kuznetsov i Dominik Ślęzak, Data mining and soft computing, International Journal Of General Systems 42 (6) 2013, s. 543–545.zobacz w PBN
• Marcin Konrad Dziubiński i Jaideep Roy, Hotelling-Downs Competition With Free Entry When Voters Have An Option To Contest, Journal Of Public Economic Theory 15 (4) 2013, s. 620–653.zobacz w PBN
• Mikołaj Jakub Rybiński, Zuzanna Szymańska, Sławomir Lasota i Anna Gambin, Modelling the efficacy of hyperthermia treatment, Journal Of The Royal Society Interface 10 (88) 2013, s. 1–10.zobacz w PBN
• Jakub Pachocki i Jakub Jan Radoszewski, Where to Use and How not to Use Polynomial String Hashing, Olympiads In Informatics 7 2013, s. 90–100.zobacz w PBN
• Andrzej Skowron i Piotr Wasilewski, Introduction to Perception Based Computing, w: Emerging Paradigms in Machine Learning, Springer, Heidelberg 2013, r. 10, s. 249–275.zobacz w PBN
• Thanh-Luong Tran, Quang-Thuy Ha, Thi-Lan-Giao Hoang, Anh Linh Nguyen i Hung Son Nguyen, Bisimulation-Based Concept Learning in Description Logics, w: Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming, Warsaw, Poland, CEUR-WS.org, 2013, s. 421–433.zobacz w PBN
• Marcin Ireneusz Mucha i Maxim Sviridenko, No-Wait Flowshop Scheduling Is as Hard as Asymmetric Traveling Salesman Problem, w: Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Part I, 2013.zobacz w PBN
• Barbara Dunin-Kęplicz, Andrzej Szałas, Alina Strachocka i Rineke Verbrugge, Perceiving Speech Acts under Incomplete and Inconsistent Information, w: Advanced Methods and Technologies for Agent and Multi-Agent Systems, Proceedings of the 7th KES Conference on Agent and Multi-Agent Systems - Technologies and Applications (KES-AMSTA 2013), May 27-29, 2013, Hue City, Vietnam, IOS Press, 2013.zobacz w PBN
• Wen-Chieh Chang, Ande Wehe, Paweł Górecki i Oliver Eulenstein, Exact Solutions for Classical Gene Tree Parsimony Problems, 2013.zobacz w PBN
• Rajeev Goré i Anh Linh Nguyen, ExpTime Tableaux for ALC Using Sound Global Caching, Journal Of Automated Reasoning 50 (4) 2013, s. 355–381.zobacz w PBN
• Bartosz Klin i V. Sassone, Structural operational semantics for stochastic and weighted transition systems, Information And Computation 227 (Complete) 2013, s. 58–83.zobacz w PBN
• Michał Startek, Jarosław Paszek, Tomasz Gambin, Krzysztof Walczak, Dariusz Grzebelus i Anna Gambin, TIRfinder: A Web Tool for Mining Class II Transposons Carrying Terminal Inverted Repeats, Evolutionary Bioinformatics 9 2013, s. 17–27.zobacz w PBN
• Agnieszka Podsiadlo, Mariusz Wrzesień, Wiesław Paja, Witold Rudnicki i Bartosz Wilczyński, Active enhancer positions can be accurately predicted from chromatin marks and collective sequence motif data, Bmc Systems Biology 7 (Supplement 6) 2013, s. 1–7.zobacz w PBN
• Boris Düdder, Oliver Garbe, Moritz Martens, Jakob Rehof i Paweł Urzyczyn, Using Inhabitation in Bounded Combinatory Logic with Intersection Typesfor Composition Synthesis, Electronic Proceedings In Theoretical Computer Science 121 2013, s. 18–34.zobacz w PBN
• Piotr Skowron i Krzysztof Rządca, Network delay-aware load balancing in selfish and cooperative distributed systems, w: 2013 27th IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), 2013.zobacz w PBN
• Anh Linh Nguyen i Joanna Golińska-Pilarek, An ExpTime Tableau Method for Dealing with Nominals and Quantified Number Restrictions in Deciding the Description Logic SHOQ, w: Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming, Warsaw, Poland, CEUR-WS.org, 2013, s. 296–308.zobacz w PBN
• Łukasz Sosnowski i Dominik Ślęzak, How to Design a Network of Comparators, w: Brain and Health Informatics, 2013, s. 389–398.zobacz w PBN
• Anh Linh Nguyen, Thi-Bich-Loc Nguyen i Andrzej Szałas, Horn-DL: An Expressive Horn Description Logic with PTime Data Complexity, w: Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, Springer, 2013, s. 259–264.zobacz w PBN
• Paweł Górecki i Oliver Eulentsein, Algorithms for Unrooted Gene Trees with Polytomies, 2013.zobacz w PBN
• Sinh Hoa Nguyen, Tuan Trung Nguyen, Marcin Szczuka i Hung Son Nguyen, An Approach to Pattern Recognition Based on Hierarchical Granular Computing, Fundamenta Informaticae 127 (1-4) 2013, s. 369–384.zobacz w PBN
• Michał Paweł Skrzypczak, Topological extension of parity automata, Information And Computation 228 2013, s. 16–27.zobacz w PBN
• Marek Adam Cygan, Marcin Łukasz Pilipczuk i Riste Skrekovski, A bound on the number of perfect matchings in Klee-graphs, Discrete Mathematics And Theoretical Computer Science 15 (1) 2013, s. 37–54.zobacz w PBN
• Wojciech Czerwiński, Piotr Hofman i Sławomir Lasota, Reachability problem for weak multi-pushdown automata, Logical Methods In Computer Science 9 (3:13) 2013.zobacz w PBN
• Agata Janowska, Wojciech Penczek, Agata Półrola i Andrzej Zbrzezny, Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets, Lncs Transactions On Petri Nets And Other Models Of Concurrency 8100 2013, s. 89–105.zobacz w PBN
• Michał Łukasik, Tomasz Kuśmierczyk, Łukasz Bolikowski i Hung Son Nguyen, Hierarchical, Multi-label Classification of Scholarly Publications: Modifications of ML-KNN Algorithm, w: Intelligent Tools for Building a Scientific Information Platform - Advanced Architectures and Solutions, Springer-Verlag Berlin Heidelberg, Berlin - Heidelberg - New York - Dordrecht - London 2013, s. 343–363.zobacz w PBN
• Andrzej Piotr Janusz, Adam Krasuski i Marcin Szczuka, Improving Semantic Clustering of EWID Reports by Using Heterogeneous Data Types, w: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - 14th International Conference, RSFDGrC 2013, Halifax, NS, Canada, October 11-14, 2013. Proceedings, Springer, Berlin, Heidelberg 2013, s. 304–314.zobacz w PBN
• Udi Boker, Denis Kuperberg, Orna Kupferman i Michał Paweł Skrzypczak, Nondeterminism in the Presence of a Diverse or Unknown Future, w: ICALP (2), 2013, 2013, s. 89–100.zobacz w PBN
• Ali Rezaei Divroodi i Anh Linh Nguyen, Bisimulation-Based Comparisons for Interpretations in Description Logics, w: Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013, CEUR-WS.org, 2013, s. 652–669.zobacz w PBN
• Michał Jastrzębski i Stefan Dziembowski, International Conference on Information Theoretic Security (ICITS 2013), 2013.zobacz w PBN
• Dominik Ślęzak, Piotr Synak, A. Wojna i Jakub Wróblewski, Two Database Related Interpretations of Rough Approximations: Data Organization and Query Execution, Fundamenta Informaticae 127 (1-4) 2013, s. 445––459.zobacz w PBN
• Marek Adam Cygan, Marcin Łukasz Pilipczuk, Michał Pilipczuk i Jakub Onufry Wojtaszczyk, Subset Feedback Vertex Set Is Fixed-Parameter Tractable, Siam Journal On Discrete Mathematics 27 (1) 2013, s. 290–309.zobacz w PBN
• Marcin Konrad Dziubiński, Complexity of logics for multi-agent systems with restricted modal context, Logic Journal Of The Igpl 21 (3) 2013, s. 355–379.zobacz w PBN
• Anuj Dawar, Eryk Kopczyński, Bjarki Holm, Erich Graedel i Wied Pakusa, Definability of linear equation systems over groups and rings, Logical Methods In Computer Science 9 (4) 2013, s. 12.zobacz w PBN
• Marek Adam Cygan, Marcin Łukasz Pilipczuk, Michał Pilipczuk i Jakub Onufry Wojtaszczyk, On multiway cut parameterized above lower bounds, Acm Transactions On Computation Theory 5 (1) 2013, s. 3.zobacz w PBN
• Tomasz Kuśmierczyk, Michał Łukasik, Łukasz Bolikowski i Hung Son Nguyen, Comparing Hierarchical Mathematical Document Clustering against the Mathematics Subject Classification Tree, w: Intelligent Tools for Building a Scientific Information Platform - Advanced Architectures and Solutions, Springer-Verlag Berlin Heidelberg, Berlin - Heidelberg - New York - Dordrecht - London 2013, s. 365–392.zobacz w PBN
• Long Giang Nguyen i Hung Son Nguyen, Metric Based Attribute Reduction in Incomplete Decision Tables, w: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - 14th International Conference, RSFDGrC 2013, Halifax, NS, Canada, October 11-14, 2013. Proceedings, Springer, Berlin, Heidelberg 2013, s. 99–110.zobacz w PBN
• Sebastian Widz i Dominik Ślęzak, Granular Attribute Selection: A Case Study of Rough Set Approach to MRI Segmentation, w: Pattern Recognition and Machine Intelligence, 2013, s. 47–52.zobacz w PBN
• Anh Linh Nguyen, A Tableau Method with Optimal Complexity for Deciding the Description Logic SHIQ, w: Advanced Computational Methods for Knowledge Engineering, Springer, 2013, s. 331–342.zobacz w PBN
• Piotr Dittwald, Jurgen Claesen, Tomasz Burzykowski, Dirk Valkenborg i Anna Gambin, BRAIN: A Universal Tool for High-Throughput Calculations of the Isotopic Distribution for Mass Spectrometry, Analytical Chemistry 2013, s. 1991–1994.zobacz w PBN
• Patrick Doherty i Andrzej Szałas, Automated Generation of Logical Constraints on Approximation Spaces Using Quantifier Elimination, Fundamenta Informaticae 127 (1-4) 2013, s. 135–149.zobacz w PBN
• Marek Adam Cygan, Guy Kortsarz i Zeev Nutov, Steiner Forest Orientation Problems, Siam Journal On Discrete Mathematics 27 (3) 2013, s. 1503–1513.zobacz w PBN
• Andrzej Szałas, How an Agent Might Think, Logic Journal Of The Igpl 21 (3) 2013, s. 515–535.zobacz w PBN
• Gabriela Majewska i Mirosław Kowaluk, New Sequential and Parallel Algorithms for Computing the β-Spectrum, Lecture Notes In Computer Science 2013, s. 210–224.zobacz w PBN
• Ken-etsu Fujita i Aleksy Andrzej Schubert, Decidable structures between Church-style and Curry-style, Leibniz International Proceedings In Informatics 21 2013, s. 190–205.zobacz w PBN
• Karol Kurach, Krzysztof Pawlowski, Lukasz Romaszko, Marcin Tatjewski, Andrzej Janusz i Hung Son Nguyen, Multi-label Classification of Biomedical Articles, w: Intelligent Tools for Building a Scientific Information Platform. Advanced Architectures and Solutions, SPRINGER-VERLAG, Berlin, Heidelberg 2013, s. 199–214.zobacz w PBN
• Marcin Szczuka, Using Domain Knowledge in Initial Stages of Knowledge Discovery in Databases - Tutorial Description, w: Rough Sets and Knowledge Technology - 8th International Conference, RSKT 2013, Halifax, NS, Canada, October 11-14, 2013, Proceedings, Springer, Berlin, Heidelberg 2013, s. 1–6.zobacz w PBN
• Tsau Young Lin, Guilong Liu, M.K. Chakraborty i Dominik Ślęzak, From Topology to Anti-reflexive Topology, w: 2013 IEEE International Conference on Fuzzy Systems (FUZZ), 2013.zobacz w PBN
• Barbara Dunin-Kęplicz i Andrzej Szałas, Paraconsistent Distributed Belief Fusion, w: IDC: 6th International Symposium on Intelligent Distributed Computing, 2013, r. 2013, s. 59–69.zobacz w PBN
• Tomasz Gambin, Paweł Stankiewicz, Maciej Sykulski i Anna Gambin, Functional performance of aCGH design for clinical cytogenetics, Computers In Biology And Medicine 43 2013, s. 775–785.zobacz w PBN
• Robert Dąbrowski, Grzegorz Timoszuk i Krzysztof Stencel, One Graph to Rule Them All Software Measurement and Management, Fundamenta Informaticae Vol. 128, nr 1-2 2013, s. 67––63.zobacz w PBN
• Mirosław Kowaluk, Andrzej Lingas i Eva-Marta Lundell, Counting and Detecting Small Subgraphs via Equations, Siam Journal On Discrete Mathematics 27 (2) 2013, s. 892–909.zobacz w PBN
• Norbert Dojer, Paweł Bednarz, Agnieszka Podsiadlo i Bartosz Wilczyński, BNFinder2: Faster Bayesian network learning and Bayesian classification, Bioinformatics 29 (16) 2013, s. 2068–2070.zobacz w PBN
• Maxime Crochemore, Costas S. Iliopoulos, Tomasz Kociumaka, Marcin Kubica, Alessio Langiu, Solon P. Pissis, Jakub Jan Radoszewski, Wojciech Rytter i Tomasz Waleń, Order-Preserving Incomplete Suffix Trees and Order-Preserving Indexes, Lecture Notes In Computer Science 8214 2013, s. 84–95.zobacz w PBN
• Chang Wen-Chien, Paweł Górecki i Oliver Eulenstein, Exact Solutions for Species Tree Inference from Discordant Gene Trees, Journal Of Bioinformatics And Computational Biology 11 (5) 2013, s. 1342005.zobacz w PBN
• Patryk Czarnik, Jacek Ludwik Chrząszcz i Aleksy Andrzej Schubert, CoJaq: a hierarchical view on the Java bytecode formalised in Coq, w: Advances in Software Development, 2013, r. 11, s. 147–157.zobacz w PBN
• Sebastian Stawicki i Dominik Ślęzak, Recent Advances in Decision Bireducts: Complexity, Heuristics and Streams, w: Rough Sets and Knowledge Technology - 8th International Conference, RSKT 2013, Halifax, NS, Canada, October 11-14, 2013, Proceedings, Springer, Berlin, Heidelberg 2013, s. 200–212.zobacz w PBN
• Łukasz Sosnowski i Dominik Ślęzak, Networks of Compound Object Comparators, w: 2013 IEEE International Conference on Fuzzy Systems (FUZZ), 2013.zobacz w PBN
• Paweł Urzyczyn, Undecidability of inhabitation, w: Lambda Calculus with Types, Association for Symbolic Logic - Cambridge University Press, Cambridge 2013, r. 175, s. 762–786.zobacz w PBN
• Marek Adam Cygan i Marcin Łukasz Pilipczuk, Split Vertex Deletion meets Vertex Cover: New fixed-parameter and exact exponential-time algorithms, Information Processing Letters 113 (5-6) 2013, s. 179–182.zobacz w PBN
• Jan Hidders, Paolo Missier, Jacek Sroka i Jan Van den Bussche, Preface, Fundamenta Informaticae 128 (3) 2013.zobacz w PBN
• Marcin Konrad Dziubiński i Sanjeev Goyal, Network design and defence, Games And Economic Behavior 79 (1) 2013, s. 30–43.zobacz w PBN
• Ryan B. Hayward, Broderic Arneson, Shih-Chieh Huang i Jakub Pawlewicz, MoHex Wins Hex Tournament, Icga Journal 36 (3) 2013, s. 180–183.zobacz w PBN
• Tomasz Kociumaka, Jakub Jan Radoszewski, Wojciech Rytter i Tomasz Waleń, Linear-Time Version of Holub's Algorithm for Morphic Imprimitivity Testing, Lecture Notes In Computer Science 7810 2013, s. 383–394.zobacz w PBN
• Vladimir Markovets, Robert Dąbrowski, Grzegorz Timoszuk i Krzysztof Stencel, Know Thy Source Code. Is it mostly dead or alive?, Ceur Workshop Proceedings 1036 2013, s. 128–131.zobacz w PBN
• Barbara Dunin-Kęplicz, Anh Linh Nguyen i Andrzej Szałas, Horn-TeamLog: A Horn Fragment of TeamLog with PTime Data Complexity, w: 5th International Conference on Computational Collective Intelligence - Technologies and Applications ICCCI 2013., 2013, s. 143–153.zobacz w PBN
• Wojciech Świeboda, Michał Meina i Hung Son Nguyen, Weight Learning for Document Tolerance Rough Set Model, w: Rough Sets and Knowledge Technology - 8th International Conference, RSKT 2013, Halifax, NS, Canada, October 11-14, 2013, Proceedings, Springer, Berlin, Heidelberg 2013, s. 385–396.zobacz w PBN
• Marcin Kowalski, Dominik Ślęzak i Piotr Synak, Enhanced Rough SQL for Correlated Subqueries, w: Proceedings of the 2013 Federated Conference on Computer Science and Information Systems (FedCSIS), Polskie Towarzystwo Informatyczne, Warszawa 2013, s. 1455–1462.zobacz w PBN
• Cezary Bartoszuk, Robert Dąbrowski, Krzysztof Stencel i Grzegorz Timoszuk, On quick comprehension and assessment of software, w: CompSysTech '13, 2013, s. 161–168.zobacz w PBN
• Marcin Kubica, Tomasz Kulczyński, Jakub Jan Radoszewski, Wojciech Rytter i Tomasz Waleń, A linear time algorithm for consecutive permutation pattern matching, Information Processing Letters 113 (12) 2013, s. 430–433.zobacz w PBN
• Hung Son Nguyen i Gloria Virginia, Lexicon-based Document Representation,, Fundamenta Informaticae 124 (1,2) 2013, s. 27–46.zobacz w PBN
• Marta Smyk, Przemyslaw Szafranski, Michał Startek, Anna Gambin i Paweł Stankiewicz, Chromosome conformation capture-on-chip analysis of long-range cis-interactions of the SOX9 promoter, Chromosome Research 21 (8) 2013, s. 781–788.zobacz w PBN
• André Arnold, Henryk Michalewski i Damian Niwiński, On the Separation Question for Tree Languages, Theory Of Computing Systems 2013, s. 1–23.zobacz w PBN
• Tomasz Kociumaka, Jakub Jan Radoszewski i Wojciech Rytter, Efficient Indexes for Jumbled Pattern Matching with Constant-Sized Alphabet, Lecture Notes In Computer Science 8125 2013, s. 625–636.zobacz w PBN
• Anna Gambin, Agata Charzyńska, Aleksandra Ellert-Miklaszewska i Mikołaj Rybiński, Computational models of the JAK1/2-STAT1 signaling., Jak-stat 2 (3) 2013, s. e24672.zobacz w PBN
• Hung Son Nguyen, Sinh Hoa Nguyen i Wojciech Swieboda, Semantic Explorative Evaluation of Document Clustering Algorithms, w: 2013 Federated Conference on Computer Science and Information Systems, FedCSIS, Polskie Towarzystwo Informatyczne, Warszawa 2013, s. 115–122.zobacz w PBN
• Marcin Szczuka i Dominik Ślęzak, How Deep Data Becomes Big Data, w: Proceedings of Joint IFSA World Congress and NAFIPS Annual Meeting 2013, IEEE, Piscataway, NJ, USA 2013, s. 579–584.zobacz w PBN
• Cezary Bartoszuk, Grzegorz Timoszuk, Robert Dąbrowski i Krzysztof Stencel, Magnify - a new tool for software visualization, w: Proceedings of the 2013 Federated Conference on Computer Science and Information Systems (FedCSIS), Polskie Towarzystwo Informatyczne, Warszawa 2013.zobacz w PBN
• Marek Grabowski, Jan Hidders i Jacek Sroka, Representing MapReduce Optimisations in the Nested Relational Calculus, w: BNCOD, 2013, s. 175–188.zobacz w PBN
• Maxime Crochemore, Costas S. Iliopoulos, Tomasz Kociumaka, Marcin Kubica, Jakub Pachocki, Jakub Jan Radoszewski, Wojciech Rytter, Wojciech Tyczyński i Tomasz Waleń, A note on efficient computation of all Abelian periods in a string, Information Processing Letters 113 (3) 2013, s. 74–77.zobacz w PBN
• Jingtao Yao, Andrzej Skowron, Guoyin Wang i Hung Son Nguyen, Preface, Fundamenta Informaticae 126 (4) 2013, s. i–iii.zobacz w PBN
• Paweł Parys, Some Results on Complexity of µ-Calculus Evaluation in the Black-Box Model, Rairo-theoretical Informatics And Applications 47 (1) 2013, s. 97–109.zobacz w PBN
• Mikołaj Bojańczyk, Nominal Monoids, Theory Of Computing Systems 53 (2) 2013, s. 194–222.zobacz w PBN
• Tomasz Kociumaka, Solon P. Pissis, Jakub Jan Radoszewski, Wojciech Rytter i Tomasz Waleń, Fast Algorithm for Partial Covers in Words, Lecture Notes In Computer Science 7922 2013, s. 177–188.zobacz w PBN
• Andrzej Skowron, Mihir Kr. Chakraborty, Victor Marek, Jerzy Grzymała-Busse, Sankar K. Pal, Dominik Ślęzak, James F. Peters, Grzegorz Rozenberg, Roman Słowiński, Shusaku Tsumoto, Alicja Wakulicz-Deja, Guoyin Wang i Wojciech Ziarko, Professor Zdzisław Pawlak (1926-2006): Founder of the Polish School of Artificial Intelligence, w: Rough Sets and Intelligent Systems - Professor Zdzisław Pawlak in Memoriam, Springer, Berlin 2012, r. 1, s. 1–56.zobacz w PBN
• Jakub Włodzimierz Łącki i Piotr Sankowski, Reachability in graph timelines, w: Innovations in Theoretical Computer Science, ITCS '13, Berkeley, CA, USA, January 9-12, 2013, ACM, 2013, s. 257–268.zobacz w PBN
• Dominik Ślęzak i Marcin Kowalski, Intelligent Granulation of Machine-generated Data, w: Proceedings of Joint IFSA World Congress and NAFIPS Annual Meeting 2013, IEEE, Piscataway, NJ, USA 2013, s. 68–73.zobacz w PBN
• Adam Krasuski i Andrzej Piotr Janusz, Semantic tagging of heterogeneous data: Labeling Fire&Rescue incidents with threats, w: Proceedings of the 2013 Federated Conference on Computer Science and Information Systems (FedCSIS), Polskie Towarzystwo Informatyczne, Warszawa 2013, s. 77–82.zobacz w PBN
• Barbara Dunin-Keplicz i Alina Strachocka, Perceiving Rules under Incomplete and Inconsistent Information, w: Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings, 2013, s. 256–272.zobacz w PBN
• Ewa Szczurek, Navodit Misra i Martin Vingron, Synthetic sickness or lethality points at candidate combination therapy targets in glioblastoma, International Journal Of Cancer 2013.zobacz w PBN
• Adam Krasuski i Piotr Wasilewski, Outlier Detection by Interaction with Domain Experts, Fundamenta Informaticae 127 (1-4) 2013, s. 529–544.zobacz w PBN
• Claudia Carvalho, Piotr Dittwald, Tomasz Gambin, Claudia Gonzaga-Jauregui, James Lupski, Paweł Stankiewicz i Anna Gambin, Inverted Low-Copy Repeats and Genome Instability, Human Mutation 34 (1) 2013, s. 210–220.zobacz w PBN
• Mirosława Miłkowska, Book review of 'Thinking as Computation: a first course' by Hector J. Levesque, Theory And Practice Of Logic Programming 13 (01) 2013, s. 143–145.zobacz w PBN
• Stefan Dziembowski, Tomasz Piotr Kazana i Maciej Obremski, Non-malleable Codes from Two-Source Extractors, Lecture Notes In Computer Science 2013.zobacz w PBN
• Hung Son Nguyen i Andrzej Skowron, Rough Sets: From rudiments to challenges, w: Rough Sets and Intelligent Systems - Professor Zdzisław Pawlak in Memoriam, Springer, Berlin 2012.zobacz w PBN
• Marek Adam Cygan, Marcin Ireneusz Mucha, Piotr Sankowski, Matthias Englert i Anupam Gupta, Catch them if you can: how to serve impatient users, w: Innovations in Theoretical Computer Science, ITCS '13, Berkeley, CA, USA, January 9-12, 2013, ACM, 2013.zobacz w PBN
• Tomasz Michalak, Talal Rahwan, Piotr L. Szczepański, Oskar Skibski, Ramasuri Narayanam, Michael J. Wooldridge i Nicholas R. Jennings, Computational Analysis of Connectivity Games with Applications to Terrorist Networks, w: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI, 2013, s. 293–301.zobacz w PBN
• Marcin Kowalski, Dominik Ślęzak i Piotr Synak, Approximate Assistance for Correlated Subqueries, w: Proceedings of the 2013 Federated Conference on Computer Science and Information Systems (FedCSIS), Polskie Towarzystwo Informatyczne, Warszawa 2013, s. 1455–1462.zobacz w PBN
• Marcin Bilkowski, Michał Skrzypczak i Simona Ronchi Della Rocca, Unambiguity and uniformization problems on infinite trees, w: Computer Science Logic 2013 (CSL 2013), 2013, s. 81–100.zobacz w PBN