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-04-25 08:59