- Radboud Repository
- →
- Browsing by Author
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing by Author "Krebbers, R.J.M."
Now showing items 1-15 of 15
-
A Formal C Memory Model for Separation Logic 2016, Article / Letter to editor (Journal of Automated Reasoning, vol. 57, iss. 4, (2016), pp. 319-387) -
Moessner’s Theorem: An Exercise in Coinductive Reasoning in Coq Krebbers, R. ; Parlant, L.; Silva, A.2016, Article in monograph or in proceedings (Ábrahám, E.; Bonsangue, M.; Johnsen, B.E. (ed.), Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, pp. 309-324)
-
-
A Typed C11 Semantics for Interactive Theorem Proving 2015, Article in monograph or in proceedings (Leroy, X. (ed.), CPP'15 : Proceedings of the 2015 Conference on Certified Programs and Proofs, pp. 15-27) -
Formal C semantics: CompCert and the C standard Krebbers, R. ; Leroy, X.; Wiedijk, F.2014, Part of book or chapter of book (Klein, G. (ed.), Interactive Theorem Proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings, pp. 543-548)
-
Separation Algebras for C Verification in Coq 2014, Part of book or chapter of book (Giannakopoulou, D.; Kroening, D. (ed.), Verified Software: Theories, Tools and Experiments, pp. 150-166)
-
An Operational and Axiomatic Semantics for Non-determinism and Sequence Points in C 2014, Article / Letter to editor (Sigplan Notices, vol. 49, iss. 1, (2014), pp. 101-112)
-
Separation Logic for Non-local Control Flow and Block Scope Variables 2013, Part of book or chapter of book (Pfenning, F. (ed.), Foundations of Software Science and Computation Structures, pp. 257-272)
-
The lambda mu(T)-calculus 2013, Article / Letter to editor (Annals of Pure and Applied Logic, vol. 164, iss. 6, (2013), pp. 676-701)
-
Type classes for efficient exact real arithmetic in Coq 2013, Article / Letter to editor (Logical Methods in Computer Science, vol. 9, iss. 1, (2013), pp. 1(1)-1(27))
-
A Formalization of the C99 Standard HOL, Isabelle and Coq 2011, Part of book or chapter of book (Davenport, J.; Farmer, W.; Urban, J. (ed.), Intelligent Computer Mathematics : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings, pp. 301-303)
-
Computer Certified Efficient Exact Reals in Coq 2011, Part of book or chapter of book (Davenport, J.; Farmer, W.; Urban, J. (ed.), Intelligent Computer Mathematics :18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings, pp. 90-106)
-
Pure Type Systems without Explicit Contexts 2010, Article in monograph or in proceedings (Crary, K.; Miculan, M. (ed.), Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice Edinburgh, UK, 14th July 2010, pp. 53-68)
-
Increased circulating cytokine receptors and ex vivo interleukin-1 receptor antagonist and interleukin-1 beta production but decreased tumour necrosis factor-alpha production after a 5-km run Drenth, J.P.H. ; Krebbers, R.J.M. ; Bijzet, J.; Meer, J.W.M. van der1998, Article / Letter to editor (European Journal of Clinical Investigation, vol. 28, iss. 10, (1998), pp. 866-872) -
Verocytotoxin inhibits mitogenesis and protein synthesis in purified human glomerular mesangial cells without affecting cell viability : evidence for two distinct mechanisms Setten, P.A. van; Hinsbergh, V.W.H. van; Heuvel, L.P.W.J. van den ; Velden, T. van der; Kar, N.C.A.J. van de ; Krebbers, R.J.M. ; Karmali, M.; Monnens, L.A.H.1997, Article / Letter to editor (Journal of the American Society of Nephrology, vol. 8, iss. 12, (1997), pp. 1877-1888)
Now showing items 1-15 of 15
Search Repository
Browse
-
All of Repository
Upload Full Text