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

Statistical methods for linking material composition to rec..:

Giesl, F. ; Hartmann, A. K. ; Eraerds, P....
Review of Scientific Instruments.  95 (2024)  3 - p. , 2024
Link: https://doi.org/10.1063/..
 
?
2

Investigation of electrical transport across the CIGSSe/Mo(..:

Giesl, F. ; Schubbert, C. ; Eraerds, P....
Thin Solid Films.  763 (2022)  - p. 139570 , 2022
Link: https://doi.org/10.1016/..
 
?
3

Exfoliation methods for compositional and electronic charac..:

Lange, Stefan ; Giesl, F ; Naumann, Volker..
Surface and Interface Analysis.  , 2022
Link: https://publica.fraunhof..
 
?
4

Revised CPA method to compute Lyapunov functions for nonlin..:

Giesl, Peter A. ; Hafstein, Sigurdur F.
Journal of Mathematical Analysis and Applications.  410 (2014)  1 - p. 292-306 , 2014
Link: https://doi.org/10.1016/..
 
?
5

Computation of Lyapunov functions for systems with multiple..:

Björnsson, Jóhann ; Giesl, Peter ; Hafstein, Sigurdur F.
http://sro.sussex.ac.uk/id/eprint/54584/1/__smbhome.uscs.susx.ac.uk_mmfc2_Desktop_DCDS-SI%201.pdf.  , 2015
Link: http://sro.sussex.ac.uk/..
 
?
6

Computation of Lyapunov functions for systems with multiple..:

Jóhann Björnsson ; Peter Giesl ; Sigurdur F Hafstein.
10779/uos.23417588.v1.  , 2015
Link: https://figshare.com/art..
 
?
7

Proving Termination and Memory Safety for Programs with Poi..:

Ströder, T ; Giesl, J ; Brockschmidt, M...
https://discovery.ucl.ac.uk/id/eprint/1455008/1/IJCAR14-llvm-pointer.pdf.  , 2014
Link: https://discovery.ucl.ac..
 
?
8

Alternating Runtime and Size Complexity Analysis of Integer..:

Brockschmidt, M ; Emmes, F ; Falke, S..
https://discovery.ucl.ac.uk/id/eprint/1455004/1/TACAS14-intcomplexity.pdf.  , 2014
Link: https://discovery.ucl.ac..
 
?
9

Proving Termination of Programs Automatically with AProVE:

Giesl, J ; Brockschmidt, M ; Emmes, F...
https://discovery.ucl.ac.uk/id/eprint/1455009/1/IJCAR14-aprove-tool.pdf.  , 2014
Link: https://discovery.ucl.ac..
 
?
10

Symbolic evaluation graphs and term rewriting: a general me..:

Giesl, J ; Ströder, T ; Schneider-Kamp, P..
https://discovery.ucl.ac.uk/id/eprint/1410028/1/PPDP12-lpgraphs_rd.pdf.  , 2012
Link: https://discovery.ucl.ac..
 
1-10