Formal Modeling and Analysis of Timed Systems

{ "id": 2130164326, "name": "Formal Modeling and Analysis of Timed Systems", "year": 2016, "location": "Quebec City, Canada", "start_date": "2016-08-24", "end_date": "2016-08-26", "url": "http://formats2016.lsv.fr/", "Abstract_Registration_Due": "2016-04-15", "Submission_Deadline": "2016-04-22" }
{ "total": 6, "List": [ { "conference_instance_id": 2130164326, "name": "FORMATS 2016", "year": 2016, "location": "Quebec City, Canada", "url": "http://formats2016.lsv.fr/", "paper_count": 16, "hindex": 8, "citation_count": 124, "start_date": "2016-08-24", "end_date": "2016-08-26", "abstract_registration_date": "2016-04-15", "submission_deadline_date": "2016-04-22", "notification_due_date": "2016-06-10", "final_version_due_date": "2016-06-22" }, { "conference_instance_id": 2132092043, "name": "FORMATS 2015", "year": 2015, "location": "Madrid", "url": "http://formats2015.unifi.it/call-for-papers/", "paper_count": 21, "hindex": 8, "citation_count": 200, "start_date": "2015-09-02", "end_date": "2015-09-04", "abstract_registration_date": "2015-04-20", "submission_deadline_date": "2015-04-27", "notification_due_date": "2015-06-10", "final_version_due_date": "2015-06-22" }, { "conference_instance_id": 2130987842, "name": "FORMATS 2014", "year": 2014, "location": "Florence, Italy", "url": "http://formats2014.unifi.it/", "paper_count": 19, "hindex": 6, "citation_count": 277, "start_date": "2014-09-08", "end_date": "2014-09-10", "abstract_registration_date": "2014-04-14", "submission_deadline_date": "2014-04-21", "notification_due_date": "2014-06-09", "final_version_due_date": "2014-06-23" }, { "conference_instance_id": 2134697580, "name": "FORMATS 2013", "year": 2013, "location": "Buenos Aires, Argentina", "url": "http://projects.lsv.ens-cachan.fr/formats2013", "paper_count": 18, "hindex": 9, "citation_count": 192, "start_date": "2013-08-29", "end_date": "2013-08-31", "abstract_registration_date": "2013-04-01", "submission_deadline_date": "2013-04-08", "notification_due_date": "2013-05-27", "final_version_due_date": "2013-06-10" }, { "conference_instance_id": 2132916488, "name": "FORMATS 2012", "year": 2012, "location": "London", "url": "http://www2.warwick.ac.uk/fac/cross_fac/dimap/events/formats2012/", "paper_count": 19, "hindex": 8, "citation_count": 168, "start_date": "2012-09-18", "end_date": "2012-09-20", "abstract_registration_date": "2012-05-07", "submission_deadline_date": "2012-05-11", "notification_due_date": "2012-06-15", "final_version_due_date": "2012-07-07" } ] }
  • 1
  • 2
Rank institutions in
Rank time
to
All/First author
Institution List
Top Authors in
Institution Count Citation Adj. H-index T2_Citation
Filter By