Skip to content

Information Technologies in Science

Research & Development group based in Moscow State University focused on software for accelerating scientific research and engineering tasks

Projects

  • Bio Model Analyzer
  • FetchClimate
  • Interactive Data Display
  • ChronoZoom
  • Dynamic Data Display

Our team

  • About us
  • People
  • Our repos at Github
  • Contact us

Categories

  • Events
  • Mass media
  • Software
  • Без рубрики

tag cloud

BMA conference IDD online tool Visits

Archives

  • October 2020
  • October 2019
  • September 2018
  • June 2018
  • February 2017
  • January 2017
  • December 2016
  • November 2016
  • August 2016
  • July 2016
  • May 2016
  • April 2016
  • November 2015
  • August 2015
  • May 2015
  • April 2015

Meta

  • Log in
  • Entries RSS
  • Comments RSS
  • WordPress.org

Month: January 2017

Bringing LTL Model Checking to Biologists

New paper has been published about BioModelAnalyzer tool jointly developed by Microsoft Research and our lab.
bma_ltl_paper
Two members of our team are co-authors. Congratulations!

Posted on 17.01.201731.01.2017Author mstlabCategories Без рубрики
Proudly powered by WordPress