Instytut Informatyki Analitycznej - lista publikacji

Nadjednostka:

Podjednostki:

[Wszystkie publikacje]


[2024] [2023] [2022] [2021] [2020] [2019] [2018] [2017] [2016] [2015] [2014] [2013] [2012] [2011] [2010] [2009] [2008] [2007] [2006] [2005] [2004] [2003] [2001] [2000] [1998] [1997] [1995] [1992] [1990] [1989] [1988] [1987] [1985] [1984]
1-19 z 19.

2008

19.
Witold Charatonik, Michał Wrona
Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates, Lecture Notes in Artificial Intelligence vol. 5330 (2008), 543-557
18.
Witold Charatonik, Michał Wrona
Quantified Positive Temporal Constraints, Lecture Notes in Computer Science vol. 5213 (2008), 94-108
17.
Marcin Kozik
A finite set of functions with an EXPTIME-complete composition problem, Theoretical Computer Science vol. 407 (2008), 330-341
16.
Marcin Kozik, Gábor Kun
The subdirectly irreducible algebras in the variety generated by graph algebras, Algebra Universalis vol. 58 (2008), 229-242
15.
Libor Barto, Marcin Kozik, Todd Niven
Graphs, polymorphisms and the complexity of homomorphism problems, Proceedings of the 40th Acm Symposium On Theory of Computing, Stoc'08 (2008), 789-796
14.
Bostjan Bresar, Jarosław Grytczuk, Iztok Peterin, Sandi Klavzar, Stanisław Niwczyk
Nonrepetitive colorings of trees, Discrete Mathematics vol. 307 (2008), 163-172
13.
Jarosław Grytczuk, Hal Kierstead, Tomasz Bartnicki
The game of arboricity, Discrete Mathematics vol. 308 (2008), 1388-1393
12.
Jarosław Grytczuk, Tomasz Bartnicki
A note on the game chromatic index of graphs, Graphs and Combinatorics vol. 24 (2008), 1-4
11.
Noga Alon, Jarosław Grytczuk
Breaking the rhythm on graphs, Discrete Mathematics vol. 308 (2008), 1375-1380
10.
Bostjan Bresar, Jarosław Grytczuk, Iztok Peterin, Matijaz Kovse, Tomasz Bartnicki, Zofia Miechowicz
Game chromatic number of Cartesian product graphs, Electronic Journal of Combinatorics vol. 15 (2008), 13
9.
Jarosław Grytczuk
Thue type problems for graphs, points, and numbers, Discrete Mathematics vol. 308 (2008), 4419-4429
8.
Jarosław Grytczuk
Invisible runners in finite fields, Information Processing Letters vol. 108 (2008), 64-67
7.
Jarosław Grytczuk, Hal Kierstead, Paweł Prałat
On-line Ramsey numbers for paths and stars, Discrete Mathematics and Theoretical Computer Science vol. 10 (2008), 63-74
6.
Iwona Cieślik
On-line coloring of P_5-free graphs, Acta Informatica vol. 45 (2008), 79-91
5.
Antoine Genitrini, Jakub Kozik, Grzegorz Matecki
On the density and the structure of the Peirce-like formulae, Discrete Mathematics and Theoretical Computer Science Proceedings (2008), 461-474
4.
Jakub Kozik
Subcritical pattern languages for and/or trees, Discrete Mathematics and Theoretical Computer Science Proceedings (2008), 437–448
3.
Zofia Kostrzycka, Marek Zaionc
Asymptotic densities in logic and type theory, Studia Logica vol. 88 (2008), 385-403
2.
Antoine Genitrini, Jakub Kozik, Marek Zaionc
Intuitionistic vs. Classical Tautologies, Quantitative Comparison, Lecture Notes in Computer Science vol. 4941 (2008), 100-109
1.
Lech Duraj, Grzegorz Gutowski
Optimal Orientation On-Line, Lecture Notes in Computer Science vol. 4910 (2008), 271-279