Search Results - Van Geffen, Jacob

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    Symbolic Reasoning for Automatic Signal Placement

    Symbolic Reasoning for Automatic Signal Placement by Ferles, Kostas, Van Geffen, Jacob, Dillig, Isil, Smaragdakis, Yannis

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs

    Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs by Pailoor, Shankara, Chen, Yanju, Wang, Franklyn, Rodríguez, Clara, Van Geffen, Jacob, Morton, Jason, Chu, Michael, Gu, Brian, Feng, Yu, Dillig, Işıl

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Symbolic Reasoning for Automatic Signal Placement (Extended Version)

    Symbolic Reasoning for Automatic Signal Placement (Extended Version) by Ferles, Kostas, Jacob Van Geffen, Dillig, Isil, Smaragdakis, Yannis

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples

    Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples by Yu, Feng, Martins, Ruben, Jacob Van Geffen, Dillig, Isil, Chaudhuri, Swarat

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Dynamics of Invasive Pneumococcal Disease in Israel in Children and Adults in the 13-Valent Pneumococcal Conjugate Vaccine (PCV13) Era: A Nationwide Prospective Surveillance

    Dynamics of Invasive Pneumococcal Disease in Israel in Children and Adults in the 13-Valent Pneumococcal Conjugate Vaccine (PCV13) Era: A Nationwide Prospective Surveillance by Ben-Shimol, Shalom, Regev-Yochay, Gili, Givon-Lavi, Noga, van der Beek, Bart Adriaan, Brosh-Nissimov, Tal, Peretz, Avi, Megged, Orli, Dagan, Ron

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: