mtmt
Magyar Tudományos Művek Tára
Előző oldal
Összesen 19 elem 2 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.
Diviánszky, P.
;
Márton, I.
;
Bene, E.
;
Vértesi, T. ✉
Certification of qubits in the prepare-and-measure scenario with large input alphabet and connections with the Grothendieck constant
SCIENTIFIC REPORTS
13
:
1
Paper: 13200 , 19 p.
(2023)
DOI
WoS
Scopus
PubMed
arXiv
Zárolt
Közlemény:34108861
Egyeztetett
Forrás Idéző
Folyóiratcikk (Szakcikk )
Tudományos
Nyilvános idéző összesen: 3
| Független: 3 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 2 | WoS/Scopus jelölt: 2 | DOI jelölt: 2
Szakcikk (Folyóiratcikk) | Tudományos
[34108861]
[Egyeztetett]
Nyilvános idéző összesen: 3, Független: 3, Függő: 0, Nem jelölt: 0
2.
Altenkirch, Thorsten
;
Diviánszky, Péter
;
Kaposi, Ambrus
;
Kovács, András
Constructing inductive-inductive types using a domain-specific type theory
In: José, Espírito Santo; Luís, Pinto (szerk.)
24th International Conference on Types for Proofs and Programs. TYPES 2018. Abstracts
Braga, Portugália :
University of Minho
(2018)
pp. 15-16. , 2 p.
Teljes dokumentum
Közlemény:3407827
Egyeztetett
Forrás
Egyéb konferenciaközlemény (Absztrakt / Kivonat )
Tudományos
Absztrakt / Kivonat (Egyéb konferenciaközlemény) | Tudományos
[3407827]
[Egyeztetett]
3.
Kaposi, Ambrus
;
Kovács, András
;
Diviánszky, Péter
;
Kőműves, Balázs
Derivation of elimination principles from a context
In: Kaposi, Ambrus (szerk.)
23rd International Conference on Types for Proofs and Programs, TYPES 2017 : Abstracts
Budapest, Magyarország :
ELTE Informatikai Kar, Programozási Nyelvek és Fordítóprogramok Tanszék
(2017)
pp. 69-70. , 2 p.
Teljes dokumentum
Közlemény:3287903
Nyilvános
Forrás
Könyvrészlet (Absztrakt / Kivonat )
Tudományos
Absztrakt / Kivonat (Könyvrészlet) | Tudományos
[3287903]
[Nyilvános]
4.
Diviánszky, P ✉
;
Bene, E
;
Vértesi, T
Qutrit witness from the Grothendieck constant of order four
PHYSICAL REVIEW A
96
:
1
Paper: 012113 , 11 p.
(2017)
DOI
WoS
REAL
Scopus
arXiv
Közlemény:3271261
Egyeztetett
Forrás Idéző
Folyóiratcikk (Szakcikk )
Tudományos
Nyilvános idéző összesen: 19
| Független: 14 | Függő: 5 | Nem jelölt: 0 | WoS jelölt: 15 | Scopus jelölt: 13 | WoS/Scopus jelölt: 16 | DOI jelölt: 14
Szakcikk (Folyóiratcikk) | Tudományos
[3271261]
[Egyeztetett]
Nyilvános idéző összesen: 19, Független: 14, Függő: 5, Nem jelölt: 0
5.
Diviánszky, P
;
Trencsényi, R
;
Bene, E
;
Vértesi, T
Bounding the persistency of the nonlocality of W states
PHYSICAL REVIEW A
93
:
4
Paper: 042113 , 9 p.
(2016)
DOI
ISSN:
1050-29470556-2791
WoS
EDIT
REAL
Scopus
ADS
arXiv
Közlemény:3050854
Egyeztetett
Forrás Idéző
Folyóiratcikk (Szakcikk )
Tudományos
Nyilvános idéző összesen: 9
| Független: 9 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 9 | Scopus jelölt: 8 | WoS/Scopus jelölt: 9 | DOI jelölt: 9
Szakcikk (Folyóiratcikk) | Tudományos
[3050854]
[Egyeztetett]
Nyilvános idéző összesen: 9, Független: 9, Függő: 0, Nem jelölt: 0
6.
Diviánszky, Péter
;
Páli, Gábor
A funkcionális programozás tanulásának támogatása interaktív tanulássegítő eszközökkel
In: Cser, L; Herdon, M (szerk.)
Informatika a felsőoktatásban 2011 konferencia
Debrecen, Magyarország :
Debreceni Egyetem Informatikai Kar
(2011)
1,140 p.
pp. 518-525. , 8 p.
Közlemény:2079946
Admin láttamozott
Forrás
Könyvrészlet (Konferenciaközlemény )
Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos
[2079946]
[Admin láttamozott]
7.
Péter, Diviánszky
;
Attila, Góbi
;
Tamás, Kozsik
Size Analysis of Higher-Order Functions
In: Ricardo, Peña (szerk.)
Foundational and Practical Aspects of Resource Analysis
Madrid, Spanyolország
(2011)
pp. 23-37. , 15 p.
Teljes dokumentum
Közlemény:1961392
Admin láttamozott
Forrás
Egyéb konferenciaközlemény (Konferenciaközlemény )
Tudományos
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos
[1961392]
[Admin láttamozott]
8.
Péter, Diviánszky
Non-monadic Models of Mutable References
LECTURE NOTES IN COMPUTER SCIENCE
6299
pp. 147-187. , 41 p.
(2010)
DOI
Scopus
Közlemény:2149149
Egyeztetett
Forrás
Folyóiratcikk (Szakcikk )
Tudományos
Szakcikk (Folyóiratcikk) | Tudományos
[2149149]
[Egyeztetett]
9.
Péter, Diviánszky
Efficient Implementation of Linearly Used Finite Maps
ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA
30
pp. 201-218. , 18 p.
(2009)
Teljes dokumentum
Közlemény:2149139
Egyeztetett
Forrás
Folyóiratcikk (Szakcikk )
Tudományos
Szakcikk (Folyóiratcikk) | Tudományos
[2149139]
[Egyeztetett]
10.
Péter, Diviánszky
;
Attila, Góbi
;
Dániel, Leskó
;
Móni, Mészáros
;
Gábor, Páli
Detaching and reconstructing the documentary structure of source code
In: Horváth, Zoltán; Zsók, Viktória; Achten, Peter; Koopman, Pieter (szerk.)
Tenth Symposium on Trends in Functional Programming : TFP 2009
Budapest, Magyarország :
ELTE Eötvös Kiadó
(2009)
327 p.
pp. 43-58. , 16 p.
Közlemény:2074365
Admin láttamozott
Forrás
Könyvrészlet (Konferenciaközlemény )
Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos
[2074365]
[Admin láttamozott]
2024-05-23 16:57
×
Lista exportálása irodalomjegyzékként
Hivatkozás stílusok:
IEEE
ACM
APA
Chicago
Harvard
Nyomtatás
Másolás