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
Locked Publication:34108861 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 3 | Independent citation: 3 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 1 | Number of citations in Scopus: 2 | WoS/Scopus assigned: 2 | Number of citations with DOI: 2
Article (Journal Article) | Scientific[34108861] [Validated]
All citations+mentions: 3, External citations: 3, Self citations: 0, Unhandled citations: 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 (eds.) 24th International Conference on Types for Proofs and Programs. TYPES 2018. Abstracts
Braga, Portugal : Universidade do Minho (2018) pp. 15-16. , 2 p.
Teljes dokumentum
Publication:3407827 Validated Core Conference paper (Abstract ) Scientific
Abstract (Conference paper) | Scientific[3407827] [Validated]
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 (eds.) 23rd International Conference on Types for Proofs and Programs, TYPES 2017 : Abstracts
Bp, Hungary : ELTE Informatikai Kar, Programozási Nyelvek és Fordítóprogramok Tanszék (2017) pp. 69-70. , 2 p.
Teljes dokumentum
Publication:3287903 Published Core Chapter in Book (Abstract ) Scientific
Abstract (Chapter in Book) | Scientific[3287903] [Approved]
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
Publication:3271261 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 19 | Independent citation: 14 | Self citation: 5 | Unknown citation: 0 | Number of citations in WoS: 15 | Number of citations in Scopus: 13 | WoS/Scopus assigned: 16 | Number of citations with DOI: 14
Article (Journal Article) | Scientific[3271261] [Validated]
All citations+mentions: 19, External citations: 14, Self citations: 5, Unhandled citations: 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
Publication:3050854 Validated Core Citing Journal Article (Article ) Scientific
Citing papers: 9 | Independent citation: 9 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 9 | Number of citations in Scopus: 8 | WoS/Scopus assigned: 9 | Number of citations with DOI: 9
Article (Journal Article) | Scientific[3050854] [Validated]
All citations+mentions: 9, External citations: 9, Self citations: 0, Unhandled citations: 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 (eds.) Informatika a felsőoktatásban 2011 konferencia
Debrecen, Hungary : Debreceni Egyetem Informatikai Kar (2011) 1,140 p. pp. 518-525. , 8 p.
Publication:2079946 Admin approved Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[2079946] [Admin approved]
7.
Péter, Diviánszky ; Attila, Góbi ; Tamás, Kozsik
Size Analysis of Higher-Order Functions
In: Ricardo, Peña (eds.) Foundational and Practical Aspects of Resource Analysis
Madrid, Spain (2011) pp. 23-37. , 15 p.
Teljes dokumentum
Publication:1961392 Admin approved Core Conference paper (Conference paper ) Scientific
Conference paper (Conference paper) | Scientific[1961392] [Admin approved]
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
Publication:2149149 Validated Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[2149149] [Validated]
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
Publication:2149139 Validated Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[2149139] [Validated]
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 (eds.) Tenth Symposium on Trends in Functional Programming : TFP 2009
Budapest, Hungary : ELTE Eötvös József Kiadó (2009) 327 p. pp. 43-58. , 16 p.
Publication:2074365 Admin approved Core Chapter in Book (Conference paper ) Scientific
Conference paper (Chapter in Book) | Scientific[2074365] [Admin approved]
2024-05-04 21:48