A tribute to José Manuel Valença

DOI10.1016/J.JLAMP.2022.100792MaRDI QIDQ2168787zbMATH OpenOpenAlexWikidataFDO

Authors J. N. Oliveira, Jorge Sousa Pinto, Pedro Rangel Henriques, L. S. Barbosa

Publication date 26 August 2022

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlamp.2022.100792

zbMATH Keywords

verificationcomputational logicinformation securitymechanized reasoning

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• A question is more illuminating than an answer. A Festschrift for Paulo A. S. Veloso
• Logic, intelligence, and artifices. Tributes to Tarcísio H. C. Pequeno
• scientific article; zbMATH DE number 6934359
• Guest editors' foreword
• Special issue: Selected papers of the 7th and 8th workshops on logical and semantic frameworks with applications (LSFA)

Cites work

• scientific article; zbMATH DE number 3670305 (Why is no real title available?)
• A formal treatment of the role of verified compilers in secure computation
• Event-based time-stamped claim logic
• Formalizing Moessner's theorem and generalizations in \textsc{Nuprl}
• Graded epistemic logic with public announcement
• How to calculate with nondeterministic functions
• Nyquist criterion for input/output stability of multivariable systems
• Plotkin's call-by-value \(\lambda\)-calculus as a modal calculus
• Schreier split extensions of preordered monoids
• Simpler proofs with decentralized invariants
• The stability of input-output dynamical systems

This page was built for publication: A tribute to José Manuel Valença

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2168787)