( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Neural Networks, Secure by Construction - An Exploration of Refinement Types.

, , , , и . APLAS, том 12470 из Lecture Notes in Computer Science, стр. 67-85. Springer, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Robert Wille

Towards a design flow for reversible logic. Uni Bremen, (2009)

Robert Klöfkorn

Numerics for evolution equations: a general interface based design concept. Uni Freiburg, (2009)

Robert Braun

Referenzmodellierung: Grundlegung und Evaluation der Technik des Modell-Konfigurationsmanagements. TU Dresden, (2010)

Robert Wagner

Inkrementelle Modellsynchronisation. Uni Paderborn, (2009)

Robert Zangenfeind

Das Bedeutung-Text-Modell: Wörterbuch und Grammatik einer integralen Sprachbeschreibung. Uni München, (2009)
 

Другие публикации лиц с тем же именем

Neural Networks, Secure by Construction - An Exploration of Refinement Types., , , , и . APLAS, том 12470 из Lecture Notes in Computer Science, стр. 67-85. Springer, (2020)From parametricity to conservation laws, via Noether's theorem.. POPL, стр. 491-502. ACM, (2014)Parameterised Notions of Computation.. MSFP@MPC, BCS, (2006)A lambda-Calculus for Resource Separation.. ICALP, том 3142 из Lecture Notes in Computer Science, стр. 158-170. Springer, (2004)The Vehicle Tutorial: Neural Network Verification with Vehicle., , , , , , , , и . FoMLAS@CAV, том 16 из Kalpa Publications in Computing, стр. 1-5. EasyChair, (2023)Syntax and Semantics of Quantitative Type Theory.. LICS, стр. 56-65. ACM, (2018)When Is a Type Refinement an Inductive Type?, , и . FoSSaCS, том 6604 из Lecture Notes in Computer Science, стр. 72-87. Springer, (2011)Fibrational Induction Meets Effects., , , и . FoSSaCS, том 7213 из Lecture Notes in Computer Science, стр. 42-57. Springer, (2012)A relationally parametric model of dependent type theory., , и . POPL, стр. 503-516. ACM, (2014)Amortised Resource Analysis with Separation Logic.. ESOP, том 6012 из Lecture Notes in Computer Science, стр. 85-103. Springer, (2010)