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

Fingerprint Dive into the research topics where Peter Schneider-Kamp is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 4 Similar Profiles
Sorting Networks Mathematics
Integrity Constraints Mathematics
High level languages Engineering & Materials Science
Coloring Engineering & Materials Science
Sorting Engineering & Materials Science
Knowledge Base Mathematics
Websites Engineering & Materials Science
Software engineering Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2009 2019

  • 27 Article in proceedings
  • 16 Journal article
  • 5 Paper
  • 1 Conference article

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

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

Activities 2001 2013

digital high school exams for HHX (External organisation)

Peter Schneider-Kamp (Member)
2013 → …

Activity: MembershipMembership of commitees, commissions, boards, councils, associations, organisations, or similar

inventor of SDU Scribble

Peter Schneider-Kamp (Participant)
20122014

Activity: Other activitiesOther

Programme Committee: Internatinal ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2012) (Journal)

Peter Schneider-Kamp (Peer reviewer)
17. Nov 2011 → …

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

13th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

Peter Schneider-Kamp (Organizer)
20. Jul 201122. Jul 2011

Activity: Attending an eventConference organisation or participation

21st International Symposium on Logic-Based Program-Synthesis and Transformation (LOPSTR 2011)

Peter Schneider-Kamp (Organizer)
18. Jul 201120. Jul 2011

Activity: Attending an eventConference organisation or participation

Projects 2018 2021

Press / Media

STORT & SMÅT

Peter Schneider-Kamp

25/09/2019

1 Media contribution

Press/Media: Press / Media

Hvad skal AI egentlig koste?

Peter Schneider-Kamp

23/07/2019

1 Media contribution

Press/Media: Press / Media

Professor i kunstig intelligens: Hypen er berettiget

Peter Schneider-Kamp

09/05/2019

1 Media contribution

Press/Media: Press / Media

Prizes

Friedrich-Wilhelm-Preis

Peter Schneider-Kamp (Recipient), 27. Nov 2009

Prize: Prizes, scholarships, distinctions

Researcher Award 2014

Peter Schneider-Kamp (Recipient), 30. Apr 2014

Prize: Prizes, scholarships, distinctions

Teaching Award 2012

Peter Schneider-Kamp (Recipient), 4. Oct 2012

Prize: Prizes, scholarships, distinctions