Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Thomas Sturm 0001

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Marek Kosta

> Home > Persons > Thomas Sturm 0001

Publications

2020
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/jsc/BradfordDEEGGHK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/BradfordDEEGGHK20
Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber:
Identifying the parametric occurrence of multiple steady states for some biological networks. J. Symb. Comput. 98: 84-119 (2020)
2019
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1902-04882
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1902-04882
Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber:
Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks. CoRR abs/1902.04882 (2019)
2017
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/issac/BradfordDEEGGHK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issac/BradfordDEEGGHK17
Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber:
A Case Study on the Parametric Occurrence of Multiple Steady States. ISSAC 2017: 45-52
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BradfordDEEGGHK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BradfordDEEGGHK17
Russell J. Bradford, James H. Davenport, Matthew England, Hassan Errami, Vladimir P. Gerdt, Dima Grigoriev, Charles Tapley Hoyt, Marek Kosta, Ovidiu Radulescu, Thomas Sturm, Andreas Weber:
A Case Study on the Parametric Occurrence of Multiple Steady States. CoRR abs/1704.08997 (2017)
2016
[j13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/Kosta0D16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/Kosta0D16
Marek Kosta, Thomas Sturm, Andreas Dolzmann:
Better answers to real questions. J. Symb. Comput. 74: 255-275 (2016)
2015
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/KostaSD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KostaSD15
Marek Kosta, Thomas Sturm, Andreas Dolzmann:
Better Answers to Real Questions. CoRR abs/1501.05098 (2015)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/KostaS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KostaS15
Marek Kosta, Thomas Sturm:
A Generalized Framework for Virtual Substitution. CoRR abs/1501.05826 (2015)
2014
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/casc/KorovinKS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/casc/KorovinKS14
Konstantin Korovin, Marek Kosta, Thomas Sturm:
Towards Conflict-Driven Learning for Virtual Substitution. CASC 2014: 256-270
[c24]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/KostaSD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/KostaSD14
Marek Kosta, Thomas Sturm, Andreas Dolzmann:
Better Answers to Real Questions. SMT 2014: 69
[c23]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/KorovinKS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/KorovinKS14
Konstantin Korovin, Marek Kosta, Thomas Sturm:
Towards Conflict-Driven Learning for Virtual Substitution. SMT 2014: 71
2013
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/frocos/KarrenbergKS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/KarrenbergKS13
Ralf Karrenberg, Marek Kosta, Thomas Sturm:
Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages. FroCos 2013: 56-70

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.