Suchergebnisse

  • 2009

    Polynomial precise interval analysis revisited

    Gawlitza, T., Leroux, J., Reineke, J., Seidl, H., Sutre, G. & Wilhelm, R., 2009, Efficient Algorithms: Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday. Springer Verlag, S. 422-437 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 5760 LNCS).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

    Open Access
    11 Zitate (Scopus)
  • Region analysis for race detection

    Seidl, H. & Vojdani, V., 2009, Static Analysis - 16th International Symposium, SAS 2009, Proceedings. S. 171-187 17 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 5673 LNCS).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

    16 Zitate (Scopus)
  • 2008

    Analysing all polynomial equations in ℤ2w

    Seidl, H., Flexeder, A. & Petter, M., 2008, Static Analysis - 15th International Symposium, SAS 2008, Proceedings. S. 299-314 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 5079 LNCS).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

    1 Zitat (Scopus)
  • Approximative methods for monotone systems of min-max-polynomial equations

    Esparza, J., Gawlitza, T., Kiefer, S. & Seidl, H., 2008, Automata, Languages and Programming - 35th International Colloquium, ICALP 2008, Proceedings. PART 1 Aufl. S. 698-710 13 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 5125 LNCS, Nr. PART 1).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

    Open Access
    13 Zitate (Scopus)
  • 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 FachzeitschriftArtikelBegutachtung

    1 Zitat (Scopus)
  • Lightweight verification 2008

    Leucker, M. & Seidl, H., 2008, INFORMATIK 2008 - Beherrschbare Systeme - Dank Informatik, Beitrage der 38. Jahrestagung der Gesellschaft fur Informatik e.V. (GI). S. 965-966 2 S. (INFORMATIK 2008 - Beherrschbare Systeme - Dank Informatik, Beitrage der 38. Jahrestagung der Gesellschaft fur Informatik e.V. (GI); Band 2).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

  • Precise interval analysis vs. parity games

    Gawlitza, T. & Seidl, H., 2008, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5014 LNCS, S. 342-357 16 S.

    Publikation: Beitrag in FachzeitschriftKonferenzartikelBegutachtung

    Open Access
    6 Zitate (Scopus)
  • Upper adjoints for fast inter-procedural variable equalities

    Müller-Olm, M. & Seidl, H., 2008, Programming Languages and Systems - 17th European Symposium on Programming, ESOP 2008 - Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Proceedings. S. 178-192 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 4960 LNCS).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

    Open Access
    8 Zitate (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 FachzeitschriftArtikelBegutachtung

    Open Access
    50 Zitate (Scopus)
  • Computing game values for crash games

    Gawlitza, T. & Seidl, H., 2007, Automated Technology for Verification and Analysis - 5th International Symposium, ATVA 2007, Proceedings. Springer Verlag, S. 177-191 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 4762 LNCS).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

    Open Access
    4 Zitate (Scopus)
  • Cryptographic protocol verification using tractable classes of horn clauses

    Seidl, H. & Verma, K. N., 2007, Program Analysis and Compilation, Theory and Practice - Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday. Springer Verlag, S. 97-119 23 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 4444 LNCS).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

    3 Zitate (Scopus)
  • Interprocedurally analysing linear inequality relations

    Seidl, H., Flexeder, A. & Petter, M., 2007, Programming Languages and Systems - 16th European Symposium on Programming, ESOP 2007. Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Proceedings. Springer Verlag, S. 284-299 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 4421 LNCS).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

    Open Access
    6 Zitate (Scopus)
  • Precise fixpoint computation through strategy iteration

    Gawlitza, T. & Seidl, H., 2007, Programming Languages and Systems - 16th European Symposium on Programming, ESOP 2007. Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Proceedings. Springer Verlag, S. 300-315 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 4421 LNCS).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

    Open Access
    57 Zitate (Scopus)
  • Precise relational invariants through strategy iteration

    Gawlitza, T. & Seidl, H., 2007, Computer Science Logic - 21st International Workshop, CSL 2007 and 16th Annual Conference of the EACSL, Proceedings. Springer Verlag, S. 23-40 18 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 4646 LNCS).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

    31 Zitate (Scopus)
  • 2006

    Exact XML type checking in polynomial time

    Maneth, S., Perst, T. & Seidl, H., 2006, Database Theory, ICDT 2007 - 11th International Conference, Proceedings. S. 254-268 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 4353 LNCS).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

    35 Zitate (Scopus)
  • Infinite-state high-level MSCs: Model-checking and realizability

    Genest, B., Muscholl, A., Seidl, H. & Zeitoun, M., Juni 2006, in: Journal of Computer and System Sciences. 72, 4, S. 617-647 31 S.

    Publikation: Beitrag in FachzeitschriftArtikelBegutachtung

    Open Access
    38 Zitate (Scopus)
  • Interprocedurally analyzing polynomial identities

    Müller-Olm, M., Petter, M. & Seidl, H., 2006, STACS 2006: 23rd Annual Symposium on Theoretical Aspects of Computer Science, Proceedings. Springer Verlag, S. 50-67 18 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 3884 LNCS).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

    13 Zitate (Scopus)
  • 2005

    A generic framework for interprocedural analyses of numerical properties

    Müller-Olm, M. & Seidl, H., 2005, Logic for Programming, Artificial Intelligence, and Reasoning - 11th International Conference, LPAR 2004, Proceedings. Springer Verlag, S. 432 1 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 3452 LNAI).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

  • A generic framework for interprocedural analysis of numerical properties

    Müller-Olm, M. & Seidl, H., 2005, Static Analysis - 12th International Symposium, SAS 2005, Proceedings. Springer Verlag, S. 235-250 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 3672 LNCS).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

    Open Access
    9 Zitate (Scopus)
  • Analysis of modular arithmetic

    Müller-Olm, M. & Seidl, H., 2005, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3444, S. 46-60 15 S.

    Publikation: Beitrag in FachzeitschriftKonferenzartikelBegutachtung

    Open Access
    25 Zitate (Scopus)
  • Checking herbrand equalities and beyond

    Müller-Olm, M., Rüthing, O. & Seidl, H., 2005, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3385, S. 79-96 18 S.

    Publikation: Beitrag in FachzeitschriftKonferenzartikelBegutachtung

    21 Zitate (Scopus)
  • Flat and one-variable clauses: Complexity of verifying cryptographic protocols with single blind copying

    Seidl, H. & Verma, K. N., 2005, Logic for Programming, Artificial Intelligence, and Reasoning - 11th International Conference, LPAR 2004, Proceedings. Springer Verlag, S. 79-94 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 3452 LNAI).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

    9 Zitate (Scopus)
  • Interprocedural herbrand equalities

    Müller-Olm, M., Seidl, H. & Steffen, B., 2005, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3444, S. 31-45 15 S.

    Publikation: Beitrag in FachzeitschriftKonferenzartikelBegutachtung

    13 Zitate (Scopus)
  • On the complexity of equational Horn clauses

    Verma, K. N., Seidl, H. & Schwentick, T., 2005, Automated Deduction - CADE-20 - 20th International Conference on Automated Deduction, Proceedings. Springer Verlag, S. 337-352 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 3632 LNAI).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

    Open Access
    95 Zitate (Scopus)
  • XML type checking with macro tree transducers

    Maneth, S., Berlea, A., Perst, T. & Seidl, H., 2005, S. 283-294. 12 S.

    Publikation: KonferenzbeitragPapierBegutachtung

    77 Zitate (Scopus)
  • 2004

    Annotiertes Lecture Recording

    Ziewer, P. & Seidl, H., 2004, DeLFI 2004: Die e-Learning Fachtagung Informatik, Tagung der Fachgruppe e-Learning der Gesellschaft fur Informatik e.V. (GI). Engels, G. & Seehusen, S. (Hrsg.). Gesellschaft fur Informatik (GI), S. 43-54 12 S. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); Band P-52).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

    2 Zitate (Scopus)
  • A note on Karr's algorithm

    Müller-Olm, M. & Seidl, H., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Díaz, J., Karhumäki, J., Lepistö, A. & Sannella, D. (Hrsg.). Springer Verlag, S. 1016-1028 13 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 3142).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKapitelBegutachtung

    65 Zitate (Scopus)
  • 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 FachzeitschriftArtikelBegutachtung

    79 Zitate (Scopus)
  • Counting in trees for free

    Seidl, H., Schwentick, T., Muscholl, A. & Habermehl, P., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Díaz, J., Karhumäki, J., Lepistö, A. & Sannella, D. (Hrsg.). Springer Verlag, S. 1136-1149 14 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 3142).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKapitelBegutachtung

    69 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 FachzeitschriftArtikelBegutachtung

    Open Access
    47 Zitate (Scopus)
  • Precise interprocedural analysis through linear algebra

    Müller-Olm, M. & Seidl, H., Jan. 2004, in: ACM SIGPLAN Notices. 39, 1, S. 330-341 12 S.

    Publikation: Beitrag in FachzeitschriftKonferenzartikelBegutachtung

    80 Zitate (Scopus)
  • Precise interprocedural analysis through linear algebra

    Müller-Olm, M. & Seidl, H., 2004, in: Conference Record of the Annual ACM Symposium on Principles of Programming Languages. 31, S. 330-341 12 S.

    Publikation: Beitrag in FachzeitschriftKonferenzartikelBegutachtung

    65 Zitate (Scopus)
  • The Succinct Solver Suite

    Nielson, F., Nielson, H. R., Sun, H., Buchholtz, M., Hansen, R. R., Pilegaard, H. & Seidl, H., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jensen, K. & Podelski, A. (Hrsg.). Springer Verlag, S. 251-265 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 2988).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKapitelBegutachtung

    Open Access
    21 Zitate (Scopus)
  • 2003

    Numerical Document Queries

    Seidl, H., Schwentick, T. & Muscholl, A., 2003, S. 155-166. 12 S.

    Publikation: KonferenzbeitragPapierBegutachtung

    53 Zitate (Scopus)
  • 2002

    Automatic complexity analysis

    Nielson, F., Nielson, H. R. & Seidl, H., 2002, Programming Languages and Systems - 11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings. Le Métayer, D. (Hrsg.). Springer Verlag, S. 243-261 19 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 2305).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

    Open Access
    19 Zitate (Scopus)
  • Cryptographic analysis in cubic time

    Nielson, F., Nielson, H. R. & Seidl, H., Juni 2002, in: Electronic Notes in Theoretical Computer Science. 62, S. 7-23 17 S.

    Publikation: Beitrag in FachzeitschriftKonferenzartikelBegutachtung

    Open Access
    17 Zitate (Scopus)
  • Infinite-state high-level MSCs: Model-checking and realizability

    Genest, B., Muscholl, A., Seidl, H. & Zeitoun, M., 2002, Automata, Languages and Programming - 29th International Colloquium, ICALP 2002, Proceedings. Widmayer, P., Eidenbenz, S., Triguero, F., Morales, R., Conejo, R. & Hennessy, M. (Hrsg.). Springer Verlag, S. 657-668 12 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 2380 LNCS).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

    29 Zitate (Scopus)
  • Normalizable horn clauses, strongly recognizable relations, and spi

    Nielson, F., Nielson, H. R. & Seidl, H., 2002, Static Analysis - 9th International Symposium, SAS 2002 Madrid, Spain, September 17-20, 2002 Proceedings. Hermenegildo, M. V. & Puebla, G. (Hrsg.). Springer Verlag, S. 35-2002 1968 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 2477).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

    20 Zitate (Scopus)
  • Polynomial constants are decidable

    Müller-Olm, M. & Seidl, H., 2002, Static Analysis - 9th International Symposium, SAS 2002 Madrid, Spain, September 17-20, 2002 Proceedings. Hermenegildo, M. V. & Puebla, G. (Hrsg.). Springer Verlag, S. 4-19 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 2477).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

    32 Zitate (Scopus)
  • Transforming XML Documents using fxt

    Berlea, A. & Seidl, H., 2002, in: Journal of Computing and Information Technology. 10, 1, S. 19-35 17 S.

    Publikation: Beitrag in FachzeitschriftArtikelBegutachtung

    Open Access
    12 Zitate (Scopus)
  • 2001

    Control-flow analysis in cubic time

    Nielson, F. & Seidl, H., 2001, Programming Languages and Systems - 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Proceedings. Sands, D. (Hrsg.). Springer Verlag, S. 252-268 17 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 2028).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

    22 Zitate (Scopus)
  • On optimal slicing of parallel programs

    Müller-Olm, M. & Seidl, H., 2001, in: Conference Proceedings of the Annual ACM Symposium on Theory of Computing. S. 647-656 10 S.

    Publikation: Beitrag in FachzeitschriftKonferenzartikelBegutachtung

    25 Zitate (Scopus)
  • Synchronized tree languages revisited and new applications

    Gouranton, V., Réty, P. & Seidl, H., 2001, Foundations of Software Science and Computation Structures - 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Proceedings. Honsell, F. & Miculan, M. (Hrsg.). Springer Verlag, S. 214-229 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 2030).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

    Open Access
    15 Zitate (Scopus)
  • Weakly regular relations and applications

    Limet, S., Réty, P. & Seidl, H., 2001, Rewriting Techniques and Applications - 12th International Conference, RTA 2001, Proceedings. Middeldorp, A. (Hrsg.). Springer Verlag, S. 185-200 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 2051 LNCS).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

    2 Zitate (Scopus)
  • 2000

    Constraint-based inter-procedural analysis of parallel programs

    Seidl, H. & Steffen, B., 2000, Programming Languages and Systems - 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Proceedings. Smolka, G. (Hrsg.). Springer Verlag, S. 351-365 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 1782).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

    Open Access
    15 Zitate (Scopus)
  • Interprocedural analyses: a comparison

    Seidl, H. & Fecht, C., Mai 2000, in: Journal of Logic Programming. 43, 2, S. 123-156 34 S.

    Publikation: Beitrag in FachzeitschriftArtikelBegutachtung

    Open Access
    8 Zitate (Scopus)
  • 1999

    Faster solver for general systems of equations

    Fecht, C. & Seidl, H., Nov. 1999, in: Science of Computer Programming. 35, 2, S. 137-161 25 S.

    Publikation: Beitrag in FachzeitschriftArtikelBegutachtung

    Open Access
    35 Zitate (Scopus)
  • ForkLight: A control-synchronous parallel programming language

    Keßler, C. W. & Seidl, H., 1999, High-Performance Computing and Networking - 7th International Conference, HPCN Europe 1999, Proceedings. Sloot, P., Hoekstra, A., Hertzberger, B. & Bubak, M. (Hrsg.). Springer Verlag, S. 525-534 10 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 1593).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

    2 Zitate (Scopus)
  • On distributive fixed-point expressions

    Seidl, H. & Niwińsnski, D., 1999, in: RAIRO - Theoretical Informatics and Applications. 33, 4-5, S. 427-446 20 S.

    Publikation: Beitrag in FachzeitschriftArtikelBegutachtung

    Open Access
    7 Zitate (Scopus)