Ugrás a tartalomra

Publikációk

Kiválasztás törlése
Kiválasztás törlése
2016

In: Developing Interoperable and Federated Cloud Architecture IGI Global, Hershey, pp. 314-355.

Volunteer Clouds: From Volunteer Computing to Interconnected Infrastructures

Szerzők
Marosi, Attila
Kacsuk, Péter
Szerkesztők
Kecskeméti, Gábor
Kertész, Attila
Németh, Zsolt
Tovább
2016

CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE, 28 (11)., pp. 3180-3201. ISSN 1532-0626

Multi-layered simulations at the heart of workflow enactment on clouds

Szerzők
Ostermann, S
Kecskeméti, Gábor
Prodan, R
Tovább
2016

ACTA CYBERNETICA-SZEGED, 22 (3)., pp. 573-589. ISSN 0324-721X

Improving Saturation-based Bounded Model Checking

Szerzők
Darvas, Dániel
Vörös, András
Bartha, Tamás
Tovább
2016

IFAC-PAPERSONLINE, 49 (11)., pp. 418-425.

Active anti-roll bar control using electronic servo valve hydraulic damper on single unit heavy vehicle

Szerzők
Vu, V T
Sename, O
Dugard, L
Gáspár, Péter
Tovább
2016

In: 15th International Workshop on Cellular Nanoscale Networks and their Applications VDE Verlag GmbH, Berlin, pp. 125-126.

Remote Aircraft Detection against Sky Background

Szerzők
Hiba, Antal
Zarándy, Ákos
Jani Mátyásné Pencz, Borbála
Bauer, Péter
Vanek, Bálint
Szerkesztők
Tetzlaff, R
Tovább
2016

FORMAL ASPECTS OF COMPUTING, 28 (3)., pp. 345-379. ISSN 0934-5043

Component-wise incremental LTL model checking

Szerzők
Molnár, Vince
Vörös, András
Darvas, Dániel
Bartha, Tamás
Majzik, István
Tovább
2016

HUNGARIAN JOURNAL OF INDUSTRY AND CHEMISTRY, 44 (2)., pp. 121-128. ISSN 0133-0276

Diagnosis of Technological Systems Based on the Structural Decomposition of their Coloured Petri Net Model

Szerzők
Pózna, Anna Ibolya
Gerzson, M
Leitold, A
Hangos, Katalin
Tovább
2016

In: Proceedings of the 15th mini conference on vehicle system dynamics, identification and anomalies Budapest University of Technology and Economics, Budapest, pp. 303-309.

Control-oriented modelling of the variable-geometry Suspension for independent steering purposes

Szerzők
Fényes, Dániel
Németh, Balázs
Gáspár, Péter
Szerkesztők
Zobory, I
Tovább
2016

COMPUTER PHYSICS COMMUNICATIONS, 204, pp. 11-20. ISSN 0010-4655

Computing all possible graph structures describing linearly conjugate realizations of kinetic systems

Szerzők
Ács, Bernadett
Szederkényi, Gábor
Tuza, Zsolt
Tuza, Z A
Tovább
2016

In: 39th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO 2016) Croatian Society for Information and Communication Technology Electronics and Microelectronics (MIPRO), Opatija, pp. 332-336. ISSN 1847-3938

Dynamic execution of scientific workflows in cloud

Szerzők
Kail, Eszter
Kovács, József
Kozlovszky, Miklós
Kacsuk, Péter
Szerkesztők
Biljanovic, P
Tovább