Editor

Results: 24638



#Item
1Noname manuscript No. (will be inserted by the editor) Cutting to the Chase Solving Linear Integer Arithmetic

Noname manuscript No. (will be inserted by the editor) Cutting to the Chase Solving Linear Integer Arithmetic

Add to Reading List

Source URL: csl.sri.com

Language: English - Date: 2014-06-27 12:47:14
2Acta Informatica manuscript No. (will be inserted by the editor) Precise Parameter Synthesis for Stochastic Biochemical Systems ˇ ska · Frits Dannenberg ·

Acta Informatica manuscript No. (will be inserted by the editor) Precise Parameter Synthesis for Stochastic Biochemical Systems ˇ ska · Frits Dannenberg ·

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2016-03-04 09:24:11
3Noname manuscript No. (will be inserted by the editor) The Locally Nameless Representation Arthur Chargu´ eraud

Noname manuscript No. (will be inserted by the editor) The Locally Nameless Representation Arthur Chargu´ eraud

Add to Reading List

Source URL: www.chargueraud.org

Language: English - Date: 2014-02-04 05:58:39
4Noname manuscript No. (will be inserted by the editor) Being Careful about Theory Combination Dejan Jovanovi´

Noname manuscript No. (will be inserted by the editor) Being Careful about Theory Combination Dejan Jovanovi´

Add to Reading List

Source URL: csl.sri.com

Language: English - Date: 2014-06-27 12:47:14
5GUIDELINES for VOLUME EDITORS This document is a supplement to the general author guidelines. YOUR RESPONSIBILITIES AS A VOLUME EDITOR As volume editor, you are responsible for ensuring that all of the chapters to be inc

GUIDELINES for VOLUME EDITORS This document is a supplement to the general author guidelines. YOUR RESPONSIBILITIES AS A VOLUME EDITOR As volume editor, you are responsible for ensuring that all of the chapters to be inc

Add to Reading List

Source URL: mitpress.mit.edu

Language: English - Date: 2018-06-27 14:43:30
6Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives Marta Kwiatkowska1 , Davi

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives Marta Kwiatkowska1 , Davi

Add to Reading List

Source URL: www.prismmodelchecker.org

- Date: 2017-10-05 19:55:13
    7An extended abstract of this paper appears in Victor Shoup, editor, Advances in Cryptology – CRYPTO 2005, Volume 3621 of Lecture Notes in Computer Science, pages 205–222, Santa Barbara, California, August 14 – 18,

    An extended abstract of this paper appears in Victor Shoup, editor, Advances in Cryptology – CRYPTO 2005, Volume 3621 of Lecture Notes in Computer Science, pages 205–222, Santa Barbara, California, August 14 – 18,

    Add to Reading List

    Source URL: www.neven.org

    Language: English - Date: 2012-04-18 06:07:55
    8The in-place text editor 149 Figure 6.5 Initial state of the

    The in-place text editor 149 Figure 6.5 Initial state of the

    Add to Reading List

    Source URL: manning-content.s3.amazonaws.com

    - Date: 2015-11-06 11:28:42
      9Noname manuscript No. (will be inserted by the editor) Verification of B+ Trees by Integration of Shape Analysis and Interactive Theorem Proving ?

      Noname manuscript No. (will be inserted by the editor) Verification of B+ Trees by Integration of Shape Analysis and Interactive Theorem Proving ?

      Add to Reading List

      Source URL: www.isse.uni-augsburg.de

      Language: English - Date: 2017-01-11 10:46:13