no help available
no help available
authorThe blue social bookmark and publication sharing system.
bookmarks
- tags
- dblp
- Conjugate
- book
- static_analysis
- verification
- Immunity,
- media
- Male,
- Bacterial,
- B2B
- Types
- Humans,
- data
- customer
- Female,
- Immunologic
- innovation
- survey
- onomastics
- software_quality
- immutability
- prediction
- learning
- Models,
- Statistical,
- source
- datamining
- Ownership
- Affinity,
- specification
- Memory,
- cfb
- Antibodies,
- Immunization,
- Child,
- Immunoglobulins,
- signalprocessing
- Haemophilus
- type
- mass
- imported
- influenzae
- flow
- Polysaccharides,
- code
- Antibody
- b,
- numerical_methods
- social
- mining
- No matching items.
- Anne M. Ryhänen, Sirkku Rankinen, Kirsi Tulus, Heikki Korvenranta, and Helena Leino-Kilpi. I. J. Medical Informatics 81(4):270-278 (2012)Anne M. Ryhänen, Sirkku Rankinen, Kirsi Tulus, Heikki Korvenranta, and Helena Leino-Kilpi. I. J. Medical Informatics 81(4):270-278 (2012)11 months agoby dblp1
- K. Rustan M. Leino, Arnd Poetzsch-Heffter, and Yunhong Zhou. PLDI, page 246-257. ACM, (2002)K. Rustan M. Leino, Arnd Poetzsch-Heffter, and Yunhong Zhou. PLDI, page 246-257. ACM, (2002)a year agoby dblp1
- Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, and Raymie Stata. PLDI, page 234-245. ACM, (2002)Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, and Raymie Stata. PLDI, page 234-245. ACM, (2002)a year agoby dblp3
- Manne Hannula, Kerttu Huttunen, Jukka Koskelo, Tomi Laitinen, and Tuomo Leino. Comp. in Bio. and Med. 38(11-12):1163-1170 (2008)Manne Hannula, Kerttu Huttunen, Jukka Koskelo, Tomi Laitinen, and Tuomo Leino. Comp. in Bio. and Med. 38(11-12):1163-1170 (2008)a year agoby dblp1
- Manne Hannula, Jukka Koskelo, K. Huttunen, M. Sorri, and Tuomo Leino. Artificial Intelligence and Applications, page 85-91. IASTED/ACTA Press, (2007)Manne Hannula, Jukka Koskelo, K. Huttunen, M. Sorri, and Tuomo Leino. Artificial Intelligence and Applications, page 85-91. IASTED/ACTA Press, (2007)a year agoby dblp1
- K. Rustan M. Leino. OOPSLA, page 144-153. ACM, (1998)K. Rustan M. Leino. OOPSLA, page 144-153. ACM, (1998)a year agoby dblp1
- Jari Juhani Jussila, Hannu Kärkkäinen, and Maija Leino. MindTrek, page 167-174. ACM, (2011)Jari Juhani Jussila, Hannu Kärkkäinen, and Maija Leino. MindTrek, page 167-174. ACM, (2011)a year and a month agoby dblp1
- Saara Hyvönen, Antti Leino, and Marko Salmenkivi. LLC 22(3):271-290 (2007)Saara Hyvönen, Antti Leino, and Marko Salmenkivi. LLC 22(3):271-290 (2007)a year and 2 months agoby dblp1
- Phillip E. Pace, Richard E. Leino, and David Styer. IEEE Transactions on Signal Processing 45(5):1153-1160 (1997)Phillip E. Pace, Richard E. Leino, and David Styer. IEEE Transactions on Signal Processing 45(5):1153-1160 (1997)a year and 2 months agoby dblp1
- Juha Leino, Sanna Finnberg, and Kari-Jouko Räihä. BCS HCI, page 259-268. ACM, (2010)Juha Leino, Sanna Finnberg, and Kari-Jouko Räihä. BCS HCI, page 259-268. ACM, (2010)a year and 3 months agoby dblp1
- K. Rustan M. Leino. VSTTE, volume 7152 of Lecture Notes in Computer Science, page 82. Springer, (2012)K. Rustan M. Leino. VSTTE, volume 7152 of Lecture Notes in Computer Science, page 82. Springer, (2012)a year and 4 months agoby dblp2
- K. Rustan M. Leino. VMCAI, volume 7148 of Lecture Notes in Computer Science, page 315-331. Springer, (2012)K. Rustan M. Leino. VMCAI, volume 7148 of Lecture Notes in Computer Science, page 315-331. Springer, (2012)a year and 4 months agoby dblp1
- Gary Leavens, K. Leino, and Peter Müller. Formal Aspects of Computing (2007)Gary Leavens, K. Leino, and Peter Müller. Formal Aspects of Computing (2007)a year and 5 months agoby pbrada2
- Viktor Kuncak, and K. Rustan M. Leino. CoRR (2004)Viktor Kuncak, and K. Rustan M. Leino. CoRR (2004)a year and 5 months agoby dblp1
- Claire Le Goues, K. Rustan M. Leino, and Michal Moskal. SEFM, volume 7041 of Lecture Notes in Computer Science, page 407-414. Springer, (2011)Claire Le Goues, K. Rustan M. Leino, and Michal Moskal. SEFM, volume 7041 of Lecture Notes in Computer Science, page 407-414. Springer, (2011)a year and 7 months agoby dblp1
- Juha Leino, Kari-Jouko Räihä, and Sanna Finnberg. INTERACT 3, volume 6948 of Lecture Notes in Computer Science, page 169-186. Springer, (2011)Juha Leino, Kari-Jouko Räihä, and Sanna Finnberg. INTERACT 3, volume 6948 of Lecture Notes in Computer Science, page 169-186. Springer, (2011)a year and 8 months agoby dblp1
- Rajeev Joshi, and K. Rustan M. Leino. Sci. Comput. Program. 37(1-3):113-138 (2000)Rajeev Joshi, and K. Rustan M. Leino. Sci. Comput. Program. 37(1-3):113-138 (2000)a year and 8 months agoby dblp1
- K. Rustan M. Leino. The Future of Software Engineering, page 115-124. Springer, (2010)Festschrift for Bertrand Meyer on the Occasion of His 60th Birthday, November 2010.K. Rustan M. Leino. The Future of Software Engineering, page 115-124. Springer, (2010)Festschrift for Bertrand Meyer on the Occasion of His 60th Birthday, November 2010.a year and 9 months agoby dblp1
- K. Rustan M. Leino. ICTAC, volume 3407 of Lecture Notes in Computer Science, page 35-35. Springer, (2004)K. Rustan M. Leino. ICTAC, volume 3407 of Lecture Notes in Computer Science, page 35-35. Springer, (2004)a year and 9 months agoby dblp1
- Juha Leino, and Jorma T. Virtamo. QoS-IP, volume 3375 of Lecture Notes in Computer Science, page 313-324. Springer, (2005)Juha Leino, and Jorma T. Virtamo. QoS-IP, volume 3375 of Lecture Notes in Computer Science, page 313-324. Springer, (2005)a year and 9 months agoby dblp1