Zakład Inżynierii Oprogramowania - lista publikacji
Nadjednostka:
1-107 z 107.
2024
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
2023
105.
104.
Synchronizing Automata with Coinciding Cycles, Developments in Language Theory [DLT], (2023), 208-218
103.
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
102.
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
101.
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
100.
Adam Roman, Jakub Gomułka
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.
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.
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.
On a complete lattice of retracts of a free monoid generated by three elements, Opuscula Mathematica vol. 28 (2008), 123 - 128
14.
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.
An algorithmic approach to the problem of a semiretract base, Theoretical Computer Science vol. 369 (2006), 314-322
2005
8.
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.
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)