EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Classification: CR-I.1.2
Home Policy Brochure Browse Search User Area Contact Help

2015

Fink, J. and Hurink, J.L. (2015) Minimizing costs is easier than minimizing peaks when supplying the heat demand of a group of houses. European journal of operational research, 242 (2). pp. 644-650. ISSN 0377-2217 *** ISI Impact 2,679 ***

2009

Barnat, J. and Chaloupka, J. and van de Pol, J.C. (2009) Distributed Algorithms for SCC Decomposition. Journal of Logic and Computation, 21 (1). pp. 23-44. ISSN 0955-792X *** ISI Impact 0,585 ***
Blom, S.C.C. and Lisser, B. and van de Pol, J.C. and Weber, Michael (2009) A Database Approach to Distributed State-Space Generation. Journal of Logic and Computation, 21 (1). pp. 45-62. ISSN 0955-792X *** ISI Impact 0,585 ***
Kuijper, W. and van de Pol, J.C. (2009) Compositional Control Synthesis for Partially Observable Systems. In: CONCUR 2009 - Concurrency Theory, 1-4 Sep 2009, Bologna, Italy. pp. 431-447. Lecture Notes in Computer Science 5710. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-04080-1
Kuijper, W. and van de Pol, J.C. (2009) Computing Weakest Strategies for Safety Games of Imperfect Information. In: Tools and Algorithms for the Construction and Analysis of Systems, 22-29 Mar 2009, York, UK. pp. 92-106. Lecture Notes in Computer Science 5505. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-00767-5

2008

Bakhshi, R. and Fokkink, W.J. and Pang, J. and van de Pol, J.C. (2008) Leader Election in Anonymous Rings: Franklin Goes Probabilistic. In: Fifth IFIP International Conference On Theoretical Computer Science, 8-10 Sept 2008, Milano, Italy. pp. 57-72. IFIP International Federation for Information Processing 273/2008. Springer Verlag. ISSN 1571-5736 ISBN 978-0-387-09679-7