Login
 Forum
 
 
Personal data sheet
 Print preview
personal data approved: 2016. IX. 15.
Personal data
Ákos Dávid
name Ákos Dávid
year of birth 1977
name of institution
doctoral school
PE Doctoral School of Information Science and Technology (Supervisor)
accreditation statement submitted to: Pannon University, Veszprém
Contact details
E-mail address davidaalmos.uni-pannon.hu
phone number +36 88 624-372
Academic title
scientific degree, title Ph.D.
year degree was obtained 2013
discipline to which degree belongs computer sciences
institution granting the degree Eötvös Loránd University of Sciences
Employment
2002 - Pannon University, Veszprém
university professor or researcher
Thesis topic supervisor
number of doctoral students supervised until now 0.5
number of students who fulfilled course requirements 0
students who obtained their degrees:
present PhD students:
(50%) Teréz Erzsébet Nemes (PhD) (2017/08)  DSIST-PE
  Thesis topic proposals
Research
research area networking technologies, information & network security, component-based software engineering, automatic software verification, model checking methods
research field in which current research is conducted mathematics and computing
Publications
2016

Nemes Teréz, Dávid Ákos, Süle Zoltán: P-graph methodology - an efficient approach for optimizing computer systems, In: Szerk.: Hajnal Éva, Szerk.: Orosz Tamás Gábor Matematikát, Fizikát és Informatikát Oktatók XL. Országos Konferenciája. Székesfehérvár: Óbudai Egyetem, Alba Regia Műszaki Kar, 2016. pp. 204-212.
type of document: Part of book/Proceedings Paper
language: English
2014

Dávid Ákos, Marton Gábor: On the challenges and opportunities of user privilege and course management in a distributed multi-institutional e-learning system, In: Szerk.: Callaos Nagib Proceedings of the 8th International Multi-Conference on Society, Cybernetics and Informatics (IMSCI). Orlando: International Institute of Informatics and Systemics (IIIS), 2014. pp. 22-24.
type of document: Part of book/Proceedings Paper
language: English
2014

Marton Gábor, Dávid Ákos: Security considerations and two-factor authentication opportunities in e-learning environments, In: Szerk.: Anikó Szakál 12th IEEE International Conference on Emerging eLearning Technologies and Applications (ICETA). Slovakia: IEEE, 2014. pp. 319-324.
type of document: Part of book/Proceedings Paper
language: English
2014

Marton Gábor, Dávid Ákos: On building a flexible platform to facilitate the education of server and storage virtualization technologies, In: Szerk.: Callaos Nagib Proceedings of the 8th International Multi-Conference on Society, Cybernetics and Informatics (IMSCI). Orlando: International Institute of Informatics and Systemics (IIIS), 2014. pp. 52-56.
type of document: Part of book/Proceedings Paper
language: English
2013

Marton Gábor, Dávid Ákos: Designing and implementing an educational infrastructure for server and storage virtualization technologies, In: Szerk.: Jakab František, Szerk.: Anikó Szakál IEEE 11th International Conference on Emerging eLearning Technologies and Applications (ICETA). Seattle: IEEE Computer Society Press, 2013. pp. 275-279.
type of document: Part of book/Proceedings Paper
language: English
2011

Kozma László, Dávid Ákos: Hálózatbiztonság formális szemmel, In: Szerk.: Cser L, Szerk.: Herdon M Informatika a felsőoktatásban 2011 konferencia. Debrecen: Debreceni Egyetem Informatikai Kar, 2011. pp. 608-612.
type of document: Part of book/Proceedings Paper
language: Hungarian
2009

Kozma László, Dávid Ákos: Educational aspects of incremental model checking, In: Proceedings of the 3rd International Multi-Conference on Society, Cybernetics and Informatics Vol. 2..Orlando, Amerikai Egyesült Államok, 2009 Orlando: ismeretlen, pp. 190-194. Kiadvány: Orlando: ismeretlen, 2009. (3rd International Multi-Conference on Society, Cybernetics and Informatics)
type of document: Conference paper/Előadás vagy poszter cikke
language: English
Full text 
2008

Dávid Á, Kozma L, Pozsgai T: On the model checking of a system consisting of many similar components, ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA 28: pp. 183-195.
type of document: Journal paper/Article
language: English
Full text 
2007

Kozma László, Dávid Ákos, Pozsgai TAmás: On the granularity of components, In:Szerk.: Emőd Kovács, Szerk.: Péter Olajos, Szerk.: Tibor Tómács Proceedings of the 7th International Conference on Applied Informatics.Eger, Magyarország, 2007.01.28-2007.01.31. Eger: BVB Nyomda és Kiadó Kft., pp. 219-228. Kiadvány: Eger: BVB Nyomda és Kiadó Kft., 2007. 1-2
type of document: Conference paper/Előadás vagy poszter cikke
language: English
2006

Dávid Ákos, Kozma László, Varga László: On the correctness of data type classes based on contracts, PURE MATHEMATICS AND APPLICATIONS 17: (3-4) pp. 251-261.
type of document: Journal paper/Article
language: English
Number of independent citations to these publications:
Scientometric data
list of publications and citations
number of scientific publications that meet accreditation criteria:
20
number of scientific publications:
21
monographs and professional books:
0
monographs/books in which chapters/sections were contributed:
0 
number of independent citations to scientific publications and creative works:
0

 
All rights reserved © 2007, Hungarian Doctoral Council. Doctoral Council registration number at commissioner for data protection: 02003/0001. Program version: 1.2318 ( 2016. XI. 26. )