Zakład Inżynierii Oprogramowania - lista publikacji
Nadjednostka:
1-109 z 109.
2024
109.
Careful Synchronization of One-Cluster Automata, Developments in Language Theory [DLT], (2024), 252-265
108.
107.
Adam Roman, Lucjan Stapp, Michael Pilaeten
106.
Adam Roman, Lucjan Stapp, Michael Pilaeten
ISTQB Certified Tester Foundation Level. A Self-Study Guide Syllabus v4.0, Springer Verlag (połaczony z Kluwer Academic Publishing), 2024
105.
Adam Roman, Jakub Gomułka
Tractatus 6 Reconsidered: An Algorithmic Alternative to Wittgenstein’s Trade-off, History and Philosophy of Logic vol. 45,3 (2024), 323-340
2023
104.
103.
Synchronizing Automata with Coinciding Cycles, Developments in Language Theory [DLT], (2023), 208-218
102.
Empirical Verification of TQED - A New Test Design Heuristic Technique, International Conference on Testing Software and Systems [ICTSS] vol. 14131, Lecture Notes in Computer Science (2023), 1-17
101.
Adam Roman, Rafał Brożek, Jarosław Hryszko
Predictive Power of Two Data Flow Metrics in Software Defect Prediction, International Conference on Evaluation of Novel Approaches to Software Engineering [ENASE], (2023), 114-125
2022
100.
Some results concerning careful synchronization of partial automata and subset synchronization of DFA's, International Conference on Implementation and Application of Automata [CIAA], (2022), 106-125
99.
Batch size reconstruction-distribution trade-off in kernel based generative autoencoders, IEEE International Conference on Image Processing [ICIP], (2022), 3728-3732
98.
Target layer regularization for continual learning using Cramer-Wold distance, Information Sciences vol. 609 (2022), 1369-1380
97.
LocoGAN—Locally convolutional GAN, Computer Vision and Image Understanding vol. 221 (2022), 103462
96.
Generative models with kernel distance in data space, Neurocomputing vol. 487 (2022), 119-129
2021
95.
Designing Urban Transit Network using Memetic Algorithm, IEEE Congress on Evolutionary Computation [CEC], (2021), 343-350
94.
93.
Isometric models for separable groups with a bi-invariant metric, Topology and its Applications vol. 289C (2021), 107486, 10 pages
2020
92.
On the weighted k-path vertex cover on interval graphs, Schedae Informaticae vol. 29 (2020), 9-21
91.
Adam Roman, Lucjan Stapp
90.
Cramer-Wold Auto-Encoder, Journal of Machine Learning Research vol. 21 (2020), 1-28
89.
Szabolcs Tengely, Maciej Ulas, Jakub Zygadło
On a Diophantine equation of Erdos and Graham, Journal of Number Theory vol. 217 (2020), 445-459
88.
Boolean algebra of one-point local compactifications, Journal of Mathematics and Applications vol. 43 (2020), 113-121
2019
87.
Variational Auto-Encoders for Generating Feature-Preserving Automata, Proceedings of Ncma 2019, Books@ocg.at (austrian Computer Society) (2019), 171-185
86.
Adam Roman, Vojtech Vorel
2018
85.
Jarosław Hryszko, Lech Madeyski
84.
A Study Guide to the ISTQB® Foundation Level 2018 Syllabus, Springer Verlag (połaczony z Kluwer Academic Publishing), 2018
83.
Sliced generative models, Schedae Informaticae vol. 27 (2018), 69-79
82.
81.
Thinking-Driven Testing. The Most Reasonabl Approach to Quality Control, Springer Verlag (połaczony z Kluwer Academic Publishing), 2018
80.
A machine learning approach to synchronization of automata, Expert Systems with Applications vol. 97 (2018), 357-371
79.
2017
78.
Jarosław Hryszko, Lech Madeyski
Assessment of the Software Defect Prediction Cost Effectiveness in an Industrial Project vol. 504 (2017), "Software Engineering: Challenges and Solutions", Springer
77.
Data Validation Using Model-Based Testing and Finite Automata Synchronization, Aip Conference Proceedings 1836 (2017), 020007
76.
Jakub Kowalski, Adam Roman
A New Evolutionary Algorithm for Synchronization vol. LNCS 10199 (2017), "Applications of Evolutionary Computation", Springer Verlag (połaczony z Kluwer Academic Publishing)
75.
74.
73.
2016
72.
Jarosław Hryszko, Lech Madeyski, Marta Dąbrowska, Piotr Konopka
Defect prediction with bad smells in code, (2016), "Software Engineering: Improving Practice through Research", Politechnika Gdańska
71.
Michał Mnich, Adam Roman, Piotr Wawrzyniak
Mutation churn model, Schedae Informaticae vol. 25 (2016), 227-236
70.
Adam Roman, Karolina Zmitrowicz
69.
Rafał Babiarz, Adam Roman
Dynamic Stylometry for Defect Prediction, Advances in Intelligent Systems and Computing (2016), 91-102
68.
Maciej Chmielarz, Adam Roman, Lucjan Stapp
Postgraduate Studies on Software Testing in Poland, Software Engineering: Improving Practice Through Research (2016), 177-186
2015
67.
Jarosław Hryszko, Lech Madeyski
66.
On the Path Sequence of a Graph, Schedae Informaticae vol. 24 (2015), 239-251
65.
Programista jako tester, Computerworld (2015), 24-25
64.
Testowanie i analiza mutacyjna, Programista vol. 6(37) (2015), 52-55
63.
Adam Roman, Marek Szykuła
Forward and backward synchronizing algorithms, Expert Systems with Applications vol. 42(24) (2015), 9512-9527
61.
Adam Roman, Vojtech Vorel
Parameterized Complexity of Synchronization and Road Coloring, Discrete Mathematics and Theoretical Computer Science vol. 17(1) (2015), 307-330
60.
Mateusz Drewienkowski, Adam Roman
59.
Adam Roman, Vojtech Vorel
Complexity of Road Coloring with Prescribed Reset Words, Lecture Notes in Computer Science vol. 8977 (2015), 161-172
2014
58.
Testowanie eksploracyjne - cudowny lek czy zwykłe placebo?, Software Developer's Journal (2014), 4-15
57.
Wit Foryś, Janusz Matyja
56.
Wit Foryś, Łukasz Jęda, Piotr Oprocha
On a cipher based on pseudo-random walks on graphs vol. 448 (2014), "Cryptography and Security Systems, Series: Communications in Computer and Information Science", Springer
55.
Wit Foryś, Janusz Matyja
54.
Agata Dróżdż, Marzena Frołow, Agata Kowalewska, Adam Roman, Bartosz Zieliński
A new approach to automatic continuous artery diameter measurement , Proceedings of the 2014 Federated Conference On Computer Science and Information Systems vol. 2 (2014), 247–251
53.
Defect property of $mathbb{Z}^2$ figure codes, Japanese Conference On Combinatorics and Its Applications (jcca 2014) (2014), 60-61
2013
52.
Kamil Bartocha, William Beckler, Krzysztof Osiewalski, Adam Roman
lastminute.com’s 12-week geo-experiment reveals a 43% uplift in Google AdWords values, Google Adwords Blog, Adwords.blogspot.com (2013), 3
51.
50.
Wit Foryś, Janusz Matyja
49.
Defect property in $mathbb{Z}^2$, Tucs Lecture Notes vol. 20 (2013), 64-70
48.
Domino Graphs and the Decipherability of Directed Figure Codes, Lecture Notes in Computer Science vol. 8288 (2013), 453-457
47.
2012
46.
45.
44.
Wit Foryś, Janusz Matyja
43.
42.
P--NP threshold for the Synchronizing Road Coloring, Lecture Notes in Computer Science vol. 7183 (2012), 482-492
41.
Dariusz Jędrzejczyk, Igor Podolak, Adam Roman
Application of Hierarchical Classifier to Minimal Synchronizing Word problem, Lecture Notes in Computer Science vol. 7267 (2012), 421-429
40.
Rafał Kudłacik, Adam Roman, Hubert Wagner
Effective synchronizing algorithms, Expert Systems with Applications vol. 39 (2012), 11746-11757
2011
39.
Plane-Filling Properties of Directed Figures, Lecture Notes in Computer Science vol. 6681 (2011), 255-263
38.
37.
Remarks on a normal subgroup of GAn, Communications in Algebra (2011), 1992-1996
36.
Zbiór zadań z teorii języków formalnych i automatów, Wydawnictwo Uniwersytetu Jagiellońskiego, 2011
35.
Wit Foryś, Piotr Oprocha
Infinite traces and symbolic dynamics – minimal shift case, Fundamenta Informaticae vol. 111 (2011), 147 - 161
34.
Wit Foryś, Janusz Matyja
33.
Wit Foryś, J.L.Garcia Guirao, Piotr Oprocha
A dynamical model of parallel computation on bi-infinite time-scale, Journal of Computational and Applied Mathematics vol. 235 (2011), 1826 - 1832
32.
Sławomir Bakalarski, Wit Foryś, Piotr Oprocha
Symbolic Dynamics, Flower Automata and Infinite Traces, Lecture Notes in Computer Science vol. 6482 (2011), 135-142
31.
Krzysztof Chmiel, Adam Roman
COMPAS - a computing package for synchronization, Lecture Notes in Computer Science vol. 6482 (2011), 79-86
30.
29.
NP-completeness of the Road Coloring Problem, Information Processing Letters vol. 111 (2011), 342-347
28.
Risk estimation for hierarchical classifier, Lecture Notes in Artificial Intelligence vol. 6678 (2011), 156-163
27.
Risk function estimation for subproblems in a hierarchical classifier, Pattern Recognition Letters vol. 32(15) (2011), 2136-2142
2010
26.
Directed Figure Codes with Weak Equality, Lecture Notes in Computer Science vol. 6283 (2010), 241-249
25.
The irreducibility of symmetric Yagzhev maps, Proceedings of the American Mathematical Society vol. 138 (2010), 2279-2281
24.
Experiments on synchronizing automata, Schedae Informaticae vol. 19 (2010), 35-51
2009
23.
22.
21.
Wit Foryś, Piotr Oprocha
Infinite traces and symbolic dynamics, Theory of Computing Systems vol. 45 (2009), 133 - 149
20.
Genetic Algorithm for Synchronization, Lecture Notes in Computer Science vol. 5457 (2009), 684-695
19.
Synchronizing Finite Automaton with Short Reset Words, Applied Mathematics and Computation vol. 209 (2009), 125-136
18.
A new notion of weakness in classification theory vol. 57 (2009), "Advances in Intelligent and Soft Computing", Springer Verlag (połaczony z Kluwer Academic Publishing)
17.
Decision Version of the Road Coloring Problem is NP-complete, Lecture Notes in Computer Science vol. 5699 (2009), 287-297
2008
16.
How many figure sets are codes?, Lecture Notes in Computer Science vol. 5196 (2008), 385-396
15.
Wit Foryś
On a complete lattice of retracts of a free monoid generated by three elements, Opuscula Mathematica vol. 28 (2008), 123 - 128
14.
Wit Foryś, Adam Roman
Lower bound for the length of synchronizing words in partially-synchronizing automata, Lecture Notes in Computer Science vol. 4910 (2008), 448 - 459
13.
Algorithm for intelligent prediction of requests in business systems, Lecture Notes in Computer Science vol. 4910 (2008), 696-707
2007
12.
Asymptotic density of brick and word codes, Ars Combinatoria vol. 83 (2007), 169-177
11.
Defect theorem in the plane,, RAIRO - Theoretical Informatics and Applications vol. 41 (2007), 403-409
2006
10.
9.
Wit Foryś, Tomasz Krawczyk
An algorithmic approach to the problem of a semiretract base, Theoretical Computer Science vol. 369 (2006), 314-322
2005
8.
Wit Foryś, Tomasz Krawczyk
An automaton that recognizes the base of a semiretract, Words 2005, 5-th International Conference On Words (2005), 235-247
2004
7.
6.
Decidability of simple brick codes vol. Trends in Mathematics (2004), "Mathematics and Computer Science III (Algorithms, Trees, Combinatorics and Probabilities)", Birkhäuser
2003
5.
Wit Foryś, Tomasz Krawczyk
Semiretracts – a counterexample and some results , Theoretical Computer Science vol. 307 (2003), 117-127
2000
4.
1999
3.
Brick Codes, (1999), "Algebraic Engineering: Proceedings of the First International Conference on Semigroups and Algebraic Engineering", World Scientific Publishing
1995
2.
Janusz Jurek, Włodzimierz Moczurad
Graph Grammar Based Allocator Module: New Approaches, Schedae Informaticae vol. VI (1995), 97-109
1992
1.
Janusz Jurek, Leszek Kotulski, Włodzimierz Moczurad
Object-Oriented Programming in the Large Using Group Concept, (1992), "Proceedings CompEuro ’92", Institute of Electrical and Electronics Engineers (IEEE)