2012
- Run your research: on the effectiveness of lightweight mechanizationCasey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robby Findler. In Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012. 2012: 285-296 [doi]
2011
- Objects, Models, Components, Patterns - 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. ProceedingsJudith Bishop, Antonio Vallecillo, editors, Volume 6705 of Lecture Notes in Computer Science, Springer, 2011. [doi]
- Tight glycemic control in critical care - The leading role of insulin sensitivity and patient variability: A review and model-based analysisJ. Geoffrey Chase, Aaron J. Le Compte, Fatanah Suhaimi, Geoffrey M. Shaw, Adrienne Lynn, Jessica Lin 0002, Christopher G. Pretty, Normy N. Razak, Jacquelyn D. Parente, Christopher E. Hann, Jean-Charles Preiser, Thomas Desaive. cmpb, 102(2):156-171, 2011. [doi]
PreviousNext