Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Swen Jacobs
Parameterized Synthesis
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Topology-Specific Synthesis of Self-Stabilizing Parameterized Systems With Constant-Space Processes
IEEE Transactions on Software Engineering
Software
Parameterized Proof Complexity
Computational Complexity
Mathematics
Computational Mathematics
Theoretical Computer Science
Computational Theory
Parameterized Hash Functions
Annales UMCS, Informatica
Invariant Synthesis for Verification of Parameterized Cyber-Physical Systems With Applications to Aerospace Systems
Parameterized Codes Over Cycles
Analele Stiintifice ale Universitatii Ovidius Constanta, Seria Matematica
Applied Mathematics
Analysis
Separation of Delayed Parameterized Sources
Parameterized Heuristics for Incomplete Weighted CSPs
Proceedings of the AAAI Conference on Artificial Intelligence
A Design for Parameterized Roles
Leopoldt’s Conjecture in Parameterized Families
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
