Instytut Informatyki Analitycznej - lista publikacji

201-308 z 308.

2012

107.
Pavel Klavík, Jan Kratochvíl, Tomasz Krawczyk, Bartosz Walczak
Extending partial representations of function graphs and permutation graphs vol. 7501 of Lecture Notes in Computer Science (2012), "Algorithms – ESA 2012, 20th Annual European Symposium on Algorithms, Ljubljana, Slovenia, September 10-12, 2012, Proceedings", Springer
106.
Kolja Knauer, Piotr Micek, Bartosz Walczak
Outerplanar graph drawings with few slopes vol. 7434 of Lecture Notes in Computer Science (2012), "Computing and Combinatorics, 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012, Proceedings", Springer

2011

101.
Jarosław Grytczuk, Jakub Przybyło, Xuding Zhu
100.
Paweł Idziak, Irena Katarzyna Korwin-Słomczyńska, Andrzej Wroński
98.
Sylwia Antoniuk, Paweł Waszkiewicz
96.
Jarosław Grytczuk, Jakub Kozik, Marcin Witkowski
95.
Kolja Knauer, Piotr Micek, Torsten Ueckerdt
How to eat 4/9 of a pizza, DISCRETE MATH vol. 311 (2011), 1635-1645

2010

90.
89.
Libor Barto, Marcin Kozik
New conditions for Taylor varieties and CSP, PROCEEDINGS OF THE 25TH IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE LICS'10 (2010), 100-109
88.
Paweł Idziak, Petar Marković, Ralph McKenzie, Matthew Valeriote
87.
Joel Berman, Paweł Idziak, Petar Marković, Ralph McKenzie, Matthew Valeriote, Ross Willard
86.
Common patterns for metric and ordered fixed point theorems, IN PROCEEDINGS OF THE 7TH WORKSHOP ON FIXED POINTS IN COMPUTER SCIENCE (2010), 83-87
84.
Dynamic Threshold Strategy for Universal Best Choice Problem, DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE PROCEEDINGS vol. AM (2010), 439–452
82.
The Sub-exponential Upper Bound for On-Line Chain Partitioning, (2010), "51th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2010, October 23-26, 2010, Las Vegas, Nevada, USA", Institute of Electrical and Electronics Engineers (IEEE)
80.
Daniele Gardy, Herve Fournier, Antoine Genitrini, Marek Zaionc

2009

79.
Periodic solutions of scalar differential equations without uniqueness, BOLL. UNIONE MAT. ITAL. (9) vol. 2(2) (2009), 445–448
76.
75.
Libor Barto, Marcin Kozik, Miklós Maróti, Todd Niven
CSP dichotomy for special triads, P AM MATH SOC vol. 137 (2009), 2921-2934
74.
Libor Barto, Marcin Kozik
Constraint Satisfaction Problems of Bounded Width, PROCEEDINGS OF THE 50TH SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, FOCS'09 (2009), 595-603
73.
Libor Barto, Marcin Kozik, Miklós Maróti, Ralph McKenzie, Todd Niven
72.
Jarosław Grytczuk, Sebastian Czerwiński, Wiktor Żelazny
Lucky labelings of graphs, INFORM PROCESS LETT vol. 109 (2009), 1078-1081
71.
Jarosław Grytczuk, Stanisław Niwczyk, Tomasz Bartnicki
Weight choosability of graphs, J GRAPH THEOR vol. 60 (2009), 242-256
70.
69.
Paweł Idziak, Keith Kearnes, Emil Kiss, Matthew Valeriote
68.
Paweł Idziak, Irena Katarzyna Korwin-Słomczyńska
Fregean Varieties, INT J ALGEBR COMPUT vol. 19 (2009), 595–645
67.
Noga Alon, Jarosław Grytczuk, Michał Lasoń, Mateusz Michałek
64.

2008

59.
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
58.
Bostjan Bresar, Jarosław Grytczuk, Iztok Peterin, Sandi Klavzar, Stanisław Niwczyk
57.
Jarosław Grytczuk, Hal Kierstead, Tomasz Bartnicki
The game of arboricity, DISCRETE MATH vol. 308 (2008), 1388-1393
56.
Jarosław Grytczuk, Tomasz Bartnicki
55.
Noga Alon, Jarosław Grytczuk
Breaking the rhythm on graphs, DISCRETE MATH vol. 308 (2008), 1375-1380
54.
Bostjan Bresar, Jarosław Grytczuk, Iztok Peterin, Matijaz Kovse, Tomasz Bartnicki, Zofia Miechowicz
53.
Jarosław Grytczuk
52.
Jarosław Grytczuk
51.
Jarosław Grytczuk, Hal Kierstead, Paweł Prałat
49.
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
48.
Subcritical pattern languages for and/or trees, DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE PROCEEDINGS (2008), 437–448
47.
Zofia Kostrzycka, Marek Zaionc

2007

44.
Witold Charatonik, Michał Wrona
2-SAT Problems in Some Multi-Valued Logics Based on Finite Lattices, 37TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, ISMVL 2007 vol. IEEE Computer Society (2007), 21
41.
Daniele Gardy, Herve Fournier, Antoine Genitrini, Marek Zaionc

2006

37.
Undecidable problems concerning densities of languages, DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE PROCEEDINGS (2006), 69-76
36.
On-line Coloring of I_s-free graphs and co-planar graphs, DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE PROCEEDINGS vol. AF (2006), 61-68
34.
On-line adaptive chain covering of upgrowing posets, DISCRETE MATHEMATICS & THEORETICAL COMPUTER SCIENCE PROCEEDINGS vol. AF (2006), 37-48

2005

33.
An automaton that recognizes the base of a semiretract, WORDS 2005, 5-TH INTERNATIONAL CONFERENCE ON WORDS (2005), 235-247
32.
Joel Berman, Paweł Idziak
29.
Approximation Simply Characterized., ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE vol. 140 (2005), 113-117
28.
Conditional Densities of Regular Languages, ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (2005), 67-79
26.
Probabilistic approach to the lambda definability for fourth order types, ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (2005), 41-54
25.
Variants of Online Chain Partition Problem of Posets, ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE vol. 140 (2005), 3-13

2004

23.

2003

17.
Statistics of implicational logic, ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE vol. 84 (2003), 205–216

2001

15.
Distance and Measurement in Domain Theory, ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE vol. 45 (2001), 448-462

2000

1997

1995

1992

1990

1989

1988

1987

1985

1984

1.
A computer model of evolution and ecological processes, MODELING, SIMULATION & CONTROL C (1984), 59-63