Submitted extended abstracts of dissertations

Name	Abstract title	Submitted	Defended	Published	Full thesis
K. Košťál	Multi-Chain Architecture for Blockchain Networks	6.9.2020	22.9.2020	Vol 12. No 2. 2020	N/A
M. Galinski	Improving Resource Management in Software Defined Networks	13.5.2020	26.6.2020	Vol 12. No 2. 2020	N/A
I. Palúchová	Optimization of Network Monitoring	12.3.2020	26.6.2020	Vol 12. No 1. 2020	N/A
T. Boros	Transparent Redirection in Content Delivery Networks using Software Defined Networking	21.10.2019	14.2.2020	Vol 12. No 1. 2020	N/A
P. Vrablecová	Predictive Analytics on Data Streams	17.6.2019	4.12.2019	Vol 11. No 2. 2019	N/A
P. Polatsek	Modelling of Human Visual Attention	13.5.2019	8.7.2019	Vol 11. No 2. 2019	N/A
M. Nagy	Software Defined Networking in Wireless Mobile Networks	13.4.2019	29.4.2019	Vol 11. No 1. 2019	N/A
O. Kachman	Effective Multiplatform Firmware Update Process for Embedded Low-Power Devices	14.9.2018	12.12.2018	Vol 11. No 1. 2019	N/A
R. Bencel	User Management Architecture Based on Software-Defined Networking	7.8.2018	22.8.2018	Vol 11. No 1. 2019	N/A
D. Bernát	On the Estimation of Number of Routers in an Ad Hoc Network	6.8.2018	22.8.2018	Vol 10. No 2. 2018	N/A
R. Šelmeci	Application of Design Patterns in Service Oriented Architecture	19.7.2018	20.8.2018	Vol 10. No 2. 2018	N/A
M. Blšták	Automatic Question Generation Based on Sentence Structure Analysis	15.6.2018	4.7.2018	Vol 10. No 2. 2018	N/A
P. Laurinec	Improving Forecasting Accuracy Through the Influence of Time Series Representations and Clustering	28.5.2018	11.7.2018	Vol 10. No 2. 2018	N/A
M. Bystrický	Use Case Driven Modularization	13.5.2018	11.7.2018	Vol 10. No 2. 2018	N/A
A. Fogelton	Eye Blink Detection	7.3.2018	18.5.2018	Vol 10. No 1. 2018	N/A
J. Filipek	Security Architecture for the Distributed Environments	8.2.2018	29.5.2018	Vol 10. No 1. 2018	N/A
O. Kaššák	User Modelling Focused on Short-Term Behavioural Changes	17.10.2017	6.12.2017	Vol 10. No 1. 2018	N/A
M. Bušík	Development and Optimisation of Model for Cells Flowing in Fluid	16.10.2017	31.8.2017	Vol 10. No 1. 2018	N/A
V. Olešnaníková	Use of Compressed Sensing in Wireless Sensor Networks	16.10.2017	22.8.2017	Vol 9. No 2. 2017	N/A
P. Šarafín	Input Shaping	16.10.2017	22.8.2017	Vol 10. No 1. 2018	N/A
R. Žalman	Analysis of Acoustic Signals with Application Usage in Wireless Sensor Network for Intelligent Transport	16.10.2017	22.8.2017	Vol 9. No 2. 2017	N/A
T. Halagan	Architecture for Delivery of Virtualized Network Functions	3.7.2017	24.8.2017	Vol 9. No 2. 2017	N/A
M. Kvassay	A Contribution Towards the Discovery of Causal Relationships in Agent-Based Models of Human Behaviour	30.6.2017	7.7.2017	Vol 9. No 2. 2017
A. Binder	Content Delivery Network Interconnect	3.5.2017	12.7.2017	Vol 9. No 2. 2017	N/A
P. Krátky	Biometric User Model for Recognition on the Web	28.3.2017	4.5.2017	Vol 9. No 2. 2017	N/A
R. Móro	Navigation Leads for Exploratory Search and Navigation in Digital Libraries	1.3.2017	11.4.2017	Vol 9. No 2. 2017	N/A
M. Šajgalík	Modelling Text Semantics	11.1.2017	8.2.2017	Vol 9. No 1. 2017	N/A
S. Kavecký	Ad Hoc Grid Resource Management: Grid Security	1.12.2016	23.8.2016	Vol 9. No 1. 2017	N/A
R. Tóthová	Development and Implementation of Biomedical Models Suitable for Modeling Microfluidic Devices	1.12.2016	31.8.2016	Vol 9. No 1. 2017	N/A
M. Chovanec	Q-function Aproximation in Q-learning Algortihms using Neural Network	1.12.2016	22.8.2016	Vol 9. No 1. 2017	N/A
J. Bendik	Designing the Public Service Systems with an Exact Optimization Core	1.12.2016	22.8.2016	Vol 9. No 1. 2017	N/A
B. Bučko	Knowledge in Information System Development	1.12.2016	23.8.2016	Vol 9. No 1. 2017	N/A
J. Laštinec	Security Extension of Automotive Communication Protocols Using Ethernet/IP	17.10.2016	31.1.2017	Vol 9. No 1. 2017	N/A
J. Ševcech	Towards Symbolic Representation of Potentially Infinite Time Series	6.10.2016	10.11.2016	Vol 9. No 1. 2017	N/A
L. Valášek	Computer Simulation of Course of Fire and Their Consequences	3.10.2016	31.1.2017	Vol 9. No 1. 2017	N/A
M. Bobák	Application Performance Optimization in Multicloud Environment	2.8.2016	19.4.2017	Vol 9. No 2. 2017	N/A
Š. Sabo	Social Insect Inspired Algorithm to Detect and Track Topics in Dynamic Documents	12.7.2016	29.9.2016	Vol 8. No 2. 2016	N/A
P. Helebrandt	Architecture for Core Networks Utilizing Software Defined Networking	27.6.2016	25.8.2016	Vol 8. No 2. 2016	N/A
J. Mojžiš	Visualization, Navigation and Relationship Discovery in Graphs	23.6.2016	25.8.2016	Vol 8. No 2. 2016	N/A
J. Balažia	Seamless Handover in Networks Based on IEEE 802.11 Standard	21.6.2016	25.8.2016	Vol 8. No 2. 2016	N/A
E. Kuric	Automatic Estimation of Software Developer's Expertise	24.5.2016	29.6.2016	Vol 8. No 2. 2016	N/A
K. Rástočný	Metadata Management for Large Information Spaces	19.5.2016	29.6.2016	Vol 8. No 2. 2016	N/A
M. Vojtko	Formal Description of Embedded Operating Systems	15.5.2016	17.10.2016	Vol 8. No 2. 2016	N/A
I. Srba	Promoting Sustainability and Transferability of Community Question Answering	10.5.2016	29.6.2016	Vol 8. No 2. 2016	N/A
Š. Dlugolinský	Combining Named Entity Recognition Methods for Concept Extraction	15.3.2016	25.8.2016	Vol 8. No 2. 2016	N/A
M. Kvaššay	Reliability Analysis Based on Logical Differential Calculus and Minimal Cut Set Methods	15.4.2016	26.8.2015	Vol 8. No 1. 2016	N/A
M. Kvet	Searching and Indexing in Temporal Databases	15.4.2016	25.8.2015	Vol 8. No 1. 2016	N/A
L. Falát	Time Series Forecasting with Hybrid Neural Networks and Advanced Statistical Methods	15.4.2016	26.8.2015	Vol 8. No 1. 2016	N/A
J. Papán	IP Fast Reroute	15.4.2016	25.8.2015	Vol 8. No 2. 2016	N/A
I. Jančigová	Modeling Elastic Objects in Fluid Flow with Biomedical Applications	15.4.2016	25.8.2015	Vol 8. No 1. 2016	N/A
R. Broniš	Data transfer in HBB-Next architecture	21.7.2015	24.9.2015	Vol 8. No 1. 2016	N/A
J. Murányi	Optimization of Multimedia Flows in Multipath Networks	21.7.2015	24.9.2015	Vol 8. No 1. 2016	N/A
R. Krakovský	Processing of Information in multidimensional data space by Projective ART neural network	26.5.2015	24.8.2015	Vol 7. No 2. 2015	N/A
D. Macko	Contribution to System-Level Design and Verification of Low-Power Digital Systems	5.6.2015	21.8.2015	Vol 7. No 2. 2015	N/A
Š. Krištofík	A Contribution Towards Architectures and Algorithms for Self Repair of RAMs	26.5.2015	21.8.2015	Vol 7. No 2. 2015	N/A
M. Siebert	Methods of critical paths delay faults testing in digital systems	2.5.2015	21.8.2015	Vol 8. No 1. 2016
L. Clementis	Study of Game Strategy Emergence by using Neural Networks	30.12.2014	24.8.2015	Vol 7. No 2. 2015	N/A
R. Dvořák	Physically-based Modeling and Simulation	19.11.2014	19.11.2014	Vol 7. No 1. 2015	N/A
L. Ďurfina	Generic Reverse Compilation to Recognize Specific Behavior	10.11.2014	5.12.2014	Vol 7. No 1. 2015	N/A
J. Hudec	Contribution to the Methods and Algorithms of Automatic Generation of Functional Tests for Processors	4.11.2014	18.12.2014	Vol 6. No 4. 2014	N/A
P. Pištek	New Multiplexer-based Switching Circuits Synthesis Methods	8.7.2014	26.8.2014	Vol 7. No 1. 2015	N/A
M. Bačíková	Domain Analysis of Graphical User Interfaces of Software Systems	25.6.2014	30.6.2014	Vol 6. No 4. 2014	N/A
P. Vilhan	Secure Access Control in Distributed Environment	22.5.2014	17.7.2014	Vol 7. No 1. 2015	N/A
D. Levy	WLAN Power Save by Header Compression and Packet Overhearing Reduction	26.4.2014	22.8.2014	Vol 6. No 3. 2014	N/A
D. Chalupa	Partitioning Networks into Cliques: A Randomized Heuristic Approach	17.4.2014	25.6.2014	Vol 6. No 3. 2014	N/A
P. Horáček	Synchronous Formal Systems Based on Grammars and Transducers	4.4.2014	12.9.2014	Vol 6. No 4. 2014	N/A
P. Zemek	One-Sided Random Context Grammars	12.3.2014	12.9.2014	Vol 6. No 3. 2014	N/A
J. Palfy	Analysis of Dysfluencies by Computational Intelligence	4.3.2014	25.6.2014	Vol 6. No 2. 2014	N/A
M. Hodoň	On board localization technologies for vehicle positioning	24.1.2014	20.8.2013	Vol 6. No 2. 2014	N/A
D. Zeleník	Reducing the Sparsity of Contextual Information for Recommendation	16.1.2014	21.2.2014	Vol 6. No 2. 2014	N/A
T. Kramár	Utilizing Lightweight Semantics for Search Context Acquisition in Personalized Search	17.12.2013	29.1.2014	Vol 6. No 1. 2014	N/A
M. Kompan	Group and Single-user Influence Modeling for Personalized Recommendation	17.12.2013	29.1.2014	Vol 6. No 2. 2014	N/A
M. Kvet	Designing of Large-Scale Public Service Systems by Covering Methods	22.11.2013	27.8.2013	Vol 5. No 4. 2013	N/A
J. Púchyová	Behaviour of Multiagent System with Defined Goal	22.11.2013	20.8.2013	Vol 5. No 4. 2013	N/A
Š. Toth	Query Based Image Processing in VANET	22.11.2013	20.8.2013	Vol 5. No 4. 2013	N/A
M. Kraus	Parallel Computer Systems Based on Numerical Integrations	23.9.2013	10.10.2013	Vol 5. No 4. 2013	N/A
J. Přibyl	Location-aware Data Transfers Scheduling for Distributed Virtual Walkthrough Applications	19.9.2013	2.2.2014	Vol 6. No 1. 2014	N/A
Z. Letko	Analysis and Testing of Concurrent Programs	12.9.2013	14.9.2012	Vol 6. No 1. 2014	N/A
J. Havel	Point to Line Mappings and Other Line Parameterizations not only for Hough Transfor	21.11.2012	17.12.2012	TBA	N/A
J. Breier	Security Evaluation Model based on the Score of Security Mechansisms	24.8.2013	25.10.2013	Vol 6. No 1. 2014	N/A
M. Olsovsky	Advanced Notification System for TCP Performance Increase	24.8.2013	25.11.2013	Vol 6. No 2. 2014	N/A
M. Hruby	Optimization of Network Traffic Flow	22.8.2013	25.11.2013	Vol 6. No 1. 2014	N/A
J. Šimko	Harnessing Manpower for Creating Semantics	13.5.2013	4.7.2013	Vol 5. No 3. 2013	N/A
M. Repka	Company Networks Analysis	6.5.2013	27.6.2013	Vol 5. No 4. 2013	N/A
B. M. Nguyen	High-level Abstraction Layers for Development and Deployment of Cloud Services	22.4.2013	8.7.2013	Vol 6. No 1. 2014	N/A
F. Hrozek	3D Interfaces of Systems	13.2.2013	31.8.2012	Vol 5. No 2. 2013	N/A
M. Žádník	Optimization of Network Flow Monitoring	6.12.2012	23.5.2013	Vol 5. No 2. 2013	N/A
D. Lodrová	Security of Biometric Systems<	1.11.2012	4.4.2013	Vol 5. No 3. 2013	N/A
J. Šilhavá	Methods for cCass Prediction with High-dimensional Gene Expression Data	20.9.2012	5.3.2013	TBA	N/A
M. Tavač	The Object Databases Transformation	20.9.2012	23.8.2012	Vol 5. No 2. 2013	N/A
T. Kuzár	Clustering on Social Web	6.12.2012	14.3.2013	Vol 5. No 1. 2013	N/A
P. Kajsa	Semantics and Model Driven Design Patterns	1.11.2012	14.3.2013	Vol 5. No 1. 2013	N/A
F. Konečný	Relational Verification of Programs with Integer Data	20.9.2012	29.10.2012	Vol 5. No 1. 2013	N/A
J. Šimáček	Verification of Programs Manipulating Complex Dynamic Data Structures	20.9.2012	29.10.2012	Vol 5. No 1. 2013	N/A
M. Seeman	Image Processing for Improved Perception and Interaction	20.9.2012	11.12.2012	Vol 5. No 3. 2013	N/A
T. Bača	Optimisation of Message Distribution in Ad-hoc networks	12.9.2012	23.8.2012	Vol 4. No 4. 2012	N/A
P. Jankovič	Support for Creating Robust Plans and Schedules	26.8.2012	28.8.2012	Vol 4. No 3. 2012	N/A
P. Magula	Quality of Service in Mobile Ad-hoc Networks	19.8.2012	29.11.2012	Vol 4. No 4. 2012	N/A
V. Puš	Packet Classification Algorithms	20.7.2012	17.9.2012	Vol 4. No 4. 2012	N/A
M. Čermák	Formal Systems Based upon Automata and Grammars	20.7.2012	18.9.2012	Vol 4. No 4. 2012	N/A
J. Koutný	Grammars with Restricted Derivation Trees	20.7.2012	18.9.2012	Vol 4. No 4. 2012	N/A
M. Kopf	A Contribution to Traffic State Estimation by Means of Image Processing Methods	18.6.2012	13.9.2012	Vol 5. No 3. 2013	N/A
S. Chodarev	Development of Domain-Specific Languages Based on Generic Syntax and Functional Composition	14.6.2012	31.8.2012	Vol 4. No 3. 2012	N/A
J. Mažgut	Generalized Multilinear Model for Dimensionality Reduction of Binary Tensors	10.6.2012	30.8.2012	Vol 4. No 3. 2012	N/A
S. Piecka	Parallel Methods of Solving of Supply Problem using Ant Colony Optimization	18.5.2012	13.9.2012	Vol 5. No 1. 2013	N/A
R. Juránek	Acceleration of Object Detection using Classifiers	17.4.2012	28.6.2012	TBA	N/A
L. Stareček	Digital circuits test optimization by multifunctional components	17.4.2012	26.4.2012	Vol 4. No 2. 2012	N/A
M. Pohronská	Implementing Embedded Expert Systems via Programmable Hardware	18.3.2012	22.5.2012	Vol 4. No 2. 2012	N/A
V. Šátek	Stiff Systems Analysis	13.3.2012	20.2.2012	Vol 4. No 3. 2012	N/A
H. M. Gayana Ruchika de Silva	Network-wide Security Analysis	13.3.2012	22.2.2012	TBA	N/A
M. Šimko	Automated Acquisition of Domain Model for Adaptive Collaborative Web-Based Learning	3.2.2012	30.3.2012	Vol 4. No 2. 2012	N/A
T. Kováčik	IMS service provisioning improvement	16.12.2011	19.4.2012	Vol 4. No 3. 2012
J. Samek	Multi-contextual Trust Model for Multi-Agent Systems	17.10.2011	4.1.2012	Vol 4. No 1. 2012	N/A
S. Machalík	Image Analysis in Tribodiagnostics	17.10.2011	5.8.2011	Vol 3. No 4. 2011	N/A
J. Števek	Intelligent Embedded Systems	19.9.2011	16.2.2012	Vol 4. No 1. 2012	N/A
G. Tutoky	Discovery and Exploitation of Knowledge in Collaboration Social Networks	8.9.2011	21.9.2011	Vol 3. No 4. 2011
J. Rozman	Exploration and Traversable Area Marking for the VisualSLAM	3.8.2011	22.11.2011	Vol 4. No 1. 2012	N/A
Z. Přikryl	Advanced Methods of Microprocessor Simulation	3.8.2011	6.9.2011	Vol 3. No 3. 2011	N/A
A. Kovárová	Special Interaction Approaches and their Impact on Usability	15.8.2011	26.9.2011	Vol 3. No 3. 2011	N/A
P. Mederly	Semi-automated Construction of Messaging-Based Enterprise Application Integration Solutions	11.8.2011	30.9.2011	Vol 3. No 3. 2011	N/A
D. Kotmanová	Temporal Specifications in Digital System Verification	30.5.2011	TBA	TBA	N/A
M. Košík	A Contribution to Techniques for Building Dependable Operating Systems	28.5.2011	30.9.2011	Vol 3. No 4. 2011	N/A
A. Štrba	Wireless Embedded Systems Powered by Energy Harvesting	23.5.2011	24.11.2011	Vol 4. No 1. 2012	N/A
M. Vagač	A Dynamic Software Evolution by Metamodel Change	26.4.2011	TBA	Vol 3. No 3. 2011	N/A
P. Drahoš	Photo-realistic head model for real-time animation	14.4.2011	30.9.2011	Vol 3. No 4. 2011	N/A
A. Bou Ezzeddine	Web information retrieval inspired by social insect behaviour	9.2.2011	24.3.2011	Vol 3. No 1. 2011	N/A
P. Kapec	Knowledge-based software representation, querying and visualization	31.1.2011	7.4.2011	Vol 3. No 2. 2011	N/A
Ľ. Majtás	Contribution to the Creation and Recognition of the Design Patterns Instances	26.1.2011	15.3.2011	Vol 3. No 1. 2011
P. Bartalos	Effective automatic dynamic semantic web service composition	15.12.2010	10.2.2011	Vol 3. No 1. 2011
M. Barla	Towards Social-based User Modeling and Personalization	15.12.2010	10.2.2011	Vol 3. No 1. 2011
M. Tvarožek	Exploratory Search in the Adaptive Social Semantic Web	15.12.2010	10.2.2011	Vol 3. No 1. 2011	N/A
J. Tvarožek	Bootstrapping a Socially Intelligent Tutoring	14.12.2010	10.2.2011	Vol 3. No 1. 2011	N/A
K. A. Lázár	A Formal Language Theoretic Approach to Self–Organizing Networks	6.12.2010	10.1.2011	Vol 3. No 1. 2011	N/A
L. Holík	Abstract Regular Tree Model Checking with Nondeterministic Automata	30.11.2010	3.3.2011	Vol 3. No 2. 2011	N/A
T. Herrman	Test Application Methodology Based On the Identification of Testable blocks	30.11.2010	24.2.2011	Vol 4. No 1. 2012	N/A
M. Španěl	Delaunay-based Vector Segmentation of Volumetric Medical Images	11.9.2010	5.1.2011	Vol 3. No 1. 2011	N/A
R. Dobai	Test generation for asynchronous sequential digital circuits	9.11.2010	19.1.2011	Vol 3. No 1. 2011	N/A
J. Vrana	Contextual Visualization of Ontological Models	28.9.2010	29.9.2010	Vol 2. No 2. 2010
A. Smrčka	Verification of Asynchronous and Parametrized Hardware Designs	20.9.2010	15.12.2010	Vol 2. No 2. 2010	N/A
P. Svojanovský	Risk Management in IT Service Security	20.9.2010	21.12.2010	Vol 2. No 2. 2010	N/A
J. Kořenek	Fast Regular Expression Matching Using FPGA	20.9.2010	2.12.2010	Vol 2. No 2. 2010	N/A
T. Martínek	Evaluation of Biological Sequence Similarity Using FPGA Technology	20.9.2010	2.12.2010	Vol 2. No 2. 2010	N/A
P. Weiss	Modeling of Service-Oriented Architecture: Integration of Business Process and Service Modeling	20.9.2010	13.12.2010	Vol 2. No 2. 2010	N/A
M. Mánik	System Level Diagnostics over the PMC Model	6.9.2010	30.10.2010	Vol 2. No 2. 2010	N/A
E. Gatial	Approach to Coordinating Distributed Execution of Agents for Trusted Information Collection	2.9.2010	29.10.2010	Vol 2. No 2. 2010	N/A
M. Baláž	Contribution to Digital System Testing Methods	17.8.2010	30.6.2010	Vol 2. No 2. 2010	N/A
Z. Ďurčík	Automated web service composition with knowledge approach	30.7.2010	26.10.2010	Vol 2. No 2. 2010
V. Vaneková	Preferential Querying for the Semantic Web	16.7.2010	20.9.2010	Vol 2. No 2. 2010
J. Kadlec	Code Characterization for Automated User Interface Creation	29.6.2010	5.1.2011	Vol 3. No 1. 2011
L. Skovajsova	Document Retrieval by Feed-forward Neural Networkss	21.6.2010	16.12.2010	Vol 2. No 2. 2010	N/A
J. Janáček	General Purpose Operating System for Security-critical Applications	21.6.2010	22.11.2010	Vol 2. No 2. 2010	N/A
J. Sedláčková	Security Factors in Effort Estimation of Software projects	16.6.2010	1.10.2010	Vol 3. No 2. 2011	N/A
I. Szöke	Hybrid word-subword spoken term detection	21.5.2010	19.10.2010	Vol 2. No 2. 2010	N/A
M. Líška	Extending and Utilizing the Software and Systems Process Engineering Metamodel with Ontology	16.6.2010	9.9.2010	Vol 2. No 2. 2010
M. Vysoký	Diagram of security	21.5.2010	9.9.2010	Vol 4. No 1. 2012	N/A
Ľ. Ištoňová	Descriptional Complexity of Finite State Automata	7.5.2010	9.9.2010	Vol 2. No 2. 2010	N/A
J. Ďuďák	The Contribution to Industrial Communication Standards	29.4.2010	28.6.2010	Vol 2. No 1. 2010	N/A
M. Rychlý	Formal-based Component Model with Support of Mobile Architecture	12.4.2010	19.2.2010	Vol 2. No 1. 2010	N/A
M. Forgáč	Method of Combined Dynamic Modification of Programs and Languages	25.3.2010	30.9.2009	Vol 2. No 1. 2010	N/A
P. Vojtek	Contribution to Relational Classification with Homophily Assumption	10.3.2010	21.5.2010	Vol 2. No 1. 2010
D. Mihályi	Duality between formal description of program construction and program behaviour	29.11.2009	30.9.2009	Vol 2. No 1. 2010	N/A
A. Andrejko	Novel Approaches to Acquisition and Maintenance of User Model	12.9.2009	19.2.2009	Vol 1. No 1. 2009	N/A
R. Semančík	Revised World Wide Web Architecture	22.9.2009	20.5.2009	Vol 1. No 1. 2009	N/A
J. Jakubík	Extension for Design Pattern Identification Using Similarity Scoring Algorithm	3.10.2009	5.5.2009	Vol 1. No 1. 2009	N/A
M. Lekavý	Planning and Rescheduling	26.9.2009	25.3.2009	Vol 1. No 1. 2009	N/A
M. Makula	Power and Limits of Recurrent Neural Networks or Symbolic Sequences Processing	6.10.2009	8.7.2009	Vol 1. No 1. 2009	N/A
P. Trebatický	Prediction of Dynamical Systems by Recurrent Neural Networks	8.10.2009	25.6.2009	Vol 1. No 1. 2009	N/A
P. Lacko	Emergence of Game Strategy in Multiagent Systems	10.10.2009	25.6.2009	Vol 1. No 1. 2009	N/A

Association for Computing Machinery Advancing Computing as a Science & Profession

Bulletin of the ACM Slovakia

Submitted extended abstracts of dissertations