• Campusvej 55

    5230 Odense M

    Danmark

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

Publikationer 2003 2019

Active Integrity Constraints: from Theory to Implementation

Cruz-Filipe, L., Franz, M., Hakhverdyan, A., Ludovico, M., Nunes, I. & Schneider-Kamp, P., 2017, Knowledge Discovery, Knowledge Engineering and Knowledge Management: Proceedings of 7th the International Join Conference on Knowledge Disvovery, Knowledge Engineering, and Knowledge Management. Fred, A., Dietz, J. L. G., Aveiro, D., Liu, K. & Filipe, J. (red.). Springer, s. 399-420 (Communications in Computer and Information Science, Bind 631).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Repair
Semantics
Specifications

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

Active Integrity Constraints for Multi-context Systems

Cruz-Filipe, L., Gaspar, G., Nunes, I. & Schneider-Kamp, P., 2016, Knowledge Engineering and Knowledge Management: 20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016, Proceedings. Blomqvist, E., Ciancarini, P., Poggi, F. & Vitali, F. (red.). Springer, s. 98-112 (Lecture Notes in Computer Science, Bind 10024).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Repair
Ontology

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

A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog

Ströder, T., Emmes, F., Schneider-Kamp, P., Giesl, J. & Fuhs, C., 2012, Proceedings of the 14th International Symposium on Principles and Practice of Declarative Programming (PPDP '12). Association for Computing Machinery, s. 237-252 (Lecture Notes in Computer Science, Bind 7225).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Semantics
Logic programming
Substitution reactions
5 Downloads (Pure)

A mixed neural network and support vector machine model for tender creation in the European union TED database

Kayte, S. & Schneider-Kamp, P., 2019, Proceedings of the 11th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2019)). Bernardino, J., Salgado, A. & Filipe, J. (red.). SCITEPRESS Digital Library, Bind 3. s. 139-145 7 s.

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil
Support vector machines
Neural networks
Information systems
XML
Learning systems
86 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

Applying Sorting Networks to Synthesize Optimized Sorting Libraries

Codish, M., Cruz-Filipe, L., Nebel, M. & Schneider-Kamp, P., dec. 2015, Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Falaschi, M. (red.). Springer, s. 127-142 (Lecture Notes in Computer Science, Bind 9527).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Sorting
Program processors

AProVE 1.2: Automatic termination proofs in the dependency pair framework

Giesl, J., Schneider-Kamp, P. & Thiemann, R., 1. jan. 2006, Automated Reasoning - Third International Joint Conference, IJCAR 2006, Proceedings. Springer VS, s. 281-286 6 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 4130 LNAI).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Automated termination analysis for haskell: From term rewriting to programming languages

Giesl, J., Swiderski, S., Schneider-Kamp, P. & Thiemann, R., 1. jan. 2006, Term Rewriting and Applications - 17th International Conference, RTA 2006, Proceedings. Springer VS, s. 297-312 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 4098 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Computer programming languages

Automated termination analysis for logic programs by term rewriting

Schneider-Kamp, P., Giesl, J., Serebrenik, A. & Thiemann, R., 28. aug. 2007, Logic-Based Program Synthesis and Transformation - 16th International Symposium, LOPSTR 2006 Revised Selected Papers. s. 177-193 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 4407 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Logic programming
Acoustic waves

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

Logic Programs
Termination
Processing
Preprocessing
Prolog

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

Computer programming languages

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

Term Rewriting
Logic programming
Logic Programs
Termination
Acoustic waves

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
87 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

Deciding innermost loops

Thiemann, R., Giesl, J. & Schneider-Kamp, P., 13. aug. 2008, Rewriting Techniques and Applications - 19th International Conference, RTA 2008, Proceedings. s. 366-380 15 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 5117 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Dependency Triples for Improving Termination Analysis of Logic Programs with Cut

Ströder, T., Schneider-Kamp, P. & Giesl, J., 2011, Proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR '10). Springer, s. 184-199 (Lecture Notes in Computer Science, Bind 6564).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Experiments

Design thinking for website optimization. A case study.

Somoza Sanchez, V. V., Andersen, F., Schneider-Kamp, P. & Goduscheit, R. C., 17. jan. 2018. 24 s.

Publikation: Konferencebidrag uden forlag/tidsskriftPaperForskningpeer review

Websites
Industry
Innovation
Big data
Web Design
75 Downloads (Pure)

Efficient Certified RAT Verification

Cruz-Filipe, L., Heule, M., Hunt, Jr, W., Kaufmann, M. & Schneider-Kamp, P., 2017, Automated Deduction - CADE 26: Proceedings of the 26th International Conference on Automated Deduction. de Moura, L. (red.). Springer, s. 220-236 (Lecture Notes in Computer Science, Bind 10395).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Fil
75 Downloads (Pure)

Efficient Certified Resolution Proof Checking

Cruz-Filipe, L., Marques-Silva, J. & Schneider-Kamp, P., 2017, Tools and Algorithms for the Construction and Analysis of Systems: Proceedings of the 3rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017. Legay, A. & Margaria, T. (red.). Springer, Bind Part I. s. 118-135 (Lecture Notes in Computer Science, Bind 10205).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Fil
Processing

Foreword

Hanus, M. & Schneider-Kamp, P., 2. sep. 2011, I : PPDP'11 - Proceedings of the 2011 Symposium on Principles and Practices of Declarative Programming.

Publikation: Bidrag til tidsskriftLederForskningpeer review

Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker

Cruz-Filipe, L. & Schneider-Kamp, P., 2015, Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings. Urban, C. & Zhang, X. (red.). Springer, s. 154-169 (Lecture Notes in Computer Science, Bind 9236).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

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

60 Downloads (Pure)

Formally Proving the Boolean Triples Conjecture

Cruz-Filipe, L. & Schneider-Kamp, P., 2017, Proceedings of LPAR-21: 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Eiter, T. & Sands, D. (red.). EasyChair Publications, s. 509-522 (EPiC Series in Computing, Bind 46).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil
Pythagorean
Natural numbers
Coloring
Encoding
Logic

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

Group Communication Patterns for High Performance Computing in Scala

Hargreaves, F. P., Merkle, D. & Schneider-Kamp, P., 2014, Proceedings of the 3rd ACM SIGPLAN Workshop on Functional High-Performance Computing. Association for Computing Machinery, s. 75-85

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

How to Get More Out of Your Oracles

Cruz-Filipe, L., Larsen, K. S. & Schneider-Kamp, P., 2017, Proceedings of the 8th International Conference on Interactive Theorem Proving. Ayala-Rincón, M. & Muñoz, C. A. (red.). Springer, s. 164-170 (Lecture Notes in Computer Science, Bind 10499).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Improved modular termination proofs using dependency pairs

Thiemann, R., Giesl, J. & Schneider-Kamp, P., 9. dec. 2004, I : Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science). 3097, s. 75-90 16 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Experiments

Improving context-sensitive dependency Pairs

Alarcón, B., Emmes, F., Fuhs, C., Giesl, J., Gutiérrez, R., Lucas, S., Schneider-Kamp, P. & Thiemann, R., 31. dec. 2008, Logic for Programming, Artificial Intelligence, and Reasoning - 15th International Conference, LPAR 2008, Proceedings. s. 636-651 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 5330 LNAI).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Improving dependency Pairs

Giesl, J., Thiemann, R., Schneider-Kamp, P. & Falke, S., 1. jan. 2003, Logic for Programming, Artificial Intelligence, and Reasoning. Voronkov, A. & Vardi, M. Y. (red.). Springer VS, s. 167-182 16 s. (Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Bind 2850).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Integrity Constraints for General-Purpose Knowledge Bases

Cruz-Filipe, L., Nunes, I. & Schneider-Kamp, P., 2016, FoIKS 2016: Proceedings of the 9th International Symposium on Foundations of Information and Knowledge Systems. Gyssens, M. & Simari, G. (red.). Springer, s. 235-254 (Lecture Notes in Computer Science, Bind 9616).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Is Big Data Overrated? The underestimated innovation challenges of BD management

Somoza Sanchez, V. V., Schneider-Kamp, P., Goduscheit, R. C. & Gerstlberger, W., 17. jan. 2019.

Publikation: Konferencebidrag uden forlag/tidsskriftPaperForskningpeer review

Åben adgang

Lazy Abstractions for Size-Change Termination

Codish, M., Fuhs, C., Giesl, J. & Schneider-Kamp, P., 2010, International Conference on Logic for Programming Artificial Intelligence and Reasoning. Fermüller, C. G. & Voronkov, A. (red.). Springer, s. 217-232 (Lecture Notes in Computer Science, Bind 6397).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Experiments

Loops under Strategies ... Continued

Thiemann, R., Sternagel, C., Giesl, J. & Schneider-Kamp, P., 2010, Proceedings of the Proceedings of the 1st International Workshop on Strategies in Rewriting, Proving, and Programming (IWS '10). Electronic Proceedings in Theoretical Computer Science, Bind 44.

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Maximal termination

Fuhs, C., Giesl, J., Middeldorp, A., Schneider-Kamp, P., Thiemann, R. & Zankl, H., 13. aug. 2008, Rewriting Techniques and Applications - 19th International Conference, RTA 2008, Proceedings. s. 110-125 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 5117 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Polynomials

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

Optimal Base Encodings for Pseudo-Boolean Constraints

Codish, M., Fekete, Y., Fuhs, C. & Schneider-Kamp, P., 2010, Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '11). Springer, Bind 6605. 23 s.

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

92 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
Sorting Networks
Sorting
Optimality
Network layers
Computer programming

Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof

Cruz-Filipe, L. & Schneider-Kamp, P., 2015, Intelligent Computer Mathematics: Proceedings of the 8th Conference on Intelligent Computer Mathematics (CICM 2015). Kerber, M., Carette, J., Kaliszyk, C., Rabe, F. & Sorge, V. (red.). Springer, s. 55-70 (Lecture Notes in Computer Science, Bind 9150).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

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

Sorting Networks
Sorting algorithm
Sorting
Quicksort
Instruction Level Parallelism

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

Logic Programs
Termination
Polynomials
Polynomial
Paradigm

Proving and disproving termination of higher-order functions

Giesl, J., Thiemann, R. & Schneider-Kamp, P., 1. dec. 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). s. 216-231 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 3717 LNAI).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

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., 2014, Automated Reasoning: Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR '14). Demri, S., Kapur, D. & Weidenbach, C. (red.). Springer, s. 208-223 16 s. (Lecture Notes in Computer Science, Bind 8562).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

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., 2014

Publikation: Bog/antologi/afhandling/rapportBogForskningpeer review

Proving termination by bounded increase

Giesl, J., Thiemann, R., Swiderski, S. & Schneider-Kamp, P., 15. okt. 2007, Automated Deduction - CADE-21 - 21st International Conference on Automated Deduction, Proceedings. s. 443-459 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 4603 LNAI).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer 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

Theorem proving

Proving Termination of Integer Term Rewriting

Fuhs, C., Giesl, J., Plücker, M., Schneider-Kamp, P. & Falke, S., 2009, Proceedings of the 20th International Conference on Rewriting Techniques and Applications (RTA '09). Springer, 15 s.

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Proving Termination of Programs Automatically with AProVE

Giesl, J., Brockschmidt, M., Emmes, F., Frohn, F., Fuhs, C., Otto, C., Plücker, M., Schneider-Kamp, P., Ströder, T., Swiderski, S. & Thiemann, R., 2014, Automated Reasoning: Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR '14). Demri, S., Kapur, D. & Weidenbach, C. (red.). Springer, s. 184-191 8 s. (Lecture Notes in Computer Science, Bind 8562).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Proving termination of programs automatically with AProVE

Giesl, J., Brockschmidt, M., Emmes, F., Frohn, F., Fuhs, C., Otto, C., Plücker, M., Schneider-Kamp, P., Ströder, T., Swiderski, S. & Thiemann, R., 2014

Publikation: Bog/antologi/afhandling/rapportBogForskningpeer review