Property-Directed Inference of Universal Invariants or Proving Their Absence von Karbyshev, Aleksandr, Bjørner, Nikolaj, Itzhaky, Shachar, Rinetzky, Noam, Shoham, Sharon

Volltext

Heterogeneous Paxos 2.0: the Specs von Karbyshev, Aleksandr, Sheff, Isaac

Volltext bestellen

What Is a Pure Functional? von Hofmann, Martin, Karbyshev, Aleksandr, Seidl, Helmut

Volltext

Heterogeneous Narwhal and Paxos von Heindel, Tobias, Karbyshev, Aleksandr, Sheff, Isaac

Volltext bestellen

On Monadic Parametricity of Second-Order Functionals von Bauer, Andrej, Hofmann, Martin, Karbyshev, Aleksandr

Volltext

VeriCon: towards verifying controller programs in software-defined networks von Ball, Thomas, Bjørner, Nikolaj, Gember, Aaron, Itzhaky, Shachar, Karbyshev, Aleksandr, Sagiv, Mooly, Schapira, Michael, Valadarsky, Asaf

Volltext

Verifying a Local Generic Solver in Coq von Hofmann, Martin, Karbyshev, Aleksandr, Seidl, Helmut

Volltext

Decidability of inferring inductive invariants von Padon, Oded, Immerman, Neil, Shoham, Sharon, Karbyshev, Aleksandr, Sagiv, Mooly

Volltext

Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held As Part of the European Joint Conferences on Theory and Practice of So... von Pfenning, Frank

Volltext

Computer-aided proofs for multiparty computation with active security von Haagh, Helene, Karbyshev, Aleksandr, Oechsner, Sabine, Spitters, Bas, Strub, Pierre-Yves

Volltext

Decentralizing SDN Policies von Padon, Oded, Immerman, Neil, Karbyshev, Aleksandr, Lahav, Ori, Sagiv, Mooly, Shoham, Sharon

Volltext

Monadic Parametricity of Second-Order Functionals von Karbyshev, Aleksandr

Volltext bestellen

DEVICE FOR PROTECTION AGAINST PARTIAL GROUNDS von VAJNSHTEJN ROBERT A,SU, KARBYSHEV ALEKSANDR F,SU

Volltext bestellen

GROUND FAULT PROTECTION DEVICE von VAJNSHTEJN ROBERT A,SU, KARBYSHEV ALEKSANDR F,SU

Volltext bestellen

ARRANGEMENT FOR PROTECTION AGAINST FAULT TO EARTH IN NETWORK WITH INSULATED NEUTRAL von VAJNSHTEJN ROBERT A,SU, KARBYSHEV ALEKSANDR F,SU

Volltext bestellen

MOTOR START-FAILURE PROTECTIVE GEAR von KOPEV VLADIMIR N,SU, KARBYSHEV ALEKSANDR F,SU, KHVOROV VIKTOR N,SU

Volltext bestellen

EARTHING PROTECTION APPARATUS von VAJNSHTEJN ROBERT A,SU, FALK YURIJ P,SU, KARBYSHEV ALEKSANDR F,SU

Volltext bestellen

FUNCTION GENERATOR von SERGEJCHIK SERGEJ I,SU, MAKSIMOV GENNADIJ YU,SU, KARBYSHEV ALEKSANDR F,SU

Volltext bestellen

Interrelation Between Pathoadaptability Factors and Crispr-Element Patterns in the Genomes of Escherichia coli Isolates Collected from Healthy Puerperant Women in Ural Region, Russ... von Mikhaylova, Yulia, Tyumentseva, Marina, Karbyshev, Konstantin, Tyumentsev, Aleksandr, Slavokhotova, Anna, Smirnova, Svetlana, Akinin, Andrey, Shelenkov, Andrey, Akimkin, Vasiliy

Volltext

Comparative Whole-Genome Analysis of Russian Foodborne Multidrug-Resistant Salmonella Infantis Isolates von Egorova, Anna, Mikhaylova, Yulia, Saenko, Stepan, Tyumentseva, Marina, Tyumentsev, Aleksandr, Karbyshev, Konstantin, Chernyshkov, Aleksey, Manzeniuk, Igor, Akimkin, Vasiliy, Shelenkov, Andrey

Volltext