| ||
1. | Algorithms for regular languages that use algebra
SIAM JOURNAL ON COMPUTING Tom 41 Nr 2 r. 2012, str. 5-14 (Artykuł) Mikołaj Bojańczyk | |
2. | An extension of data automata that captures XPath
LOGICAL METHODS IN COMPUTER SCIENCE Tom 8 Nr 1 r. 2012, str. (Artykuł) Mikołaj Bojańczyk, Sławomir Lasota | |
3. | Finite satisfiability for guarded fixpoint logic
INFORMATION PROCESSING LETTERS Tom 112 Nr 10 r. 2012, str. 371-375 (Artykuł) Vince Bárány, Mikołaj Bojańczyk | |
4. | Non-symmetric discrete General Lotto games
INTERNATIONAL JOURNAL OF GAME THEORY Tom DOI: 10.1007/s00 r. 2012, str. (Artykuł) Marcin Dziubiński | |
5. | Piecewise testable tree languages
LOGICAL METHODS IN COMPUTER SCIENCE Tom 8 Nr 3 r. 2012, str. (Artykuł) Mikołaj Bojańczyk, Luc Segoufin, Howard Straubing | |
6. | Popularity of reinforcement-based and belief-based learning models: An evolutionary approach
JOURNAL OF ECONOMIC DYNAMICS & CONTROL Tom 36 Nr 3 r. 2012, str. 433-454 (Artykuł) Marcin Dziubiński, Jaideep Roy | |
7. | The Hotelling-Downs model with runoff voting
GAMES AND ECONOMIC BEHAVIOR Tom 74 Nr 2 r. 2012, str. 447-469 (Artykuł) Marcin Dziubiński, Sandro Brusco, Jaideep Roy | |
8. | The Navigational Power of Web Browsers
THEORY OF COMPUTING SYSTEMS Tom 50 Nr 2 r. 2012, str. 213-240 (Artykuł) Michał Bielecki, Jan Hidders, Jan Paredaens, Marc Spielmann, Jerzy Tyszkiewicz, Jan Van den Bussche | |
9. | Wreath Products of Forest Algebras, with Applications to Tree Logics
LOGICAL METHODS IN COMPUTER SCIENCE Tom 8 Nr 3 r. 2012, str. 1-39 (Artykuł) Mikołaj Bojańczyk, Howard Straubing, Igor Walukiewicz | |
10. | Complexity of logics for multi-agent systems with restricted modal context
LOGIC JOURNAL OF THE IGPL Tom doi: 10.1093/jig r. 2011, str. (Artykuł) Marcin Dziubiński | |
11. | Electoral competition in 2-dimensional ideology space with unidimensional commitment
SOCIAL CHOICE AND WELFARE Tom 36 Nr 1 r. 2011, str. 1-24 (Artykuł) Marcin Dziubiński, Jaideep Roy | |
12. | Foreword
THEORY OF COMPUTING SYSTEMS Tom 49 Nr 2 r. 2011, str. 365-366 (Artykuł) Albert Atserias, Mikołaj Bojańczyk, Balder ten Cate, Ronald Fagin, Floris Geerts, Kenneth Ross | |
13. | Location game on disjoint line segments
INTERNATIONAL JOURNAL OF GAME THEORY Tom 40 Nr 2 r. 2011, str. 231-262 (Artykuł) Marcin Dziubiński | |
14. | The Hotelling-Downs model with runoff voting
GAMES AND ECONOMIC BEHAVIOR Tom doi:10.1016/j.ge r. 2011, str. (Artykuł) Marcin Dziubiński, Sandro Brusco, Jaideep Roy | |
15. | Two-variable logic on data words
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC Tom 12 Nr 4 r. 2011, str. (Artykuł) Mikołaj Bojańczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin | |
16. | Weak MSO with the Unbounding Quantifier
THEORY OF COMPUTING SYSTEMS Tom 48 Nr 3 r. 2011, str. 554-576 (Artykuł) Mikołaj Bojańczyk | |
17. | Efficient Evaluation of Nondeterministic Automata Using Factorization Forests
LECTURE NOTES IN COMPUTER SCIENCE Tom 6198 r. 2010, str. 515-526 (Artykuł) Mikołaj Bojańczyk, Paweł Parys | |
18. | Location game on disjoint line segments
INTERNATIONAL JOURNAL OF GAME THEORY Tom DOI: 10.1007/s00 r. 2010, str. (Artykuł) Marcin Dziubiński | |
19. | On the Borel Complexity of MSO Definable Sets of Branches
FUNDAMENTA INFORMATICAE Tom 98 Nr 4 r. 2010, str. 337-349 (Artykuł) Mikołaj Bojańczyk, Damian Niwiński, Alexander Rabinovich, Adam Radziwonczyk-Syta, Michał Skrzypczak | |
20. | Tree Languages Defined in First-Order Logic with One Quantifier Alternation
LOGICAL METHODS IN COMPUTER SCIENCE Tom 6 Nr 4 r. 2010, str. 1-26 (Artykuł) Mikołaj Bojańczyk, Luc Segoufin | |
21. | Algebra for Infinite Forests with an Application to the Temporal Logic EF
LECTURE NOTES IN COMPUTER SCIENCE Tom 5710 r. 2009, str. 131-145 (Artykuł) Mikołaj Bojańczyk, Tomasz Idziaszek | |
22. | Algebra for Tree Languages
LECTURE NOTES IN COMPUTER SCIENCE Tom 5771 r. 2009, str. 1-1 (Artykuł konferencyjny) Mikołaj Bojańczyk | |
23. | Two-variable logic on data trees and XML reasoning
JOURNAL OF THE ACM Tom 56 Nr 3 r. 2009, str. (Artykuł) Mikołaj Bojańczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin | |
24. | The Common Fragment of ACTL and LTL
LECTURE NOTES IN COMPUTER SCIENCE Tom 4962 r. 2008, str. 172-185 (Artykuł) Mikołaj Bojańczyk | |
25. | Tree Languages Defined in First-Order Logic with One Quantifier Alternation
LECTURE NOTES IN COMPUTER SCIENCE Tom 5126 r. 2008, str. 233-245 (Artykuł) Mikołaj Bojańczyk, Luc Segoufin |