Jelenlegi hely

Kusper Gábor

Kusper Gábor

Kusper Gábor
Név: Kusper Gábor
További profilok: MTMT
Fokozat
  • PhD, Johannes Kepler University Linz (2005)
Szakterület: informatikus

Teljes publikációs lista

A lista áttöltése az MTMT rendszerébe
Hiányzó közlemények feltöltése
Hitelesített Publikációs Lista igénylése
OA letöltési statisztika megtekintése
Feltöltött közlemény:
10
DEA-ban:
10
OA:
1
Publikációs időszak:
2007-2023
2023
  1. Kusper, G., Zijian, G., Nagy, B.: Using extended resolution to represent strongly connected components of directed graphs.
    Ann. Math. Inform. 58 92-109, 2023.
    Folyóirat-mutatók:
    Q4 Computer Science (miscellaneous) (2022)
    Q4 Mathematics (miscellaneous) (2022)
2021
  1. Kusper, G., Biró, C., Adamkó, A., Baják, I.: Introducing w-Horn and z-Horn: A generalization of Horn and q-Horn formulae.
    Ann. Math. Inform. Accepted manuscript 33-43, 2021.
    Folyóirat-mutatók:
    Q3 Computer Science (miscellaneous)
    Q4 Mathematics (miscellaneous)
2020
2013
  1. Biró, C., Kusper, G., Tajti, T.: How to Generate Weakly Nondecisive SAT Instances.
    In: IEEE 11th International Symposium on Intelligent Systems and Informatics Proceedings, IEEE, Piscataway, 265-269, 2013. ISBN: 9781479903054
2010
  1. Bérczes, T., Guta, G., Kusper, G., Schreiner, W., Sztrik, J.: Evaluating a probabilistic model checker for modeling and analyzing retrial queueing systems.
    Ann. Math. Inform. 2010 (37), 51-75, 2010.
    Folyóirat-mutatók:
    Q2 Computer Science (miscellaneous)
    Q3 Mathematics (miscellaneous)
2009
  1. Bérczes, T., Guta, G., Kusper, G., Schreiner, W., Sztrik, J.: Analyzing a proxy cache server performance model with the probabilistic model checker PRISM.
    In: Automated Specification and Verification of Web Systems WWV'09 : Fifth International Workshop, July 17, 2009, Castle of Hagenberg, Austria. Eds.: Demis Ballis, Temur Kutsia. - Hagenberg, Austria : [s.n.], 2009
  2. Bérczes, T., Guta, G., Kusper, G., Schreiner, W., Sztrik, J.: Comparing the Performance Modeling Environment MOSEL and the Probabilistic Model Checker PRISM for Modeling and Analysing Retrial Queueing Systems.
    In: International Conference Probability and Statistics with Applications Dedicated to the 100th anniversary of the birthday of Béla Gyires. Abstracts. [elektronikus dokumentum]. Honorary Conference Chairs:: Mátyás Arató, Zoltán Daróczy, Kálmán Győry, Attila Pethő, Debreceni Egyetem TEK Informatikai Kar, Debrecen, , 2009.
  3. Bérczes, T., Guta, G., Kusper, G., Schreiner, W., Sztrik, J.: Performance Analyzes of a Proxy Cache Server Model with External Users using the Probabilistic Model Checker PRISM.
    In: International Conference Probability and Statistics with Applications Dedicated to the 100th anniversary of the birthday of Béla Gyires. Abstracts. [elektronikus dokumentum]. Honorary Conference Chairs:: Mátyás Arató, Zoltán Daróczy, Kálmán Győry, Attila Pethő, Debreceni Egyetem TEK Informatikai Kar, Debrecen, [1], 2009.
2008
2007
frissítve: 2024-04-14, 01:28

Tudományos folyóiratcikkek
SCImago besorolása

Tudományos folyóiratcikkek száma: 5
Q2 1 (20%)
Q3 1 (20%)
Q4 1 (20%)
n.a. 2 (40%)
-
OK

SCImago kategóriák

Computer Science (3)
Computer Science (miscellaneous) (3)
Mathematics (3)
Mathematics (miscellaneous) (3)

Közlemények megoszlása
műfaj szerint

Közlemények megoszlása
évszám szerint

Közlemények megoszlása
nyelv szerint

Egyéb társszerzők