Name Card

Full name Familienname, Vorname
Lahav, Ori
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-8 of 8 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Lahav-2021-Pruning and Slicing Neural Networks using Formal Verification-vor.pdf.jpgLahav, Ori ; Katz, Guy Pruning and Slicing Neural Networks using Formal VerificationInproceedings Oct-2021
2Ciabattoni, Agata ; Lahav, Ori ; Spendier, Lara Katharina ; Zamansky, Anna Taming Paraconsistent (and Other) Logics : An Algorithmic ApproachArtikel Article 2014
3Baaz, Matthias ; Lahav, Ori ; Zamansky, Anna Finite-valued Semantics for Canonical Labelled CalculiArtikel Article 15-Mar-2013
4Ciabattoni, Agata ; Lahav, Ori ; Spendier, Lara ; Zamansky, Anna Automated Support for the Investigation of Paraconsistent and Other LogicsKonferenzbeitrag Inproceedings2013
5Baaz, Matthias ; Lahav, Ori ; Zamansky, Anna Effective finite-valued semantic for labelled calculiPräsentation Presentation2012
6Baaz, Matthias ; Lahav, Ori ; Zamansky, Anna Effective finite-valued semantic for labelled calculiPräsentation Presentation2012
7Baaz, Matthias ; Lahav, Ori ; Zamansky, Anna Effective finite-valued semantic for labelled calculiKonferenzbeitrag Inproceedings2012
8Ciabattoni, Agata ; Lahav, Ori ; Zamansky, Anna Basic constructive connectives, determinism and matrix-based semanticsKonferenzbeitrag Inproceedings 2011