Hofman

Results: 106



#Item
21Infinite-State Energy Games Parosh Aziz Abdulla∗ , Mohamed Faouzi Atig∗ , Piotr Hofman† , Richard Mayr§ , K. Narayan Kumar‡ , Patrick Totzke§ ∗ Uppsala University, Sweden of Bayreuth, Germany

Infinite-State Energy Games Parosh Aziz Abdulla∗ , Mohamed Faouzi Atig∗ , Piotr Hofman† , Richard Mayr§ , K. Narayan Kumar‡ , Patrick Totzke§ ∗ Uppsala University, Sweden of Bayreuth, Germany

Add to Reading List

Source URL: www.mimuw.edu.pl

Language: English - Date: 2014-03-31 18:04:06
    22Synthesizing transformations from XML schema mappings Claire David Piotr Hofman Filip Murlak

    Synthesizing transformations from XML schema mappings Claire David Piotr Hofman Filip Murlak

    Add to Reading List

    Source URL: www.mimuw.edu.pl

    Language: English - Date: 2014-03-31 18:04:27
      23M. A. Hofman and D. Falk (Eds.) Progress in Brain Research, Vol. 195 ISSN: Copyright Ó 2012 Elsevier B.V. All rights reserved. CHAPTER 4

      M. A. Hofman and D. Falk (Eds.) Progress in Brain Research, Vol. 195 ISSN: Copyright Ó 2012 Elsevier B.V. All rights reserved. CHAPTER 4

      Add to Reading List

      Source URL: people.psych.cornell.edu

      Language: English - Date: 2012-07-18 12:33:54
        24Separability by Short Subsequences and Subwords Piotr Hofman and Wim Martens Department of Computer Science, University of Bayreuth, Germany Abstract The separability problem for regular languages asks, given two regular

        Separability by Short Subsequences and Subwords Piotr Hofman and Wim Martens Department of Computer Science, University of Bayreuth, Germany Abstract The separability problem for regular languages asks, given two regular

        Add to Reading List

        Source URL: drops.dagstuhl.de

        Language: English - Date: 2015-03-19 07:48:14
          25M.A. Hofman, G.J. Boer, A.J.G.D. Holtmaat, E.J.W. van Someren, J. Verhagen and D.F. Swaab (Eds.) Progress in Brain Research, Vol. 138 © 2002 Elsevier Science B.V. All rights reserved CHAPTER 19

          M.A. Hofman, G.J. Boer, A.J.G.D. Holtmaat, E.J.W. van Someren, J. Verhagen and D.F. Swaab (Eds.) Progress in Brain Research, Vol. 138 © 2002 Elsevier Science B.V. All rights reserved CHAPTER 19

          Add to Reading List

          Source URL: www3.utsouthwestern.edu

          Language: English - Date: 2013-01-14 12:27:44
            26M.A. Hofman, G.J. Boer, A.J.G.D. Holtmaat, E.J.W. van Someren, J. Verhaagen and D.F. Swaab (Eds.) Progress in Brain Research, Vol. 138 © 2002 Elsevier Science B.V. All rights reserved CHAPTER 15

            M.A. Hofman, G.J. Boer, A.J.G.D. Holtmaat, E.J.W. van Someren, J. Verhaagen and D.F. Swaab (Eds.) Progress in Brain Research, Vol. 138 © 2002 Elsevier Science B.V. All rights reserved CHAPTER 15

            Add to Reading List

            Source URL: www.cb.u-psud.fr

            Language: English - Date: 2008-08-13 05:39:57
              27Reachability problem for weak multi-pushdown automata Wojciech Czerwi´nski, Piotr Hofman, and Sławomir Lasota? Institute of Informatics, University of Warsaw wczerwin,ph209519,

              Reachability problem for weak multi-pushdown automata Wojciech Czerwi´nski, Piotr Hofman, and Sławomir Lasota? Institute of Informatics, University of Warsaw wczerwin,ph209519,

              Add to Reading List

              Source URL: www.mimuw.edu.pl

              Language: English - Date: 2012-08-06 16:28:45
                28Trace Inclusion for One-Counter Nets Revisited Patrick Totzke Piotr Hofman LaBRI, CNRS & Universit´

                Trace Inclusion for One-Counter Nets Revisited Patrick Totzke Piotr Hofman LaBRI, CNRS & Universit´

                Add to Reading List

                Source URL: www.dcs.warwick.ac.uk

                Language: English - Date: 2015-10-21 13:33:08
                  29University of Warsaw Faculty of Mathematics, Informatics and Mechanics Piotr Hofman Equivalence of infinite-state systems with silent

                  University of Warsaw Faculty of Mathematics, Informatics and Mechanics Piotr Hofman Equivalence of infinite-state systems with silent

                  Add to Reading List

                  Source URL: www.mimuw.edu.pl

                  Language: English - Date: 2014-04-01 07:05:35
                    30CentMail: Rate Limiting via Certified Micro-Donations Sharad Goel Jake Hofman David M. Pennock

                    CentMail: Rate Limiting via Certified Micro-Donations Sharad Goel Jake Hofman David M. Pennock

                    Add to Reading List

                    Source URL: hunch.net

                    Language: English - Date: 2009-05-20 11:13:17