• Campusvej 55

    5230 Odense M

    Danmark

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

Publikationer 2003 2019

2019

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

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

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

Support vector machines
Neural networks
Information systems
XML
Learning systems

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

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

Software Architecture for Autonomous UAVs for Power line Inspection

Shi, L., Hernandez Marcano, N. J., Jacobsen, R. H., Mehrooz, G., Ebeid, E. & Schneider-Kamp, P., 30. aug. 2019.

Publikation: Konferencebidrag uden forlag/tidsskriftPaperFormidling

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

System Design of an Open-Source Cloud-Based Framework for Internet of Drones Applications

Mehrooz, G., Ebeid, E. & Schneider-Kamp, P., 2019.

Publikation: Konferencebidrag uden forlag/tidsskriftPaperForskningpeer review

Systems analysis
Internet
Unmanned aerial vehicles (UAV)
Servers
Energy resources
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

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

The ‘gravitational sink’ for big data exploration

Somoza Sanchez, V. V., Schneider-Kamp, P. & Goduscheit, R. C., 2. dec. 2018.

Publikation: Konferencebidrag uden forlag/tidsskriftPaperForskningpeer review

2017

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

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
65 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
63 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

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

55 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

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

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

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

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

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

2015

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

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

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

repAIrC: A Tool for Ensuring Data Consistency by Means of Active Integrity Constraints

Cruz-Filipe, L., Franz, M., Hakhverdyan, A., Ludovico, M., Nunes, I. & Schneider-Kamp, P., 12. nov. 2015, Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K2015). Fred, A., Dietz, J., Aveiro, D., Liu, K. & Filipe, J. (red.). SCITEPRESS Digital Library, Bind 3. s. 17-26

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

Sorting Networks: The End Game

Codish, M., Cruz-Filipe, L. & Schneider-Kamp, P., 2015, Proceedings of the 9th International Conference on Language and Automata Theory and Applications (LATA 2015). Dediu et al., A-H. (red.). Springer, s. 664-675 (Lecture Notes in Computer Science, Bind 8977).

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

2014

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

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

The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer Prefixes

Codish, M., Cruz-Filipe, L. & Schneider-Kamp, P., 2014, Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE, s. 359-366

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

Twenty-Five Comparators is Optimal when Sorting Nine Inputs (and Twenty-Nine for Ten)

Codish, M., Frank, M., Cruz-Filipe, L. & Schneider-Kamp, P., 2014, Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence. IEEE, s. 186-193

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

2013

Symbolic Evaluation Graphs and Term Rewriting — A General Methodology for Analyzing Logic Programs

Giesl, J., Ströder, T., Schneider-Kamp, P., Emmes, F. & Fuhs, C., 2013, Logic-Based Program Synthesis and Transformation. Albert, E. (red.). Springer, Bind 7844. 1 s. (Lecture Notes in Computer Science, Bind 7844).

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

2012

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

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

Symbolic Evaluation Graphs and Term Rewriting - A General Methodology for Analyzing Logic Programs

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

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

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

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

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

Lazy abstraction for size-change termination

Codish, M., Fuhs, C., Giesl, J. & Schneider-Kamp, P., 2010

Publikation: Bog/antologi/afhandling/rapportBogForskningpeer review

Lazy Abstractions for Size-Change Termination

Codish, M., Fuhs, C., Giesl, J. & Schneider-Kamp, P., 2010, I : Lecture Notes in Computer Science. 6397, s. 217-232

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

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

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

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

Synthesizing shortest linear straight-line programs over GF(2) using SAT

Fuhs, C. & Schneider-Kamp, P., 2. aug. 2010, Theory and Applications of Satisfiability Testing - 13th International Conference, SAT 2010, Proceedings. s. 71-84 14 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 6175 LNCS).

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

Cryptography
Networks (circuits)