mtmt
Magyar Tudományos Művek Tára
Előző oldal
Összesen 40 elem 4 oldalon, 10 listázva, a(z) 1. oldal megjelenítve.
Következő oldal
Átlépés a keresőbe
In English
Megjelenítési opciók
Nyelv információ
Absztrakt
Típus információ
Megjegyzés
Státusz információ
Linkek
Csak független idézők
Idézők
Nincs
Szám
Rövid
Részletes
Teljes
Rendezés
-
Megjelenés éve
Első szerző
Cím
Első oldal v. cikkazonosító
Létrehozás dátuma
Nyilvános idézők összesen
Nyilvános idéző+említés összesen
Státusz
Típus
Besorolás
Jelleg
OA típus
MTMT azonosító
Folyóirat
Nyelv
▼
▲
-
Megjelenés éve
Első szerző
Cím
Első oldal v. cikkazonosító
Létrehozás dátuma
Nyilvános idézők összesen
Nyilvános idéző+említés összesen
Státusz
Típus
Besorolás
Jelleg
OA típus
MTMT azonosító
Folyóirat
Nyelv
▼
▲
-
Megjelenés éve
Első szerző
Cím
Első oldal v. cikkazonosító
Létrehozás dátuma
Nyilvános idézők összesen
Nyilvános idéző+említés összesen
Státusz
Típus
Besorolás
Jelleg
OA típus
MTMT azonosító
Folyóirat
Nyelv
▼
▲
Találatok
10
20
50
100
1000
5000
Mód váltás:
XML
JSON
Lista exportálása:
Irodalomjegyzékként
RIS
BIBTEX
1.
Schreiner, W
Validating mathematical theorems and algorithms with RISCAL
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
11006 LNAI
pp. 248-254. , 7 p.
(2018)
DOI
WoS
Scopus
Közlemény:3416317
Egyeztetett
Forrás Idéző
Folyóiratcikk (Konferenciaközlemény )
Tudományos
Nyilvános idéző összesen: 7
| Független: 2 | Függő: 5 | Nem jelölt: 0 | WoS jelölt: 7 | Scopus jelölt: 3 | WoS/Scopus jelölt: 7 | DOI jelölt: 4
Konferenciaközlemény (Folyóiratcikk) | Tudományos
[3416317]
[Egyeztetett]
Nyilvános idéző összesen: 7, Független: 2, Függő: 5, Nem jelölt: 0
2.
Schreiner, W
;
Brunhuemer, A
;
Fürst, C
Teaching the formalization of mathematical theories and algorithms via the automatic checking of finite models
In: Quaresma, P; Neuper, W (szerk.)
6th International Workshop on Theorem Proving Components for Educational Software, ThEdu 2017
Open Publishing Association
(2018)
pp. 120-139. , 20 p.
DOI
WoS
Scopus
Közlemény:3416316
WoS/MTMT nem egyezik
Forrás
Egyéb konferenciaközlemény (Konferenciaközlemény )
Tudományos
Nyilvános idéző összesen: 4
| Független: 1 | Függő: 3 | Nem jelölt: 0 | WoS jelölt: 3 | Scopus jelölt: 4 | WoS/Scopus jelölt: 4 | DOI jelölt: 3
Konferenciaközlemény (Könyvrészlet) | Tudományos
[3416316]
[]
Nyilvános idéző összesen: 4, Független: 1, Függő: 3, Nem jelölt: 0
3.
Wolfgang, Schreiner
;
Tamas, Berczes
;
Janos, Sztrik
;
Hamza, Nemouchi
;
RISC-Linz, Faculty
(szerk.)
On the Probabilistic Model Checking of Cognitive Radio Networks and Cognitive Information Systems
(2018)
Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria
,
Technical Report
,
February 2018
,
Teljes dokumentum
Közlemény:3346773
Egyeztetett
Forrás
Egyéb (Kutatási jelentés (közzétett) )
Tudományos
Kutatási jelentés (közzétett) (Egyéb) | Tudományos
[3346773]
[Egyeztetett]
4.
Droste, M
;
Kutsia, T
;
Rahonis, G
;
Schreiner, W
MK-fuzzy automata and MSO logics
In: San, Pietro P; Bouyer, P; Orlandini, A (szerk.)
8th International Symposium on Games, Automata, Logics and Formal Verification, G and ALF 2017
Roma, Olaszország :
Open Publishing Association
(2017)
pp. 106-120. , 15 p.
DOI
WoS
Scopus
Közlemény:3417040
WoS/MTMT nem egyezik
Forrás
Egyéb konferenciaközlemény (Konferenciaközlemény )
Tudományos
Nyilvános idéző összesen: 1
| Független: 0 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Konferenciaközlemény (Könyvrészlet) | Tudományos
[3417040]
[]
Nyilvános idéző összesen: 1, Független: 0, Függő: 1, Nem jelölt: 0
5.
Ovidiu, Constantin Novac
;
Tamás, Bérczes
;
Attila, Kuki
;
Ádám, Tóth
;
Wolfgang, Schreiner
Modeling RF-based sensor networks by using dual-source retrial queueing systems
In: IEEE (szerk.)
14th International Conference on Engineering of Modern Electric Systems
Danvers (MA), Amerikai Egyesült Államok :
IEEE
(2017)
pp. 149-153. Paper: 7980402 , 5 p.
DOI
IEEE Xplore
DEA
WoS
Scopus
Közlemény:3267244
Admin láttamozott
Forrás Idéző Duplumgyanú
Könyvrészlet (Konferenciaközlemény )
Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos
[3267244]
[Admin láttamozott]
6.
Tóth, Ádám
;
Bérczes, Tamás
;
Kuki, Attila
;
Almási, Béla
;
Wolfgang, Schreiner
;
Jinting, Wang
;
Fang, Wang
Analysis of finite-source cluster networks
CREATIVE MATHEMATICS AND INFORMATICS
25
:
2
pp. 223-235. , 13 p.
(2016)
DEA
Közlemény:3111368
Egyeztetett
Forrás
Folyóiratcikk (Szakcikk )
Tudományos
Szakcikk (Folyóiratcikk) | Tudományos
[3111368]
[Egyeztetett]
7.
Khan, MT
;
Schreiner, W
A verification framework for mini maple programs
ACM COMMUNICATIONS IN COMPUTER ALGEBRA
47
:
3-4
pp. 98-99. , 2 p.
(2014)
DOI
Scopus
Közlemény:3416319
Nyilvános
Forrás
Folyóiratcikk (Szakcikk )
Tudományos
Szakcikk (Folyóiratcikk) | Tudományos
[3416319]
[Nyilvános]
8.
Wolfgang, Schreiner
;
Tamas, Berczes
;
Adam, Toth
Analyzing the Energy Efficiency of Cluster Scheduling Schemes by Probabilistic Model Checking.
(2014)
Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, December 2014
,
Közlemény:2869472
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
[2869472]
[Admin láttamozott]
9.
Wolfgang, Schreiner
;
Tamas, Berczes
;
Adam, Toth
;
Research, Institute for Symbolic Computation (RISC)
(szerk.)
Analyzing Cluster Scheduling Schemes by Probabilistic Model Checking
(2014)
Research Institute for Symbolic Computation (RISC),
,
Johannes Kepler University, Linz, Austria.
,
Technical report, September 2014
,
Közlemény:2869470
Admin láttamozott
Forrás
Egyéb (Kutatási jelentés (közzétett) )
Tudományos
Nyilvános idéző összesen: 4
| Független: 4 | Függő: 0 | Nem jelölt: 0 | DOI jelölt: 2
Kutatási jelentés (közzétett) (Egyéb) | Tudományos
[2869470]
[Admin láttamozott]
Nyilvános idéző összesen: 4, Független: 4, Függő: 0, Nem jelölt: 0
10.
Kryvolap, A
;
Nikitchenko, M
;
Schreiner, W
Extending Floyd-Hoare Logic for Partial Pre- and Postconditions
COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE
412 CCIS
pp. 355-378. , 24 p.
(2013)
DOI
Scopus
Közlemény:3416321
Nyilvános
Forrás
Folyóiratcikk (Szakcikk )
Tudományos
Szakcikk (Folyóiratcikk) | Tudományos
[3416321]
[Nyilvános]
2024-05-06 05:03
×
Lista exportálása irodalomjegyzékként
Hivatkozás stílusok:
IEEE
ACM
APA
Chicago
Harvard
Nyomtatás
Másolás