Searches for Heavy Resonances with Substructure von 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

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

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

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

An open logical framework von Honsell, Furio, Lenisa, Marina, Scagnetto, Ivan, Liquori, Luigi, Maksimovic, Petar

Volltext

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

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

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, Valentin, Manuel Blanco, 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

mathsf{LLF}_{\cal P}$: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads von Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto

Volltext

Double Higgs τrouble: Searches for Higgs boson pairs in the ATLAS experiment and their interpretations von Dimitriadi, Christina

Volltext bestellen

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

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

Volltext