Utilize the web fullyThanks to cookies, browsing the web will be easier and more comfortable. To process some of them, we need your consent which you can give by clicking the “Accept all” button. More information about cookies and their settings. By refusing, only essential cookies will be loaded.
Accept all Refuse
Show cookie utilization selection

UO > About > Organizational Structure > Faculties & Institutes > Faculty of Science > About > Organizational Structure > Departments & Centres > Department of Informatics and Computers

Hashim Habiballa

Hashim Habiballa

Academic degree, name, surname:
doc. RNDr. PaedDr. Hashim Habiballa, Ph.D., PhD.
Room, floor, building:
C 102, Building C
Position:
Deputy Head of Department
Research interests and teaching:
Phone number, mobile:
+420 553 46 2170
+420 553 46 2174
E-mail:



No record found.



Martin Kotyrba, Hashim Habiballa, Eva Volná, Robert Jarušek, Pavel Smolka, Martin Prášek, Marek Malina, Vladěna Jaremová, Jan Vantuch, Michal Bar, Petr Kulišťák ... other authors
Year: 2023, Mathematics
journal article
 
journal article
 
Year: 2022
abstract in proceedings
 
Year: 2022, COMPUTERS
journal article
 
Year: 2021, MATHEMATICS
journal article
 
journal article
 
Year: 2021, Mathematics
journal article
 
Year: 2020
abstract in proceedings
 
Year: 2018
abstract in proceedings
 
Year: 2015, Journal of Applied Logic
journal article
 

Martin Kotyrba, Hashim Habiballa, Eva Volná, Robert Jarušek, Pavel Smolka, Martin Prášek, Marek Malina, Vladěna Jaremová, Jan Vantuch, Michal Bar, Petr Kulišťák ... other authors
Year: 2023, Mathematics
journal article
 
Martin Kotyrba, Pavel Smolka, Hashim Habiballa, Martin Prášek, Marek Malina, Robert Jarušek, Eva Volná, Vladěna Jaremová, Jan Vantuch, Martin Augustynek, Petr Nilius ... other authors
Year: 2023
software
 
journal article
 
Year: 2022
abstract in proceedings
 
Year: 2022
abstract in proceedings
 
Year: 2022, COMPUTERS
journal article
 
Year: 2021, MATHEMATICS
journal article
 
journal article
 
Year: 2021, Mathematics
journal article
 
Year: 2020
abstract in proceedings
 
Year: 2020
abstract in proceedings
 
Year: 2019
abstract in proceedings
 
Year: 2019
abstract in proceedings
 
Year: 2019
abstract in proceedings
 
Year: 2019
abstract in proceedings
 
Year: 2018
abstract in proceedings
 
Year: 2018
abstract in proceedings
 
Year: 2018
abstract in proceedings
 
Year: 2018
abstract in proceedings
 
Year: 2018
abstract in proceedings
 
Year: 2018
abstract in proceedings
 
Year: 2018
abstract in proceedings
 
Year: 2018
organizing conference, workshop
 
Year: 2018
abstract in proceedings
 
Year: 2017
abstract in proceedings
 
Year: 2017
abstract in proceedings
 
Year: 2017
abstract in proceedings
 
Year: 2017
abstract in proceedings
 
Year: 2017
organizing conference, workshop
 
Year: 2017
abstract in proceedings
 
Year: 2017
abstract in proceedings
 
Year: 2016
abstract in proceedings
 
Year: 2016
abstract in proceedings
 
Year: 2016
organizing conference, workshop
 
Year: 2016
abstract in proceedings
 
Year: 2016
abstract in proceedings
 
Year: 2016
abstract in proceedings
 
journal article
 
Year: 2015
abstract in proceedings
 
Year: 2015, Journal of Applied Logic
journal article
 
Year: 2015
abstract in proceedings
 
Year: 2015
software
 
Year: 2014
learning texts, university textbooks, tutorials, handbooks
 
Year: 2014
abstract in proceedings
 
Year: 2014
learning texts, university textbooks, tutorials, handbooks
 
Year: 2013
learning texts, university textbooks, tutorials, handbooks
 
Year: 2013
abstract in proceedings
 
Year: 2013
presentations (congresses, symposia, conferences, workshops)
 
Year: 2013
software
 
Year: 2013
learning texts, university textbooks, tutorials, handbooks
 
Year: 2013
abstract in proceedings
 
Year: 2013
organizing conference, workshop
 
Year: 2013
abstract in proceedings
 
Year: 2013
abstract in proceedings
 
Year: 2013
published expert opinions, reviews
 
Year: 2013
published expert opinions, reviews
 
Year: 2013
abstract in proceedings
 
Year: 2013
abstract in proceedings
 
Year: 2013
learning texts, university textbooks, tutorials, handbooks
 
Year: 2012
final dissertation (rigorous, final, habilitation)
 
Year: 2012, WAXMANN
specialist book chapter
 
Year: 2012
presentations (congresses, symposia, conferences, workshops)
 
Year: 2012
organizing conference, workshop
 
Year: 2012
software
 
Year: 2012
abstract in proceedings
 
Year: 2012, InTech
specialist book chapter
 
Year: 2012
abstract in proceedings
 
Year: 2012, Journal of Applied Mathematics
journal article
 
Year: 2012
learning texts, university textbooks, tutorials, handbooks
 
Year: 2012
presentations (congresses, symposia, conferences, workshops)
 
Year: 2011
abstract in proceedings
 
Year: 2011, Aplimat - Journal of Applied Mathematics
journal article
 
Year: 2011, Journal of Applied Mathematics
journal article
 
Year: 2011
abstract in proceedings
 
Year: 2011, Journal of Applied Mathematics
journal article
 
Year: 2011
abstract in proceedings
 
Year: 2011
organizing conference, workshop
 
Year: 2011, Journal of Applied Mathematics
journal article
 
Year: 2011
abstract in proceedings
 
Year: 2011, KYBERNETIKA
journal article
 
Year: 2011, Scientific Issues, Jan Dlugosz University of Czenstochowa. Mathematics XVI
journal article
 
Year: 2010
learning texts, university textbooks, tutorials, handbooks
 
Year: 2010, Universum
specialist book
 
Year: 2010
software
 
Year: 2009
software
 
Year: 2009
software
 
Year: 2009
software
 
Year: 2009
software
 
Year: 2009
software
 
Year: 2009
organizing conference, workshop
 
Year: 2009
abstract in proceedings
 
Year: 2009
software
 
Year: 2009, Aplimat - Journal of applied mathematics
journal article
 
Year: 2009, Aplimat - Journal of applied mathematics
journal article
 
Year: 2009
software
 
Year: 2008, APLIMAT - Journal of Applied Mathematics
journal article
 
Year: 2008, APLIMAT - Journal of Applied Mathematics
journal article
 
Year: 2008, Metodický portál RVP - Výzkumný ústav pedagogický
journal article
 
Year: 2008
organizing conference, workshop
 
Year: 2008, Informatics in ed.
journal article
 
Year: 2008, Informatics in ed.
journal article
 
Year: 2008, KYBERNETIKA
journal article
 
Year: 2008, KYBERNETIKA
journal article
 
Year: 2008
abstract in proceedings
 
Year: 2008
abstract in proceedings
 
Year: 2008
work experience abroad
 
Year: 2008
organizing conference, workshop
 
Year: 2008
organizing conference, workshop
 
Hashim Habiballa, Antonín Jančařík
Year: 2007
abstract in proceedings
 
Antonín Jančařík, Hashim Habiballa
Year: 2007
abstract in proceedings
 
Year: 2007
work experience abroad
 
Year: 2007
work experience abroad
 
Year: 2007
abstract in proceedings
 
Year: 2007
presentations (congresses, symposia, conferences, workshops)
 
Year: 2007
abstract in proceedings
 
Year: 2007
presentations (congresses, symposia, conferences, workshops)
 
Year: 2007, Matematika - fyzika - informatika
journal article
 
Year: 2007, Matematika - fyzika - informatika
journal article
 
Year: 2007, Matematika - fyzika - informatika
journal article
 
Year: 2007
abstract in proceedings
 
Year: 2007
organizing conference, workshop
 
Year: 2007
presentations (congresses, symposia, conferences, workshops)
 
Year: 2007
abstract in proceedings
 
Year: 2007
presentations (congresses, symposia, conferences, workshops)
 
Year: 2007
abstract in proceedings
 
Year: 2007
abstract in proceedings
 
Year: 2007
final dissertation (rigorous, final, habilitation)
 
Year: 2007, Matematika - fyzika - informatika I
journal article
 
Year: 2007, Matematika - fyzika - informatika I
journal article
 
Year: 2007
abstract in proceedings
 
Year: 2007, Technológia vzdelávania
journal article
 
Year: 2007
abstract in proceedings
 
Year: 2007
abstract in proceedings
 
Year: 2007
abstract in proceedings
 
Year: 2007
abstract in proceedings
 
Year: 2007, Matematika-fyzika-informatika
journal article
 
Year: 2007
abstract in proceedings
 
Year: 2007
abstract in proceedings
 
Year: 2007
work experience abroad
 
Year: 2007
organizing conference, workshop
 
Year: 2007
organizing conference, workshop
 
Year: 2006
work experience abroad
 
Year: 2006, FPV UKF
specialist book chapter
 
Hashim Habiballa, Igor Koštál
Year: 2006
published expert opinions, reviews
 
Year: 2006
presentations (congresses, symposia, conferences, workshops)
 
Year: 2006
abstract in proceedings
 
Year: 2006, ACM SIGCSE Bulletin
journal article
 
Year: 2006, Acta Fac. Paed. Univ. Tyrnaviensis
journal article
 
Year: 2006
abstract in proceedings
 
Year: 2006
abstract in proceedings
 
Year: 2006
abstract in proceedings
 
Year: 2006
abstract in proceedings
 
Year: 2006
abstract in proceedings
 
Year: 2006
organizing conference, workshop
 
Year: 2006
final dissertation (rigorous, final, habilitation)
 
Year: 2006
abstract in proceedings
 
Year: 2006
abstract in proceedings
 
Year: 2006
abstract in proceedings
 
Year: 2006
learning texts, university textbooks, tutorials, handbooks
 
Year: 2006
abstract in proceedings
 
Year: 2006
abstract in proceedings
 
Year: 2006
abstract in proceedings
 
Year: 2006
presentations (congresses, symposia, conferences, workshops)
 
Year: 2006
presentations (congresses, symposia, conferences, workshops)
 
Year: 2006
presentations (congresses, symposia, conferences, workshops)
 
Year: 2006
abstract in proceedings
 
Year: 2006
abstract in proceedings
 
Year: 2006
presentations (congresses, symposia, conferences, workshops)
 
Year: 2006
work experience abroad
 
Year: 2006
organizing conference, workshop
 
Year: 2006
organizing conference, workshop
 
Year: 2005
organizing conference, workshop
 
Year: 2005
presentations (congresses, symposia, conferences, workshops)
 
Year: 2005
abstract in proceedings
 
Year: 2005
abstract in proceedings
 
Year: 2005
abstract in proceedings
 
Year: 2005
abstract in proceedings
 
Year: 2005
presentations (congresses, symposia, conferences, workshops)
 
Hashim Habiballa, Jozef Fulier
Year: 2005, FPV UKF
specialist book chapter
 
Year: 2005
abstract in proceedings
 
Year: 2005
abstract in proceedings
 
Year: 2005
learning texts, university textbooks, tutorials, handbooks
 
Year: 2005
learning texts, university textbooks, tutorials, handbooks
 
Year: 2005
abstract in proceedings
 
Year: 2005
abstract in proceedings
 
Year: 2005
abstract in proceedings
 
Year: 2005
abstract in proceedings
 
Year: 2005
presentations (congresses, symposia, conferences, workshops)
 
Year: 2005
presentations (congresses, symposia, conferences, workshops)
 
Year: 2005, Matematika - fyzika - informatika
journal article
 
Year: 2005, Matematika - fyzika - informatika
journal article
 
Year: 2005
organizing conference, workshop
 
Year: 2005
organizing conference, workshop
 
Year: 2004
abstract in proceedings
 
Year: 2004
abstract in proceedings
 
Year: 2004, Matematika - fyzika - informatika : časopis pro výuku na základních a středních školách
journal article
 
Year: 2004, Matematika-fyzika-informatika
journal article
 
Year: 2004
organizing conference, workshop
 
Year: 2004
abstract in proceedings
 
Year: 2004, International Journal of Mathematical Education in Science and Technology
journal article
 
Year: 2004
learning texts, university textbooks, tutorials, handbooks
 
Year: 2004
final dissertation (rigorous, final, habilitation)
 
Year: 2003
abstract in proceedings
 
Year: 2003, Technológia vzdelávania
journal article
 
Year: 2003
abstract in proceedings
 
Year: 2003
abstract in proceedings
 
Year: 2003
abstract in proceedings
 
Year: 2003
abstract in proceedings
 
Year: 2003
final dissertation (rigorous, final, habilitation)
 
Year: 2003
learning texts, university textbooks, tutorials, handbooks
 
Year: 2003
learning texts, university textbooks, tutorials, handbooks
 
Year: 2003
abstract in proceedings
 
Year: 2003
learning texts, university textbooks, tutorials, handbooks
 
Year: 2003
learning texts, university textbooks, tutorials, handbooks
 
Year: 2003, COMPUT IND
journal article
 
Year: 2003
abstract in proceedings
 
Year: 2002
abstract in proceedings
 
Year: 2002
abstract in proceedings
 
Year: 2002
abstract in proceedings
 
Year: 2002
abstract in proceedings
 
Year: 2002
abstract in proceedings
 
Year: 2002
abstract in proceedings
 
Year: 2002
abstract in proceedings
 
Year: 2002
abstract in proceedings
 
Year: 2002
abstract in proceedings
 
Year: 2002
abstract in proceedings
 
Hashim Habiballa, Josef Pech
Year: 1999
final dissertation (rigorous, final, habilitation)
 
Year: 1999
work experience abroad
 
Year: 1997
final dissertation (rigorous, final, habilitation)
 

No record found.

View more records

View more records

View more records

View more records

View more records

View more records

View more records

View more records



Abbreviation
Subject



Author
Title
Type of thesis
Year
Pektor Ondřej
System for evaluating competencies
Doctoral thesis
2022
Hapl Lukáš
An Influence of the Specific Multi-paradigm Programming on Digital Logic Education
Doctoral thesis
2021
Jendryščík Radek
Constructivism in Theoretical Computer Science Education
Doctoral thesis
2021
Muchová Gabriela
Fuzzy logic in web structures recognition
Master's thesis
2022
Botor Tomáš
Multiplatform source code optimization
Master's thesis
2017
Ertel Tomáš
Fuzzy logic analysis in sound processing
Master's thesis
2017
Hložanka Ondřej
Application of NP-complete problems in real-life tasks
Master's thesis
2016
Hireš Matěj
Paralelization of fuzzy logic analysis
Master's thesis
2015
Mejzlíková Martina
Pattern recognition in categorization of web documents
Master's thesis
2015
Buroň Tomáš
Internet security in informatics secondary education
Master's thesis
2014
Bobřík Michal
E-learning as a support tool for alternative education
Master's thesis
2013
Hromada Jiří
Teaching theoretical computer science on secondary schools
Master's thesis
2013
Potyšová Zuzana
Problem solving of artificial intelligence issues by means of declarative paradigm
Master's thesis
2013
Schenk Jiří
Automated syntactic analysis
Master's thesis
2013
Stupka Tomáš
Automated Theorem Proving Systems
Master's thesis
2013
Mráz Pavel
Methods analysis teaching on secondary schools
Master's thesis
2012
Fojtíková Veronika
Software support of communication abilities of persons with specific defects
Master's thesis
2011
Kaloč Jakub
Inference algorithms for fuzzy type theory
Master's thesis
2011
Kalusková Zuzana
Problem-oriented tasks from theory of algorithms
Master's thesis
2011
Slovák Zdeněk
Information system for text generation
Master's thesis
2011
Šlachta Radek
The development of tools for directory services
Master's thesis
2011
Macoszková Silvie
Efectiveness of resolution strategies in two-valued logic
Master's thesis
2010
Mokrý Vojtěch
Fuzzy Logic Applications
Master's thesis
2010
Novosád Tomáš
Therotical informatic practic using
Master's thesis
2010
Búran Peter
Inference system for fuzzy description logic
Master's thesis
2009
Janošec Lukáš
Effectiveness of computational models
Master's thesis
2009
Jendryščík Radek
Effectiveness of inference in fuzzy description logic
Master's thesis
2009
Klapper Martin
Experimental teaching of logic at secondary school
Master's thesis
2009
Ohlídal Jaroslav
Error analysis of learning theory of formal languages and automata
Master's thesis
2009
Sulír Miroslav
Experimental teaching of formal languages and automata at high schools
Master's thesis
2009
Turček Tomáš
Effectiveness of inference in fuzzy predicate logic
Master's thesis
2009
Günther Pavel
Application of automated theorem proing in fuzzy predicate logic
Master's thesis
2008
Holubová Zuzana
Experimental teaching of informatics at elementary school
Master's thesis
2008
Juřica Tomáš
Fuzzy deductive database - implementation by the help of resolution principle
Master's thesis
2008
Kubala Jan
Using animation in learning comutability and complexity
Master's thesis
2008
Koběrský Aleš
Implementation of effective methods for compiler creation
Master's thesis
2005
Noháček Jiří
Automatization of Constructing Compilers
Master's thesis
2005
Muchová Gabriela
Fuzzy logic analysis implementation on mobile platform
Bachelor's thesis
2020
Ertel Tomáš
Application of logical deduction for time series prediction
Bachelor's thesis
2015
Menšík Jan
Algorithms for searching of strings
Bachelor's thesis
2015
Peterková Ivana
Automated optical recognition
Bachelor's thesis
2015
Žůrek Filip
Fuzzy finite automata
Bachelor's thesis
2015
Hložanka Ondřej
Types and modifications of Turing machine
Bachelor's thesis
2014
Vančura Jan
Application of time series prediction by fuzzy logic
Bachelor's thesis
2014
Stárek Petr
Problem-oriented tasks from theory of algorithms
Bachelor's thesis
2013
Sturmová Kateřina
Application of Pattern Prerecognition
Bachelor's thesis
2013
Vincík Michal
Modelling of knowledge bases by fuzzy logic
Bachelor's thesis
2013
Bobřík Michal
Navigation systems
Bachelor's thesis
2011
Schenk Jiří
Automatized generation of parser
Bachelor's thesis
2011
Kostera Luděk
Scheduling systems
Bachelor's thesis
2010
Lubojacký Jiří
State-space search algorithms
Bachelor's thesis
2010
Malý Pavel
Information system for videoshop
Bachelor's thesis
2010
Mráz Pavel
Wi-fi nets visualization through GPS
Bachelor's thesis
2010
Adamcová Michaela
Selected formal models for biological systems
Bachelor's thesis
2009
Bolomová Michaela
Symbolic approach vs. connectionism in artificial intelligence
Bachelor's thesis
2009
Cieslar Martin
Characteristics of UMPC and netbooks
Bachelor's thesis
2009
Figura Michal
Problem-oriented tasks in JAVA
Bachelor's thesis
2009
Fojtíková Veronika
Design of applications for physically and mentally handicapped persons
Bachelor's thesis
2009
Kaplan Jiří
WxWidgets as a tool for alternative design of applications
Bachelor's thesis
2009
Kvasnička Martin
Comparison of freeware tools for application design in C++
Bachelor's thesis
2009
Slovák Zdeněk
Automatic text generation
Bachelor's thesis
2009
Šlachta Radek
Directory services and their implementation in intranet systems
Bachelor's thesis
2009
Chromý Petr
History a perspectives of automated reasoning
Bachelor's thesis
2008
Grulich Roman
Determinism vs. nedeterminism in Computer Science
Bachelor's thesis
2008
Hrabal Roman
Problem-oriented tasks from complexity theory
Bachelor's thesis
2008
Janošcová Ivana
Suggestion and creation of exemplary knowledge bases for fuzzy deducation and their testing with FPLGERDS system
Bachelor's thesis
2008
Kalusková Zuzana
Problem-oriented tasks from context-free languages and stack automata
Bachelor's thesis
2008
Macoszková Silvie
Resolution principle in artificial intelligence and logic
Bachelor's thesis
2008
Peterková Milena
Problem-oriented tasks from regular languages and finite automata
Bachelor's thesis
2008
Mojdl Marek
VISUAL SOLUTIONS OF EXAMPLES IN COMPUTER SCIENCE - STRUCTURED AND OBJECT ORIENTED PROGRAMMING
Bachelor's thesis
2007
Pavlorková Kateřina
Efectivity of resolution strategies in system FPLGERDS on knowledge bases
Bachelor's thesis
2007
Bouzek David
Differential calculus - vivid solutions of tasks
Bachelor's thesis
2006
Čopjak Jakub
The usage teoretical informatics in practical informatics
Bachelor's thesis
2006
Duroň Pavel
Practical computer problems - principles of text typing supported by computers
Bachelor's thesis
2006
Dvořáková Petra
The solving demonstration of exercises from informatics - spreadsheet program
Bachelor's thesis
2006
Ficenc Tomáš
Visual solution of the mathematical tasks - logic
Bachelor's thesis
2006
Heinc Dalibor
Visual task solutions in computer science- algorithmizations
Bachelor's thesis
2006
Juřica Tomáš
Automated conversion of description logic formulas into predicate logic
Bachelor's thesis
2006
Liška Petr
Visual solutions of mathematical tasks - derivation
Bachelor's thesis
2006
Lišková Eva
Visual solutions of mathematical tasks - integrals
Bachelor's thesis
2006
Marciniszynová Eva
Principles of search algorithm
Bachelor's thesis
2006
Michnik Tomasz
Context-free grammars transformation into Q-grammars and their parsing
Bachelor's thesis
2006
Neumannová Markéta
VISUAL SOLUTION OF EXERCISES FROM MATHEMATICS AREA: ALGEBRA OF REAL NUMBERS
Bachelor's thesis
2006
Novotný Jiří
Názorné řešení úloh z oblasti matematiky - lineární algebra
Bachelor's thesis
2006
Voitle Marek
Visual problem solution in mathematics - set theory
Bachelor's thesis
2006
Janošec Lukáš
Sorting algoritms principles
Bachelor's thesis
2005
Kovařčík Martin
Principles of Combinatorial Algorithms
Bachelor's thesis
2005
Pěčka Radomír
Methods and Results of Teoretical Informatics in Algorithm Development and Programming
Bachelor's thesis
2005



Main solver
doc. RNDr. PaedDr. Hashim Habiballa, Ph.D., PhD.
Period
1/2015 - 12/2015
Provider
Specifický VŠ výzkum
State
finished
 
Main solver
doc. RNDr. PaedDr. Hashim Habiballa, Ph.D., PhD.
Period
1/2014 - 12/2014
Provider
Specifický VŠ výzkum
State
finished
 

rss
social hub