11.
Kryvolap, A ; Nikitchenko, M ; Schreiner, W
Program algebras with monotone Floyd-Hoare composition
In: Peschanenko, V; Kobets, V; Zavileysky, M; Nikitchenko, M; Spivakovsky, A; Mayr, HC; Zholtkevych, G; Ermolayev, V; Kravtsov, H (szerk.) Information and Communication Technologies in Education, Research, and Industrial Applications : 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013
Dordrecht, Hollandia : Springer, (2013) pp. 533-549. , 17 p.
Scopus
Közlemény:3416320 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény )
Konferenciaközlemény (Könyvrészlet) | Tudományos[3416320] [Nyilvános]
12.
Wolfgang, Schreiner ; Nikolaj, Popov ; Tamas, Berczes ; Janos, Sztrik ; Gabor, Kusper
Applying High Performance Computing to Analyzing by Probabilistic Model Checking Mobile Cellular Networks with Spectrum Renting (2013)
Technical report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria, 25. July 2013,
Teljes dokumentum
Közlemény:3337532 Nyilvános Forrás Egyéb (Kutatási jelentés (közzétett) ) Tudományos
Nyilvános idéző összesen: 2 | Független: 0 | Függő: 2 | Nem jelölt: 0 | Scopus jelölt: 1 | WoS/Scopus jelölt: 1
Kutatási jelentés (közzétett) (Egyéb) | Tudományos[3337532] [Nyilvános]
Nyilvános idéző összesen: 2, Független: 0, Függő: 2, Nem jelölt: 0
13.
Wolfgang, Schreiner ; Tamas, Berczes ; Janos, Sztrik ; Gabor, Kusper
A Case Study on Exploring the Performance Limits of PRISM (2013)
Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria., Technical report, 2013. Szeptember 23.,
Teljes dokumentum
Közlemény:3337528 Nyilvános Forrás Idéző Egyéb (Kutatási jelentés (közzétett) ) Tudományos
Kutatási jelentés (közzétett) (Egyéb) | Tudományos[3337528] [Nyilvános]
14.
Wolfgang, Schreiner ; Tamas, Berczes ; Janos, Sztrik
Probabilistic Model Checking on HPC Systems for the Performance Analysis of Mobile Networks (2013)
Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, September 2013,
Közlemény:2869475 Admin láttamozott Forrás Egyéb (Kutatási jelentés (közzétett) ) Tudományos
Kutatási jelentés (közzétett) (Egyéb) | Tudományos[2869475] [Admin láttamozott]
15.
Khan, MT ; Schreiner, W
Towards the formal specification and verification of maple programs
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 7362 LNAI pp. 231-247. , 17 p. (2012)
DOI Scopus
Közlemény:3416323 Nyilvános Forrás Folyóiratcikk (Szakcikk )
Szakcikk (Folyóiratcikk) | Tudományos[3416323] [Nyilvános]
16.
Khan, MT ; Schreiner, W
On formal specification of maple programs
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 7362 LNAI pp. 443-447. , 5 p. (2012)
DOI Scopus
Közlemény:3416322 Nyilvános Forrás Folyóiratcikk (Szakcikk )
Szakcikk (Folyóiratcikk) | Tudományos[3416322] [Nyilvános]
17.
Tudor, D ; Macariu, G ; Cretu, V ; Schreiner, W
Shared data grid programming improvements using specialized objects
In: Barolli, L; Xhafa, F; Vitabil, S; Hsu, HH (szerk.) Proceedings of the International Conference on Complex, Intelligent and Software Intensive Systems : CISIS-2010
Piscataway (NJ), Amerikai Egyesült Államok : Institute of Electrical and Electronics Engineers (IEEE) (2010) pp. 398-403. , 6 p.
DOI Scopus
Közlemény:3416324 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[3416324] [Nyilvános]
18.
Kusper, Gábor ; Kovásznai, Gergely ; Schreiner, Wolfgang ; Guta, Gábor ; Sztrik, János
A Small Survey on Java Specification Languages
In: Egri-Nagy, Attila; Kovács, Emőd; Kovásznai, Gergely; Kusper, Gábor; Tómács, Tibor (szerk.) Proceedings of the 8th International Conference on Applied Informatics, ICAI 2010
Eger, Magyarország : Eszterházy Károly College (2010) 456 p. pp. 409-416. , 8 p.
Közlemény:1863675 Admin láttamozott Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[1863675] [Admin láttamozott]
19.
Tamás, Bérczes ; Gábor, Guta ; Gábor, Kusper ; Wolfgang, Schreiner ; János, Sztrik
Evaluating a probabilistic model checker for modeling and analyzing retrial queueing systems
ANNALES MATHEMATICAE ET INFORMATICAE 37 pp. 51-75. , 25 p. (2010)
Scopus Teljes dokumentum
Közlemény:1498227 Admin láttamozott Forrás Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 2 | Független: 0 | Függő: 2 | Nem jelölt: 0
Szakcikk (Folyóiratcikk) | Tudományos[1498227] [Admin láttamozott]
Nyilvános idéző összesen: 2, Független: 0, Függő: 2, Nem jelölt: 0
20.
Schreiner, W
The RISC ProofNavigator: A proving assistant for program verification in the classroom
FORMAL ASPECTS OF COMPUTING 21 : 3 pp. 277-291. , 15 p. (2009)
DOI Scopus
Közlemény:3416329 Nyilvános Forrás Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[3416329] [Nyilvános]
2024-05-06 08:26