Graph explorer

Research map

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

Weighted Programming
Map detail
Weighted Programming9 visible / 9 total nodes / 12 links

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

Related contextRelated contextRelated contextAuthorshipWorks onAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalAuthorshipWeighted ProgrammingWWeighted Programmingpreprint / 2022Kevin BatzAKevin BatzResearcherAdrian GallusAAdrian GallusResearcherBenjamin Lucien KaminskiABenjamin Lucien KaminskiResearcherJoost-Pieter KatoenAJoost-Pieter KatoenResearcherMachine LearningTMachine Learning49008 worksLogic in Computer ScienceTLogic in Computer Science2208 worksProgramming LanguagesTProgramming Languages1239 worksTobias WinklerATobias WinklerResearcher
Paper8 links

Weighted Programming

preprint / 2022