prof. dr hab. Adam Roman
Jednostki:
- Wydział Matematyki i Informatyki UJ
- Instytut Informatyki i Matematyki Komputerowej
- Zakład Inżynierii Oprogramowania
Doktorat Otwarcie: 2005-11-24, Zamknięcie: 2006-10-26
Profesura Otwarcie: 2023-10-09, Zamknięcie: 2024-07-29
Publikacje:
53.
52.
Adam Roman, Lucjan Stapp, Michael Pilaeten
51.
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
50.
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
49.
48.
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
47.
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
46.
Designing Urban Transit Network using Memetic Algorithm, IEEE Congress on Evolutionary Computation [CEC], (2021), 343-350
45.
44.
Adam Roman, Lucjan Stapp
43.
Variational Auto-Encoders for Generating Feature-Preserving Automata, Proceedings of Ncma 2019, Books@ocg.at (austrian Computer Society) (2019), 171-185
42.
Adam Roman, Vojtech Vorel
41.
A Study Guide to the ISTQB® Foundation Level 2018 Syllabus, Springer Verlag (połaczony z Kluwer Academic Publishing), 2018
40.
39.
Thinking-Driven Testing. The Most Reasonabl Approach to Quality Control, Springer Verlag (połaczony z Kluwer Academic Publishing), 2018
38.
A machine learning approach to synchronization of automata, Expert Systems with Applications vol. 97 (2018), 357-371
37.
Data Validation Using Model-Based Testing and Finite Automata Synchronization, Aip Conference Proceedings 1836 (2017), 020007
36.
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)
35.
34.
33.
Michał Mnich, Adam Roman, Piotr Wawrzyniak
Mutation churn model, Schedae Informaticae vol. 25 (2016), 227-236
32.
Adam Roman, Karolina Zmitrowicz
31.
Rafał Babiarz, Adam Roman
Dynamic Stylometry for Defect Prediction, Advances in Intelligent Systems and Computing (2016), 91-102
30.
Maciej Chmielarz, Adam Roman, Lucjan Stapp
Postgraduate Studies on Software Testing in Poland, Software Engineering: Improving Practice Through Research (2016), 177-186
29.
Programista jako tester, Computerworld (2015), 24-25
28.
Testowanie i analiza mutacyjna, Programista vol. 6(37) (2015), 52-55
27.
Adam Roman, Marek Szykuła
Forward and backward synchronizing algorithms, Expert Systems with Applications vol. 42(24) (2015), 9512-9527
25.
Adam Roman, Vojtech Vorel
Parameterized Complexity of Synchronization and Road Coloring, Discrete Mathematics and Theoretical Computer Science vol. 17(1) (2015), 307-330
24.
Mateusz Drewienkowski, Adam Roman
23.
Adam Roman, Vojtech Vorel
Complexity of Road Coloring with Prescribed Reset Words, Lecture Notes in Computer Science vol. 8977 (2015), 161-172
22.
Testowanie eksploracyjne - cudowny lek czy zwykłe placebo?, Software Developer's Journal (2014), 4-15
21.
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
20.
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
19.
18.
17.
P--NP threshold for the Synchronizing Road Coloring, Lecture Notes in Computer Science vol. 7183 (2012), 482-492
16.
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
15.
Rafał Kudłacik, Adam Roman, Hubert Wagner
Effective synchronizing algorithms, Expert Systems with Applications vol. 39 (2012), 11746-11757
14.
Zbiór zadań z teorii języków formalnych i automatów, Wydawnictwo Uniwersytetu Jagiellońskiego, 2011
13.
Krzysztof Chmiel, Adam Roman
COMPAS - a computing package for synchronization, Lecture Notes in Computer Science vol. 6482 (2011), 79-86
12.
11.
NP-completeness of the Road Coloring Problem, Information Processing Letters vol. 111 (2011), 342-347
10.
Risk estimation for hierarchical classifier, Lecture Notes in Artificial Intelligence vol. 6678 (2011), 156-163
9.
Risk function estimation for subproblems in a hierarchical classifier, Pattern Recognition Letters vol. 32(15) (2011), 2136-2142
8.
7.
Experiments on synchronizing automata, Schedae Informaticae vol. 19 (2010), 35-51
6.
Genetic Algorithm for Synchronization, Lecture Notes in Computer Science vol. 5457 (2009), 684-695
5.
Synchronizing Finite Automaton with Short Reset Words, Applied Mathematics and Computation vol. 209 (2009), 125-136
4.
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)
3.
Decision Version of the Road Coloring Problem is NP-complete, Lecture Notes in Computer Science vol. 5699 (2009), 287-297
2.
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
1.
Algorithm for intelligent prediction of requests in business systems, Lecture Notes in Computer Science vol. 4910 (2008), 696-707
Konferencje:
10.
44th International Wittgenstein Symposium 2023, Austrian Ludwig Wittgenstein Society, Kirchberg am Wechsel, Austria, 2023-08-06 - 2023-08-12
9.
International Conference on Evaluation of Novel Approaches to Software Engineering [ENASE], INSTICC, Praga, Czechy, 2023-04-24 - 2023-04-25
8.
IEEE Congress on Evolutionary Computation [CEC], IEEE, Kraków, Polska, 2021-06-28 - 2021-07-01
7.
NCMA 2019, Department of Information Systems and Computation of the Universitat Politècnica de València, Valencia, Hiszpania, 2019-07-02 - 2019-07-03
6.
International Conference on Applied Mathematics and Computer Science ICAMCS 2017, --, Rzym, Włochy, 2017-01-27 - 2017-01-29
5.
Krajowa Konferencja Inżynierii Oprogramowania KKIO 2016, Politechnika Wrocławska, Wrocław, Polska, 2016-09-15 - 2016-09-17
4.
Data Validation Using Model-Based Testing and Finite Automata Synchronization, Politechnika Wrocławska, Wrocław, Polska, 2016-09-15 - 2016-09-17
3.
LATA 2015, 9th Int. Conf. on Language and Autoamta Theory and Applications, CNRS, GRLMC, Nice, France, 2015-03-02 - 2015-03-06
2.
FedCSIS 2014, Federated Conference on Computer Science and Information Systems, Warsaw University, Warsaw, Poland, 2014-09-07 - 2014-09-10
1.
ICAICS 2012, International Conference on Artificial Intelligence and Soft Computing, Polish Neural Network Society, Zakopane, Poland, 2014-06-01 - 2014-06-06
Doktoranci (po 27 października 2003 roku)
Doktorant | Otwarcie | Zakonczenie |
---|---|---|
Michał Mnich | 2016-09-29 | |
Piotr Wawrzyniak | 2016-11-24 |
Recenzje (po 27 października 2003 roku)
Recenzowany | Jednostka | Treść recenzji |
---|---|---|
Doktorat: Piotr Brendel | Katedra Matematyki Obliczeniowej |
Granty (realizowane po maju 2009 roku)
Tytuł | Rola | Rozpoczęcie | Zakończenie |
---|---|---|---|
Algorytmiczne aspekty synchronizacji | Kierownik | 2016-02-02 | 2019-02-01 |
Synchronizacja automatów skończonych - teoria, algorytmy, narzędzia i zastosowania | Kierownik | 2013-07-04 | 2017-07-03 |