20032021
If you made any changes in Pure these will be visible here soon.

Research Output 2003 2019

2019
9 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. (eds.). SCITEPRESS Digital Library, Vol. 3. p. 139-145 7 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
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., Oct 2019, In : Journal of Automated Reasoning. 63, 3, p. 695-722 28 p.

Research output: Contribution to journalJournal articleResearchpeer-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.

Research output: Contribution to conference without publisher/journalPaperResearchpeer-review

Open Access

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.

Research output: Contribution to conference without publisher/journalPaperCommunication

95 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, In : Journal of Computer and System Sciences. 104, p. 184-201 18 p.

Research output: Contribution to journalJournal articleResearchpeer-review

File
Sorting Networks
Sorting
Sort
Optimality
Symmetry

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

Mehrooz, G., Ebeid, E. & Schneider-Kamp, P., 1. Aug 2019, 2019 22nd Euromicro Conference on Digital System Design (DSD). Konofaos, N. & Kitsos, P. (eds.). IEEE, p. 572-579

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Systems analysis
Internet
Unmanned aerial vehicles (UAV)
Servers
Energy resources

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

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

Research output: Contribution to conference without publisher/journalPaperResearchpeer-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, In : Annals of Mathematics and Artificial Intelligence. 83, 3-4, p. 213-246

Research output: Contribution to journalJournal articleResearchpeer-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 p.

Research output: Contribution to conference without publisher/journalPaperResearchpeer-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.

Research output: Contribution to conference without publisher/journalPaperResearchpeer-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. (eds.). Springer, p. 399-420 (Communications in Computer and Information Science, Vol. 631).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Repair
Semantics
Specifications
90 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, In : Journal of Automated Reasoning. 58, 1, p. 3-31

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
High level languages
Software engineering
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, In : Journal of Automated Reasoning. 58, 1, p. 33-65

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Data storage equipment
83 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. (ed.). Springer, p. 220-236 (Lecture Notes in Computer Science, Vol. 10395).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

File
79 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. (eds.). Springer, Vol. Part I. p. 118-135 (Lecture Notes in Computer Science, Vol. 10205).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

File
Processing

Formally Proving Size Optimality of Sorting Networks

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

Research output: Contribution to journalJournal articleResearchpeer-review

62 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. (eds.). EasyChair Publications, p. 509-522 (EPiC Series in Computing, Vol. 46).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
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. (eds.). Springer, p. 164-170 (Lecture Notes in Computer Science, Vol. 10499).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

97 Downloads (Pure)

Optimal-depth sorting networks

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

Research output: Contribution to journalJournal articleResearchpeer-review

File
Sorting Networks
Sorting
Optimality
Network layers
Computer programming

Optimizing Sorting Algorithms by Using Sorting Networks

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

Research output: Contribution to journalJournal articleResearchpeer-review

Sorting Networks
Sorting algorithm
Sorting
Quicksort
Instruction Level Parallelism
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. (eds.). Springer, p. 98-112 (Lecture Notes in Computer Science, Vol. 10024).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Repair
Ontology

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. (eds.). Springer, p. 235-254 (Lecture Notes in Computer Science, Vol. 9616).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Sorting nine inputs requires twenty-five comparisons

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

Research output: Contribution to journalJournal articleResearchpeer-review

Sorting Networks
Sorting
Nonexistence
Optimality
Corollary
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. (ed.). Springer, p. 127-142 (Lecture Notes in Computer Science, Vol. 9527).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Sorting
Program processors

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. (eds.). Springer, p. 154-169 (Lecture Notes in Computer Science, Vol. 9236).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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. (eds.). Springer, p. 55-70 (Lecture Notes in Computer Science, Vol. 9150).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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. (eds.). SCITEPRESS Digital Library, Vol. 3. p. 17-26

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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. (ed.). Springer, p. 664-675 (Lecture Notes in Computer Science, Vol. 8977).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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, p. 75-85

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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

Research output: Book/anthology/thesis/reportBookResearchpeer-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. (eds.). Springer, p. 208-223 16 p. (Lecture Notes in Computer Science, Vol. 8562).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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

Research output: Book/anthology/thesis/reportBookResearchpeer-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. (eds.). Springer, p. 184-191 8 p. (Lecture Notes in Computer Science, Vol. 8562).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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, p. 359-366

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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, p. 186-193

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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. (ed.). Springer, Vol. 7844. 1 p. (Lecture Notes in Computer Science, Vol. 7844).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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, p. 237-252 (Lecture Notes in Computer Science, Vol. 7225).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Semantics
Logic programming
Substitution reactions

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

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

Research output: Contribution to journalJournal articleResearchpeer-review

Experiments

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

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2011

Automated Termination Proofs for Haskell by Term Rewriting

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

Research output: Contribution to journalJournal articleResearchpeer-review

Computer programming languages

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, p. 184-199 (Lecture Notes in Computer Science, Vol. 6564).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Experiments

Foreword

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

Research output: Contribution to journalEditorialResearchpeer-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, In : Theory and Practice of Logic Programming. 11, p. 33-63

Research output: Contribution to journalJournal articleResearchpeer-review

Logic Programs
Termination
Polynomials
Polynomial
Paradigm

Proving Termination by Dependency Pairs and Inductive Theorem Proving

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

Research output: Contribution to journalJournal articleResearchpeer-review

Theorem proving
2010

Automated Termination Analysis for Logic Programs with Cut

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

Research output: Contribution to journalJournal articleResearchpeer-review

Logic Programs
Termination
Processing
Preprocessing
Prolog

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. (eds.). Springer, p. 217-232 (Lecture Notes in Computer Science, Vol. 6397).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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, Vol. 44.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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, Vol. 6605. 23 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Static Terrmination Analysis for Prolog Using Term Rewriting and SAT Solving

Schneider-Kamp, P., 2010, In : Kuenstliche Intelligenz. 24, 1, p. 79-81

Research output: Contribution to journalJournal articleResearchpeer-review

earning a doctorate
logic
ranking

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. p. 71-84 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 6175 LNCS).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Cryptography
Networks (circuits)