A Coupled Nonlinear Schrödinger Equation and Optical Solitons
- 期刊名称Journal of the Physical Society of Japan
- 作者Wadati, Miki; Iizuka, Takeshi; Hisakado, Masato
- 卷第61卷
- 期第7期
- 印刷ISSN0031-9015
- 电子ISSN1347-4073
- 文件大小385.90KB
- 发表时间1992-07-15
- DOI10.1143/jpsj.61.2241
- 页码2241-2245
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