Fink

Results: 658



#Item
21The Complexity of Andersen’s Analysis in Practice Manu Sridharan and Stephen J. Fink IBM T.J. Watson Research Center {msridhar,sjfink}@us.ibm.com

The Complexity of Andersen’s Analysis in Practice Manu Sridharan and Stephen J. Fink IBM T.J. Watson Research Center {msridhar,sjfink}@us.ibm.com

Add to Reading List

Source URL: manu.sridharan.net

- Date: 2018-02-03 20:39:22
    22Thin Slicing Manu Sridharan, Ras Bodík UC Berkeley Stephen J. Fink IBM Research

    Thin Slicing Manu Sridharan, Ras Bodík UC Berkeley Stephen J. Fink IBM Research

    Add to Reading List

    Source URL: manu.sridharan.net

    - Date: 2018-02-03 20:39:22
      23IBM	
  Research	
    The	
  Complexity	
  of	
  Andersen’s	
  Analysis	
  in	
  Prac8ce	
   Manu	
  Sridharan	
  and	
  Stephen	
  J.	
  Fink	
   IBM	
  T.J.	
  Watson	
  Research	
  Center	
   SAS

      IBM  Research   The  Complexity  of  Andersen’s  Analysis  in  Prac8ce   Manu  Sridharan  and  Stephen  J.  Fink   IBM  T.J.  Watson  Research  Center   SAS

      Add to Reading List

      Source URL: manu.sridharan.net

      - Date: 2018-02-03 20:39:22
        24JAMES A. FINK of YPSILANTI Term Expires: September 30, 2020 Mr. Fink is a member of Fink & Fink (formerly Fink & Valvo), PLLC, where he focuses on civil litigation, misdemeanor criminal defense, municipal law, real estat

        JAMES A. FINK of YPSILANTI Term Expires: September 30, 2020 Mr. Fink is a member of Fink & Fink (formerly Fink & Valvo), PLLC, where he focuses on civil litigation, misdemeanor criminal defense, municipal law, real estat

        Add to Reading List

        Source URL: www.adbmich.org

        - Date: 2017-10-10 10:42:28
          25Snugglebug: A Powerful Approach To Weakest Preconditions Satish Chandra Stephen J. Fink  Manu Sridharan

          Snugglebug: A Powerful Approach To Weakest Preconditions Satish Chandra Stephen J. Fink Manu Sridharan

          Add to Reading List

          Source URL: manu.sridharan.net

          - Date: 2018-02-03 20:39:22
            26Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems? Thomas Eiter, Michael Fink, and Peter Sch¨ uller Institute of Information Systems Vienna University of Technology

            Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems? Thomas Eiter, Michael Fink, and Peter Sch¨ uller Institute of Information Systems Vienna University of Technology

            Add to Reading List

            Source URL: www.peterschueller.com

            - Date: 2012-11-15 13:02:25
              27Microsoft Word - Bolzkpl.doc

              Microsoft Word - Bolzkpl.doc

              Add to Reading List

              Source URL: www.fink.de

              - Date: 2014-09-16 06:01:37
                28Универзитет у Крагујевцу Факултет инжењерских наука Књига предмета Мастер академске студије Аутомобилско инжењерство

                Универзитет у Крагујевцу Факултет инжењерских наука Књига предмета Мастер академске студије Аутомобилско инжењерство

                Add to Reading List

                Source URL: www.fink.rs

                - Date: 2016-02-18 03:01:54
                  29The mcs-ie System for Explaining Inconsistency in Multi-Context Systems? Markus B¨ ogl, Thomas Eiter, Michael Fink, and Peter Sch¨ uller Institute of Information Systems

                  The mcs-ie System for Explaining Inconsistency in Multi-Context Systems? Markus B¨ ogl, Thomas Eiter, Michael Fink, and Peter Sch¨ uller Institute of Information Systems

                  Add to Reading List

                  Source URL: www.peterschueller.com

                  - Date: 2012-11-15 13:02:25
                    30Finding Explanations of Inconsistency in Multi-Context Systems∗ ¨ Thomas Eiter and Michael Fink and Peter Schuller and Antonius Weinzierl Institute of Information Systems Vienna University of Technology

                    Finding Explanations of Inconsistency in Multi-Context Systems∗ ¨ Thomas Eiter and Michael Fink and Peter Schuller and Antonius Weinzierl Institute of Information Systems Vienna University of Technology

                    Add to Reading List

                    Source URL: www.peterschueller.com

                    - Date: 2012-11-15 13:02:25