Bejelentkezés
Keresés
Profilok
Kutatók
Egységek
Pályázatok
Organogram
Adatigénylés
Hitelesített Publikációs Lista / Igazolás igénylése
Nyomtatható publikációs lista
Statisztika
OA statisztika
OA publikálás támogatása
Publikációs Tudománytámogatási Program
Adatfeltöltés
Linkek
Keresés
Az oldal megfelelő megjelenítéséhez engedélyezze böngészőjében a JavaScript használatát!
Jelenlegi hely
Címlap
Kusper Gábor
Kusper Gábor
Elérhetőség
Név:
Kusper Gábor
További profilok:
MTMT
Fokozat
PhD, Johannes Kepler University Linz (2005)
Szakma
Szakterület:
informatikus
Média anyagok
Teljes publikációs lista
nyomtatható verzió
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
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)
Q4
Mathematics (miscellaneous)
2021
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
Danisovszky, M.
,
Adamkó, A.
,
Baják, I.
,
Kusper, K.
,
Marien, S.
,
Kusper, G.
:
Cognitive Code Quality Improvement with Pattern Recognition and Recommendation by Examples
.
In: IEEE Xplore
2013
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
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
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
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.
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
Bérczes, T.
,
Guta, G.
,
Kusper, G.
,
Schreiner, W.
,
Sztrik, J.
:
Analyzing Web Server Performance Models with the Probabilistic Model Checker PRISM
.
RISC
17 14, 2008.
2007
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
.
RISC-Linz Report
07-17 1-40, 2007.
frissítve: 2024-09-01, 01:34
×
×
×
Kutató
Egység
Publikáció
Súgó
részletes keresés
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%)
Szűkítés
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
-
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
csak SCImago értékkel rendelkező cikkek
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
Közlemények megoszlása
folyóiratok szerint
Annales Mathematicae et Informaticae (3)
Research Institute for Symbolic Computation Report Series : [elektronikus dokumentum] (1)
RISC-Linz Report (1)
iDEa társszerzők
Bérczes Tamás
közös közlemények (6)
Guta Gábor
közös közlemények (6)
További társszerzők
Bérczes Tamás
közös közlemények (6)
Guta Gábor
közös közlemények (6)
Sztrik János
közös közlemények (6)
Adamkó Attila
közös közlemények (2)
Nagy Benedek
közös közlemények (1)
Tajti Tibor Gábor
közös közlemények (1)
×
Egyéb társszerzők
Schreiner, Wolfgang
(közös közlemények: 6)
Baják Imre
(közös közlemények: 2)
Biró Csaba
(közös közlemények: 2)
Danisovszky, Mark
(közös közlemények: 1)
Kusper, Krisztian
(közös közlemények: 1)
További társszerzők
Schreiner, Wolfgang
(közös közlemények: 6)
Baják Imre
(közös közlemények: 2)
Biró Csaba
(közös közlemények: 2)
Danisovszky, Mark
(közös közlemények: 1)
Kusper, Krisztian
(közös közlemények: 1)
Marien, Szabolcs
(közös közlemények: 1)
Zijian Győző Yang
(közös közlemények: 1)
Bejelentkezés
×
Hálózati azonosító
*
Jelszó
*
Regisztráció
Mi a jelszavam?
Keresés
×
Kutató
Egység
Publikáció
Súgó
részletes keresés