Graph explorer

Research map

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

Samuel Pastva
Map detail
Samuel Pastva13 visible / 13 total nodes / 46 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-authorshipRelated contextWorks onWorks onAuthorshipWorks onWorks onAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalTopic signalRelated contextAuthorshipSamuel PastvaASamuel PastvaResearcherBAss: Symbolic Reasoning in Abstract Dialectical FrameworksWBAss: Symbolic Reasonin...preprint / 2026Inference of Qualitative Models from Steady-State Data via Weighted MaxSMTWInference of Qualitativ...preprint / 2026Van-Giang TrinhAVan-Giang TrinhResearcherOndřej HuvarAOndřej HuvarResearcherNikola BenešANikola BenešResearcherMartin JonášAMartin JonášResearcherDavid ŠafránekADavid ŠafránekResearcherMachine LearningTMachine Learning49008 worksLogic in Computer ScienceTLogic in Computer Science2208 worksq-bio.MNTq-bio.MN8 worksRobust Control of Partially Specified Boolean NetworksWRobust Control of Parti...preprint / 2022Parallel One-Step Control of Parametrised Boolean NetworksWParallel One-Step Contr...preprint / 2020
Person12 links

Samuel Pastva

Researcher