High dimensional quantum entanglement
- 期刊名称The European Physical Journal D
- 作者Franke-Arnold, Sonja; Gatti, Alessandra; Treps, Nicolas
- 卷第67卷
- 期第5期
- 印刷ISSN1434-6060
- 电子ISSN1434-6079
- 文件大小49.11KB
- 发表时间2013-05
- DOI10.1140/epjd/e2013-40104-8
- 页码104-13
Analysis of Recursively Parallel ProgramsBouajjani, Ahmed; Emmi, Michael · ACM Transactions on Programming Languages and Systems · 2013
Analysis of recursively parallel programsBouajjani, Ahmed; Emmi, Michael · ACM SIGPLAN Notices · 2012
Tractable Refinement Checking for Concurrent ObjectsBouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad · ACM SIGPLAN Notices · 2015
On reducing linearizability to state reachabilityBouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad · Information and Computation · 2018
[ACM Press the 39th annual ACM SIGPLAN-SIGACT symposium - Philadelphia, PA, USA (2012.01.25-2012.01.27)] Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 - Analysis of recursively parallel programsBouajjani, Ahmed; Emmi, Michael · 2012
[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - Tractable Refinement Checking for Concurrent ObjectsBouajjani, Ahmed; Emmi, Michael; Enea, Constantin; Hamza, Jad · 2015
Algorithmic program synthesis: introductionBodik, Rastislav; Jobstmann, Barbara · International Journal on Software Tools for Technology Transfer · 2013
Bounded synthesisFinkbeiner, Bernd; Schewe, Sven · International Journal on Software Tools for Technology Transfer · 2013
Program sketchingSolar-Lezama, Armando · International Journal on Software Tools for Technology Transfer · 2013
Synthesis from component librariesLustig, Yoad; Vardi, Moshe Y. · International Journal on Software Tools for Technology Transfer · 2013
Tools for software verificationParosh Aziz Abdulla,K. Rustan M. Leino · International Journal on Software Tools for Technology Transfer · 2013
UppaalSMC tutorialDavid, Alexandre; Larsen, Kim G.; Legay, Axel; Mikučionis, Marius; Poulsen, Danny Bøgsted · International Journal on Software Tools for Technology Transfer · 2015
SPARK 2014 and GNATproveHoang, Duc; Moy, Yannick; Wallenburg, Angela; Chapman, Roderick · International Journal on Software Tools for Technology Transfer · 2014
VerifyThis 2012Huisman, Marieke; Klebanov, Vladimir; Monahan, Rosemary · International Journal on Software Tools for Technology Transfer · 2015