BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Peter Schneider-Kamp
SearchCollections
Map detail
Peter Schneider-Kamp20 visible / 20 total nodes / 48 links

Drag to move · Scroll or pinch to zoom · Select a node for details

Related contextCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipAuthorshipWorks onWorks onWorks onWorks onAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalAuthorshipAuthorshipPeter Schneider-KampAPeter Schneider-KampResearcherThe Moltbook Files: A Harmless Slopocalypse or Humanity's Last ExperimentWThe Moltbook Files: A H...preprint / 2026William BrachAWilliam BrachResearcherFederico TorrielliAFederico TorrielliResearcherStine Lyngsø BeltoftAStine Lyngsø BeltoftResearcherAnnemette Brok PirchertAAnnemette Brok PirchertResearcherLukas Galke PoechALukas Galke PoechResearcherAutomated Termination Analysis for Logic Programs with CutWAutomated Termination A...preprint / 2010Computation and LanguageTComputation and Language14115 worksArtificial IntelligenceTArtificial Intelligence22915 worksFrom Monolith to Microservices: Software Architecture for Autonomous UAV Infrastructure InspectionWFrom Monolith to Micros...preprint / 2022Multi-Sense Language ModellingWMulti-Sense Language Mo...preprint / 2022Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated ProofWOptimizing a Certified ...preprint / 2015Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof CheckerWFormalizing Size-Optima...preprint / 2015DRHDR: A Dual branch Residual Network for Multi-Bracket High Dynamic Range ImagingWDRHDR: A Dual branch Re...preprint / 2022Group Communication Patterns for High Performance Computing in ScalaWGroup Communication Pat...preprint / 2014Sorting Networks: the End GameWSorting Networks: the E...preprint / 2014The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer PrefixesWThe Quest for Optimal S...preprint / 2014Optimal Base Encodings for Pseudo-Boolean ConstraintsWOptimal Base Encodings ...preprint / 2011Loops under Strategies ... ContinuedWLoops under Strategies ...preprint / 2010
Person19 links

Peter Schneider-Kamp

Researcher

PaperThe Moltbook Files: A Harmless Slopocalypse or Humanity's Last ExperimentAuthorship / preprint / 2026PersonWilliam BrachCo-authorship / ResearcherPersonFederico TorrielliCo-authorship / ResearcherPersonStine Lyngsø BeltoftCo-authorship / ResearcherPersonAnnemette Brok PirchertCo-authorship / ResearcherPersonLukas Galke PoechCo-authorship / ResearcherPaperAutomated Termination Analysis for Logic Programs with CutAuthorship / preprint / 2010TopicComputation and LanguageWorks on / 14115 works

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)