( en | de | ru )

 

Disambiguierung von "Korovin, Konstantin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities.

, , , , , , , , , und . SecDev, Seite 52-58. IEEE, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Konstantin Hermann

Konstantin Wiegandt

Konstantin Troshin

Konstantin Strauch

Konstantin Heinroth

 

Weitere Publikationen von Autoren mit dem selben Namen

Knuth-Bendix constraint solving is NP-complete., und . ACM Trans. Comput. Log., 6 (2): 361-388 (2005)Random Databases and Threshold for Monotone Non-recursive Datalog., und . MFCS, Volume 3618 von Lecture Notes in Computer Science, Seite 591-602. Springer, (2005)Non-cyclic Sorts for First-Order Satisfiability.. FroCos, Volume 8152 von Lecture Notes in Computer Science, Seite 214-228. Springer, (2013)GoRRiLA and Hard Reality., und . Ershov Memorial Conference, Volume 7162 von Lecture Notes in Computer Science, Seite 243-250. Springer, (2011)Instantiations, Zippers and EPR Interpolation., , , und . LPAR (short papers), Volume 26 von EPiC Series in Computing, Seite 35-41. EasyChair, (2013)Optimization of Fan-Beam Radiation Pattern of Cylindrical Phased Array., , , , und . ICUMT, Seite 224-229. IEEE, (2021)Heterogeneous Heuristic Optimisation and Scheduling for First-Order Theorem Proving., und . CICM, Volume 12833 von Lecture Notes in Computer Science, Seite 107-123. Springer, (2021)ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution)., , , , , , , , , und 2 andere Autor(en). TACAS (3), Volume 14572 von Lecture Notes in Computer Science, Seite 376-380. Springer, (2024)SMLP: Symbolic Machine Learning Prover (User Manual)., , und . CoRR, (2024)AC Simplifications and Closure Redundancies in the Superposition Calculus., und . TABLEAUX, Volume 12842 von Lecture Notes in Computer Science, Seite 200-217. Springer, (2021)