E-LIB Suche - Ergebnisse für: Sieber, Kurt

1

Using optical interference filters to measure autofluoresce..:

Grace, Jeremy ; Edlou, Samad ; Foss, Joseph...
Surface and Coatings Technology. 426 (2021) - p. 127777 , 2021

Link: https://doi.org/10.1016/..

2

Navigating Forest Straight-Line Programs in Constant Time:

, In: String Processing and Information Retrieval; Lecture Notes in Computer Science,

Reh, Carl Philipp ; Sieber, Kurt - p. 11-26 , 2020

Link: https://doi.org/10.1007/..

3

Size-optimal top dag compression:

Lohrey, Markus ; Reh, Carl Philipp ; Sieber, Kurt
Information Processing Letters. 147 (2019) - p. 27-31 , 2019

Link: https://doi.org/10.1016/..

4

Grammar-Based Compression of Unranked Trees:

Gascón, Adrià ; Lohrey, Markus ; Maneth, Sebastian..
Theory of Computing Systems. 64 (2019) 1 - p. 141-176 , 2019

Link: https://doi.org/10.1007/..

5

Preface:

Sieber, Kurt
The Journal of Logic and Algebraic Programming. 79 (2010) 1 - p. 1 , 2010

Link: https://doi.org/10.1016/..

6

A Study of Two-Dimensional Microdischarge Pattern Formation..:

Chirokov, Alexandre ; Gutsol, Alexander ; Fridman, Alexander...
Plasma Chemistry and Plasma Processing. 26 (2006) 2 - p. 127-135 , 2006

Link: https://doi.org/10.1007/..

7

Full abstraction for the second order subset of an Algol-li..:

Sieber, Kurt
Theoretical Computer Science. 168 (1996) 1 - p. 155-212 , 1996

Link: https://doi.org/10.1016/..

8

A process oriented semantics of the PRAM-language FORK:

Rünger, Gudula ; Sieber, Kurt
Computer Languages. 20 (1994) 4 - p. 253-265 , 1994

Link: https://doi.org/10.1016/..

9

The foundations of program verification

Wiley-Teubner series in computer science

Loeckx, Jacques ; Sieber, Kurt ; Stansifer, Ryan D. , 1984

Copies: Zentrale:Magazin 03.f.1443

10

Mechanisms and Rates of InterstitialH2Diffusion in Crystall..:

Uberuaga, Blas P. ; Voter, Arthur F. ; Sieber, Kurt Ken.
Physical Review Letters. 91 (2003) 10 - p. , 2003

Link: https://doi.org/10.1103/..

11

Interactions between Category Theory and Computer Science (..:

Gray, John W ; Pitts, Andrew M ; Sieber, Kurt
doi:10.4230/DagSemRep.69. , 2021

Link: https://doi.org/10.4230/..

12

Grammar-based Compression of Unranked Trees:

Gascón, Adrià ; Lohrey, Markus ; Maneth, Sebastian..
http://arxiv.org/abs/1802.05490. , 2018

Link: http://arxiv.org/abs/180..

13

Optimal top dag compression:

Lohrey, Markus ; Reh, Carl Philipp ; Sieber, Kurt
http://arxiv.org/abs/1712.05822. , 2017

Link: http://arxiv.org/abs/171..

14

Full abstraction for the second order subset of an ALGOL-li..:

Sieber, Kurt
Technischer Bericht / A / Fachbereich Informatik, Universität des Saarlandes;1994/01. , 2014

Link: http://nbn-resolving.org..

15

Full abstraction for the second order subset of an ALGOL-li..:

Sieber, Kurt
Technischer Bericht / A / Fachbereich Informatik, Universität des Saarlandes;1995/04. , 2014

Link: http://nbn-resolving.org..