Search Results - Wasser, Nathan

  • Showing 1 - 12 results of 12
Refine Results
  1. 1
    The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics

    The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics by Kamburjan, Eduard, Wasser, Nathan

    Get full text
    Items that this one cites
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Fermat, Euler, Wilson - Three Case Studies in Number Theory

    Fermat, Euler, Wilson - Three Case Studies in Number Theory by Walther, Christoph, Wasser, Nathan

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Automated model extraction: From non-deterministic C code to active objects

    Automated model extraction: From non-deterministic C code to active objects by Wasser, Nathan, Heydari Tabar, Asmae, Hähnle, Reiner

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Towards a Circular Economy of Industrial Software

    Towards a Circular Economy of Industrial Software by Kutscher, Vladimir, Ruland, Sebastian, Müller, Patrick, Wasser, Nathan, Lochau, Malte, Anderl, Reiner, Schürr, Andy, Mezini, Mira, Hähnle, Reiner

    Published in Procedia CIRP
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics

    The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics by Kamburjan, Eduard, Wasser, Nathan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Deductive Verification of Programs with Underspecified Semantics by Model Extraction

    Deductive Verification of Programs with Underspecified Semantics by Model Extraction by Kamburjan, Eduard, Wasser, Nathan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Treating for-Loops as First-Class Citizens in Proofs

    Treating for-Loops as First-Class Citizens in Proofs by Wasser, Nathan, Steinhöfel, Dominic

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Technical Report: Using Loop Scopes with for-Loops

    Technical Report: Using Loop Scopes with for-Loops by Wasser, Nathan, Steinhöfel, Dominic

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Developmental stage and level of submersion in water impact the viability of lone star and winter tick eggs

    Developmental stage and level of submersion in water impact the viability of lone star and winter tick eggs by Alhawsawi, Maher Ramadan I, Lewis, David A, Frigard, Ronja A, Smith, Ellen M, Sivakumar, Jaishna, Sharma, Ajay M, Nantz, Adalynn R, Sabile, Chloe Elizabeth G, Kennedy, Jasmine, Loni, Rashi, LeFevre, Gabrielle, Vaka, Akshita, Leanza, Quinn, Kelley, Melissa, Stacey, Crystal L, Santhosh, Richa A, Catlett, Nathan, Cady, Tabitha L, Rizvi, Raaidh S, Wagner, Zach, Olafson, Pia U, Benoit, Joshua B

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  10. 10
    Fostering the Development of Earth Data Science Skills in a Diverse Community of Online Learners: A Case Study of the Earth Data Science Corps

    Fostering the Development of Earth Data Science Skills in a Diverse Community of Online Learners: A Case Study of the Earth Data Science Corps by Quarderer, Nathan A., Wasser, Leah, Gold, Anne U., Montaño, Patricia, Herwehe, Lauren, Halama, Katherine, Biggane, Emily, Logan, Jessica, Parr, David, Brady, Sylvia, Sanovia, James, Tinant, Charles Jason, Yellow Thunder, Elisha, White Eyes, Justina, Poor Bear/Bagola, LaShell, Phelps, Madison, Phelps, Trey Orion, Alberts, Brett, Johnson, Michela, Korinek, Nathan, Travis, William, Jacquez, Naomi, Rohlehr, Kaiea, Ward, Emily, Culler, Elsa, Nagy, R. Chelsea, Balch, Jennifer

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  11. 11
    A Brief Course on Forensic Psychiatry Principles

    A Brief Course on Forensic Psychiatry Principles by Weiner, Stephen, Lingafelter, Nathan, Ali, Musaab, Wu, Johnathan, Walia, Harbir, Wasser, Tobias, Hirschtritt, Matthew E.

    Published in Academic psychiatry
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  12. 12
    Ten simple rules for working with high resolution remote sensing data

    Ten simple rules for working with high resolution remote sensing data by Mahood, Adam L., Joseph, Maxwell B., Spiers, Anna I., Koontz, Michael J., Ilangakoon, Nayani, Solvik, Kylen K., Quarderer, Nathan, McGlinchy, Joe, Scholl, Victoria M., St. Denis, Lise A., Nagy, Chelsea, Braswell, Anna, Rossi, Matthew W., Herwehe, Lauren, Wasser, Leah, Cattau, Megan E., Iglesias, Virginia, Yao, Fangfang, Leyk, Stefan, Balch, Jennifer K.

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

Search Tools: