Publikacje

Instytut Informatyki

2009

• Alexander Kurz, Marina Lenisa i Andrzej Tarlecki (red.), Third International Conference on Algebra and Coalgebra in Computer Science, SPRINGER-VERLAG BERLIN, HEIDELBERGER PLATZ 3, BERLIN, GERMANY, D-14197 2009.zobacz w PBN
• Barbara Dunin-Kęplicz i Rineke Verbrugge (red.), Formal Approaches to Multi-Agent systems, Springer, Berlin Heidelberg 2009.zobacz w PBN
• Tomasz Michalak, Jacek Sroka, Michael Wooldridge i Peter McBurney, On distributing coalition structure generation, w: Workshop on Concurrency, Specification, and Programming (CS&P), 2009.zobacz w PBN
• Marcin Szczuka i Ludwik Czaja, Approximation of loss and risk in granular context, w: CS&P 2009, the 18th Concurrency, Specification and Programming Worksho, University of Warsaw, Warszawa 2009.zobacz w PBN
• Anh Linh Nguyen, An Efficient Tableau Prover using Global Caching for the Description Logic ALC, Fundamenta Informaticae 93 (1-3) 2009, s. 273–288.zobacz w PBN
• M. Szot, A. Szczerbakow, K. Dybko, L. Kowalczyk, E. Smajek, V. Domukhovski, E. Łusakowska, P. Dziawa, A. Mycielski, T. Story, M. Bukała, M. Galicka, Piotr Sankowski, R. Buczko i P. Kacman, Experimental and Theoretical Analysis οf PbTe-CdTe Solid Solution Grown by Physical Vapour Transport Method, Acta Physica Polonica A 116 (5) 2009, s. 959–961.zobacz w PBN
• Mikołaj Bojańczyk, Two-Way Unary Temporal Logic over Trees, Logical Methods In Computer Science 5 (3) 2009, s. 1–29.zobacz w PBN
• Marta Burzańska, Krzysztof Stencel i Piotr Wiśniewski, Pushing Predicates into Recursive SQL Common Table Expressions, Lecture Notes In Computer Science 5739 2009, s. 194–205.zobacz w PBN
• Rastislav Kralovic i Damian Niwiński (red.), 34th International Symposium on Mathematical Foundations of Computer Science, SPRINGER-VERLAG BERLIN, HEIDELBERGER PLATZ 3, BERLIN, GERMANY, D-14197 2009.zobacz w PBN
• Marcin Andrychowicz, Marcin Kubica i Jakub Radoszewski (red.), XVI Olimpiada Informatyczna 2008/2009, Komitet Główny Olimpiady Informatycznej, Warszawa 2009.zobacz w PBN
• Szczepan Hummel, Henryk Michalewski i Damian Niwiński, On the Borel inseparability of game tree languages, w: 26th International Symposium on Theoretical Aspects of Computer Science, Freiburg, February 26 - 28, 2009, Leibniz-Zentrum fuer Informatik, Schloss Dagstuhl 2009.zobacz w PBN
• Marcin Szczuka, Approximation of loss and risk in selected granular systems, w: RSFDGrC 2009, Springer-Verlag, 2009.zobacz w PBN
• J. Sroka i J. Hidders, Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part I, Fundamenta Informaticae Vol. 92, nr 3 2009, s. 279–299.zobacz w PBN
• Bartosz Klin, Bialgebraic methods and modal logic in structural operational semantics, Information And Computation 207 (2) 2009, s. 237–257.zobacz w PBN
• Marcin Konrad Dziubiński, Debabrata Datta i Jaideep Roy, A location game on disjoint circles, International Game Theory Review 11 (4) 2009, s. 391–406.zobacz w PBN
• Andrzej Jankowski, Andrzej Skowron i Marcin Szczuka, Interactive granular computing in rightly judging systems, Lecture Notes In Computer Science 5589 2009, s. 1–16.zobacz w PBN
• Ludwik Czaja i Marcin Szczuka (red.), Concurrency, Specification and Programming (CS&P), volume 1 & 2, University of Warsaw, Warszawa 2009.zobacz w PBN
• Piotr Habela i Krzysztof Stencel, WWW. Narzędzia, metody, standardy, Wydawnictwo Polsko-Japońskiej Wyższej Szkoły Technik Komputerowych, Warszawa 2009.zobacz w PBN
• Barbara Dunin-Kęplicz, Anh Linh Nguyen i Andrzej Szałas, Fusing Approximate Knowledge from Distributed Sources, w: IDC 2009, 3rd International Symposium on Intelligent Distributed Computing, Springer-Verlag, 2009.zobacz w PBN
• Dominik Ślęzak i Hiroshi Sakai, Automatic extraction of decision rules from non-deterministic data systems: Theoretical foundations and SQL-based implementation, w: DTA, Springer, 2009.zobacz w PBN
• J. Sroka i J. Hidders, Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part II, Fundamenta Informaticae Vol. 92, nr 4 2009, s. 373–396.zobacz w PBN
• Bogusław Kluge, Anna Gambin i Wojciech Niemiro, Modeling Exopeptidase Activity from LC-MS Data, Journal Of Computational Biology 16 (2) 2009, s. 395–406.zobacz w PBN
• Linh Anh Nguyen i Andrzej Szałas, A Tableau Calculus for Regular Grammar Logics with Converse, Lecture Notes In Computer Science 5663 2009, s. 421–436.zobacz w PBN
• Dominik Ślęzak i Marcin Kowalski, Intelligent data granulation on load: Improving infobright's knowledge grid, Lecture Notes In Computer Science 5899 2009, s. 12–25.zobacz w PBN
• Mihir K. Chakraborty, Aboul Ella Hassanien, Hiroshi Sakai, William Zhu i Dominik Ślęzak (red.), Rough Sets, Fuzzy Sets, Data Mining and Granular Computing, 12th International Conference, SPRINGER-VERLAG BERLIN, HEIDELBERGER PLATZ 3, BERLIN, GERMANY, D-14197 2009.zobacz w PBN
• Mikołaj Bojańczyk, Anca Muscholl, Thomas Schwentick i Luc Segoufin, Two-variable logic on data trees and XML reasoning, Journal Of The Acm 56 (3) 2009.zobacz w PBN
• Barbara Dunin-Kęplicz, Michał Ślizak i Rineke Verbrugge, Case-Study for TeamLog, a Theory of Teamwork, w: IDC 2009, 3rd International Symposium on Intelligent Distributed Computing, Springer-Verlag, 2009.zobacz w PBN
• Mikołaj Bojańczyk i Szymon Toruńczyk, Deterministic Automata and Extensions of Weak MSO, w: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, Leibniz-Zentrum fuer Informatik, Dagstuhl 2009.zobacz w PBN
• Jakub Pawlewicz i Mihai Patrascu, Order Statistics in the Farey Sequences in Sublinear Time and Counting Primitive Lattice Points in Polygons, Algorithmica 55 (2) 2009, s. 271–282.zobacz w PBN
• Dominik Ślęzak, Degrees of conditional (in)dependence: A framework for approximate Bayesian networks and examples related to the rough set-based feature selection, Information Sciences - Applications 179 (3) 2009, s. 197–209.zobacz w PBN
• Katarzyna Paluch, Marcin Mucha i Aleksander Madry, A 7/9 - Approximation Algorithm for the Maximum Traveling Salesman Problem, Lecture Notes In Computer Science 5687 2009, s. 298–311.zobacz w PBN
• Daryl H. Hepting, Timothy Maciag, Richard Spring, Katherine Arbuthnott i Dominik Ślęzak, A rough sets approach for personalized support of face recognition, Lecture Notes In Computer Science 5908 2009, s. 201–208.zobacz w PBN
• B.-H. Kang, T.-H. Kim, A. Stoica i Dominik Ślęzak (red.), Control and Automation, International Conference, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009, Springer, Berlin 2009.zobacz w PBN
• Anna Gambin, E. Szczurek, J. Dutkowski, M. Bakun i Michał Dadlez, Classification of peptide mass fingerprint data by novel no-regret boosting method, Computers In Biology And Medicine 39 2009, s. 460–473.zobacz w PBN
• Anh Linh Nguyen i Andrzej Szałas, An Optimal Tableau Decision Procedure for Converse-PDL, w: KSE 2009, 1st International Conference on Knowlegde and Systems Engineering, IEEE Computer Society, 2009.zobacz w PBN
• Marcin Kubica i Tomasz Waleń, Improved Algorithm for Rhythm Recognition in Musical Sequences, w: London Algorithmics 2008: Theory and Practice, College Publications, London 2009.zobacz w PBN
• Robert Dąbrowski i Wojciech Plandowski, On Word Equations in One Variable, Algorithmica 9375-3 2009, s. 3.zobacz w PBN
• Anh Linh Nguyen, Modal Logic Programming Revisited, Journal Of Applied Non-classical Logics 19 (2) 2009, s. 167–181.zobacz w PBN
• Mikołaj Bojańczyk i Tomasz Idziaszek, Algebra for Infinite Forests with an Application to the Temporal Logic EF, Lecture Notes In Computer Science 5710 2009, s. 131–145.zobacz w PBN
• Hiroshi Sakai, Kohei Hayashi, Michinori Nakata i Dominik Ślęzak, The lower system, the upper system and rules with stability factor in non-deterministic information systems, Lecture Notes In Computer Science 5908 2009, s. 313–320.zobacz w PBN
• Y. Ma, Y. Chung, T.-H. Kim, Y. Zhang i Dominik Ślęzak (red.), Database Theory and Application, International Conference, DTA 2009, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009, Springer, Berlin 2009.zobacz w PBN
• Anna Gambin, Ewa Szczurek, Janusz Dutkowski, Magda Bakun i Michał Dadlez, Classification of peptide mass fingerprint data by novel no-regret boosting method, Computers In Biology And Medicine 39 2009, s. 460–473.zobacz w PBN
• Anh Linh Nguyen i Andrzej Szałas, Checking Consistency of an ABox w.r.t. Global Assumptions in PDL, w: CS&P 2009, the 18th Concurrency, Specification and Programming Workshop, 2009.zobacz w PBN
• Michał Bleja, Krzysztof Stencel i Kazimierz Subieta, Optimization of Object-Oriented Queries Addressing Large and Small Collections, w: Proceedings of the International Multiconference on Computer Science and Information Technology, Mrągowo 2009, s. 643–650.zobacz w PBN
• Piotr Sankowski i Perła Kacman, Modeling of Tunneling Magnetoresistance in (Ga, Mn) As-TRILAYERS, International Journal Of Modern Physics B 23 (12-13) 2009, s. 2969–2973.zobacz w PBN
• Bartosz Wilczyński i Norbert Dojer, BNFinder: Exact and efficient method for learning Bayesian networks, Bioinformatics 25 (2) 2009, s. 286–287.zobacz w PBN
• Wojciech Czerwiński, Sibylle B. Fröschle i Sławomir Lasota, Partially-Commutative Context-Free Processes, Lecture Notes In Computer Science 5710 2009, s. 259–273.zobacz w PBN
• Bartosz Klin, Structural operational semantics for weighted transition systems, Lecture Notes In Computer Science 5700 2009, s. 121–139.zobacz w PBN
• O. Gervasi, B.-H. Kang, T.-H. Kim, S.S.T. Yau i Dominik Ślęzak (red.), Grid and Distributed Computing, International Conference, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009, Springer, Berlin 2009.zobacz w PBN
• Bartosz Wilczyński i Eileen Furlong, Challenges for modeling global gene regulatory networks during development: Insights from Drosophila, Developmental Biology 10 (2) 2009, s. 32.zobacz w PBN
• Marek Biskup i Wojciech Plandowski, Guaranteed Synchronization of Huffman Codes with Known Position of Decoder, w: DCC, 2009.zobacz w PBN
• Anh Linh Nguyen, Extending the Description Horn Logic DHL, w: The 18th Concurrency, Specification and Programming Workshop, Uniwersytet Warszawski, Warszawa 2009.zobacz w PBN
• Lars Arge, Christian Cachin i Andrzej Tarlecki, Preface, Theoretical Computer Science 410 (18) 2009.zobacz w PBN
• Peter J. A. Cock, Tiago Antao, Jeffrey T. Chang, Brad A. Chapman, Cymon J. Cox, Andrew Dalke, Iddo Friedberg, Thomas Hamelryck, Frank Kauff, Bartosz Wilczyński i Michiel J. L. de Hoon, Biopython: freely available Python tools for computational molecular biology and bioinformatics., Bioinformatics 25 (11) 2009, s. 1422–1423.zobacz w PBN
• Jacques Duparc, Alessandro Facchini i Filip Murlak, Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata, Lecture Notes In Computer Science 5771 2009, s. 225–239.zobacz w PBN
• Till Mossakowski i Andrzej Tarlecki, Heterogeneous Logical Environments for Distributed Specifications, Lecture Notes In Computer Science 5486 2009, s. 266–289.zobacz w PBN
• W.C. Fang, F.E Sandnes, B.-H Kang, B. Gu, T.-H Kim, J. Ma i Dominik Ślęzak (red.), U- and E-Service, Science and Technology, International Conference, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009, Springer, Berlin 2009.zobacz w PBN
• Leszek Gasieniec, Mirosław Kowaluk i Andrzej Lingas, Faster multi-witnesses for Boolean matrix multiplication, Information Processing Letters 109 (4) 2009, s. 242–247.zobacz w PBN
• Markku Laine i Wojciech Plandowski, Word Equations with One Unknown, w: Developments in Language Theory, 2009.zobacz w PBN
• Fabio Arcella, Janina Mincer-Daszkiewicz i Simone Ravaioli, Web-services for Exchange of Data on Cooperation and Mobility between Higher Education Institutions, w: EUNIS 2009, The 15th International Conference of European University Information Systems, Universidade de Santiago de Compostela, Santiago de Compostela 2009, s. 76(abstract).zobacz w PBN
• Łukasz Kowalik, Improved edge-coloring with three colors, Theoretical Computer Science 410 (38-40) 2009, s. 3733–3742.zobacz w PBN
• Martin Grohe, Yuri Gurevich, Dirk Leinders, Nicole Schweikardt, Jerzy Tyszkiewicz i Jan Van den Bussche, Database Query Processing Using Finite Cursor Machines, Theory Of Computing Systems 44 (4) 2009, s. 533–560.zobacz w PBN
• Mikołaj Bojańczyk, Algebra for Tree Languages, Lecture Notes In Computer Science 5771 2009, s. 1.zobacz w PBN
• Markku Laine i Wojciech Plandowski, Word equations with one unknown, Lecture Notes In Computer Science 5583 2009, s. 348–359.zobacz w PBN
• J. Gu, B.-H. Kang, H. Kuroda, S. Pal i Dominik Ślęzak (red.), Signal Processing, Image Processing and Pattern Recognition, International Conference, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009, Springer, Berlin 2009.zobacz w PBN
• Marek Cygan, Łukasz Kowalik i Mateusz Wykurz, Exponential-time approximation of weighted set cover, Information Processing Letters 109 (16) 2009, s. 957–961.zobacz w PBN
• Mikołaj Bojańczyk, Howard Straubing i Igor Walukiewicz, Wreath Products of Forest Algebras, with Applications to Tree Logics, w: LICS, IEEE Computer Society, Los Angeles 2009.zobacz w PBN
• Agata Janowska i Tomasz Uliński, Improved method of verifying Estelle with Verics, w: Proc. of the Int. Workshop on Concurrency, Specification and Programming (CS&P'09), Uniwersytet Warszawski, Warszawa 2009.zobacz w PBN
• Marek Biskup i Wojciech Plandowski, Shortest synchronizing strings for Huffman codes, Theoretical Computer Science 410 (38-40) 2009, s. 3925–3941.zobacz w PBN
• Bartosz Wilczyński, Norbert Dojer, Mateusz Patelak i Jerzy Tiuryn, Finding evolutionarily conserved cis-regulatory modules with a universal set of motifs, Bmc Bioinformatics 10 2009, s. 82.zobacz w PBN
• Aleksy Schubert, The Existential Fragment of the One-Step Parallel Rewriting Theory, Lecture Notes In Computer Science 5595 2009, s. 78–92.zobacz w PBN
• Aleksy Schubert, Jacek Chrząszcz i Marieke Huisman, BML and Related Tools, Lecture Notes In Computer Science 5751 2009, s. 278–297.zobacz w PBN
• W.I. Grosky, T.-H. Kim, B.-H. Kang, N. Pissinou, T.K. Shih i Dominik Ślęzak (red.), Multimedia, Computer Graphics and Broadcasting, International Conference, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009, Springer, Berlin 2009.zobacz w PBN
• Gerold Jäger i Marcin Peczarski, The number of pessimistic guesses in Generalized Mastermind, Information Processing Letters 109 (12) 2009, s. 635–641.zobacz w PBN
• Patrycja Węgrzynowicz i Krzysztof Stencel, The good, the bad, and the ugly: three ways to use a semantic code query system, w: OOPSLA Companion, ACM, Florida 2009.zobacz w PBN
• Jeremie Cabessa, Jacques Duparc, Alessandro Facchini i Filip Murlak, The Wadge Hierarchy of Max-Regular Languages, w: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009), Leibniz-Zentrum fuer Informatik, Schloss Dagstuhl 2009.zobacz w PBN
• Elena Czeizler i Wojciech Plandowski, On systems of word equations over three unknowns with at most six occurrences of one of the unknowns, Theoretical Computer Science 410 (30-32) 2009, s. 2889–2909.zobacz w PBN
• Janusz Dutkowski i Jerzy Tiuryn, Phylogeny-guided interaction mapping in seven eukaryotes, Bmc Bioinformatics 10 2009, s. 393.zobacz w PBN
• Paweł Urzyczyn, Inhabitation of Low-Rank Intersection Types, Lecture Notes In Computer Science 5608 2009, s. 356–370.zobacz w PBN
• Anh Linh Nguyen i Andrzej Szałas, ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALC, Lecture Notes In Computer Science 5796 2009, s. 473–488.zobacz w PBN
• K.P. Arnett, W. C. Fang, T.-H. Kim i Dominik Ślęzak (red.), Security Technology, International Conference, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009, Springer, Berlin 2009.zobacz w PBN
• Sławomir Lasota, EXPSPACE lower bounds for the simulation preorder between a communication-free Petri net and a finite-state system, Information Processing Letters 109 (15) 2009, s. 850–855.zobacz w PBN
• Leonid Libkin, Filip Murlak i Shun'ichi Amano, XML schema mappings, w: PODS, 2009.zobacz w PBN
• Marcin Piątkowski i Wojciech Rytter, Usefullness of directed acyclic graphs in problems related to standard Sturmian words, International Journal Of Foundations Of Computer Science 20 (6) 2009, s. 1005–1023.zobacz w PBN
• Paweł Baturo i Wojciech Rytter, Compressed string-matching in standard Sturmian words, Theoretical Computer Science 410 (30-32) 2009, s. 2804–2810.zobacz w PBN
• Jakub Karczmarski, Anna Gambin, Marta Łuksza, Jerzy Ostrowski i Bogusław Kluge, Two-Stage Model-Based Clustering for Liquid Chromatography Mass Spectrometry Data Analysis, Statistical Applications In Genetics And Molecular Biology 8 (1) 2009, s. 1–37.zobacz w PBN
• Ken-etsu Fujita i Aleksy Schubert, Existential Type Systems with No Types in Terms, Lecture Notes In Computer Science 5608 2009, s. 112–126.zobacz w PBN
• Alicja Szałas i Andrzej Szałas, Paraconsistent Reasoning with Words, Lecture Notes In Computer Science 5070 2009, s. 43–58.zobacz w PBN
• Wai-Chi Fang, Tai-Hoon Kim, Young-Hoon Lee i Dominik Ślęzak (red.), Future Generation Information Technology, First International Conference, Springer, Berlin, 2009.zobacz w PBN
• Chris Cornelis, Richard Jensen, German Hurtado i Dominik Ślęzak, Attribute selection with fuzzy decision reducts, Information Sciences 30 2009, s. 1–16.zobacz w PBN
• Tomasz P. Michałak, Talal Rahwan, Jacek Sroka, Andrew Dowell, Michael J. Wooldridge, Peter McBurney i Nicholas R. Jennings, On representing coalitional games with externalities, w: ACM Conference on Electronic Commerce, 2009.zobacz w PBN
• Adam Krawczyk, Witold Marciszewski i Henryk Michalewski, Remarks on the set of G_δ-points in Eberlein and Corson compact spaces, Topology And Its Applications 156 2009, s. 1746–1748.zobacz w PBN
• Łukasz Kowalik i Marcin Mucha, Deterministic 7/8-approximation for the Metric Maximum TSP, Theoretical Computer Science 410 2009, s. 5000–5009.zobacz w PBN
• Mikhail A. Roytberg, Anna Gambin, Laurent Noé, Sławomir Lasota, Eugenia Furletova, Ewa Szczurek i Gregory Kucherov, On Subset Seeds for Protein Alignment, Ieee-acm Transactions On Computational Biology And Bioinformatics 6 (3) 2009, s. 483–494.zobacz w PBN
• Łukasz Kowalik i Marcin Mucha, Two Approximation Algorithms for ATSP with Strengthened Triangle Inequality, Lecture Notes In Computer Science 5664 2009, s. 471–482.zobacz w PBN
• Mikołaj Bojańczyk, Factorization Forests, Lecture Notes In Computer Science 5583 2009, s. 1–17.zobacz w PBN
• J. Verner, S. Abrahao, T. Jiang, T.-H. Kim, A. Kiumi i Dominik Ślęzak (red.), Advances in Software Engineering and Its Applications, International Conference, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009, Springer, Berlin 2009.zobacz w PBN
• James F. Peters i Piotr Wasilewski, Foundations of Near Sets, Information Sciences 179 2009, s. 3091–3109.zobacz w PBN
• Mikołaj Bojańczyk, Weak MSO with the Unbounding Quantifier, w: STACS, 2009.zobacz w PBN
• Aida Vitória, Jan Małuszyński i Andrzej Szałas, Modeling and Reasoning with Paraconsistent Rough Sets, Fundamenta Informaticae 97 (4) 2009, s. 405–438.zobacz w PBN
• Piotr Sankowski, Maximum weight bipartite matching in matrix multiplication time, Theoretical Computer Science 410 (44) 2009, s. 4480–4488.zobacz w PBN
• Sibylle B. Fröschle i Sławomir Lasota, Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences, Electronic Notes In Theoretical Computer Science 239 2009, s. 17–42.zobacz w PBN
• Marcin Kubica, Jakub Radoszewski, Wojciech Rytter i Tomasz Waleń, On the Maximal Number of Cubic Subwords in a String, Lecture Notes In Computer Science 5874 2009, s. 345–355.zobacz w PBN
• T. Poranen, V. Dagiene, A. Eldhuset, H. Hyyro, Marcin Kubica, A. Laaksonen, M. Opmanis, W. Pohl, J. Skupiene, P. Soderhjelm i A. Truu, Baltic Olympiads in Informatics: Challenges for Training Together, Olympiads In Informatics 3 2009, s. 112–131.zobacz w PBN
• T. Arslan, W.C. Fang, T.-H. Kim, X. Song i Dominik Ślęzak (red.), Bio-Science and Bio-Technology, International Conference, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009, Springer, Berlin 2009.zobacz w PBN
• Frans Coenen, Paul H. Leng, Aris Pagourtzis, Wojciech Rytter i Dora Souliou, Improved methods for extracting frequent itemsets from interim-support trees, Software-practice & Experience 39 (6) 2009, s. 551–571.zobacz w PBN
• Paweł Parys, XPath Evaluation in Linear Time With Polynomial Combined Complexity, w: PODS, ACM, Providence 2009.zobacz w PBN
• Jacek Sroka i Jan Hidders, Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part I, Fundamenta Informaticae 92 (3) 2009, s. 279–299.zobacz w PBN
• Maxime Crochemore, Lucian Ilie i Wojciech Rytter, Repetitions in strings: Algorithms and combinatorics, Theoretical Computer Science 410 (50) 2009, s. 5227–5235.zobacz w PBN
• Aleksy Schubert i Daria Walukiewicz-Chrząszcz, The Non-Interference Protection in BML, Electronic Notes In Theoretical Computer Science 253 (5) 2009, s. 113–127.zobacz w PBN
• Maxime Crochemore, Lucian Ilie, Costas S. Iliopoulos, Marcin Kubica, Wojciech Rytter i Tomasz Waleń, LPF Computation Revisited, Lecture Notes In Computer Science 5874 2009, s. 158–169.zobacz w PBN
• Marta Łuksza, Bogusław Kluge, Jerzy Ostrowski, Jakub Karczmarski i Anna Gambin, Two-Stage Model-Based Clustering for Liquid Chromatography Mass Spectrometry Data Analysis, Statistical Applications In Genetics And Molecular Biology 8 2009, s. 15.zobacz w PBN
• A.C.-C Chang, T.-H. Kim, M. Li, K. Sakurai, T. Vasilakos i Dominik Ślęzak (red.), Communication and Networking, International Conference, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009, Springer, Berlin 2009.zobacz w PBN
• Dov M. Gabbay i Andrzej Szałas, Voting by Eliminating Quantifiers, Studia Logica 92 (3) 2009, s. 365–379.zobacz w PBN
• Jan Bazan, Andrzej Skowron i Marcin Szczuka, An approach and tools for interactive classification of complex objects, w: 1st ISoLA Workshop: International Workshop on Modeling, Analyzing, Discovering Complex Biological Structures, June 4-5, 2009, Potsdam, Springer Verlag, Heidelberg 2009.zobacz w PBN
• Jacek Sroka i Jan Hidders, Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part II, Fundamenta Informaticae 92 (4) 2009, s. 373–396.zobacz w PBN
• Anna Gambin, D. Grzebelus, M. Gładysz, A. Macko-Podgórni, T. Gambin, B. Golis i R. Rakoczy, Population dynamics of miniature inverted-repeat transposable elements (MITEs) in Medicago truncatula, Gene 448 (2) 2009, s. 214–220.zobacz w PBN
• R. Diaconescu, T. Mossakowski i Andrzej Tarlecki, What is a Logic Translation?, Logica Universalis 3 2009, s. 95–124.zobacz w PBN
• Paweł Parys i Igor Walukiewicz, Weak Alternating Timed Automata, Lecture Notes In Computer Science 5555 2009, s. 273–284.zobacz w PBN
• Paweł Parys, Lower Bound for Evaluation of mu-nu Fixpoint, w: 6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, 12-13 September 2009, Proceedings, 2009.zobacz w PBN
• L. Arge, Ch. Cachin i Andrzej Tarlecki (red.), Special issue on Automata, Languages and Programming (ICALP 2007), Elsevier, Amsterdam 2009.zobacz w PBN
• Dov M. Gabbay i Andrzej Szałas, Annotation Theories over Finite Graphs, Studia Logica 93 (2-3) 2009, s. 147–180.zobacz w PBN
• Piotr Kwiatkowski i Hung Son Nguyen, Building Scalable Lazy Rough Classifiers, w: Recent Advances in Intelligent Information Systems, IPI PAN; Academic Publishing House, 2009.zobacz w PBN
• Rajeev Gore i Anh Linh Nguyen, Clausal Tableaux for Multimodal Logics of Belief, Fundamenta Informaticae 94 (1) 2009, s. 21–40.zobacz w PBN
• Dariusz Grzebelus, Mirosława Gładysz, Alicja Macko-Podgórni, Tomasz Gambin, Barbara Golis, Roksana Rakoczy i Anna Gambin, Population dynamics of miniature inverted-repeat transposable elements (MITEs) in Medicago truncatula, Gene 448 2009, s. 214–220.zobacz w PBN
• Ewa Szczurek, Irit Gat-Viks, Jerzy Tiuryn i Martin Vingron, Elucidating regulatory mechanisms downstream of a signaling pathway using informative experiments, Molecular Systems Biology 10 2009, s. 82.zobacz w PBN
• Rok Erman, Łukasz Kowalik, Matjaz Krnc i Tomasz Waleń, Improved Induced Matchings in Sparse Graphs, Lecture Notes In Computer Science 5917 2009, s. 134–148.zobacz w PBN