Publikationen pro Jahr
Publikationen pro Jahr
- 31 Ergebnisse
Suchergebnisse
-
2024
Checking in polynomial time whether or not a regular tree language is deterministic top-down
Maneth, S. & Seidl, H., Feb. 2024, in: Information Processing Letters. 184, 106449.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access1 Zitat (Scopus) -
Functionality of compositions of top-down tree transducers is decidable
Maneth, S., Seidl, H. & Vu, M., Jan. 2024, in: Information and Computation. 296, 105131.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access -
Non-numerical weakly relational domains
Seidl, H., Erhard, J., Tilscher, S. & Schwarz, M., Aug. 2024, in: International Journal on Software Tools for Technology Transfer. 26, 4, S. 479-494 16 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access1 Zitat (Scopus) -
Prenex universal first-order safety properties
Dundua, B., Kapanadze, I. & Seidl, H., Aug. 2024, in: Information Processing Letters. 186, 106488.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access -
When long jumps fall short: control-flow tracking and misuse detection for nonlocal jumps in C: Extended version
Erhard, J., Schwarz, M., Vojdani, V., Saan, S. & Seidl, H., 2024, (Angenommen/Im Druck) in: International Journal on Software Tools for Technology Transfer.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access -
2023
Deciding origin equivalence of weakly self-nesting macro tree transducers
Maneth, S. & Seidl, H., Feb. 2023, in: Information Processing Letters. 180, 106332.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access -
Definability Results for Top-Down Tree Transducers
Maneth, S., Seidl, H. & Vu, M., 1 Feb. 2023, in: International Journal of Foundations of Computer Science. 34, 2-3, S. 253-287 35 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access -
2022
Stratified guarded first-order transition systems
Müller, C. & Seidl, H., 2022, (Angenommen/Im Druck) in: Formal Methods in System Design.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access1 Zitat (Scopus) -
2021
On the Balancedness of Tree-to-Word Transducers
Löbel, R., Luttenberger, M. & Seidl, H., 1 Sept. 2021, in: International Journal of Foundations of Computer Science. 32, 6, S. 761-783 23 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access2 Zitate (Scopus) -
Three improvements to the top-down solver
Seidl, H. & Vogler, R., 3 Okt. 2021, in: Mathematical Structures in Computer Science. 31, 9, S. 1090-1134 45 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access10 Zitate (Scopus) -
2018
Balancedness of MSO transductions in polynomial time
Maneth, S. & Seidl, H., Mai 2018, in: Information Processing Letters. 133, S. 26-32 7 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
4 Zitate (Scopus) -
Enforcing termination of interprocedural analysis
Schulze Frielinghaus, S., Seidl, H. & Vogler, R., 1 Okt. 2018, in: Formal Methods in System Design. 53, 2, S. 313-338 26 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access1 Zitat (Scopus) -
Equivalence of deterministic top-down tree-To-string transducers is decidable
Seidl, H., Maneth, S. & Kemper, G., Aug. 2018, in: Journal of the ACM. 65, 4, 21.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access11 Zitate (Scopus) -
Paths, tree homomorphisms and disequalities for H1-clauses
Reuß, A. & Seidl, H., 1 Nov. 2018, in: Mathematical Structures in Computer Science. 28, 10, S. 1786-1846 61 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
-
2017
Inter-procedural two-variable herbrand equalities
Schulze Frielinghaus, S., Petter, M. & Seidl, H., 2017, in: Logical Methods in Computer Science. 13, 2, 5.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
-
2016
Efficiently intertwining widening and narrowing
Amato, G., Scozzari, F., Seidl, H., Apinis, K. & Vojdani, V., 1 Mai 2016, in: Science of Computer Programming. 120, S. 1-24 24 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access29 Zitate (Scopus) -
Look-ahead removal for total deterministic top-down tree transducers
Engelfriet, J., Maneth, S. & Seidl, H., 22 Feb. 2016, in: Theoretical Computer Science. 616, S. 18-58 41 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access5 Zitate (Scopus) -
2014
Numerical invariants through convex relaxation and max-strategy iteration
Gawlitza, T. M. & Seidl, H., Apr. 2014, in: Formal Methods in System Design. 44, 2, S. 101-148 48 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access1 Zitat (Scopus) -
2013
How to combine widening and narrowing for non-monotonic systems of equations
Apinis, K., Seidl, H. & Vojdani, V., Juni 2013, in: ACM SIGPLAN Notices. 48, 6, S. 377-386 10 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
9 Zitate (Scopus) -
2012
Abstract interpretation meets convex optimization
Gawlitza, T. M., Seidl, H., Adjé, A., Gaubert, S. & Goubault, É., Dez. 2012, in: Journal of Symbolic Computation. 47, 12, S. 1416-1446 31 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access19 Zitate (Scopus) -
2011
Earliest normal form and minimization for bottom-up tree transducers
Friese, S., Seidl, H. & Maneth, S., Nov. 2011, in: International Journal of Foundations of Computer Science. 22, 7, S. 1607-1623 17 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
4 Zitate (Scopus) -
Extending H1-clauses with disequalities
Seidl, H. & Reuß, A., 31 Okt. 2011, in: Information Processing Letters. 111, 20, S. 1007-1013 7 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
5 Zitate (Scopus) -
Fast interprocedural linear two-variable equalities
Flexeder, A., Müller-Olm, M., Petter, M. & Seidl, H., Dez. 2011, in: ACM Transactions on Programming Languages and Systems (TOPLAS). 33, 6, 21.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access4 Zitate (Scopus) -
Solving systems of rational equations through strategy iteration
Gawlitza, T. M. & Seidl, H., Apr. 2011, in: ACM Transactions on Programming Languages and Systems (TOPLAS). 33, 3, 11.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access17 Zitate (Scopus) -
Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol
Schwarz, M. D., Seidl, H., Vojdani, V., Lammich, P. & Müller-Olm, M., Jan. 2011, in: ACM SIGPLAN Notices. 46, 1, S. 93-104 12 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
19 Zitate (Scopus) -
2010
Praktische Programmverifikation durch statische Analyse
Seidl, H., Okt. 2010, in: Informatik-Spektrum. 33, 5, S. 484-488 5 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
-
2009
Deciding equivalence of top-down XML transformations in polynomial time
Engelfriet, J., Maneth, S. & Seidl, H., Aug. 2009, in: Journal of Computer and System Sciences. 75, 5, S. 271-286 16 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access30 Zitate (Scopus) -
2008
Flat and one-variable clauses: Complexity of verifying cryptographic protocols with single blind copying
Seidl, H. & Verma, K. N., 1 Aug. 2008, in: ACM Transactions on Computational Logic. 9, 4, 28.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
1 Zitat (Scopus) -
2007
Analysis of modular arithmetic
Müller-Olm, M. & Seidl, H., 1 Aug. 2007, in: ACM Transactions on Programming Languages and Systems (TOPLAS). 29, 5, 1275504.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access50 Zitate (Scopus) -
2004
Computing polynomial program invariants
Müller-Olm, M. & Seidl, H., 15 Sept. 2004, in: Information Processing Letters. 91, 5, S. 233-244 12 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
74 Zitate (Scopus) -
Macro forest transducers
Perst, T. & Seidl, H., 14 Feb. 2004, in: Information Processing Letters. 89, 3, S. 141-149 9 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access47 Zitate (Scopus)