Search Results - "Seidl, Helmut" :: K.UTB vyhledávací portál | TBU Library Retrieval Portal

Theoretical Aspects of Computing - ICTAC 2022: 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings

Theoretical Aspects of Computing - ICTAC 2022: 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings

by Seidl, Helmut, Liu, Zhiming, Pasareanu, Corina S
Year of Publication 2022

Get full text

eBook

Deciding equivalence of top–down XML transformations in polynomial time

Deciding equivalence of top–down XML transformations in polynomial time

by Engelfriet, Joost, Maneth, Sebastian, Seidl, Helmut
Published in Journal of computer and system sciences (01.08.2009)

Get full text

Journal Article

Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

by Seidl, Helmut
Year of Publication 2012

Get full text

eBook

Inter-procedural Two-Variable Herbrand Equalities

Inter-procedural Two-Variable Herbrand Equalities

by Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl
Published in Logical methods in computer science (01.01.2017)

Get full text

Journal Article

Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

Year of Publication 2012

Get full text

Conference Proceeding

Checking in polynomial time whether or not a regular tree language is deterministic top-down

Checking in polynomial time whether or not a regular tree language is deterministic top-down

by Maneth, Sebastian, Seidl, Helmut
Published in Information processing letters (01.02.2024)

Get full text

Journal Article

Software Systems Safety

Software Systems Safety

by Grumberg, O, Seidl, H, Irlbeck, M
Year of Publication 2014

Get full text

eBook

Deciding origin equivalence of weakly self-nesting macro tree transducers

Deciding origin equivalence of weakly self-nesting macro tree transducers

by Maneth, Sebastian, Seidl, Helmut
Published in Information processing letters (01.02.2023)

Get full text

Journal Article

Compiler Design: Syntactic and Semantic Analysis

Compiler Design: Syntactic and Semantic Analysis

by Wilhelm, Reinhard, Seidl, Helmut, Hack, Sebastian
Year of Publication 2013

Get full text

eBook

Three improvements to the top-down solver

Three improvements to the top-down solver

by Seidl, Helmut, Vogler, Ralf
Published in Mathematical structures in computer science (01.10.2021)

Get full text

Journal Article

Compiler Design: Analysis and Transformation

Compiler Design: Analysis and Transformation

by Seidl, Helmut, Wilhelm, Reinhard, Hack, Sebastian
Year of Publication 2012

Get full text

eBook

Prenex universal first-order safety properties

Prenex universal first-order safety properties

by Dundua, Besik, Kapanadze, Ioane, Seidl, Helmut
Published in Information processing letters (01.08.2024)

Get full text

Journal Article

Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

by Müller-Olm, Markus, Seidl, Helmut
Year of Publication 2014

Get full text

eBook

Functionality of compositions of top-down tree transducers is decidable

Functionality of compositions of top-down tree transducers is decidable

by Maneth, Sebastian, Seidl, Helmut, Vu, Martin
Published in Information and computation (01.01.2024)

Get full text

Journal Article

Stratified guarded first-order transition systems

Stratified guarded first-order transition systems

by Müller, Christian, Seidl, Helmut
Published in Formal methods in system design (22.11.2022)

Get full text

Journal Article

When long jumps fall short: control-flow tracking and misuse detection for nonlocal jumps in C

When long jumps fall short: control-flow tracking and misuse detection for nonlocal jumps in C

by Erhard, Julian, Schwarz, Michael, Vojdani, Vesal, Saan, Simmo, Seidl, Helmut
Published in International journal on software tools for technology transfer (01.10.2024)

Get full text

Journal Article

When long jumps fall short: control-flow tracking and misuse detection for nonlocal jumps in C: Extended version

When long jumps fall short: control-flow tracking and misuse detection for nonlocal jumps in C: Extended version

by Erhard, Julian, Schwarz, Michael, Vojdani, Vesal, Saan, Simmo, Seidl, Helmut
Published in International journal on software tools for technology transfer (01.10.2024)

Get full text

Journal Article

Non-numerical weakly relational domains

Non-numerical weakly relational domains

by Seidl, Helmut, Erhard, Julian, Tilscher, Sarah, Schwarz, Michael
Published in International journal on software tools for technology transfer (01.08.2024)

Get full text

Journal Article

Paths, tree homomorphisms and disequalities for -clauses

Paths, tree homomorphisms and disequalities for -clauses

by REUß, ANDREAS, SEIDL, HELMUT
Published in Mathematical structures in computer science (01.11.2018)

Get full text

Journal Article

Octagons Revisited: Elegant Proofs and Simplified Algorithms

Octagons Revisited: Elegant Proofs and Simplified Algorithms

by Schwarz, Michael, Seidl, Helmut
Published in Static Analysis (2023)

Get full text

Book Chapter

1
2
3
4
5
6
7
8
9
10
11
Next
[11]