TY  - JOUR
AU  - Diviánszky, Péter
AU  - Márton, István
AU  - Bene, Erika
AU  - Vértesi, Tamás
TI  - Certification of qubits in the prepare-and-measure scenario with large input alphabet and connections with the Grothendieck constant
JF  - SCIENTIFIC REPORTS
J2  - SCI REP
VL  - 13
PY  - 2023
IS  - 1
PG  - 19
SN  - 2045-2322
DO  - 10.1038/s41598-023-39529-0
UR  - https://m2.mtmt.hu/api/publication/34108861
ID  - 34108861
N1  - MTA Atomki Lendület Quantum Correlations Research Group, Institute for Nuclear Research, P.O. Box 51, Debrecen, H-4001, Hungary            
            MTA Atomki Lendület Quantum Correlations Research Group, Institute for Nuclear Research, P.O. Box 51, Debrecen, H-4001, Hungary            
            Export Date: 24 August 2023
LA  - English
DB  - MTMT
ER  - 

TY  - CONF
AU  - Altenkirch, Thorsten
AU  - Diviánszky, Péter
AU  - Kaposi, Ambrus
AU  - Kovács, András
ED  - José, Espírito Santo
ED  - Luís, Pinto
TI  - Constructing inductive-inductive types using a domain-specific type theory
T2  - 24th International Conference on Types for Proofs and Programs. TYPES 2018. Abstracts
PB  - University of Minho
C1  - Braga
PY  - 2018
SP  - 15
EP  - 16
PG  - 2
UR  - https://m2.mtmt.hu/api/publication/3407827
ID  - 3407827
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Kaposi, Ambrus
AU  - Kovács, András
AU  - Diviánszky, Péter
AU  - Kőműves, Balázs
ED  - Kaposi, Ambrus
TI  - Derivation of elimination principles from a context
T2  - 23rd International Conference on Types for Proofs and Programs, TYPES 2017
PB  - ELTE Informatikai Kar, Programozási Nyelvek és Fordítóprogramok Tanszék
CY  - Budapest
SN  - 9789632848839
PY  - 2017
SP  - 69
EP  - 70
PG  - 2
UR  - https://m2.mtmt.hu/api/publication/3287903
ID  - 3287903
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Diviánszky, Péter
AU  - Bene, Erika
AU  - Vértesi, Tamás
TI  - Qutrit witness from the Grothendieck constant of order four
JF  - PHYSICAL REVIEW A
J2  - PHYS REV A
VL  - 96
PY  - 2017
IS  - 1
PG  - 11
SN  - 2469-9926
DO  - 10.1103/PhysRevA.96.012113
UR  - https://m2.mtmt.hu/api/publication/3271261
ID  - 3271261
N1  - Export Date: 5 April 2023            
            Correspondence Address: Diviánszky, P.; Institute for Nuclear Research, P.O. Box 51, Hungary
AB  - In this paper, we prove that KG(3)<KG(4), where KG(d) denotes the Grothendieck constant of order d. To this end, we use a branch-and-bound algorithm commonly used in the solution of NP-hard problems. It has recently been proven that KG(3)≤1.4644. Here we prove that KG(4)≥1.4841, which has implications for device-independent witnessing dimensions greater than two. Furthermore, the algorithm with some modifications may find applications in various black-box quantum information tasks with large number of inputs and outputs. © 2017 American Physical Society.
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Diviánszky, Péter
AU  - Trencsényi, Réka Eszter
AU  - Bene, Erika
AU  - Vértesi, Tamás
TI  - Bounding the persistency of the nonlocality of W states
JF  - PHYSICAL REVIEW A
J2  - PHYS REV A
VL  - 93
PY  - 2016
IS  - 4
PG  - 9
SN  - 2469-9926
DO  - 10.1103/PhysRevA.93.042113
UR  - https://m2.mtmt.hu/api/publication/3050854
ID  - 3050854
N1  - Export Date: 19 July 2022            
            Correspondence Address: Diviánszky, P.; Institute for Nuclear Research, P.O. Box 51, Hungary
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Diviánszky, Péter
AU  - Páli, Gábor
ED  - Cser, László
ED  - Herdon, Miklós
TI  - A funkcionális programozás tanulásának támogatása interaktív tanulássegítő eszközökkel
T2  - Informatika a felsőoktatásban 2011 konferencia
PB  - Debreceni Egyetem Informatikai Kar
CY  - Debrecen
SN  - 9789634734611
PY  - 2011
SP  - 518
EP  - 525
PG  - 8
UR  - https://m2.mtmt.hu/api/publication/2079946
ID  - 2079946
LA  - Hungarian
DB  - MTMT
ER  - 

TY  - CONF
AU  - Diviánszky, Péter
AU  - Góbi, Attila
AU  - Kozsik, Tamás
ED  - Ricardo, Peña
TI  - Size Analysis of Higher-Order Functions
T2  - Foundational and Practical Aspects of Resource Analysis
C1  - Madrid
PY  - 2011
SP  - 23
EP  - 37
PG  - 15
UR  - https://m2.mtmt.hu/api/publication/1961392
ID  - 1961392
N1  - Tech. Rep. SIC-08/11, Dept. Computer Systems and Computing 
Universidad Complutense de Madrid
AB  - The paper describes a resource analysis method for strict 
functional languages. The method is applicable for higher order 
functions. It provides lower and upper bounds for strictly 
increasing resource costs like execution time and the number of 
total allocated memory during execution. The key component 
described here is a calculus which is used for abstract 
interpretation of expressions and functions with free variables. 
The result of the abstract interpretation is a system of 
mutually recursive equations for costs.
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Diviánszky, Péter
TI  - Non-monadic Models of Mutable References
JF  - LECTURE NOTES IN COMPUTER SCIENCE
J2  - LNCS
VL  - 6299
PY  - 2010
SP  - 147
EP  - 187
PG  - 41
SN  - 0302-9743
DO  - 10.1007/978-3-642-17685-2_5
UR  - https://m2.mtmt.hu/api/publication/2149149
ID  - 2149149
N1  - Third Summer School, CEFP 2009, Budapest, Hungary, May 2009 and Komárno, Slovakia, May 2009, Revised Selected Lectures
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Diviánszky, Péter
TI  - Efficient Implementation of Linearly Used Finite Maps
JF  - ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA
J2  - ANN UNIV SCI BP R EÖTVÖS NOM SECT COMPUT
VL  - 30
PY  - 2009
SP  - 201
EP  - 218
PG  - 18
SN  - 0138-9491
UR  - https://m2.mtmt.hu/api/publication/2149139
ID  - 2149139
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Diviánszky, Péter
AU  - Góbi, Attila
AU  - Leskó, Dániel
AU  - Móni, Mészáros
AU  - Páli, Gábor
ED  - Horváth, Zoltán
ED  - Zsók, Viktória
ED  - Achten, Peter
ED  - Koopman, Pieter
TI  - Detaching and reconstructing the documentary structure of source code
T2  - Tenth Symposium on Trends in Functional Programming
PB  - ELTE Eötvös Kiadó
CY  - Budapest
SN  - 9789632840765
PY  - 2009
SP  - 43
EP  - 58
PG  - 16
UR  - https://m2.mtmt.hu/api/publication/2074365
ID  - 2074365
LA  - English
DB  - MTMT
ER  -