Onderzoeksoutput per jaar
Onderzoeksoutput per jaar
- 20 resultaten
Zoekresultaten
-
2024
The Interval Domain in Homotopy Type Theory
van der Weide, N. & Frumin, D., 22-mei-2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Capretta, V., Krebbers, R. & Wiedijk, F. (uitgave). Springer Science and Business Media Deutschland GmbH, blz. 241-256 16 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14560 LNCS).Onderzoeksoutput: Chapter › Academic › peer review
Open AccessBestand93 Downloads (Pure) -
2023
Minimisation in Logical Form
Bezhanishvili, N., Bonsangue, M., Hansen, H. H., Kozen, D., Kupke, C., Panangaden, P. & Silva, A., 2023, Samson Abramsky on Logic and Structure in Computer Science and Beyond. Palmigiano, A. & Sadrzadeh, M. (uitgave). Cham: Springer, blz. 89-127 38 blz. (Outstanding Contributions to Logic; vol. 25).Onderzoeksoutput: Chapter › Academic › peer review
Open AccessBestand1 Citaat (Scopus)184 Downloads (Pure) -
2018
Runtime Verification for Decentralised and Distributed Systems
Francalanza, A., Pérez, J. A. & Sánchez, C., feb.-2018, Lectures on Runtime Verification. Bartocci, E. & Falcone, Y. (uitgave). Springer, blz. 176-210 35 blz.Onderzoeksoutput: Chapter › Academic › peer review
Open AccessBestand52 Citaten (Scopus)736 Downloads (Pure) -
2015
Infinitary hybrid logic and the Lindelöf property
Renardel de Lavalette, G., 2015, The Facts Matter: Essays on Logic and Cognition in Honour of Rineke Verbrugge. Ghosh, S. & Szymanik, J. (uitgave). College Publications, blz. 113-120 8 blz. (Tributes; vol. 25).Onderzoeksoutput: Chapter › Academic
Open AccessBestand14 Downloads (Pure) -
2009
Intergenerational Relationships in Ageing Societies
Dykstra, P. A., 2009, United Nations Economic Commission for Europe Working Group on Ageing, ECE/WG,. Geneva: s.n., 6 blz.Onderzoeksoutput › Academic
Open AccessBestand118 Downloads (Pure) -
Practical Lock-Free Implementation of LL/SC Using Only Pointer-size CAS
Gao, H., Fu, Y. & Hesselink, W. H., 2009, EPRINTS-BOOK-TITLE. University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science, 4 blz.Onderzoeksoutput: Chapter › Academic
Open AccessBestand2 Citaten (Scopus)497 Downloads (Pure) -
Verification of a Lock-Free Implementation of Multiword LL/SC Object
Gao, H., Fu, Y. & Hesselink, W. H., 2009, EPRINTS-BOOK-TITLE. University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science, 6 blz.Onderzoeksoutput: Chapter › Academic
Open AccessBestand1 Citaat (Scopus)321 Downloads (Pure) -
2008
Semantic results for ontic and epistemic change
van Ditmarsch, H. & Kooi, B., 2008, Logic and the foundations of game and decision theory (LOFT 7). Bonanno, G., van der Hoek, W. & Wooldridge, M. (uitgave). Amsterdam: Amsterdam University Press, blz. 87 - 117 31 blz. (Texts in Logic and Games 3).Onderzoeksoutput: Chapter › Academic
Open AccessBestand256 Downloads (Pure) -
2005
Abstract derivations, equational logic and interpolation
Renardel de Lavalette, G. R., 2005, Structures and Deduction - the Quest for the Essence of Proofs: satellite workshop of ICALP 2005. University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science, 23 blz.Onderzoeksoutput: Chapter › Academic
Open AccessBestand136 Downloads (Pure) -
2002
A strongly complete proof system for propositional dynamic logic
Renardel de Lavalette, G., Kooi, B. & Verbrugge, R., 2002, Institut de Recherche en Informatique de Toulouse IRIT (2002) . University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science, blz. 377-393 17 blz.Onderzoeksoutput: Chapter › Academic
-
Epistemic actions and minimal models
Renardel de Lavalette, G. R. & Ditmarsch, H. V., 2002, Institut de Recherche en Informatique de Toulouse IRIT (2002). University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science, blz. 77-90 14 blz.Onderzoeksoutput › Academic
Open AccessBestand88 Downloads (Pure) -
Predestination and invariants of specifications
Hesselink, W., 30-aug.-2002, Liber Amicorum Jaco de Bakker. de Boer, F., van der Heijden, M., Klint, P. & Rutten, J. (uitgave). Amsterdam: Centrum voor Wiskunde en Informatica, blz. 111-116 5 blz.Onderzoeksoutput › Academic
-
Reduction steps in partitions
Renardel de Lavalette, G. R. & Hesselink, W. H., 2002, Centrum voor Wiskunde en Informatica (2002). University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science, blz. 175-178 4 blz.Onderzoeksoutput: Chapter › Academic
Open AccessBestand95 Downloads (Pure) -
2001
A Logic of Modification and Creation
Renardel de Lavalette, G. R., 2001, Stanford, CSLI Publications (2001). University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science, blz. 197-219 23 blz.Onderzoeksoutput: Chapter › Academic
Open AccessBestand109 Downloads (Pure) -
1995
Angelic termination in Dijkstra's calculus
Hesselink, W., 1995, Mathematics of Program Construction: Proceedings Kloster Irsee 1995. Möller, B. (uitgave). Springer, Vol. 947. blz. 322-334 13 blz. (Lecture Notes in Computer Science).Onderzoeksoutput › Academic
1 Citaat (Scopus) -
1994
NQTHM proving sequential programs
Hesselink, W. H., 1994, EPRINTS-BOOK-TITLE. University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science, 23 blz.Onderzoeksoutput › Academic
Open AccessBestand107 Downloads (Pure) -
1991
Procedures: specification and recursion
Hesselink, W., 1991, Van oude machines en nieuwe rekenwijzen. Feijen, W. H. J. & van Gasteren, A. J. M. (uitgave). Academic Service, blz. 83-99 17 blz.Onderzoeksoutput › Academic
-
1990
Modalities of nondeterminacy
Hesselink, W., 1990, Beauty is our business: a birthday salute to Edsger W. Dijkstra. Feijen, W. H. J. (uitgave). Springer, blz. 182-192 11 blz.Onderzoeksoutput › Academic
-
1989
The induction rule of De Bakker and Scott
Hesselink, W., apr.-1989, J.W. de Bakker, 25 jaar semantiek: Liber Amicorum. Klop, J. W. (uitgave). Amsterdam: Stichting Mathematisch Centrum, blz. 261-264 4 blz.Onderzoeksoutput › Academic
-
1981
Concentration under actions of algebraic groups
Hesselink, W., 1981, Seminaire d'Algebre. Dubreil, P. & Malliavin, M. P. (uitgave). Springer, Vol. 867. blz. 55-89 35 blz. (Lecture Notes in Mathematics).Onderzoeksoutput › Academic