• Campusvej 55

    5230 Odense M

    Danmark

20032021
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Publikationer 2003 2019

Filtrer
Tidsskriftartikel
2019

Formally Verifying the Solution to the Boolean Pythagorean Triples Problem

Cruz-Filipe, L., Marques-Silva, J. & Schneider-Kamp, P., okt. 2019, I : Journal of Automated Reasoning. 63, 3, s. 695-722 28 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Coloring
Acoustic waves
Color
81 Downloads (Pure)

Sorting networks: To the end and back again

Codish, M., Cruz-Filipe, L., Ehlers, T., Müller, M. & Schneider-Kamp, P., sep. 2019, I : Journal of Computer and System Sciences. 104, s. 184-201 18 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Fil
Sorting Networks
Sorting
Sort
Optimality
Symmetry
2018

Active integrity constraints for general-purpose knowledge bases

Cruz-Filipe, L., Gaspar, G., Nunes, I. & Schneider-Kamp, P., 2018, I : Annals of Mathematics and Artificial Intelligence. 83, 3-4, s. 213-246

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Integrity Constraints
Knowledge Base
Repair
Reasoning
Relational Database
2017
70 Downloads (Pure)

Analyzing Program Termination and Complexity Automatically with AProVE

Giesl, J., Aschermann, C., Brockschmidt, M., Emmes, F., Frohn, F., Fuhs, C., Hensel, J., Otto, C., Plücker, M., Schneider-Kamp, P., Ströder, T., Swiderski, S. & Thiemann, R., 2017, I : Journal of Automated Reasoning. 58, 1, s. 3-31

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
High level languages
Software engineering
67 Downloads (Pure)

Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic

Ströder, T., Giesl, J., Brockschmidt, M., Frohn, F., Fuhs, C., Hensel, J., Schneider-Kamp, P. & Aschermann, C., 2017, I : Journal of Automated Reasoning. 58, 1, s. 33-65

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
Data storage equipment

Formally Proving Size Optimality of Sorting Networks

Cruz-Filipe, L., Larsen, K. S. & Schneider-Kamp, P., 2017, I : Journal of Automated Reasoning. 59, 4, s. 425-454

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

80 Downloads (Pure)

Optimal-depth sorting networks

Bundala, D., Codish, M., Cruz-Filipe, L., Schneider-Kamp, P. & Závodný, J., 2017, I : Journal of Computer and System Sciences. 84, s. 185-204

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Fil

Optimizing Sorting Algorithms by Using Sorting Networks

Codish, M., Cruz-Filipe, L., Nebel, M. & Schneider-Kamp, P., 2017, I : Formal Aspects of Computing. 29, 3, s. 559-579

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2016

Sorting nine inputs requires twenty-five comparisons

Codish, M., Cruz-Filipe, L., Frank, M. & Schneider-Kamp, P., 2016, I : Journal of Computer and System Sciences. 82, 3, s. 551-563

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2012

SAT Solving for Termination Proofs with Recursive Path Orders and Dependency Pairs

Codish, M., Giesl, J., Schneider-Kamp, P. & Thiemann, R., 2012, I : Journal of Automated Reasoning. 49, 1, s. 53-93

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2011

Automated Termination Proofs for Haskell by Term Rewriting

Giesl, J., Raffelsieper, M., Schneider-Kamp, P., Swiderski, S. & Thiemann, R., 2011, I : A C M Transactions on Programming Languages and Systems. 33, 2, s. Article 7 39 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Polytool: Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs

Nguyen, M. T., De Schreye, D., Giesl, J. & Schneider-Kamp, P., 2011, I : Theory and Practice of Logic Programming. 11, s. 33-63

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Proving Termination by Dependency Pairs and Inductive Theorem Proving

Fuhs, C., Giesl, J., Schneider-Kamp, P. & Parting, M., 2011, I : Journal of Automated Reasoning. 47, 2, s. 133-160

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2010

Automated Termination Analysis for Logic Programs with Cut

Schneider-Kamp, P., Giesl, J., Ströder, T., Serebrenik, A. & Thiemann, R., 2010, I : Theory and Practice of Logic Programming. 10, 4-6, s. 365 381 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Static Terrmination Analysis for Prolog Using Term Rewriting and SAT Solving

Schneider-Kamp, P., 2010, I : Kuenstliche Intelligenz. 24, 1, s. 79-81

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2009

Automated Termination Proofs for Logic Programs by Term Rewriting

Schneider-Kamp, P., Giesl, J., Serebrenik, A. & Thiemann, R., 2009, I : ACM Transactions on Computational Logic. 11, 1, s. Article 2 52 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2008

Adding constants to string rewriting

Thiemann, R., Zantema, H., Giesl, J. & Schneider-Kamp, P., 1. feb. 2008, I : Applicable Algebra in Engineering, Communications and Computing. 19, 1, s. 27-38 12 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Unary
Rewriting
Strings
Termination
Term Rewriting
2006

Mechanizing and improving dependency pairs

Giesl, J., Thiemann, R., Schneider-Kamp, P. & Falke, S., 1. okt. 2006, I : Journal of Automated Reasoning. 37, 3, s. 155-203 49 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2004

Automated termination proofs with AProVE

Giesl, J., Thiemann, R., Schneider-Kamp, P. & Falke, S., 1. dec. 2004, I : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3091, s. 210-220 11 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Graphical user interfaces
Termination
Graphical User Interface
Simplification
Efficient Algorithms