Publikacje

Instytut Informatyki

2014

• Marcelo Arenas, Pablo Barceló, Leonid Libkin i Filip Murlak, Foundations of Data Exchange, Cambridge University Press, 2014.zobacz w PBN
• Jerzy Stefanowski, Alfredo Cuzzocrea i Dominik Ślęzak, Processing and mining complex data streams, Information Sciences 285 2014, s. 63–65.zobacz w PBN
• Tianrui Li, Hongmei Chen, Jingtao Yao i Hung Son Nguyen, Preface: Special Issue in Advances on Rough Sets and Knowledge Technology, Fundamenta Informaticae 132 (3) 2014, s. i–iii.zobacz w PBN
• Katarzyna Budzynska, Michal Araszkiewicz, Barbara Bogołȩbska, Piotr Cap, Tadeusz Ciecierski, Kamila Debowska-Kozlowska, Barbara Dunin-Kęplicz, Marcin Dziubiński, Michał Federowicz, Anna Gomolińska, Andrzej Grabowski, Teresa Hołówka, Łukasz Jochemczyk, Magdalena Kacprzak, Paweł Kawalec, Maciej Kielar, Andrzej Kisielewicz, Marcin Koszowy, Robert Kublikowski, Piotr Kulicki, Anna Kuzio, Piotr Lewiński, Jakub Z. Lichański, Jacek Malinowski, Witold Marciszewski, Edward Nieznański, Janina Pietrzak, Jerzy Pogonowski, Tomasz Puczyłowski, Jolanta Rytel, Anna Sawicka, Marcin Selinger, Andrzej Skowron, Joanna Skulska, Marek Smolak, Małgorzata Sokół, Agnieszka Sowińska, Piotr Stalmaszczyk, Tomasz Stawecki, Jarosław Stepaniuk, Alina Strachocka, Wojciech Suchoń, Krzysztof Szymanek, Justyna Tomczyk, Robert Trypuz, Kazimierz Trzȩsicki, Mariusz Urbański, Ewa Wasilewska-Kamińska, Krzysztof a. Wieczorek, Maciej Witek, Urszula Wybraniec-Skardowska, Olena Yaskorska, Maria Załęska, Konrad Zdanowski i Tomasz Żurek, The Polish School of Argumentation: A Manifesto, Argumentation 28 (3) 2014, s. 267–282.zobacz w PBN
• Aleksander Jankowski, Shyam Prabhakar i Jerzy Tiuryn, TACO: a general-purpose tool for predicting cell-type–specific transcription factor dimers, Bmc Genomics 15 (1) 2014, s. 208.zobacz w PBN
• Tomasz Kociumaka, Solon Pissis, Jakub Jan Radoszewski, Wojciech Rytter i Tomasz Waleń, Efficient Algorithms for Shortest Partial Seeds in Words, Lecture Notes In Computer Science 8486 2014, s. 192–201.zobacz w PBN
• Marek Adam Cygan, Stefan Kratsch, Marcin Pilipczuk, Michał Pilipczuk i Magnus Wahlström, Clique Cover and Graph Separation: New Incompressibility Results, Acm Transactions On Computation Theory 6 (2) 2014, s. 6.zobacz w PBN
• Piotr Skowron, Krzysztof Rzadca i Anwitaman Datta, People Are Processors: Coalitional Auctions for Complex Projects, w: Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems, 2014, s. 1525–1526.zobacz w PBN
• Konrad Iwanicki, Beyond replicated storage: eventually-consistent distributed data structures, w: Proceedings of the First Workshop on the Principles and Practice of Eventual Consistency, PaPEC@EuroSys 2014, April 13, 2014, Amsterdam, The Netherlands, ACM, 2014.zobacz w PBN
• Paweł Parys, First-Order Logic on CPDA Graphs, w: Computer Science - Theory and Applications - 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings, 2014, s. 300–313.zobacz w PBN
• Mikołaj Bojańczyk, Tomasz Gogacz, Henryk Michalewski i Michał Paweł Skrzypczak, On the Decidability of MSO+U on Infinite Trees, w: Automata, Languages, and Programming - 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II, 2014, s. 50–61.zobacz w PBN
• Bartosz Klin i Beata Nachyła, Distributive Laws and Decidable Properties of SOS Specifications, w: Proceedings Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics, EXPRESS 2014, and 11th Workshop on Structural Operational Semantics, SOS 2014, Rome, Italy, 1st September 2014., 2014, s. 79–93.zobacz w PBN
• Dominik Ślęzak, Gerald Schaefer, Son T. Vuong i Yoo-Sung Kim (red.), Active Media Technology - 10th International Conference, AMT 2014, Warsaw, Poland, August 11-14, 2014. Proceedings, 2014.zobacz w PBN
• Fedor V. Fomin, Stefan Kratsch, Marcin Pilipczuk, Michał Pilipczuk i Yngve Villanger, Tight bounds for parameterized complexity of Cluster Editing with a small number of clusters, Journal Of Computer And System Sciences 80 (7) 2014, s. 1430–1447.zobacz w PBN
• Marek Adam Cygan, Dániel Marx, Marcin Łukasz Pilipczuk, Michał Pilipczuk i Ildikó Schlotter, Parameterized Complexity of Eulerian Deletion Problems, Algorithmica 68 (1) 2014, s. 41–61.zobacz w PBN
• Anh Linh Nguyen, ExpTime tableaux with global state caching for the description logic SHIO, Neurocomputing 146 2014, s. 249–263.zobacz w PBN
• Michał Woźniak, Jerzy Tiuryn i Limsoon Wong, GWAMAR: Genome-wide assessment of mutations associated with drug resistance in bacteria, Bmc Genomics 15 (Suppl 10) 2014, s. S10.zobacz w PBN
• Tomasz Kociumaka, Jakub Jan Radoszewski, Wojciech Rytter i Tomasz Waleń, Maximum Number of Distinct and Nonequivalent Nonstandard Squares in a Word, Lecture Notes In Computer Science 8633 2014, s. 215–226.zobacz w PBN
• Marek Cygan i Tomasz Kociumaka, Constant Factor Approximation for Capacitated k-Center with Outliers, Leibniz International Proceedings In Informatics 25 2014, s. 251–262.zobacz w PBN
• Tadeusz Sznuk i Aleksy Andrzej Schubert, Tool Support for Teaching Hoare Logic, w: Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings, Springer, 2014, s. 332–346.zobacz w PBN
• Michal Gregorczyk, Tomasz Pazurkiewicz i Konrad Iwanicki, On Decentralized In-network Aggregation in Real-World Scenarios with Crowd Mobility, w: IEEE International Conference on Distributed Computing in Sensor Systems, DCOSS 2014, Marina Del Rey, CA, USA, May 26-28, 2014, IEEE, 2014.zobacz w PBN
• Anudhyan Boral, Marek Adam Cygan, Tomasz Kociumaka i Marcin Pilipczuk, A Fast Branching Algorithm for Cluster Vertex Deletion, w: Computer Science - Theory and Applications - 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings, 2014, s. 111–124.zobacz w PBN
• Mikołaj Bojańczyk, Transducers with Origin Information, w: Automata, Languages, and Programming - 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II, 2014, s. 26–37.zobacz w PBN
• Ramasuri Narayanam, Oskar Skibski, Hemank Lamba i Tomasz Michalak, A Shapley Value-based Approach to Determine Gatekeepers in Social Networks with Applications, w: 21st European Conference on Artificial Intelligence, IOS Press, 2014.zobacz w PBN
• Marek Adam Cygan i Pinar Heggernes (red.), 9th International Symposium on Parameterized and Exact Computation (IPEC 2014), 2014.zobacz w PBN
• Cristina Bazgan, Morgan Chopin, Marek Adam Cygan, Michael R. Fellows, Fedor V. Fomin i Erik Jan van Leeuwen, Parameterized complexity of firefighting, Journal Of Computer And System Sciences 80 (7) 2014, s. 1285–1297.zobacz w PBN
• Marek Adam Cygan, Marcin Łukasz Pilipczuk, Michał Pilipczuk i Jakub Onufry Wojtaszczyk, Scheduling Partially Ordered Jobs Faster than 2^n, Algorithmica 68 (3) 2014, s. 692–714.zobacz w PBN
• Andrzej Tarlecki, Władysław Marek Turski (1938 - 2013), Formal Aspects Of Computing 26 (5) 2014, s. 863––864.zobacz w PBN
• Pauli Rämö, Anna Drewek, Cécile Arrieumerlou, Niko Beerenwinkel, Houchaima Ben-Tekaya, Bettina Cardel, Alain Casanova, Raquel Conde-Alvarez, Pascale Cossart, Gábor Csúcs, Simone Eicher, Mario Emmenlauer, Urs Greber, Wolf-Dietrich Hardt, Ari Helenius, Christoph Kasper, Andreas Kaufmann, Saskia Kreibich, Andreas Kühbacher, Peter Kunszt, Shyan Huey Low, Jason Mercer, Daria Mudrak, Simone Muntwiler, Lucas Pelkmans, Javier Pizarro-Cerdá, Michael Podvinec, Eva Pujadas, Bernd Rinn, Vincent Rouilly, Fabian Schmich, Juliane Siebourg-Polster, Berend Snijder, Michael Stebler, Gabriel Studer, Ewa Szczurek, Matthias Truttmann, Christian von Mering, Andreas Vonderheit, Artur Yakimovich, Peter Bühlmann i Christoph Dehio, Simultaneous analysis of large-scale RNAi screens for pathogen entry, Bmc Genomics 2014.zobacz w PBN
• Tomasz Kociumaka, Jakub Jan Radoszewski i Wojciech Rytter, Computing k-th Lyndon Word and Decoding Lexicographically Minimal de Bruijn Sequence, Lecture Notes In Computer Science 8486 2014, s. 202–211.zobacz w PBN
• Son Thanh Cao, Anh Linh Nguyen i Andrzej Szałas, WORL: a nonmonotonic rule language for the semantic web, Vietnam Journal Of Computer Science 1 (1) 2014, s. 57–69.zobacz w PBN
• Andrzej Piotr Janusz i Marcin Szczuka, Assessment of data granulations in context of feature extraction problem, w: 2014 IEEE International Conference on Granular Computing, Proceedings, IEEE, 2014, s. 116–120.zobacz w PBN
• Łukasz Białek i Andrzej Szałas, Lightweight Reasoning with Incomplete and Inconsistent Information: a Case Study, w: 2014 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT), Vol. 3, IEEE, Los Alamitos, California 2014, s. 325–332.zobacz w PBN
• Wojciech Michał Świeboda, Van Mai Nguyen Thi i Hung Son Nguyen, Granular Floor Plan Representation for Evacuation Modeling, w: Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, September 29 - October 1, 2014, 2014, s. 308–310.zobacz w PBN
• Mikołaj Bojańczyk, Weak MSO+U with Path Quantifiers over Infinite Trees, w: Automata, Languages, and Programming - 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II, 2014, s. 38–49.zobacz w PBN
• Piotr Szczepański, Tomasz Michalak i Michael Wooldridge, A Centrality Measure for NetworksWith Community Structure Based on a Generalization of the Owen Value, w: 21st European Conference on Artificial Intelligence, IOS Press, 2014.zobacz w PBN
• Dominik Ślęzak, Barbara Dunin-Kęplicz, Mike Lewis i Takao Terano (red.), 2014 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT), Vol. 3, IEEE, Los Alamitos, California 2014.zobacz w PBN
• Andrzej Tarlecki, R\uazvan Diaconescu, Institution-independent Model Theory, Studia Logica 102 (1) 2014, s. 225–229.zobacz w PBN
• Marek Adam Cygan, Daniel Lokshtanov, Marcin Pilipczuk, Michał Pilipczuk i Saket Saurabh, On Cutwidth Parameterized by Vertex Cover, Algorithmica 68 (4) 2014, s. 940–953.zobacz w PBN
• Lucia Ciglar, Charles Girardot, Bartosz Wilczyński, Martina Braun i Eileen EM Furlong, Coordinated repression and activation of two transcriptional programs stabilizes cell fate during myogenesis, Development 141 (13) 2014, s. 2633–2643.zobacz w PBN
• Izabela Sierocka, Łukasz Kozłowski, Janusz Bujnicki, Artur Jarmołowski i Zofia Szweykowska-kulińska, Female-specific gene expression in dioecious liverwort Pellia endiviifolia is developmentally regulated and connected to archegonia production, Bmc Plant Biology 14 2014, s. 168.zobacz w PBN
• Maxime Crochemore, Costas Iliopoulos, Tomasz Kociumaka, Jakub Jan Radoszewski, Wojciech Rytter i Tomasz Waleń, Covering Problems for Partial Words and for Indeterminate Strings, Lecture Notes In Computer Science 8889 2014, s. 220––232.zobacz w PBN
• Paweł Bednarz i Bartosz Wilczyński, Supervised learning method for predicting chromatin boundary associated insulator elements, Journal Of Bioinformatics And Computational Biology 2014.zobacz w PBN
• Sinh Hoa Nguyen, Wojciech Swieboda i Hung Son Nguyen, On semantic evaluation of text clustering algorithms, w: 2014 IEEE International Conference on Granular Computing, Proceedings, IEEE, 2014, s. 224–229.zobacz w PBN
• Barbara Dunin-Kęplicz i Alina Strachocka, Computationally-Friendly Argumentation Schemes, w: 2014 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT), Vol. 3, IEEE, Los Alamitos, California 2014, s. 167–174.zobacz w PBN
• Michal Chromiak, Piotr Wiśniewski i Krzysztof Stencel, Exploiting Order Dependencies on Primary Keys for Optimization, w: Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, September 29 - October 1, 2014, 2014, s. 58–68.zobacz w PBN
• Alessandro Facchini i Henryk Michalewski, Deciding the Borel Complexity of Regular Tree Languages, w: Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings, Springer, 2014, s. 163–172.zobacz w PBN
• Shaheen Fatima, Tomasz Michalak i Michael Wooldridge, Bargaining for Coalition Structure Formation, w: 21st European Conference on Artificial Intelligence, IOS Press, 2014.zobacz w PBN
• James F. Peters, Andrzej Skowron, Tianrui Li, Yan Yang, Jin Tao Yao i Hung Son Nguyen (red.), Transcations on Rough Sets XVIII, Springer, Heidelberg 2014.zobacz w PBN
• M. Plotka, A. K. Kaczorowska, A. Stefanska, A. Morzywolek, O. H. Fridjonsson, S. Dunin-Horkawicz, Łukasz Paweł KOZŁOWSKI, G. O. Hreggvidsson, J. K. Kristjansson, S. Dabrowski, J. M. Bujnicki i T. Kaczorowski, Novel highly thermostable endolysin from Thermus scotoductus MAT2119 bacteriophage Ph2119 with amino acid sequence similarity to eukaryotic peptidoglycan recognition proteins, Applied And Environmental Microbiology 80 (3) 2014, s. 886–95.zobacz w PBN
• Marek Adam Cygan, Marcin Pilipczuk, Michał Paweł Pilipczuk i Jakub Wojtaszczyk, Solving the 2-Disjoint Connected Subgraphs Problem Faster than 2 n, Algorithmica 70 (2) 2014, s. 195–207.zobacz w PBN
• Mikołaj Bojańczyk, Stanisław Konrad Szawiel i Marek Witold Zawadowski, Rigidity is undecidable, Mathematical Structures In Computer Science 2014.zobacz w PBN
• A. V. Dharmadhikari, Tomasz Gambin, P. Szafranski, W. Cao, F. J. Probst, W. Jin, P. Fang, K. Gogolewski, Anna Gambin, J. K. George-Abraham, S. Golla, F. Boidein, B. Duban-Bedu, B. Delobel, J. Andrieux, K. Becker, E. Holinski-Feder, S. Cheung i P. Stankiewicz, Molecular and clinical analyses of 16q24.1 duplications involving FOXF1 identify an evolutionarily unstable large minisatellite, Bmc Medical Genetics 15 (1) 2014, s. 128.zobacz w PBN
• Tomasz Kociumaka, Jakub Pachocki, Jakub Jan Radoszewski, Wojciech Rytter i Tomasz Waleń, On the String Consensus Problem and the Manhattan Sequence Consensus Problem, Lecture Notes In Computer Science 8799 2014, s. 244–255.zobacz w PBN
• Andrzej Piotr Janusz, Algorithms for Similarity Relation Learning from High Dimensional Data, Transactions On Rough Sets Xvii 17 2014, s. 174–292.zobacz w PBN
• Andrzej Piotr Janusz, Sebastian Stawicki i Hung Son Nguyen, Adaptive Learning for Improving Semantic Tagging of Scientific Articles, w: Proceedings of the 2014 Federated Conference on Computer Science and Information Systems, Warsaw, Poland, September 7-10, 2014., 2014, s. 27–34.zobacz w PBN
• Andrzej Szałas, Symbolic Explanations of Generalized Fuzzy Reasoning., w: Smart Digital Futures 2014, IOS PRESS, 2014, s. 7–16.zobacz w PBN
• Ivan Bliznets, Fedor Fomin, Marcin Pilipczuk i Michał Pilipczuk, A Subexponential Parameterized Algorithm for Proper Interval Completion, w: Algorithms - ESA 2014 - 22th Annual European Symposium, Wroclaw, Poland, September 8-10, 2014. Proceedings, Springer, 2014, s. 173–184.zobacz w PBN
• Filip Mazowiecki, Filip Murlak i Adam Wojciech Witkowski, Monadic Datalog and Regular Tree Pattern Queries, w: Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I, 2014, s. 426–437.zobacz w PBN
• Piotr Synak i Dominik Ślęzak, Complexity aspects of multi-machine aggregations in a rough-granular computation framework, w: 2014 IEEE International Conference on Granular Computing, GrC 2014, Noboribetsu, Japan, October 22-24, 2014, 2014, s. 275–280.zobacz w PBN
• Dominik Ślęzak, Ah-Hwee Tan, James F. Peters i Lars Schwabe (red.), Brain Informatics and Health - International Conference, BIH 2014, Warsaw, Poland, August 11-14, 2014, Proceedings, Springer, 2014.zobacz w PBN
• Łukasz Białek, Marta Borkowska, Adam Borkowski, Barbara Dunin-Kęplicz, Michał Gnatowski, Andrzej Szałas i Jacek Szklarski, Coordinating multiple rescue robots, Prace Naukowe Politechniki Warszawskiej. Elektronika (194) 2014, s. 185–196.zobacz w PBN
• Ryszard Rudnicki i Jerzy Tiuryn, Size distribution of gene families in a genome, Mathematical Models & Methods In Applied Sciences 24 (4) 2014, s. 697–717.zobacz w PBN
• Donald Sannella i Andrzej Tarlecki, Property-oriented semantics of structured specifications, Mathematical Structures In Computer Science 24 (2) 2014.zobacz w PBN
• Paweł Górecki i Oliver Eulenstein, Maximizing Deep Coalescence Cost, Ieee-acm Transactions On Computational Biology And Bioinformatics 11 (1) 2014, s. 231–242.zobacz w PBN
• Shih-Chieh Huang, Broderic Arneson, Ryan B. Hayward, Martin Müller i Jakub Pawlewicz, MoHex 2.0: A Pattern-Based MCTS Hex Player, Lecture Notes In Computer Science 8427 2014, s. 60–71.zobacz w PBN
• Anh Linh Nguyen, Thi-Bich-Loc Nguyen i Andrzej Szałas, A Horn Fragment with PTime Data Complexity of Regular Description Logic with Inverse, Vnu Journal Of Science: Computer Science And Communication Engineering 30 (4) 2014, s. 14–28.zobacz w PBN
• Andrzej Piotr Janusz, Adam Krasuski, Sebastian Stawicki, Mariusz Rosiak, Dominik Ślęzak i Hung Son Nguyen, Key Risk Factors for Polish State Fire Service: a Data Mining Competition at Knowledge Pit, w: Proceedings of the 2014 Federated Conference on Computer Science and Information Systems, Warsaw, Poland, September 7-10, 2014., 2014, s. 345–354.zobacz w PBN
• Barbara Dunin-Kęplicz, Andrzej Szałas i Rineke Verbrugge, Tractable Reasoning about Group Beliefs, w: Engineering Multi-Agent Systems, Springer-Verlag, 2014, s. 328–350.zobacz w PBN
• Marek Adam Cygan, Dániel Marx, Marcin Pilipczuk i Michał Pilipczuk, Hitting Forbidden Subgraphs in Graphs of Bounded Treewidth, w: Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part II, Springer, 2014, s. 189–200.zobacz w PBN
• Claire David, Nadime Francis i Filip Murlak, Consistency of Injective Tree Patterns, w: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2014, s. 279–290.zobacz w PBN
• Konrad Durnoga, Stefan Dziembowski, Tomasz Kazana, Michal Zajac i Tomasz Piotr Kazana, One-Time Programs with Limited Memory, w: Information Security and Cryptology - 9th International Conference, Inscrypt 2013, Guangzhou, China, November 27-30, 2013, Revised Selected Papers, 2014, s. 377–394.zobacz w PBN
• Dominik Ślęzak, Hung Son Nguyen, Marek Reformat i Eugene Santos Jr (red.), The 2014 IEEE/WIC/ACM International Conference on Web Intelligence, Part I, IEEE Computer Society, Washington 2014.zobacz w PBN
• Maxime Crochemore, Costas S. Iliopoulos, Marcin Kubica, Jakub Jan Radoszewski, Wojciech Rytter, Krzysztof Stencel i Tomasz Waleń, New simple efficient algorithms computing powers and runs in strings, Discrete Applied Mathematics 163 2014, s. 258–267.zobacz w PBN
• Maxime Crochemore, Costas S. Iliopoulos, Marcin Kubica, Jakub Jan Radoszewski, Wojciech Rytter i Tomasz Waleń, Extracting powers and periods in a word from its runs structure, Theoretical Computer Science 521 (Complete) 2014, s. 29–41.zobacz w PBN
• Paweł Górecki i Oliver Eulenstein, DrML: Probabilistic Modeling of Gene Duplications, Journal Of Computational Biology 21 (1) 2014, s. 89–98.zobacz w PBN
• Konrad Iwanicki, Przemysław Jan Horban, Piotr Glazar i Karol Strzelecki, Bringing Modern Unit Testing Techniques to Sensornets, Acm Transactions On Sensor Networks 11 (2) 2014, s. 25:1–25:41.zobacz w PBN
• Jakub Pawlewicz i Ryan B. Hayward, Scalable Parallel DFPN Search, Lecture Notes In Computer Science 8427 2014, s. 138–150.zobacz w PBN
• Piotr Dittwald, V. T. Nghia, G. A. Harris, R. M. Caprioli, R. Van de Plas, K. Laukens, Anna Gambin i D. Valkenborg, Towards automated discrimination of lipids versus peptides from full scan mass spectra, Eupa Open Proteomics 4 2014, s. 87–100.zobacz w PBN
• Wojciech Michał Świeboda, Andrzej Krauze i Hung Son Nguyen, A Granular Evacuation Modeling Framework, w: Proceedings of the 2014 Federated Conference on Computer Science and Information Systems, Warsaw, Poland, September 7-10, 2014., 2014, s. 337–342.zobacz w PBN
• Thanh-Luong Tran, Anh Linh Nguyen i Thi-Lan-Giao Hoang, A Domain Partitioning Method for Bisimulation-Based Concept Learning in Description Logics, w: Advanced Computational Methods for Knowledge Engineering, Springer, 2014, s. 297–312.zobacz w PBN
• Tomasz Gogacz, Henryk Michalewski, Matteo Mio i Michał Paweł Skrzypczak, Measure Properties of Game Tree Languages, w: Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part II, Springer, 2014, s. 303–314.zobacz w PBN
• Paweł Górecki, Jarosław PASZEK i Oliver Eulenstein, Unconstrained Gene Tree Diameters for Deep Coalescence, w: Proceedings of the 5th ACM Conference on Bioinformatics, Computational Biology, and Health Informatics, New York 2014.zobacz w PBN
• Mohammad Reza Bonyadi, Adam Wierzbicki, Michał Przybyłek i Zbigniew Michalewicz, Socially inspired algorithms for the travelling thief problem, w: GECCO '14 Proceedings of the 2014 Annual Conference on Genetic and Evolutionary Computation, ACM New York, New York 2014, s. 421–428.zobacz w PBN
• Chris Cornelis, Marzena KRYSZKIEWICZ, Dominik Ślęzak, Ernestina Menasalvas Ruiz, Rafael Bello i Lin Shang (red.), Rough Sets and Current Trends in Computing - 9th International Conference, RSCTC 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings, Springer, 2014.zobacz w PBN
• Dominik Ślęzak, Special section on applications of intelligent data and knowledge processing technologies—Preface, Future Generation Computer Systems-the International Journal Of Grid Computing And Escience 33 2014, s. 19–20.zobacz w PBN
• Łukasz Kowalik i Marcin Ireneusz Mucha, A 9k kernel for nonseparating independent set in planar graphs, Theoretical Computer Science 2014.zobacz w PBN
• Magdalena Bartnik, Beata Nowakowska, Katarzyna Derwińska, Barbara Wiśniowiecka-Kowalnik, Marta Kędzior, Joanna Bernaciak, Kamila Ziemkiewicz, Anna Gambin, Maciej Sykulski, Natalia Bezniakow, Lech Korniszewski, Anna Dorota Kutkowska-Kaźmierczak, Jakub Klapecki, Krzysztof Szczałuba, C. A. Shaw, Tadeusz Mazurczak, Anna Gambin, Ewa Obersztyn, Ewa Bocian i Paweł Stankiewicz, Application of array comparative genomic hybridization in 256 patients with developmental delay or intellectual disability, Journal Of Applied Genetics 55 (1) 2014, s. 125–144.zobacz w PBN
• Ewa Szczurek i Niko Beerenwinkel, Modeling mutual exclusivity of cancer mutations, Plos Computational Biology 3 (10) 2014.zobacz w PBN
• Paweł Górecki, Jarosław Paszek i Eulenstein Oliver, Duplication Cost Diameters, Lecture Notes In Computer Science 8492 2014, s. 221–223.zobacz w PBN
• Tomasz Michalak, Piotr Szczepański, Talal Rahwan, Agata Chrobak, Simina Branzei, Michael Wooldridge i Nicholas Jennings, Implementation and Computation of a Value for Generalized Characteristic Function Games, Acm Transactions On Economics And Computation 2 (4) 2014.zobacz w PBN
• Andrzej Piotr Janusz i Dominik Ślęzak, Random Probes in Computation and Assessment of Approximate Reducts, w: Rough Sets and Intelligent Systems Paradigms - Second International Conference, RSEISP 2014, Held as Part of JRS 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings, 2014, s. 53–64.zobacz w PBN
• Son Thanh Cao i Anh Linh Nguyen, An Improved Depth-First Control Strategy for Query-Subquery Nets in Evaluating Queries to Horn Knowledge Bases, w: Advanced Computational Methods for Knowledge Engineering, Springer, 2014, s. 281–295.zobacz w PBN
• Marek Adam Cygan, Daniel Lokshtanov, Marcin Pilipczuk, Michał Pilipczuk i Saket Saurabh, Minimum bisection is fixed parameter tractable, w: Symposium on Theory of Computing, STOC 2014, New York, NY, USA, May 31 - June 03, 2014, ACM, 2014, s. 323–332.zobacz w PBN
• Paweł Urzyczyn, Games for Intuitionistic Logic, w: Trends in Logic XIII, Wydawnictwo Uniwersytetu Łódzkiego, Łódź 2014, s. 247–269.zobacz w PBN
• Eryk Kopczyński i Damian Niwiński, A simple indeterminate infinite game, w: Logic, Computation, Hierarchies, De Gruyter, Berlin, Germany 2014, s. 205–2012.zobacz w PBN
• Duoqian Miao, Witold Pedrycz, Dominik Ślęzak, Georg Peters, Qinghua Hu i Ruizhi Wang (red.), Rough Sets and Knowledge Technology - 9th International Conference, RSKT 2014, Shanghai, China, October 24-26, 2014, Proceedings, Springer, 2014.zobacz w PBN
• Marcin Szczuka, Łukasz Sosnowski, Adam Krasuski i Karol Kreński, Using Domain Knowledge in Initial Stages of KDD: Optimization of Compound Object Processing, Fundamenta Informaticae 129 (4) 2014, s. 341–364.zobacz w PBN
• Ken-etsu Fujita i Aleksy Andrzej Schubert, Existential type systems between Church and Curry style (type-free style), Theoretical Computer Science 549 2014, s. 17–35.zobacz w PBN
• T. Jetka, A. Charzyńska, Anna Gambin, M. P. Stumpf i Michał Komorowski, StochDecomp--Matlab package for noise decomposition in stochastic biochemical systems, Bioinformatics 30 (1) 2014, s. 137–138.zobacz w PBN
• Razvan Diaconescu, Till Mossakowski i Andrzej Tarlecki, The Institution-Theoretic Scope of Logic Theorems, Logica Universalis 8 (3-4) 2014, s. 393–406.zobacz w PBN
• Riccardo Colini-Baldeschi, Stefano Leonardi, Piotr Sankowski i Qiang Zhang, Revenue Maximizing Envy-Free Fixed-Price Auctions with Budgets, Lecture Notes In Computer Science 2014.zobacz w PBN
• Wojciech Michał Świeboda, Michał Meina i Hung Son Nguyen, Weight Learning in TRSM-based Information Retrieval, w: Intelligent Tools for Building a Scientific Information Platform: From Research to Implementation, Springer International Publishing, Berlin, Heidelberg 2014, s. 394–414.zobacz w PBN
• Sinh Hoa Nguyen i Hung Son Nguyen, Applications of Boolean Kernels in Rough Sets, w: Rough Sets and Intelligent Systems Paradigms - Second International Conference, RSEISP 2014, Held as Part of JRS 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings, 2014, s. 65–76.zobacz w PBN
• Sinh Hoa Nguyen, Wojciech Świeboda i Hung Son Nguyen, Semantic Evaluation of Text Clustering, w: Advanced Computational Methods for Knowledge Engineering, Springer, 2014, s. 269–280.zobacz w PBN
• Daniel Lokshtanov, Marcin Pilipczuk, Michał Pilipczuk i Saket Saurabh, Fixed-Parameter Tractable Canonization and Isomorphism Test for Graphs of Bounded Treewidth, w: 55th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2014, IEEE Computer Society, 2014, s. 186–195.zobacz w PBN
• Mikolaj Fejzer, Michal Wojtyna, Marta Burzańska, Piotr Wiśniewski i Krzysztof Stencel, Open Source Is a Continual Bugfixing by a Few, w: Advances in Databases and Information Systems - 18th East European Conference, ADBIS 2014, Ohrid, Macedonia, September 7-10, 2014. Proceedings, Springer, 2014, s. 153–162.zobacz w PBN
• Piotr Wasilewski i Paweł Gora, Traffic-related Knowledge Acquired by Interaction with Experts, w: Concurrency, Specification and Programming. CS&P'2014, 2014.zobacz w PBN
• Dominik Ślęzak, Barbara Dunin-Kęplicz, Mike Lewis i Takao Terano (red.), Proceedings - 2014 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT 2014, Institute of Electrical and Electronics Engineers, 2014.zobacz w PBN
• Wojciech Michał Świeboda, Adam Krasuski, Hung Son Nguyen i Andrzej Piotr Janusz, Interactive Method for Semantic Document Indexing Based on Explicit Semantic Analysis, Fundamenta Informaticae 132 (3) 2014, s. 423–438.zobacz w PBN
• Tomasz Kociumaka, Jakub Pachocki, Jakub Jan Radoszewski, Wojciech Rytter i Tomasz Waleń, Efficient counting of square substrings in a tree, Theoretical Computer Science 544 2014, s. 60–73.zobacz w PBN
• Navodit Misra, Ewa Szczurek i Martin Vingron, Inferring the paths of somatic evolution in cancer, Bioinformatics 2014.zobacz w PBN
• I. M. Campbell, Tomasz Gambin, Piotr Dittwald, C. R. Beck, A. Shuvarikov, P. Hixson, A. Patel, Anna Gambin, C. A. Shaw, J. A. Rosenfeld i P. Stankiewicz, Human endogenous retroviral elements promote genome instability via non-allelic homologous recombination, Bmc Biology 12 2014, s. 74.zobacz w PBN
• Attila Bernáth, Krzysztof Ciebiera, Piotr Godlewski i Piotr Sankowski, Implementation of the Iterative Relaxation Algorithm for the Minimum Bounded-Degree Spanning Tree Problem., Lecture Notes In Computer Science 2014.zobacz w PBN
• Krzysztof Pawłowski, Karol Kurach, Kim Svensson, Sarvapali Ramchurn, Tomasz Michalak i Talal Rahwan, Coalition Structure Generation with the Graphics Processing Unit, w: Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems, 2014.zobacz w PBN
• Łukasz Sosnowski, Andrzej Pietruszka, Adam Krasuski i Andrzej Piotr Janusz, A Resemblance Based Approach for Recognition of Risks at a Fire Ground, w: Active Media Technology - 10th International Conference, AMT 2014, Warsaw, Poland, August 11-14, 2014. Proceedings, 2014, s. 559–570.zobacz w PBN
• Anh Linh Nguyen, A Tractable Rule Language in the Modal and Description Logics that Combine CPDL with Regular Grammar Logic, w: Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, CEUR-WS.org, 2014, s. 150–163.zobacz w PBN
• Marcin Pilipczuk, Michał Pilipczuk, Piotr Sankowski i Erik Jan van Leeuwen, Network Sparsification for Steiner Problems on Planar and Bounded-Genus Graphs, w: 55th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2014, IEEE Computer Society, 2014, s. 276–285.zobacz w PBN
• Michal Gawarkiewicz, Piotr Wiśniewski i Krzysztof Stencel, Granular Indices for HQL Analytic Queries, w: Beyond Databases, Architectures, and Structures - 10th International Conference, BDAS 2014, Ustron, Poland, May 27-30, 2014. Proceedings, Springer, Switzerland 2014, s. 30–39.zobacz w PBN
• Paweł Jarosław Brach, Alessandro Epasto, Alessandro Panconesi i Piotr Sankowski, Spreading Rumours Without the Network, w: Proceedings of the Second ACM Conference on Online Social Networks, 2014, s. 107–118.zobacz w PBN
• Shun'ichi Amano, Claire David, Leonid Libkin i Filip Murlak, XML Schema Mappings: Data Exchange and Metadata Management, Journal Of The Acm 61 (2) 2014, s. 12.zobacz w PBN
• Anh Linh Nguyen i Joanna Golińska-Pilarek, An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ, Fundamenta Informaticae 135 (4) 2014, s. 433–449.zobacz w PBN
• Angelo Fanelli, Dariusz Leniowski, Gianpiero Monaco i Piotr Sankowski, The ring design game with fair cost allocation, Theoretical Computer Science 2014.zobacz w PBN
• Jacob Engwerda i Tomasz Michalak, Economic Growth and Choice of Energy: A Simplistic Strategic Approach, Environmental Modeling & Assessment 2014.zobacz w PBN
• Michal Modzelewski i Norbert Dojer, MSARC: Multiple sequence alignment by residue clustering, Algorithms For Molecular Biology 9 (1) 2014, s. 12.zobacz w PBN
• Marek Adamczyk, Piotr Sankowski i Qiang Zhang, Efficiency of Truthful and Symmetric Mechanisms in One-Sided Matching, Lecture Notes In Computer Science 2014.zobacz w PBN
• Oskar Skibski, Tomasz Michalak, Talal Rahwan i Michael Wooldridge, Algorithms for the Shapley and Myerson Values in Graph-restricted Games, w: Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems, 2014.zobacz w PBN
• Łukasz Kowalik i Arkadiusz Aleksander Socała, Assigning Channels via the Meet-in-the-Middle Approach, w: Algorithm Theory - SWAT 2014 - 14th Scandinavian Symposium and Workshops, 2014.zobacz w PBN
• MAGDALENA KACPRZAK, Anna Sawicka, KATARZYNA BUDZYŃSKA i Marcin Konrad Dziubiński, Verifying Strategies in Dialogue Games, w: Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, CEUR-WS.org, 2014, s. 92–100.zobacz w PBN
• Bartłomiej Bosek, Dariusz Leniowski, Piotr Sankowski i Anna Katarzyna Zych, Online Bipartite Matching in Offline Time, w: 55th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2014, IEEE Computer Society, 2014, s. 384–393.zobacz w PBN
• Michal Chromiak i Krzysztof Stencel, A Data Model for Heterogeneous Data Integration Architecture, w: Beyond Databases, Architectures, and Structures - 10th International Conference, BDAS 2014, Ustron, Poland, May 27-30, 2014. Proceedings, Springer, Switzerland 2014, s. 547–556.zobacz w PBN
• Aleksy Andrzej Schubert i Ken-etsu Fujita, A note on subject reduction in (→, ∃)-curry with respect to complete developments, Information Processing Letters 114 (1-2) 2014.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, Fundamenta Informaticae 133 (2-3) 2014, s. 287–303.zobacz w PBN
• Grzegorz Chojnowski, Tomasz Waleń i Janusz Bujnicki, RNA Bricks - a database of RNA 3D motifs and their interactions, Nucleic Acids Research 42 (Database-Issue) 2014, s. 123–131.zobacz w PBN
• Marek Adam Cygan, Daniel Lokshtanov, Marcin Łukasz Pilipczuk, Michał Pilipczuk i Saket Saurabh, On the Hardness of Losing Width, Theory Of Computing Systems 54 (1) 2014, s. 73–82.zobacz w PBN
• Mikołaj Bojańczyk, Bartosz Klin i Sławomir Lasota, Automata theory in nominal sets, Logical Methods In Computer Science 10 (3:4) 2014.zobacz w PBN
• Sebastian Widz i Dominik Ślęzak, Attribute Subset Quality Functions over a Universe of Weighted Objects, Lecture Notes In Computer Science 8537 2014, s. 99–110.zobacz w PBN
• Anh Linh Nguyen, Thi-Bich-Loc Nguyen i Andrzej Szałas, On Horn Knowledge Bases in Regular Description Logic with Inverse, w: Knowledge and Systems Engineering - Proceedings of the Fifth International Conference, KSE 2013, Volume 1, Hanoi, Vietnam, 17-19 October, 2013, Springer, 2014, s. 37–49.zobacz w PBN
• Marthe Bonamy i Łukasz Kowalik, A 14k -Kernel for Planar Feedback Vertex Set via Region Decomposition, w: 9th International Symposium on Parameterized and Exact Computation (IPEC 2014), 2014.zobacz w PBN
• Son Thanh Cao i Anh Linh Nguyen, An Empirical Approach to Query-Subquery Nets with Tail-Recursion Elimination, w: New Trends in Database and Information Systems II - Selected papers of the 18th East European Conference on Advances in Databases and Information Systems and Associated Satellite Events, Springer, 2014, s. 109–120.zobacz w PBN
• Till Mossakowski, Wiesław Pawłowski, Donald Sannella i Andrzej Tarlecki, Parchments for CafeOBJ Logics, w: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, Springer, 2014, s. 66––91.zobacz w PBN
• Marcin Andrychowicz, Stefan Dziembowski, Daniel Szymon Malinowski i Łukasz Paweł Mazurek, Secure Multiparty Computations on Bitcoin, w: 2014 IEEE Symposium on Security and Privacy, SP 2014, Berkeley, CA, USA, May 18-21, 2014, 2014, s. 443–458.zobacz w PBN
• Tomasz Kociumaka i Marcin Pilipczuk, Faster deterministic Feedback Vertex Set, Information Processing Letters 114 (10) 2014, s. 556–560.zobacz w PBN
• Piotr Wiśniewski i Krzysztof Stencel, Universal Query Language for Unified State Model, Fundamenta Informaticae 129 (1-2) 2014, s. 177–192.zobacz w PBN
• Tomasz Waleń, Grzegorz Chojnowski, Przemysław Gierski i Janusz Bujnicki, ClaRNA: a classifier of contacts in RNA 3D structures based on a comparative analysis of various classification schemes, Nucleic Acids Research 42 (19) 2014, s. e151.zobacz w PBN
• Marcin Ireneusz Mucha, 13/9 -Approximation for Graphic TSP, Theory Of Computing Systems 55 (4) 2014, s. 640–657.zobacz w PBN
• Michał Paweł Skrzypczak, Separation Property for wB- and wS-regular Languages, Logical Methods In Computer Science 10 (1:8) 2014, s. 1–20.zobacz w PBN
• Paweł Gora i Piotr Wasilewski, Adaptive System for Intelligent Traffic Management in Smart Cities., Lecture Notes In Computer Science 8610 2014, s. 525–536.zobacz w PBN
• Claire David, Piotr Hofman, Filip Murlak i Michal Pilipczuk, Synthesizing transformations from XML schema mappings, w: Proc. 17th International Conference on Database Theory (ICDT), Athens, Greece, March 24-28, 2014, OpenProceedings.org, 2014, s. 61–71.zobacz w PBN
• Andreas Bjorklund, Petteri Kaski i Łukasz Kowalik, Fast Witness Extraction Using a Decision Oracle, w: Algorithms - ESA 2014 - 22th Annual European Symposium, 2014.zobacz w PBN
• Achim Blumensath, Thomas Colcombet, Denis Kuperberg, Paweł Parys i Michael Vanden Boom, Two-Way Cost Automata and Cost Logics Over Infinite Trees, w: Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014, 2014, r. 16.zobacz w PBN
• Till Mossawkoski i Andrzej Tarlecki, A Relatively Complete Calculus for Structured Heterogeneous Specifications, w: Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Springer, 2014, s. 441––456.zobacz w PBN
• Marcin Andrychowicz, Stefan Dziembowski, Daniel Szymon Malinowski i Łukasz Paweł Mazurek, Modeling Bitcoin Contracts by Timed Automata, w: Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings, 2014, s. 7–22.zobacz w PBN
• Andrzej Tarlecki, Władysław Marek Turski (1938-2013), Information Processing Letters 114 (8) 2014, s. 397–398.zobacz w PBN
• Piotr Przymus, Krzysztof Kaczmarski i Krzysztof Stencel, A Bi-objective Optimization Framework for Heterogeneous CPU/GPU Query Plans, Fundamenta Informaticae 135 (4) 2014, s. 483–501.zobacz w PBN
• Jacek Sroka i Jan Hidders, On generating *-sound nets with substitution, Information Systems 40 2014, s. 32–46.zobacz w PBN
• Wojciech Czerwiński, Piotr Hofman i Sławomir Lasota, Decidability of branching bisimulation on normed commutative context-free processes, Theory Of Computing Systems 55 (1) 2014, s. 136–169.zobacz w PBN
• Cezary Bartoszuk, Grzegorz Timoszuk, Robert Dąbrowski i Krzysztof Stencel, On Visual Assessment of Software Quality, E-informatica Software Engineering Journal 8 (1) 2014, s. 7–26.zobacz w PBN
• Tomasz Piotr Kazana, Programy jednorazowe: krótkie wprowadzenie, Studia Bezpieczeństwa Narodowego (6) 2014, s. 317–324.zobacz w PBN
• Andreas Bjorklund, Petteri Kaski i Łukasz Kowalik, Counting Thin Subgraphs via Packings Faster Than Meet-in-the-Middle Time, w: Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2014, Portland, Oregon, USA, 2014.zobacz w PBN
• Janina Mincer-Daszkiewicz, We Publish, You Subscribe - Hubbub as a Natural Habitat for Students and Academic Teachers, w: EUNIS 2014, The 20th International Conference of European University Information Systems, Umeå University, Umeå 2014.zobacz w PBN
• Bartosz Klin, Sławomir Lasota, Joanna Ochremiak i Szymon Toruńczyk, Turing Machines with Atoms, Constraint Satisfaction Problems, and Descriptive Complexity, w: Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014, 2014.zobacz w PBN
• Marcin Ireneusz Mucha, Matthias Englert i Nicolaos Matsakis, New Bounds for Online Packing LPs, w: LATIN 2014: Theoretical Informatics - 11th Latin American Symposium, Montevideo, Uruguay, March 31 - April 4, 2014. Proceedings, 2014, s. 318–329.zobacz w PBN
• Marcin Andrychowicz, Stefan Dziembowski, Daniel Szymon Malinowski i Łukasz Paweł Mazurek, Fair Two-Party Computations via Bitcoin Deposits, w: Financial Cryptography and Data Security - FC 2014 Workshops, BITCOIN and WAHC 2014, Christ Church, Barbados, March 7, 2014, Revised Selected Papers, 2014, s. 105–121.zobacz w PBN
• Olivier Finkel i Michał Paweł Skrzypczak, On the Topological Complexity of w-Languages of Non-Deterministic Petri Nets, Information Processing Letters 114 (5) 2014, s. 229–233.zobacz w PBN
• Piotr Wiśniewski i Krzysztof Stencel, Query Rewriting Based on Meta-Granular Aggregation, Fundamenta Informaticae 135 (4) 2014, s. 537–551.zobacz w PBN
• Andrzej Piotr Janusz i Dominik Ślęzak, Rough Set Methods for Attribute Clustering and Selection, Applied Artificial Intelligence 28 (3) 2014, s. 220–242.zobacz w PBN
• MICHAŁ WOŹNIAK, Limsoon Wong i Jerzy Tiuryn, eCAMBer: efficient support for large-scale comparative analysis of multiple bacterial strains, Bmc Bioinformatics 15 (65) 2014.zobacz w PBN
• P. Sen, A. V. Dharmadhikari, T. Majewski, M. A. Mohammad, T. V. Kalin, J. Zabielska, X. Ren, M. Bray, H. M. Brown, S. Welty, S. Thevananther, C. Langston, P. Szafranski, M. J. Justice, V. V. Kalinichenko, Anna Gambin, J. Belmont i Paweł Stankiewicz, Comparative analyses of lung transcriptomes in patients with alveolar capillary dysplasia with misalignment of pulmonary veins and in foxf1 heterozygous knockout mice, Plos One 9 (4) 2014, s. e94390.zobacz w PBN
• Son Thanh Cao, Anh Linh Nguyen i Andrzej Szałas, The Web Ontology Rule Language OWL 2 RL+ and Its Extensions, Lncs Transactions On Computational Collective Intelligence 13 2014, s. 152–175.zobacz w PBN
• Piotr Skowron i Krzysztof Rządca, Fair Share Is Not Enough: Measuring Fairness in Scheduling with Cooperative Game Theory, w: PPAM 2013, International Conference on Parallel Processing and Applied Mathematics, 2014, s. 38–48.zobacz w PBN
• Barbara Dunin-Kęplicz i Andrzej Szałas, Indeterministic Belief Structures, w: KES-AMSTA-14, Springer-Verlag, 2014, s. 57–66.zobacz w PBN
• Mikołaj Bojańczyk, Christoph Dittmann i Stephan Kreutzer, Decomposition theorems and model-checking for the modal \emph\(\mu\)-calculus, w: Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014, 2014, s. 17.zobacz w PBN
• Diego Cerdeiro, Marcin Konrad Dziubiński i Sanjeev Goyal, Individual security and network design, w: EC '14: Proceedings of the Fifteenth ACM Conference on Economics and Computation, ACM, New York, NY, USA 2014, s. 205–206.zobacz w PBN
• Alexandre Duc, Stefan Dziembowski i Sebastian Faust, Unifying Leakage Models: From Probing Attacks to Noisy Leakage, w: Advances in Cryptology - EUROCRYPT 2014 - 33rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Copenhagen, Denmark, May 11-15, 2014. Proceedings, 2014, s. 423–440.zobacz w PBN
• Lala Septem Riza, Andrzej Piotr Janusz, Christoph Bergmeir, Chris Cornelis, Francisco Herrera, Dominik Ślęzak i José Manuel Benítez, Implementing algorithms of rough set theory and fuzzy rough set theory in the R package “RoughSets”, Information Sciences 287 2014, s. 68–89.zobacz w PBN
• Chi Mai Luong, Piuri Vincenzo i Hung Son Nguyen, Preface: Special Issue in Computing and Communication Technologies., Fundamenta Informaticae 130 (2) 2014, s. xv.zobacz w PBN
• Marcin Kamiński i Łukasz Kowalik, Beyond the Vizing's Bound for at Most Seven Colors, Siam Journal On Discrete Mathematics 28 (3) 2014, s. 1334–1362.zobacz w PBN
• Paweł Górecki i Oliver Eulenstein, Refining Discordant Gene Trees, Bmc Bioinformatics 15(Suppl 13) (S3) 2014.zobacz w PBN
• Volker Diekert, Artur Jeż i Wojciech Plandowski, Finding All Solutions of Equations in Free Groups and Monoids with Involuton, Lecture Notes In Computer Science 8476 2014, s. 1–15.zobacz w PBN
• Jakub Jan Radoszewski, More Algorithms Without Programming, Olympiads In Informatics 8 2014, s. 157–168.zobacz w PBN
• Joseph Emeras, Vinicius Pinheiro, Krzysztof Rządca i Denis Trystram, OStrich: Fair Scheduling for Multiple Submissions, w: PPAM 2013, International Conference on Parallel Processing and Applied Mathematics, 2014, s. 26–37.zobacz w PBN
• Tomasz Pazurkiewicz, Michal Gregorczyk i Konrad Iwanicki, NarrowCast: A New Link-Layer Primitive for Gossip-Based Sensornet Protocols, w: Wireless Sensor Networks: 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014, Proceedings, Springer International Publishing, 2014, s. 1–16.zobacz w PBN
• Paweł Parys, How Many Numbers Can a Lambda-Term Contain?, w: Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings, 2014, s. 302–318.zobacz w PBN
• MAGDALENA KACPRZAK, Marcin Konrad Dziubiński i KATARZYNA BUDZYŃSKA, Strategies in Dialogues: A Game-Theoretic Approach, w: Computational Models of Argument. Proceedings of COMMA 2014, IOS Press, 2014, s. 333–344.zobacz w PBN
• Stefan Dziembowski i Maciej Zdanowicz, Position-Based Cryptography from Noisy Channels, w: Progress in Cryptology - AFRICACRYPT 2014 - 7th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 28-30, 2014. Proceedings, 2014, s. 300–317.zobacz w PBN