Searches for Heavy Resonances with Substructure von Maksimovi, Petar

Volltext

Plugging-in proof development environments using Locks in LF von HONSELL, FURIO, LIQUORI, LUIGI, MAKSIMOVIĆ, PETAR, SCAGNETTO, IVAN

Volltext

HOCore in Coq von Maksimović, Petar, Schmitt, Alan

Volltext

First steps towards probabilistic justification logic von Kokkinis, Ioannis, Maksimović, Petar, Ognjanović, Zoran, Studer, Thomas

Volltext

LLFP : A Logical Framework for modeling External Evidence, Side Conditions, and Proof Irrelevance using Monads von Honsell, Furio, Liquori, Luigi, Maksimovic, Petar, Scagnetto, Ivan

Volltext

JaVerT 2.0: compositional symbolic execution for JavaScript von Fragoso Santos, José, Maksimović, Petar, Sampaio, Gabriela, Gardner, Philippa

Volltext

JaVerT: JavaScript verification toolchain von Fragoso Santos, José, Maksimović, Petar, Naudžiūnienė, Daiva, Wood, Thomas, Gardner, Philippa

Volltext

Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks von Honsell, Furio, Liquori, Luigi, Maksimović, Petar, Scagnetto, Ivan

Volltext

Open Science Grid Study of the Coupling between Conformation and Water Content in the Interior of a Protein von Damjanović, Ana, Miller, Benjamin T, Wenaus, Torre J, Maksimović, Petar, García-Moreno E, Bertrand, Brooks, Bernard R

Volltext

Analyzing the exhaustiveness of the Synapse protocol von Marinković, Bojan, Ciancaglini, Vincenzo, Ognjanović, Zoran, Glavan, Paola, Liquori, Luigi, Maksimović, Petar

Volltext

Towards Logic-Based Verification of JavaScript Programs von Santos, José Fragoso, Gardner, Philippa, Maksimović, Petar, Naudžiūnienė, Daiva

Volltext

A logic with conditional probability operators von Doder, Dragan, Marinkovic, Bojan, Maksimovic, Petar, Perovic, Aleksandar

Volltext

An Extension and Cooperation Mechanism for Heterogeneous Overlay Networks von Ciancaglini, Vincenzo, Liquori, Luigi, Hoang, Giang Ngo, Maksimović, Petar

Volltext

Smart pixel sensors: towards on-sensor filtering of pixel clusters with deep learning von Yoo, Jieun, Dickinson, Jennet, Swartz, Morris, Di Guglielmo, Giuseppe, Bean, Alice, Berry, Douglas, Blanco Valentin, Manuel, DiPetrillo, Karri, Fahim, Farah, Gray, Lindsey, Hirschauer, James, Kulkarni, Shruti R, Lipton, Ron, Maksimovic, Petar, Mills, Corrinne, Neubauer, Mark S, Parpillon, Benjamin, Pradhan, Gauri, Syal, Chinar, Tran, Nhan, Wen, Dahai, Young, Aaron

Volltext

Simple characterization of functionally complete one-element sets of propositional connectives von Maksimović, Petar, Janičić, Predrag

Volltext

Développement et vérification des logiques probabilistes et des cadres logiques von Maksimović, Petar

Volltext bestellen

A hybrid approach to semi-automated Rust verification von Ayoun, Sacha-Élie, Denis, Xavier, Maksimović, Petar, Gardner, Philippa

Volltext bestellen

Exact Separation Logic (Extended Version) von Maksimović, Petar, Cronjäger, Caroline, Lööw, Andreas, Sutherland, Julian, Gardner, Philippa

Volltext

Identifying boosted new physics with non-isolated leptons von Brust, Christopher, Maksimovic, Petar, Sady, Alice, Saraswat, Prashant, Walters, Matthew T., Xin, Yongjie

Volltext

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version) von Lööw, Andreas, Nantes-Sobrinho, Daniele, Sacha-Élie Ayoun, Cronjäger, Caroline, Maksimović, Petar, Gardner, Philippa

Volltext