Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Jost, Steffen
225  Ergebnisse:
Personensuche X
?
1

Two decades of automatic amortized resource analysis:

Hoffmann, Jan ; Jost, Steffen
Mathematical Structures in Computer Science.  32 (2022)  6 - p. 729-759 , 2022
Link: https://doi.org/10.1017/..
 
?
2

Type-Based Cost Analysis for Lazy Functional Languages:

Jost, Steffen ; Vasconcelos, Pedro ; Florido, Mário.
Journal of Automated Reasoning.  59 (2017)  1 - p. 87-120 , 2017
Link: https://doi.org/10.1007/..
 
?
3

Protistan community analysis: key findings of a large-scale..:

Grossmann, Lars ; Jensen, Manfred ; Heider, Dominik...
The ISME Journal.  10 (2016)  9 - p. 2269-2279 , 2016
Link: https://doi.org/10.1038/..
 
?
4

Individualität und Geschichte 

, In: Freilegungen / herausgegeben von Rebecca Boehling, Susanne Urban, Elizabeth Anthony und Suzanne Brown-Fleming ; unter Mitarbeit von Henning Borggräfe
forschendes Lernen mit historischen Quellen im Max Mannheim... 
Jost, Steffen ; Ritz, Nina ; Ruhland, Katharina. (2015)  - p. 235-246
Exemplar:  Zentrale:Magazin 02.n.3214
 
?
5

AmpliconDuo: A Split-Sample Filtering Protocol for High-Thr..:

Lange, Anja ; Jost, Steffen ; Heider, Dominik...
PLOS ONE.  10 (2015)  11 - p. e0141590 , 2015
Link: https://doi.org/10.1371/..
 
?
6

Sólo dos Españas? 

, In: Jahrbuch für europäische Ethnologie / im Auftr. hrsg. von der Görres-Gesellschaft
Erinnerungen und Identitäten zwischen sevillanischer Lokal... 
Jost, Steffen. (2014)  - p. 51-82
Exemplar:  Zentrale:E03 z vol 001 ja/77
 
?
7

Magnesiothermic conversion of the silica-mineralizing golde..:

Petrack, Janina ; Jost, Steffen ; Boenigk, Jens.
Beilstein Journal of Nanotechnology.  5 (2014)  - p. 554-560 , 2014
Link: https://doi.org/10.3762/..
 
?
8

Ecology and community structure of ciliated protists in two..:

Ong'ondo, Geoffrey Odhiambo ; Yasindi, Andrew Wamalwa ; Oduor, Steve Omondi...
Journal of Plankton Research.  35 (2013)  4 - p. 759-771 , 2013
Link: https://doi.org/10.1093/..
 
?
9

Hydrurus‐related golden algae (Chrysophyceae) cause yellow ..:

Remias, Daniel ; Jost, Steffen ; Boenigk, Jens..
Phycological Research.  61 (2013)  4 - p. 277-285 , 2013
Link: https://doi.org/10.1111/..
 
?
10

Automatic amortised analysis of dynamic memory allocation f..:

Simões, Hugo ; Vasconcelos, Pedro ; Florido, Mário..
ACM SIGPLAN Notices.  47 (2012)  9 - p. 165-176 , 2012
Link: https://doi.org/10.1145/..
 
?
11

Automatic amortised analysis of dynamic memory allocation f..:

, In: Proceedings of the 17th ACM SIGPLAN international conference on Functional programming,
Simões, Hugo ; Vasconcelos, Pedro ; Florido, Mário.. - p. 165-176 , 2012
Link: https://dl.acm.org/doi/1..
 
?
12

Ligand Dynamics in the Solid: Lithium‐fluorenide and Lithiu..:

Focke, Arnd ; Hausmann, Heike ; Jost, Steffen.
Helvetica Chimica Acta.  95 (2012)  12 - p. 2317-2330 , 2012
Link: https://doi.org/10.1002/..
 
?
13

Static determination of quantitative resource usage for hig..:

, In: Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages,
Jost, Steffen ; Hammond, Kevin ; Loidl, Hans-Wolfgang. - p. 223-236 , 2010
Link: https://dl.acm.org/doi/1..
 
?
14

Diversity in a hidden world: potential and limitation of ne..:

MEDINGER, RALPH ; NOLTE, VIOLA ; PANDEY, RAM VINAY...
Molecular Ecology.  19 (2010)  s1 - p. 32-40 , 2010
Link: https://doi.org/10.1111/..
 
?
15

Static determination of quantitative resource usage for hig..:

Jost, Steffen ; Hammond, Kevin ; Loidl, Hans-Wolfgang.
ACM SIGPLAN Notices.  45 (2010)  1 - p. 223-236 , 2010
Link: https://doi.org/10.1145/..
 
1-15