Andr

Results: 535



#Item
41

The Salesman’s Improved Paths: A 3/2+1/34 Approximation Andr´as Seb˝o Optimisation Combinatoire (G-SCOP) CNRS, Univ. Grenoble Alpes Grenoble, France

Add to Reading List

Source URL: arvanzuijlen.people.wm.edu

- Date: 2016-08-23 11:02:34
    42

    Addressing Health Information Privacy with a novel Cloud-Based PHR System Architecture Pieter Van Gorp∗ , Marco Comuzzi∗ , Andr´e Fialho† and Uzay Kaymak∗ ∗ Eindhoven University of Technology, Eindhoven, The

    Add to Reading List

    Source URL: is.ieis.tue.nl

    - Date: 2012-07-27 15:17:01
      43

      Refactoring, Refinement, and Reasoning A Logical Characterization for Hybrid Systems Stefan Mitsch, Jan-David Quesel, and Andr´e Platzer Computer Science Department Carnegie Mellon University, Pittsburgh PA 15213, USA

      Add to Reading List

      Source URL: symbolaris.com

      - Date: 2014-08-04 10:11:08
        44

        Conflict-Driven Answer Set Enumeration Martin Gebser, Benjamin Kaufmann, Andr´e Neumann, and Torsten Schaub Institut f¨ur Informatik, Universit¨at Potsdam, August-Bebel-Str. 89, DPotsdam, Germany

        Add to Reading List

        Source URL: www.cs.uni-potsdam.de

        - Date: 2007-06-11 04:23:32
          45

          IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems ´ Etienne Andr´e1 , Laurent Fribourg2 , Ulrich K¨ uhne3 and Romain Soulat2

          Add to Reading List

          Source URL: www.lsv.ens-cachan.fr

          - Date: 2012-05-24 04:18:43
            46

            clasp: A Conflict-Driven Answer Set Solver Martin Gebser, Benjamin Kaufmann, Andr´e Neumann, and Torsten Schaub Institut f¨ur Informatik, Universit¨at Potsdam, August-Bebel-Str. 89, DPotsdam, Germany Abstract

            Add to Reading List

            Source URL: www.cs.uni-potsdam.de

            - Date: 2007-03-07 07:31:05
              47

              Quantified Differential Dynamic Logic for Distributed Hybrid Systems Andr´e Platzer May 2010 CMU-CS

              Add to Reading List

              Source URL: reports-archive.adm.cs.cmu.edu

              - Date: 2011-02-24 16:10:58
                48

                Form Methods Syst DesDOI Bayesian Statistical Model Checking with Application to Stateflow/Simulink Verification Paolo Zuliani · Andr´

                Add to Reading List

                Source URL: symbolaris.com

                - Date: 2014-08-04 10:08:34
                  49

                  The Complete Proof Theory of Hybrid Systems Andr´e Platzer November 17, 2011 CMU-CS

                  Add to Reading List

                  Source URL: reports-archive.adm.cs.cmu.edu

                  - Date: 2011-11-21 17:26:10
                    50

                    Combining Deduction and Algebraic Constraints for Hybrid System Analysis? Andr´e Platzer University of Oldenburg, Department of Computing Science, Germany

                    Add to Reading List

                    Source URL: ceur-ws.org

                    - Date: 2007-07-06 15:54:19
                      UPDATE