Thomas Sturm

发表

As paredes divisórias num sistema integrado de alvenaria estrutural em BTC

Graça Vasconcelos, Paulo Mendonça, Aires Camões, 2011 .

The SYMBIONT project: symbolic methods for biological networks

François Fages, François Boulier, Andreas Weber, 2018, ACCA.

Thomas Sturm, 2009, IC-AI.

Mechanical characterization of dry-stack interlocking compressed earth masonry

Paulo B. Lourenço, Luís F. Ramos, Thomas Sturm, 2014 .

New domains for applied quantifier elimination (plenary talk)

Thomas Sturm, 2006 .

Characterization of dry-stack interlocking compressed earth blocks

Paulo B. Lourenço, Luís F. Ramos, Thomas Sturm, 2015 .

Shredding device with a synchronous three-phase motor and gear mechanism integrated planetary.

Wolfgang Lipowski, Jochen Giehl, Thomas Sturm, 2006 .

Processor arrangement, textile fabric texture, surface covering structure and method for transmitting electronic messages between processors of a processor arrangement

Guido Stromberg, Thomas Sturm, 2004 .

Saving the Planet from Nuclear Weapons and the Human Mind

Paul Erickson, Michael D. Gordin, Thomas Sturm, 2013 .

Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT

Mizuhito Ogawa, Pascal Fontaine, To Van Khanh, 2018, SC-Square@FLOC.

Study of a new interlocking stabilised compressed earth masonry block

Luís F. Ramos, Aires Camões, R. Eires, 2012 .

Acronyms for a Database Design Course

Thomas Sturm, 2009, FECS.

Spectral-based Damage Identification Technique on an Earthen Mock-up Construction tested on a Shaking Table

Paulo B. Lourenço, Luís F. Ramos, Maria Giovanna Masciotta, 2014 .

Optimization of Power Plant Design: Stochastic and Adaptive Solution Concepts

Wolfgang Märker, Claus Hillermeier, Thomas Sturm, 2000 .