21![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 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](https://www.pdfsearch.io/img/1844ba7b63eab67c026ed74471697d22.jpg) | Add to Reading ListSource URL: www.mimuw.edu.plLanguage: English - Date: 2014-03-31 18:04:06
|
---|
22![Synthesizing transformations from XML schema mappings Claire David Piotr Hofman Filip Murlak Synthesizing transformations from XML schema mappings Claire David Piotr Hofman Filip Murlak](https://www.pdfsearch.io/img/38d1d707ea75571c4106b610b2b61130.jpg) | Add to Reading ListSource URL: www.mimuw.edu.plLanguage: English - Date: 2014-03-31 18:04:27
|
---|
23![M. 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](https://www.pdfsearch.io/img/f79253b06a9090e14d4f5ae279aa186f.jpg) | Add to Reading ListSource URL: people.psych.cornell.eduLanguage: English - Date: 2012-07-18 12:33:54
|
---|
24![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 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](https://www.pdfsearch.io/img/50d7eb04dda500ac31aec92eb9b9908e.jpg) | Add to Reading ListSource URL: drops.dagstuhl.deLanguage: English - Date: 2015-03-19 07:48:14
|
---|
25![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 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](https://www.pdfsearch.io/img/cfe650ee503a9284a82d2be9f3808948.jpg) | Add to Reading ListSource URL: www3.utsouthwestern.eduLanguage: English - Date: 2013-01-14 12:27:44
|
---|
26![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 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](https://www.pdfsearch.io/img/90b1dbc3e9da827cdc2ed6909ba674ba.jpg) | Add to Reading ListSource URL: www.cb.u-psud.frLanguage: English - Date: 2008-08-13 05:39:57
|
---|
27![Reachability 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,](https://www.pdfsearch.io/img/c11af8bd2221ad26b753ace4208a8e58.jpg) | Add to Reading ListSource URL: www.mimuw.edu.plLanguage: English - Date: 2012-08-06 16:28:45
|
---|
28![Trace 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´](https://www.pdfsearch.io/img/074939673c34c049b667a9caadca6031.jpg) | Add to Reading ListSource URL: www.dcs.warwick.ac.ukLanguage: English - Date: 2015-10-21 13:33:08
|
---|
29![University 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](https://www.pdfsearch.io/img/4ddc092b338333104a20a55ff1e0e817.jpg) | Add to Reading ListSource URL: www.mimuw.edu.plLanguage: English - Date: 2014-04-01 07:05:35
|
---|
30![CentMail: 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](https://www.pdfsearch.io/img/a6a904dae9056c93b6c919ecdf7f82ba.jpg) | Add to Reading ListSource URL: hunch.netLanguage: English - Date: 2009-05-20 11:13:17
|
---|