Aachen

Results: 4166



#Item
371

Probabilistic Model Checking Part 1: Discrete-Time Markov Chains Joost-Pieter Katoen RWTH Aachen University Software Modeling and Verification Group Course on Probabilistic Model Checking, IMT Lucca, Italy, 2014

Add to Reading List

Source URL: dl.dropboxusercontent.com

    372

    Aachen Department of Computer Science Technical Report Lazy Abstraction for Size-Change Termination

    Add to Reading List

    Source URL: sunsite.informatik.rwth-aachen.de

    - Date: 2010-08-17 17:01:11
      373

      Tracking Space-Filling Structures in Turbulent Flows Andrea Schnorr1,3∗ Jens Henrik G¨obbert1,3 Torsten W. Kuhlen2,3

      Add to Reading List

      Source URL: vr.rwth-aachen.de

      - Date: 2016-06-16 12:32:45
        374

        Approximation Algorithms for Spectrum Allocation and Power Control in Wireless Networks

        Add to Reading List

        Source URL: darwin.bth.rwth-aachen.de

        - Date: 2012-10-08 09:57:58
          375

          Aachen Department of Computer Science Technical Report Dependency Triples for Improving Termination Analysis of Logic

          Add to Reading List

          Source URL: sunsite.informatik.rwth-aachen.de

          - Date: 2010-11-25 12:46:19
            376

            Sentence Segmentation Using IBM Word Alignment Model 1 Jia Xu and Richard Zens and Hermann Ney Chair of Computer Science VI, Computer Science Department RWTH Aachen University DAachen, Germany {xujia,zens,ney}@cs.

            Add to Reading List

            Source URL: www-i6.informatik.rwth-aachen.de

            - Date: 2005-07-05 05:07:11
              377

              On Exact Algorithms for Treewidth HANS L. BODLAENDER, Utrecht University, the Netherlands FEDOR V. FOMIN, University of Bergen, Norway ARIE M. C. A. KOSTER, Aachen University, Germany DIETER KRATSCH, Universit´e de Metz

              Add to Reading List

              Source URL: users.uoa.gr

              - Date: 2014-06-11 17:30:28
                378

                Space-time unfitted FEM for problems with moving discontinuities Arnold Reusken Chair for Numerical Mathematics RWTH Aachen

                Add to Reading List

                Source URL: philippelefloch.files.wordpress.com

                - Date: 2016-03-09 12:47:17
                  379

                  Aachen Department of Computer Science Technical Report A Dependency Pair Framework for Innermost Complexity Analysis of

                  Add to Reading List

                  Source URL: sunsite.informatik.rwth-aachen.de

                  - Date: 2011-04-22 18:07:53
                    380

                    Aachen Department of Computer Science Technical Report Modular Termination Proofs of Recursive Java Bytecode Programs

                    Add to Reading List

                    Source URL: sunsite.informatik.rwth-aachen.de

                    - Date: 2011-05-12 14:18:21
                      UPDATE