Parsing MELL proof nets
- 作者Stefano Guerrini; Andrea Masini
- 卷第254卷
- 印刷ISSN0304-3975
- 文件大小189.98KB
- 发表时间2001
- DOI10.1016/s0304-3975(99)00299-6
- 页码317-335
Vascular endothelial growth factor in chronic rat allograft nephropathyNiina K. Malmström; Erkki A. Kallio; Jukka M. Rintala; Antti I. Nykänen; Anne K. Räisänen-Sokolowski; Timo Paavonen; Karl B. Lemström; Petri K. Koskinen · 2008
gapFinisher: A reliable gap filling pipeline for SSPACE-LongRead scaffolder outputKammonen, Juhana I.; Smolander, Olli-Pekka; Paulin, Lars; Pereira, Pedro A. B.; Laine, Pia; Koskinen, Patrik; Jernvall, Jukka; Auvinen, Petri; Pellegrini, Matteo · PLOS ONE · 2019
[IEEE 2015 IEEE Trustcom/BigDataSE/ISPA - Helsinki, Finland (2015.8.20-2015.8.22)] 2015 IEEE Trustcom/BigDataSE/ISPA - Surveys of Daily Information Security of Citizens in FinlandKoskinen, Jukka A. · 2015
The synthesis and biological evaluation of para-substituted phenolic N-alkyl carbamates as endocannabinoid hydrolyzing enzyme inhibitorsAnna Minkkilä; Mikko J. Myllymäki; Susanna M. Saario; Joel A. Castillo-Melendez; Ari M.P. Koskinen; Christopher J. Fowler; Jukka Leppänen; Tapio Nevalainen · 2009
Power training and postmenopausal hormone therapy affect transcriptional control of specific co-regulated gene clusters in skeletal muscleEija Pöllänen; Vidal Fey; Timo Törmäkangas; Paula H. A. Ronkainen; Dennis R. Taaffe; Timo Takala; Satu Koskinen; Sulin Cheng; Jukka Puolakka; Urho M. Kujala; Harri Suominen; Sarianna Sipilä; Vuokko Kovanen · 2010
[ACM Press the 2nd international conference - North Cyprus, Turkey (2009.10.06-2009.10.10)] Proceedings of the 2nd international conference on Security of information and networks - SIN '09 - Modeling network security competence for certificationKelo, Tomi O.; Koskinen, Jukka A. · 2009