Publications

This page is intended to collect under one roof the publications by ICE-TCS members after the official opening of the centre, roughly in reverse chronological order.

A complete list of publications from 2005 to date is available as a PDF file. This PDF is the authoritative source of bibliographic information for the centre.

• 19 July 2023: The paper "DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems" by Valentina Castiglioni, Michele Loreti and Simone Tini has been accepted for ICTCS 2023.
• 20 May 2023: The paper "A framework to measure the robustness of programs in the unpredictable environment" by Valentina Castiglioni, Michele Loreti and Simone Tini has been accepted for publication in the journal Logical Methods in Computer Science.
• 8 April 2023: The paper "STARK: A Software Tool for the Analysis of Robustness in the unKnown environment" by Valentina Castiglioni, Michele Loreti and Simone Tini has been accepted for COORDINATION 2023.
• 20 January 2023: The paper Bidirectional runtime enforcement of first-order branching-time properties by L. Aceto, I. Cassar, A. Francalanza and A. Ingolfsdottir has been accepted for publication in the journal Logical Methods in Computer Science.
• 14 October 2022: The following two papers have been accepted for publication:
  • The paper "Fast Distributed Brooks Theorem" Manuela Fischer, Magnús M. Halldórsson and Yannic Maus has been accepted for SODA 2023.
  • The paper "Fast Distributed Vertex Splitting With Applications" by Magnús M. Halldórsson, Yannic Maus and Alexandre Nolin has been accepted for DISC 2022.
• 25 June 2022: The paper “On the Axiomatisation of Branching Bisimulation Congruence over CCS” by Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir and Bas Luttik has been accepted for the scientific programme of CONCUR 2022.
• 21 June 2022: The paper “The Complexity of Periodic Energy Minimisation“ by Duncan Alexander Adamson, Argyrios Deligkas (Royal Holloway, University of London), Vladimir V. Gusev (University of Liverpool) and Igor Potapov (University of Liverpool) has been accepted for MFCS 2022.
• 25 May 2022: The paper "Ranking Binary Unlabelled Necklaces in Polynomial Time" by Duncan Alexander Adamson has been accepted at DCFS 2022 - 24th International Conference on Descriptional Complexity of Formal Systems.
• 24 May 2022: The paper "A Monitoring Tool for Linear-Time μHML" by , Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza and Anna Ingólfsdóttir has been selected for the best paper award at COORDINATION 2022, which will be held as part of DisCoTec 2022, 17th International Federated Conference on Distributed Computing Techniques.
• 6 May 2022: The paper "Overcoming Congestion in Distributed Coloring" by Magnus M. Halldorsson, Alexandre Nolin and Tigran Tonoyan (Krisp Technologies Inc., formerly at ICE-TCS) has been accepted for ACM Symposium on Principles of Distributed Computing 2022 (PODC 2022)!
• 22 April 2022: The following two papers have been accepted for journal publication:
  • L. Aceto, V. Castiglioni, W. Fokkink, A. Ingolfsdottir and B. Luttik. Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?. ACM Transactions on Computational Logic, ACM.
  • L. Aceto, A. Achilleos, E. Anastasiadi and A. Ingolfsdottir. An axiomatisation of verdict equivalence over regular monitors. Journal of Logical and Algebraic Methods in Programming, special issue devoted to selected papers from NWPT 2019, 2022.
• 25 March 2022: ICE-TCS researchers have had three papers accepted for DisCoTec 2022, the 17th International Federated Conference on Distributed Computing Techniques, which will take place at the IMT School for Advanced Studies Lucca, between June 13-17, 2022. Congratulations to our PhD students Elli Anastasiadi, Duncan Paul Attard and Jasmine Xuereb who led the research presented in those articles.
• 14 February 2022: Congratulations to Magnus M. Halldorsson, Fabian Kuhn (University of Freiburg), Alexandre Nolin and Tigran Tonoyan (Technion, formerly at ICE-TCS) for their paper "Near-Optimal Distributed Degree+1 Coloring" that has been accepted for the scientific programme of STOC 2022!
• 19 January 2022: The paper "On the axiomatisability of parallel composition" by L. Aceto, V. Castiglioni, A. Ingolfsdottir, B. Luttik, and M.R. Pedersen, has been accepted for publication in Logical Methods in Computer Science.
• 23 December 2021: The paper "Sweedler Theory of Monads" by Dylan McDermott, Exequiel Rivas and Tarmo Uustalu has been accepted for FoSSaCS 2022.
• 20 September 2021: The paper "Active Learning of Markov Decision Processes using Baum-Welch algorithm" by Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, and Raphaël Reynouard has been accepted for ICMLA 2021 (International Conference on Machine Learning and Applications).
• 30 April 2021: The paper "In search of lost time: Axiomatising parallel composition in process algebras" by L. Aceto, E. Anastasiadi, V. Castiglioni, A. Ingolfsdottir, and B. Luttik will be published in the proceedings of LICS 2021.
• 2 April 2021: The following two papers have been accepted for FORTE 2021:
  • Luca Aceto, Ian Cassar, Adrian Francalanza and Anna Ingolfsdottir. On Bidirectional Runtime Enforcement.
  • Valentina Castiglioni, Michele Loreti and Simone Tini. How Adaptive and Reliable is your Program?
• 1 April 2021: The paper "Axiomatizations and Computability of Weighted Monadic Second-Order Logic" by Antonis Achilleos and Mathias Ruggaard Pedersen has been accepted for LICs 2021.
• Saturday, 26 September 2020: The following two papers have been accepted for presentation at CSL 2021, the 29th EACSL Annual Conference on Computer Science Logic:
  • Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir and Karoliina Lehtinen. The best a monitor can do.
  • Luca Aceto, Valentina Castiglioni, Wan Fokkink, Anna Ingólfsdóttir and Bas Luttik. Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition?
• 13 July 2020: the paper "Measuring Adaptability and Reliability of Large Scale Systems" by Valentina Castiglioni, Michele Loreti, and Simone Tini, has been accepted for ISOLA 2020.
• Saturday, 4 July 2020: The following three papers co-authored by ICE-TCS researchers in Tarmo Uustalu's group have been accepted for publication:
  • T. Uustalu, N. Veltri, N. Zeilberger. Eilenberg-Kelly reloaded. Electron. Notes in Theor. Comput. Sci. (P. Johann, ed., Proc. of 36th Conf. on Mathematical Foundations of Programming Semantics, MFPS XXXVI, Paris, June 2020), to appear.
  • T. Uustalu, N. Veltri, N. Zeilberger. Proof theory of partially normal skew monoidal categories. In D. Spivak, J. Vicary, eds., Proc. of 3rd Applied Category Theory Conf., ACT 2020 (Cambridge, MA, July 2020), Electron. Proc. in Theor. Comput. Sci., to appear.
  • D. McDermott, M. Piróg, T. Uustalu. Degrading lists. In Proc. of 22nd Int. Symp. on Principles and Practice of Programming Languages, PPDP 2020 (Bologna, Sept. 2020), ACM, to appear.
• Monday, 29 June 2020: The paper "On the Axiomatisability of Parallel Composition: A Journey in the Spectrum" by Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir, Bas Luttik and Mathias Ruggaard Pedersen has been accepted for CONCUR 2020.
• 23 June 2020: The paper "On the axiomatisability of priority III: Priority strikes again" by L. Aceto, E. Anastasiadi, V. Castiglioni, A. Ingolfsdottir, B. Luttik, and M.R. Perdersen has been accepted for publication in Theoretical Computer Science.
• 23 March 2020: The paper "Raiders of the Lost Equivalence: Probabilistic Branching Bisimilarity" by Valentina Castiglioni and Simone Tini, has been accepted for publication in Information Processing Letters.
• Monday, 3 February 2020: The following two papers have been accepted for journal publication:
  • Michael Albert, Bjarki Gudmundsson and Henning Ulfarsson. Collatz meets Fibonacci. The MAA Mathematics Magazine. To appear
  • J. Smith and H. Ulfarsson. The poset of mesh patterns. Discrete Mathematics, to appear.
• 28 December 2019: The paper "A Logical Characterization of Differential Privacy" by Valentina Castiglioni, Konstantinos Chatzikokolakis, and Catuscia Palamidessi, has been accepted for publication in Science of Computer Programming.
• Saturday, 21 December 2019: The paper Determinizing Monitors for HML with Recursion by Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir and Sævar Örn Kjartansson has been accepted for publication in the Journal of Logical and Algebraic Methods in Programming, Elsevier.
• 22 September 2019: The paper "Probabilistic Divide & Congruence: Branching Bisimilarity" by Valentina Castiglioni and Simone Tini, has been accepted for publication in Theoretical Computer Science.
• 9 September 2019: The paper "The Metric Linear-Time Branching-Time Spectrum on Nondeterministic Probabilistic Processes" by Valentina Castiglioni, Michele Loreti, and Simone Tini, has been accepted for publication in Theoretical Computer Science.
• Wednesday, 3 July 2019: The paper The sequent calculus of skew monoidal categories by T. Uustalu, N. Veltri and N. Zeilberger has been accepted for publication in the Joachim Lambek memorial volume edited by C. Casadio and P. J. Scott, Outstanding Contributions to Logic Series, Springer, to appear.
• Tuesday, 2 July 2019: The following papers by the concurrency group at ICE-TCS have been accepted for publication:
  • Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir and Karoliina Lehtinen. An Operational Guide to Monitorability. Proceedings of the 17th International Conference on Software Engineering and Formal Methods (SEFM 2019), LNCS, September 2019.
  • Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir and Mathias Ruggaard Pedersen. On the axiomatizability of priority III: The return of sequential composition. Proceedings of ICTCS 2019, the 20th Italian Conference on Theoretical Computer Science, September 2019.
  • Luca Aceto, Ian Cassar, Adrian Francalanza and Anna Ingólfsdóttir. Comparing Controlled System Synthesis and Suppression Enforcement. Proceedings of RV 2019, 19th International Conference on Runtime Verification, Lecture Notes in Computer Science, Springer, October 2019.
• 14 June 2019: The paper "Derivatives of trace closures of regular languages" by H. Maarand and T. Uustalu has been accepted for publication in the Proceedings of the 30th Int. Conf. on Concurrency Theory, CONCUR 2019 (Amsterdam, Aug. 2019).
• Tuesday, 14 May 2019: The paper Decomposing comonad morphisms by Danel Ahman and Tarmo Uustalu has been accepted for the 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019 (London, June 2019).
• Monday, 15 April 2019: ICE-TCS researchers in the algorithms and in the programming-theory groups have published, or had accepted, 11 papers since the start of the year. See here and here for details.
• Wednesday, 10 April 2019: The paper Logical characterisations, rule formats and compositionality for input-output conformance simulation by Luca Aceto, Ignacio Fabregas, Carlos Gregorio-Rodriguez and Anna Ingólfsdóttir has been accepted for publication in the Journal of Logical and Algebraic Methods in Programming, Elsevier.
• Saturday, 1 December 2018: The paper When are prime formulae characteristic? by Luca Aceto, Dario Della Monica, Ignacio Fábregas and Anna Ingólfsdóttir has been accepted for publication in the journal Theoretical Computer Science.
• Saturday, 13 October 2018: The paper Combinatorial exploration by Christian Bean, Michael Albert, Anders Claesson, Jay Pantone and Henning Ulfarsson has been selected for presentation at the 2nd International Workshop on Enumeration Problems & Applications, 5-8 November 2018, Pisa, Italy.
• Tuesday, 9 October 2019: The paper Adventures in Monitorability: From Branching to Linear Time and Back Again by Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir and Karoliina Lehtinen has been accepted for publication in the Proceedings of 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019), which will be published in the new ACM journal Proceedings of the ACM on Programming Languages (PACMPL).
• Friday, 14 September 2018: The paper Codensity lifting of monads and its dual by Shin-ya Katsumata, Tetsuya Sato and Tarmo Uustalu has been accepted for the journal Logical Methods in Computer Science.
• Friday, 8 June 2018: The paper On Runtime Enforcement via Suppressions by Luca Aceto, Ian Cassar, Adrian Francalanza and Anna Ingolfsdottir has been accepted for the 29th International Conference on Concurrency Theory (CONCUR 2018).
• Monday, 14 May 2018: The paper The sequent calculus of skew monoidal categories by Tarmo Uustalu, Niccolò Veltri and Noam Zeilberger has been accepted for the 34th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2018), Halifax, Canada, June 6–9, 2018.
• Tuesday, 17 April 2018: The paper Spanning Trees With Edge Conflicts and Wireless Connectivity by Magnús M. Halldórsson, Guy Kortsarz, Pradipta Mitra and Tigran Tonoyan has been accepted for publication at ICALP 2018, Track C.
• Monday, 22 January 2018: The paper Certified Foata normalization for generalized traces by Hendrik Maarand and Tarmo Uustalu has been accepted for the Tenth NASA Formal Methods Symposium (NFM 2018).
• Friday, 22 December 2017: The paper A Framework for Parameterized Monitorability by L. Aceto, A. Achilleos, A. Francalanza and A. Ingolfsdottir has been accepted for the 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2018), which will be held as part of ETAPS 2018, 14-21 April 2018, Thessaloniki, Greece.
• Tuesday, 10 October 2017: The paper The Completeness Problem for Modal Logic by Antonis Achilleos has been accepted for presentation at Symposium on LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS'18).
• Friday, 22 September 2017: The paper Monitoring for Silent Actions by Luca Aceto, Antonis Achilleos, Adrian Francalanza and Anna Ingolfsdottir has been accepted for presentation at FSTTCS 2017, the 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science.
• Friday, 16 June 2017: The paper Rule Formats for Nominal Transition Systems by L. Aceto, I. Fabregas, A. Garcia-Perez, A. Ingolfsdottir and Y. Ortega-Mallen has been accepted for presentation at CONCUR 2017, the 28th International Conference on Concurrency Theory, 5-8 September 2017, Berlin, Germany.
• Sunday, 9 April, 2017: The paper On the Complexity of Determinizing Monitors by L. Aceto, A. Achilleos, A. Francalanza, A. Ingolfsdottir and S. Kjartansson has been acccepted for the 22nd International Conference Implementation and Application of Automata (CIAA 2017), 27-30 June 2017, Université Paris-Est Marne-la-Vallée.
• Wednesday, 15 March 2017: The following journal papers have been accepted for publication:
  • L. Aceto, I. Fabregas, A. Garcia-Perez and A. Ingolfsdottir}. A unified rule format for bounded nondeterminism in SOS with terms as labels. Journal of Logical and Algebraic Methods in Programming, Special issue on Metamodels for Process Languages (Thomas Hildebrandt and Marino Miculan eds.), Elsevier, 2017. To appear.
  • A. Francalanza, L. Aceto and A.~Ingolfsdottir. Monitorability for the Hennessy-Milner logic with recursion. Journal of Formal Methods in System Design, Special issue devoted to selected papers from RV 2015 (Ezio Bartocci and Rupak Majumdar eds.), Springer 2017. To appear.
• Tuesday, 21 February 2017: A virtual special issue of the Journal of Logical and Algebraic Methods in Programming devoted to the 27th Nordic Workshop on Programming Theory (NWPT 2015), edited by Luca Aceto and Anna Ingolfsdottir, is now available.
• Friday, 3 February 2017: The first volume of the Special issue of Acta Informatica devoted to selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015) edited by Luca Aceto and David de Frutos Escrig is now available.
• Sunday, 9 October 2016: The paper Logical characterisations and compositionality of input-output conformance simulation by L. Aceto, I. Fabregas, C. Gregorio-Rodriguez and A. Ingolfsdottir has been accepted for the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, Foundations Of Computer Science Track.
• Wednesday, 30 March 2016: The paper Model-based testing of mobile systems --- an empirical study on QuizUp Android App by V. Gudmundsson, M. Lindvall, L. Aceto, J. Bergthorsson and D. Ganesan has been selected for the First International Workshop on Pre- and Post-Deployment Verification Techniques (PrePost).
• Saturday, 19 December 2015: The paper Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story by David Romero-Hernández, David de Frutos-Escrig and Dario Della Monica has been published in the Proceedings XV Jornadas sobre Programación y Lenguajes (PROLE 2015), Santander, Spain, 15-17th September 2015, Electronic Proceedings in Theoretical Computer Science 200, pp. 48–63.
• Monday, 20 September 2015: The following papers by Magnus M. Halldorsson and his coworkers have been accepted.
  • Daniele Catanzaro, Steven Chaplick, Stefan Felsner, Bjarni V. Halldórsson, Magnús M. Halldórsson, Thomas Hixon and Juraj Stacho. Max point-tolerance graphs. Discrete Applied Mathematics, Elsevier.
  • Magnús M. Halldórsson, Sergey Kitaev and Artem Pyatkin. Semi-transitive orientations and word-representable graphs. Discrete Applied Mathematics, Elsevier.
  • Bjarni V. Halldórsson, Magnús M. Halldórsson, Elena Losievskaja and Mario Szegedy. Streaming Algorithms for Independent Sets in Sparse Hypergraphs. Algorithmica, Springer Verlag.
  • Pierre Fraigniaud, Magnús M. Halldórsson, Boaz Patt-Shamir, Dror Rawitz and Adi Rosén. Shrinking Maxima, Decreasing Costs: New Online Packing and Covering Problems. Algorithmica, Springer Verlag.
  • Yusuke Aoki, Bjarni V. Halldórsson, Magnús M. Halldórsson, Takehiro Ito, Christian Konrad and Xiao Zhou. The minimum vulnerability problem on specific graph classes. Journal of Combinatorial Optimization, Springer Verlag.
  • Magnus M. Halldorsson and Tigran Tonoyan. Limitations of Current Wireless Scheduling Algorithms. Proceedings of ALGOSENSORS 2015, 17 -18 September, Patras, Greece.
  • Rajiv Gandhi, Magnus M. Halldorsson, Christian Konrad, Guy Kortsarz and Hoon Oh. Radio Aggregation Scheduling. Proceedings of ALGOSENSORS 2015, 17 -18 September, Patras, Greece.
  • Magnus M. Halldorsson and Tigran Tonoyan. The Price of Local Power Control in Wireless Scheduling. Proceedings of FSTTCS 2015, the 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Indian Institute of Science, Bangalore. December 16–18, 2015.
  • Magnus M. Halldorsson, Sven Köhler, Boaz Patt-Shamir and Dror Rawitz. Distributed Backup Placement in Networks. Proceedings of SPAA 2015, the 27th ACM Symposium on Parallelism in Algorithms and Architectures, Portland, Oregon, USA June 13-15, 2015.
• Monday, 14 September 2015: The following papers co-authored by Henning Ulfarsson have been accepted for publication:
  • I. Hilmarsson, I. Jonsdottir, S. Sigurdardottir, L. Vidarsdottir and H. Ulfarsson. Wilf-classification of mesh patterns of short length. To appear in the Electronic Journal of Combinatorics.
  • A. Claesson, B. Tenner and H. Ulfarsson. Coincidence among families of mesh patterns. The Australasian Journal of Combinatorics 2015, Volume 63 Part 1 (2015).
• Friday, 31 July 2015: The paper Bounds and Fixed-Parameter Algorithms for Weighted Improper Coloring by Bjarki Ágúst Guðmundsson, Tómas Ken Magnússon and Björn Orri Sæmundsson has been accepted for the 16th Italian Conference on Theoretical Computer Science (ICTCS 2015). The three authors are undergraduate students at Reykjavik University. Congratulations to the authors!
• Friday, 24 July 2015: The paper Distributed Large Independent Sets in One Round On Bounded independence Graphs by Magnus M. Halldorsson and Christian Konrad has been accepted for DISC 2015.
• Monday, 15 June 2015: The paper Maximum Matching in Turnstile Streams by Christian Konrad has been accepted for presentation at ESA 2015, to be held in Patras, Greece, in the period 14-16 September 2015.
• Wednesday, 10 June 2015: The paper On Verifying Hennessy-Milner Logic with Recursion at Runtime by A. Francalanza, L. Aceto and A. Ingolfsdottir has been accepted for the 15th International Conference on Runtime Verification (RV 2015), 22-25 September 2015, Vienna, Austria.
• Tuesday, 9 June 2015: The paper Rule formats for bounded nondeterminism in structural operational semantics by Luca Aceto, Alvaro Garcia Perez and Anna Ingolfsdottir has been accepted for publication as a chapter contribution to a Festschrift to be published by Springer-Verlag, 2016.
• Tuesday, 4 June 2015: The following journal papers are now available on line:
  • Jørgen Bang-Jensen and Magnús M. Halldórsson. Vertex coloring edge-weighted digraphs. Information Processing Letters, Elsevier.
  • Pierluigi Crescenzi, Pierre Fraigniaud, Magnus Halldorsson, Hovhannes A. Harutyunyan, Chiara Pierucci, Andrea Pietracaprina and Geppino Pucci. On the complexity of the shortest-path broadcast problem. Discrete Applied Mathematics, Elsevier.
• Wednesday, 3 June 2015: The paper When are prime formulae characteristic? by Luca Aceto, Dario Della Monica, Ignacio Fabregas and Anna Ingolfsdottir has been accepted for presentation at the 40th MFCS, Mathematical Foundations of Computer Science, to be held in Milano, Italy, August 24-28, 2015.
• Thursday, 30 April 2015: The papers
  • Magnus M. Halldorsson, Stephan Holzer and Nancy Lynch. A Local Broadcast Layer for the SINR Network Model
  • Magnus M. Halldorsson, Yuexuan Wang and Dongxiao Yu. Leveraging Multiple Channels in Ad Hoc Networks
  have been accepted for PODC 2015.
• Tuesday, 3 February 2015: The paper How Well Can Graphs Represent Wireless Interference? by Magnus M. Halldorsson and Tigran Tonoyan has been accepted for STOC 2015: 47th Annual Symposium on the Theory of Computing, Portland, Oregon, June 15-17 2015. STOC is one of the most prestigious and competitive conferences in TCS. Congratulations to Magnus and Tigran!
• 15 January 2015: The paper Decision Support for Mobile Cloud Computing Applications via Model Checking by Luca Aceto, Andrea Morichetta and Francesco Tiezzi has been accepted for the 3rd IEEE International Conference on Mobile Cloud Computing, Services, and Engineering (IEEE Mobile Cloud 2015).
• Thursday, 18 September 2014: The special issue Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, edited by Amotz Bar-Noy, Thomas Erlebach, Magnus M. Halldorsson, Sotiris Nikoletseas and Pekka Orponen is now available as Theoretical Computer Science 553:1-114, 9 October 2014.
• Monday, 15 September 2014: The paper A Ground-Complete Axiomatization of Stateless Bisimilarity over Linda by Luca Aceto, Eugen-Ioan Goriac and Anna Ingolfsdottir has been accepted for the journal Information Processing Letters, Elsevier.
• Tuesday, 2 September 2014: The following papers by members of the algorithms and wireless networks group within ICE-TCS have been accepted for publication.
  • Helga Gudmundsdottir, Eyjolfur I. Asgeirsson, Marijke H. L. Bodlaender, Joseph T. Foley, Magnus M. Halldorsson, Ymir Vigfusson. Wireless Scheduling Algorithms in Complex Environments. To appear in MSWiM, September 2014.
  • Magnus M. Halldorsson, Christian Konrad. Distributed Algorithms for Coloring Interval Graphs. To appear in DISC, October 2014.
  • Olga Goussievskaia, Magnus M. Halldorsson, Roger Wattenhofer. Algorithms for wireless capacity. IEEE/ACM Transactions on Networking, 2(3):745-755, June 2014.
  • Magnus M. Halldorsson, Pradipta Mitra. Wireless Capacity With Arbitrary Gain Matrix. Theoretical Computer Science, available online from 9 Oct 2013.
  • Magnus M. Halldorsson, Pradipta Mitra. Nearly Optimal Bounds for Distributed Wireless Scheduling in the SINR Model. Distributed Computing, available online from June 10, 2014.
• Friday, 18 July 2014: The paper Beyond Geometry: Towards Fully Realistic Wireless Models by Marijke H.L. Bodlaender and Magnus M. Halldorsson is presented at PODC 2014.
• Saturday, 5 July 2014: The paper On the expressiveness of the interval logic of Allen's relations over finite and discrete linear orders by Luca Aceto, Dario Della Monica, Anna Ingolfsdottir, Angelo Montanari and Guido Sciavicco has been accepted for presentation at the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014.
• Monday, 9 June 2014: The paper Axiomatizing Weak Simulation Semantics over BCCSP by L. Aceto, D. de Frutos Escrig, C. Gregorio-Rodriguez and A.~Ingolfsdottir has appeared in Theoretical Computer Science 537:42--71, Elsevier.
• Monday, 7 April 2014: The paper Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity by Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala and Guido Sciavicco is in press for the journal Theoretical Computer Science.
• Monday, 2 December 2013: The Special Issue: Selected papers of the conference on ``Foundations of Software Science and Computation Structures'': FOSSACS 2012, Tallinn, Estonia, 2012, Logical Methods in Computer Science, edited by Luca Aceto and Lars Birkedal is now available.
• Saturday, 23 November 2013: The paper Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca by L. Aceto, M. Cimini, A. Ingolfsdottir, A. Jafari, A.H. Reynisson, S.H. Sigurdarson and M. Sirjani has been accepted for publication in the journal Science of Computer Programming, Elsevier.
• Monday, 11 November 2013: The paper Online selection of intervals and t-intervals by U.T. Bachman, M. Halldorsson and H. Shachnai has been accepted for Information and Computation.
• Sunday, 13 October 2013: The paper Wireless Capacity With Arbitrary Gain Matrix by Magnús M. Halldórsson and Pradipta Mitra has been accepted for publication in Theoretical Computer Science. It is available on line here.
• Sunday, 29 September 2013: The paper An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics by Luca Aceto, Dario Della Monica, Anna Ingolfsdottir, Angelo Montanari and Guido Sciavicco has been accepted for the conference LPAR-19, Logic for Programming, Artificial Intelligence and Reasoning, Stellenbosch, South Africa, 15-19 December 2013.
• Sunday, 1 September 2013: The following two journal papers have been accepted for publication:
  • Sleep-Wake Dynamics under Extended Light and Extended Dark Conditions in Adult Zebrafish by Benjamín Sigurgeirsson, Haraldur Þorsteinsson, Sigrún Sigmundsdóttir, Ramona Lieder, Hildur S. Sveinsdóttir, Ólafur E. Sigurjónsson, Bjarni Halldórsson and Karl Æ. Karlsson. Behavioural Brain Research, in press.
  • Halldórsson BV and Sharan R. Network-Based Interpretation of Genomic Variation Data. J Mol Biol. 2013. [Epubahead of print]
• Friday, 19 July 2013: The paper SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators by Luca Aceto, Eugen-Ioan Goriac and Anna Ingolfsdottir has been accepted for publication in the Journal of Logic and Algebraic Programming, Elsevier.
• Monday, 8 July 2013: The paper Estimating population size via line graph reconstruction by Halldórsson V Bjarni, Blokh Dima, and Sharan Roded has appeared in Algorithms for Molecular Biology. 2013, 8:17.
• Monday, 8 July 2013: The following papers have been accepted for EXPRESS/SOS 2013: Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics:
  • Meta SOS - A Maude Based SOS Meta-Theory Framework by Luca Aceto, Eugen-Ioan Goriac and Anna Ingolfsdottir and
  • Algebraic Meta-Theory of Processes with Data by Daniel Gebler, Eugen-Ioan Goriac and Mohammadreza Mousavi.
• Tuesday, 18 June 2013: The paper A lower bound in model checking coalitional games in shortage resource scenarios by Dario Della Monica, Margherita Napoli and Mimmo Parente has been accepted for the Fourth International Symposium on Games, Automata, Logics and Formal Verification (Gandalf 2013), Borca di Cadore, Dolomites, Italy - August 29th-31th, 2013.
• Sunday, 9 June 2013: The paper A complete classification of the expressiveness of interval logics of Allen's relations over dense linear orders by Luca Aceto, Dario Della Monica, Anna Ingolfsdottir, Angelo Montanari and Guido Sciavicco has been accepted for TIME 2013: 20th International Symposium on Temporal Representation and Reasoning.
• Thursday, 6 June 2013: The paper A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: an Implementation by Davide Bresolin, Dario Della Monica, Angelo Montanari and Guido Sciavicco has been accepted for Tableaux 2013, Automated Reasoning with Analytic Tableaux and Related Methods, Nancy, France, September 16-19, 2013.
• Sunday, 5 May 2013: The paper Exploiting Algebraic Laws to Improve Mechanized Axiomatization by Luca Aceto, Eugen-Ioan Goriac, Anna Ingolfsdottir, MohammadReza Mousavi and Michel Reniers has been accepted for the 5th Conference on Algebra and Coalgebra in Computer Science, Warsaw, Poland, 3-6 September 2013.
• Sunday, 17 March 2013: The paper Axiomatizing Weak Simulation Semantics over BCCSP by Luca Aceto, David de Frutos Escrig, Carlos Gregorio-Rodriguez and Anna Ingolfsdottir has been accepted for publication in the journal Theoretical Computer Science.
• Wednesday, 13 March 2013: The article
  D. Bresolin, D. Della Monica, A. Montanari, and G. Sciavicco. The Light Side of Interval Temporal Logic: the Bernays-Schönfinkel fragment of CDT,
  has been accepted for publication in the Annals of Mathematics and Artificial Intelligence (AMAI) (DOI: 10.1007/s10472-013-9337-y, online since March 2013).
• Friday, 1 March 2013: The following paper has appeared:
  D. Della Monica, V. Goranko, A. Montanari, and G. Sciavicco. Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers. Journal of Universal Computer Science (JUCS), 18(20):2798-2831, 2012.
• Friday, 1 February 2013: The paper On the specification of modal systems: A comparison of three frameworks by Luca Aceto, Ignacio Fabregas, David de Frutos Escrig, Anna Ingolfsdottir and Miguel Palomino has been accepted for publication in the journal Science of Computer Programming.
• Sunday, 6 January 2013: The following papers will appear in the journal Theoretical Computer Science, Volume 470, 28 January 2013:
  • SDP-based algorithms for maximum independent set problems on hypergraphs by Geir Agnarsson, Magnús M. Halldórsson and Elena Losievskaja, Pages 1-9;
  • Approximation and parameterized algorithms for common subtrees and edit distance between unordered trees by Tatsuya Akutsu, Daiji Fukagawa, Magnús M. Halldórsson, Atsuhiro Takasu and Keisuke Tanaka, Pages 10-22.
• Friday, 14 December 2012: The volume 38th International Colloquium on Automata, Languages and Programming (ICALP 2011), Information and Computation 222, pages 1-306, January 2013 edited by Luca Aceto, Monika Henzinger and Jiri Sgall is now available.
• Monday, 3 December 2012: The following papers have been accepted for journal publication:
  • Restricted non-separable planar maps and some pattern avoiding permutations by Sergey Kitaev, Pavel Salimov, Christopher Severs and Henning Ulfarsson. To appear in Discrete Applied Mathematics, Elsevier.
  • Which Schubert varieties are local complete intersections? by Henning Ulfarsson and Alexander Woo. To appear in the Proceedings of the London Mathematical Society.
• Tuesday, 27 November 2012: The paper An Integer Programming Formulation of the Parsimonious Loss of Heterozygosity Problem by Daniele Catanzaro, Martine Labbé and Bjarni V. Halldorsson has been published in IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB), November 2012.
• Wednesday, 10 October 2012: The paper Compositional Reasoning for Epistemic Logics by Luca Aceto, Anna Ingolfsdottir, Cristian Prisacariu and Joshua Sack has been accepted for LFCS 2013, Symposium on Logical Foundations of Computer Science, January 6-8, 2013, San Diego, California, U.S.A.
• Friday, 21 September 2012: The paper SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators by Luca Aceto, Eugen-Ioan Goriac and Anna Ingolfsdottir has been accepted for SOFSEM 2013: The 39th International Conference on Current Trends in Theory and Practice of Computing.
• Thursday, 20 September 2012: The paper Formal modeling of evolving self-adaptive systems by Narges Khakpour, Saeed Jalili, Carolyn Talcott, Marjan Sirjani and MohammadReza Mousavi has appeared in Science of Computer Programming 78(1):3-26, Special Section: Formal Aspects of Component Software (FACS' 09), Edited by Sun Meng and Bernhard Schätz.
• Monday, 10 September 2012: The paper The Power of Non-Uniform Wireless Power, authored by Magnus M. Halldorsson, Stephan Holzer, Pradipta Mitra, and Roger Wattenhofer, has been accepted for presentation at SODA 2013.
• Wednesday, 1 August 2012: The paper Estimating population size via line graph reconstruction by Bjarni V. Halldorsson, Dima Blokh and Roded Sharan has been accepted for publication in the Proceedings of WABI 2012.
• Monday, 30 July 2012: The paper Rule Formats for Distributivity by L. Aceto, M. Cimini, A. Ingolfsdottir, M. Mousavi and M. Reniers has been accepted for publication in the journal Theoretical Computer Science.
• Monday, 2 July 2012: The paper Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture by D. Bresolin, D. Della Monica, A. Montanari, P. Sala, and G. Sciavicco has been accepted for the 3rd International Symposium on Games, Automata, Logics and Formal Verification (GandALF), Naples, Italy, September 6th-8th, 2012.
• Monday, 21 May 2012: The paper Interval Temporal Logics over Finite Linear Orders: the Complete Picture by Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala and Guido Sciavicco has been accepted for the 20th European Conference on Artificial Intelligence (ECAI 2012).
• Tuesday, 24 April 2012: The paper Automatic equivalence proofs for non-deterministic coalgebras by M. Bonsangue, G. Caltais, E. I. Goriac, D. Lucanu, J. Rutten and A. Silva has been accepted for publication in the journal Science of Computer Programming.
• Wednesday, 18 April 2012: The following contributions by ICE-TCS researchers have been accepted for presentation at PODC 2012:
  • Magnus M. Halldorsson and Pradipta Mitra. Distributed Connectivity of Wireless Networks. (Full paper)
  • Eyjólfur Ingi Ásgeirsson, Magnus M. Halldorsson and Pradipta Mitra. Distributed Algorithms for Throughput Performance in Wireless Networks. (Brief announcement)
• Tuesday, 17 April 2012: Three papers by ICE-TCS researchers have been selected for presentation at ICALP 2012! The papers are:
  • Luca Aceto, Arnaud Carayol, Zoltan Esik and Anna Ingolfsdottir. Algebraic Synchronization Trees and Processes (track B),
  • Yuval Emek, Magnus M. Halldorsson and Adi Rosen. Space-Constrained Interval Selection (track A) and
  • Magnus M. Halldorsson, Chengu Wang, Xiaoming Sun and Mario Szegedy. Streaming and Communication Complexity of Clique Approximation (track A).
• Wednesday, 11 April 2012: The paper Describing West-3-stack-sortable permutations with permutation patterns by Henning Úlfarsson has been accepted for publication in the journal Séminaire Lotharingien de Combinatoire.
• Wednesday, 11 April 2012: The paper Wireless Network Stability in the SINR Model by Eyjólfur Ingi Ásgeirsson, Magnus M. Halldorsson and Pradipta Mitra has been accepted for SIROCCO 2012.
• Monday, 2 April 2012: The papers
  • Final semantics for decorated traces by Filippo Bonchi, Marcello Bonsangue, Georgiana Caltais, Jan Rutten and Alexandra Silva, and
  • Nominal SOS by Matteo Cimini, MohammadReza Mousavi, Michel Reniers and Murdoch Gabbay
  have been accepted for presentation at the Twenty-eighth Conference on the Mathematical Foundations of Programming Semantics, University of Bath, Bath, UK, June 6-9, 2012.
• Friday, 16 March 2012: The paper DELISHUS: A Fast and Accurate Algorithm for Computing Genomic Deletion Variation with Applications to Autism by Derek Aguiar, Bjarni Halldorsson, Eric Morrow and Sorin Istrail will appear in the Proceedings of ISMB 2012, Intelligent systems in Molecular Biology.
• Thursday, 1 March 2012: The journal papers
  • Luca Aceto, Anna Ingolfsdottir, Paul Blain Levy and Joshua Sack.
    Characteristic Formulae for Fixed-Point Semantics: A General Framework. Mathematical Structures in Computer Science, volume 22, issue 02, pp. 125-173, 2012 and
  • Luca Aceto, Matteo Cimini and Anna Ingolfsdottir.
    Proving the validity of equations in GSOS languages using rule-matching bisimilarity. Mathematical Structures in Computer Science, volume 22, issue 02, pp. 291-331, 2012
  have now appeared.
• Wednesday, 8 February 2012: The paper PAIR: Polymorphic Alu Insertion Recognition by Jón Ingi Sveinbjörnsson and Bjarni V. Halldórsson has been accepted for the journal BMC Bioinformatics and will be presented at the SECOND ANNUAL RECOMB SATELLITE WORKSHOP ON MASSIVELY PARALLEL SEQUENCING (RECOMB-seq).
• Saturday, 4 February 2012: The paper A Fully Distributed Algorithm for Throughput Performance in Wireless Networks by with Eyjólfur I. Ásgeirsson, Magnus M. Halldorsson and Pradipta Mitra has been accepted for publication in the Proceedings of CISS 2012, 46 Annual Conference on Information Sciences and Systems.
• Monday, 30 January 2012: The paper Refined Inversion Statistics on Permutations by Joshua Sack and Henning Ulfarsson has been published as paper number 29 in the Electronic Journal of Combinatorics, volume 19, 2012.
• Friday, 20 January 2012: The paper Characteristic formulae for relations with nested fixed points by Luca Aceto and Anna Ingólfsdóttir has been accepted for presentation at FICS 2012, Workshop on Fixed Points in Computer Science.
• Friday, 18 November 2011: The paper Algorithms for Weighted Capacity and Admission Control in Wireless Networks by Magnus M. Halldorsson and Pradipta Mitra has been accepted for INFOCOM 2012.
• Wednesday, 21 September 2011: The paper The Equational Theory of Weak Complete Simulation Semantics over BCCSP by Luca Aceto, David de Frutos Escrig, Carlos Gregorio-Rodriguez and Anna Ingolfsdottir has been accepted for publication in the Proceedings of the 38th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2012), Lecture Notes in Computer Science, Springer-Verlag, 2012.
• Tuesday, 13 September 2011: The paper Wireless Connectivity and Capacity by Magnus Halldorsson and Pradipta Mitra has been accepted for the prestigious SODA 2012. The full list of accepted papers is here.
• Wednesday, 31 August 2011: The paper Word-Representability of Line Graphs by Sergey Kitaev, Pavel Salimov, Christopher Severs and Henning Ulfarsson has been published in the Open Journal of Discrete Mathematics, Vol. 1 No. 2, July 2011.
• Tuesday, 23 August 2011: The paper Networks of Real-Time Actors: Schedulability Analysis and Coordination by Mohammad Jaghoori, Olafur Hlynsson and Marjan Sirjani has been accepted for presentation at FACS 2011, the 8th International Symposium on Formal Aspects of Component Software, Oslo, Norway, September 14-16, 2011.
• Monday, 22 August 2011: The following papers have been published:
  • Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac and Anna Ingolfsdottir. Axiomatizing GSOS with Predicates, Proceedings of the Eight Workshop on Structural Operational Semantics (SOS 2011), Electronic Proceedings in Theoretical Computer Science volume 62, pp. 1-16, Aachen, Germany, 5th September 2011. Edited by: M.A. Reniers and P. Sobocinski.
  • Luca Aceto, Ignacio Fabregas, David de Frutos-Escrig, Anna Ingolfsdottir and Miguel Palomino. Graphical representation of covariant-contravariant modal formulae, Proceedings of the 18th International Workshop on Expressiveness in Concurrency, Electronic Proceedings in Theoretical Computer Science volume 64, pp. 1-15, Aachen, Germany, 5th September 2011. Edited by: Bas Luttik and Frank Valencia.
• Wednesday, 10 August 2011: The proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011), edited by Luca Aceto and MohammadReza Mousavi, are now available as volume 60 of Electronic Proceedings in Computer Science.
• Wednesday, 10 August 2011: The paper Modelling and Simulation of Real-Time Systems using Timed Rebeca by Luca Aceto, Matteo Cimini, Anna Ingolfsdottir, Arni Hermann Reynisson, Steinar Hugi Sigurdarson and Marjan Sirjani has been published in the Proceeding of FOCLASA 2011, volume 58 of Electronic Proceedings in Computer Science, pages 1-19.
• Monday, 11 July 2011: The paper Graphical representation of covariant-contravariant modal formulas by Luca Aceto, Ignacio Fabregas, David de Frutos Escrig, Anna Ingolfsdottir and Miguel Palomino has been accepted for EXPRESS 2011, the 18th International Workshop on Expressiveness in Concurrency.
• Friday, 1 July 2011: The paper Modelling and Simulation of Real-Time Systems using Timed Rebeca by Luca Aceto, Matteo Cimini, Anna Ingolfsdottir, Arni Hermann Reynisson, Steinar Hugi Sigurdarson and Marjan Sirjani has been accepted for FOCLASA 2011.
• Friday, 1 July 2011: The paper Axiomatizing GSOS with Predicates by Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac and Anna Ingolfsdottir has been accepted for SOS 2011.
• Tuesday, 28 June 2011: The two-volume Proceedings of the 38th International Colloquium on Automata, Languages and Programming (ICALP 2011), edited by Luca Aceto, Monika Henzinger and Jiri Sgall, are now available. Part I may be found here, and part II here.
• Monday, 27 June 2011: The following papers have appeared:
  • Bjarni V. Halldorsson, Daniel Gudbjartsson, An algorithm for detecting high frequency copy number polymorphisms using SNP array Journal of Computational Biology, August 2011.
  • Bjarni V. Halldorsson, Stefania H. Stefansdottir, Oddgeir Ottesen. Mat a efra stigs stadgongubjaga í verdbolgumaelingum a Islandi. Timaritum vidskipti og efnahagsmal, 2011.
  • Tuomas O Kilpelainen et al. Genetic variation near IRS1 associates with reduced adiposity and an impaired metabolic profile. Nature Genetics, 2011, Published online 26 June 2011.
• Monday, 27 June 2011: The paper Wireless Scheduling with Power Control by Magnus M. Halldorsson has been accepted for publication in the journal ACM Transactions on Algorithms.
• Monday, 27 June 2011: The paper Enumerating (2+2)-free posets by the number of minimal elements and other statistics by S. Kitaev and J. Remmel has been accepted for publication in the journal Discrete Applied Mathematics.
• Tuesday, 31 May 2011: The paper Generalized permutation patterns and Schubert varieties by Henning Ulfarsson has been accepted for presentation at Permutation Patterns 2011, California Polytechnic State Unviersity, San Luis Obispo, CA, 2011. It will appear in a special issue of the journal Pure Mathematics and Applications, 2011.
• Friday, 27 May 2011: The paper Axiomatizing Weak Simulation Semantics over BCCS by Luca Aceto, David de Frutos Escrig, Carlos Gregorio-Rodriguez and Anna Ingolfsdottir has been accepted for publication in the Proceedings of ICTAC 2011, the 8th International Colloquium on Theoretical Aspects of Computing, 31 August - 2 September 2011, Johannesburg, South Africa.
• Wednesday, 11 May 2011: The paper On the Representability of Line Graphs by Sergey Kitaev, Pavel Salimov, Christopher Severs and Henning Ulfarsson has been accepted for the Open Journal of Discrete Mathematics.
• Thursday, 5 May 2011: The paper Alternation graphs by M. Halldorsson, S. Kitaev and A. Pyatkin has been accepted for the 37th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2011, Tepla Monastery, Czech Republic, June 21-24, 2011.
• Friday, 29 April 2011: The paper Sigma Algebras in Probabilistic Epistemic Dynamics by Luca Aceto, Wiebe van der Hoek, Anna Ingolfsdottir and Joshua Sack has been accepted for the Proceedings of TARK 2011.
• Friday, 22 April 2011: The paper On square-free permutations by Avgustinovich, S. Kitaev, A. Pyatkin, and A. Valyuzhenich has been accepted for publication in the Journal of Automata, Languages and Combinatorics.
• Thursday, 21 April 2011: The paper PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates by Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac and Anna Ingolfsdottir has been accepted for publication in the Proceedings of CALCO 2011 as a contribution to CALCO Tools, Lecture Notes in Computer Science, Springer Verlag.
• Saturday, 16 April 2011: The special issue of Science of Computer Programming on the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 08), Volume 76, Issue 8, Pages 627-736 (1 August 2011), edited by Pascal Poizat, Marjan Sirjani and Carlos Canal is now available on line.
• Friday, 15 April 2011: The paper On the Representability of Line Graphs by Sergey Kitaev, Pavel Salimov, Christopher Severs and Henning Ulfarsson has been accepted for a poster presentation at DLT 2011.
• Tuesday, 12 April 2011: The paper Nearly Optimal Bounds for Distributed Wireless Scheduling in the SINR Model by Magnus Halldorsson and Pradipta Mitra has been accepted for Track C of ICALP 2011. Congratulations to Magnus and Pradipta!
• Thursday, 7 April 2011: The following two contributions have been accepted for presentation at Permutation Patterns 2011
  • "Marked mesh patterns and local complete intersection Schubert varieties" by Henning Ulfarsson and Woo, and
  • the final project work of 4 B.Sc. students supervised by Henning Ulfarsson.
• Thursday, 7 April 2011: The paper The Clark Phase-able Sample Size Problem: Long-range Phasing and Loss of Heterozygosity in GWAS by Bjarni V. Halldorsson,, Derek Aguiar, Ryan Tarpine and Sorin Istrail has appeared in Journal of Computational Biology, 2011, 18(3):323-333.
• Wednesday, 6 April 2011: The paper Enumerating (2+2)-free posets by indistinguishable elements by M. Dukes, S. Kitaev, J. Remmel and E. Steingrimsson has been accepted for publication in the Journal of Combinatorics.
• Wednesday, 9 March 2011: The paper On the Axiomatizability of Priority II by Luca Aceto, Taolue Chen, Anna Ingolfsdottir, Bas Luttik and Jaco van de Pol has been accepted for publication in the journal Theoretical Computer Science.
• Tuesday, 15 February 2011: The paper Rule Formats for Distributivity by Luca Aceto, Matteo Cimini, Anna Ingolfsdottir, MohammadReza Mousavi and Michel Reniers has been accepted for LATA 2011, Fifth International Conference on Languages and Automata Theory and Applications, 26-31 May 2011, Tarragona, Spain.
• Saturday, 29 January 2011: The paper Pattern avoidance in partial permutations by Anders Claesson, Vit Jelinek, Eva Jelinkova, Sergey Kitaev has been published in Electronic Journal of Combinatorics 18 (2011).
• Saturday, 22 January 2011: The paper SOS Rule Formats for Zero and Unit Elements by Luca Aceto, Matteo Cimini, Anna Ingolfsdottir, MohammadReza Mousavi and Michel Reniers has been accepted for publication in the journal Theoretical Computer Science.
• Friday, 21 January 2011: The paper Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet by Luca Aceto, David de Frutos Escrig, Carlos Gregorio-Rodriguez and Anna Ingolfsdottir has been accepted for publication in the journal Information Processing Letters, Elsevier.
• Wednesday, 19 January 2011: The paper Pattern avoidance in partial permutations by Anders Claesson, Vit Jelinek, Eva Jelinkova, Sergey Kitaev has been accepted for publication in the Electronic Journal of Combinatorics.
• Friday, 31 December 2011: The following journal papers have been accepted for publication:
  • Insights into the genetic architecture of osteoarthritis from stage 1 of the arcOGEN study. Panoutsopoulou K, Southam L, Elliott KS, Wrayner N, Zhai G, Beazley C, Thorleifsson G, Arden NK, Carr A, Chapman K, Deloukas P, Doherty M, McCaskie A, Ollier WE, Ralston SH, Spector TD, Valdes AM, Wallis GA, Wilkinson JM, Arden E, Battley K, Blackburn H, Blanco FJ, Bumpstead S, Cupples LA, Day-Williams AG, Dixon K, Doherty SA, Esko T, Evangelou E, Felson D, Gomez-Reino JJ, Gonzalez A, Gordon A, Gwilliam R, Halldorsson BV, Hauksson VB, Hofman A, Hunt SE, Ioannidis JP, Ingvarsson T, Jonsdottir I, Jonsson H, Keen R, Kerkhof HJ, Kloppenburg MG, Koller N, Lakenberg N, Lane NE, Lee AT, Metspalu A, Meulenbelt I, Nevitt MC, O'Neill F, Parimi N, Potter SC, Rego-Perez I, Riancho JA, Sherburn K, Slagboom PE, Stefansson K, Styrkarsdottir U, Sumillera M, Swift D, Thorsteinsdottir U, Tsezou A, Uitterlinden AG, van Meurs JB, Watkins B, Wheeler M, Mitchell S, Zhu Y, Zmuda JM; arcOGEN Consortium, Zeggini E, Loughlin J. Ann Rheum Dis. 2010 Dec 21. [Epub ahead of print]PMID: 21177295
  • Meta-analysis of genome-wide association studies confirms a susceptibility locus for knee osteoarthritis on chromosome 7q22. Evangelou E, Valdes AM, Kerkhof HJ, Styrkarsdottir U, Zhu Y, Meulenbelt I, Lories RJ, Karassa FB, Tylzanowski P, Bos SD; arcOGEN Consortium, Akune T, Arden NK, Carr A, Chapman K, Cupples LA, Dai J, Deloukas P, Doherty M, Doherty S, Engstrom G, Gonzalez A, Halldorsson BV, Hammond CL, Hart DJ, Helgadottir H, Hofman A, Ikegawa S, Ingvarsson T, Jiang Q, Jonsson H, Kaprio J, Kawaguchi H, Kisand K, Kloppenburg M, Kujala UM, Lohmander LS, Loughlin J, Luyten FP, Mabuchi A, McCaskie A, Nakajima M, Nilsson PM, Nishida N, Ollier WE, Panoutsopoulou K, van de Putte T, Ralston SH, Rivadeneira F, Saarela J, Schulte-Merker S, Shi D, Slagboom PE, Sudo A, Tamm A, Tamm A, Thorleifsson G, Thorsteinsdottir U, Tsezou A, Wallis GA, Wilkinson JM, Yoshimura N, Zeggini E, Zhai G, Zhang F, Jonsdottir I, Uitterlinden AG, Felson DT, van Meurs JB, Stefansson K, Ioannidis JP, Spector TD; Translation Research in Europe Applied Technologies for Osteoarthritis (TreatOA). Ann Rheum Dis. 2010 Nov 10. [Epub ahead of print]PMID: 21068099
• Tuesday, 14 December 2010: The papers
  • Luca Aceto, Arnar Birgisson, Anna Ingolfsdottir, MohammadReza Mousavi. Decompositional Reasoning about the History of Parallel Processes, and
  • Luca Aceto, Ignacio Fabregas, David de Frutos Escrig, Anna Ingolfsdottir and Miguel Palomino.
    Relating modal refinements, covariant-contravariant simulations and partial bisimulations
  have been accepted for publication in the Proceedings of IPM International Conference on Fundamentals of Software Engineering (FSEN 2011), Tehran, Iran, April 20-22, 2011. Lecture Notes in Computer Science, Springer-Verlag.
• Sunday, 21 November 2010: The paper On a game theoretic approach to capacity maximization in wireless networks by Eyjólfur Ingi Ásgeirsson and Pradipta Mitra has been accepted for publication in the proceedings of the competitive INFOCOM 2011 conference.
• Thursday, 18 November 2010: The paper Crucial abelian k-power-free words by A. Glen, B. V. Halldorsson and S. Kitaev has been accepted for publication in the journal Discrete Mathematics and Theoretical Computer Science.
• Tuesday, 9 November 2010: The paper Very Twisted Stable Maps by Q. Chen, S. Marcus and H. Ulfarsson will appear in Communications in Analysis and Geometry, Volume 18, Number 4, 2010.
• Wednesday, 27 October 2010: The paper Resource bisimilarity and graded bisimilarity coincide by Luca Aceto, Anna Ingolfsdottir and Joshua Sack has been accepted for publication in Information Processing Letters, Elsevier.
• Monday, 18 October 2010> The paper Comparing three coordination models: Reo, ARC, and PBRD by Carolyn Talcott, Marjan Sirjani and Shangping Ren will appear in Science of Computer Programming 76(1):3-22, 1 January 2011.
• Thursday, 30 September 2010: The paper A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages has been accepted for publication in Mathematical Structures in Computer Science, special issue devoted to selected papers from SOS 2009, Cambridge University Press.
• Tuesday, 28 September 2010: The following papers have been accepted for publication:
  • S. Heubach, S. Kitaev. Avoiding substrings in compositions, Congressus Numerantium, to appear.
  • A. Claesson, M. Dukes, S. Kitaev. A direct encoding of Stoimenow's matchings as ascent sequences, Australasian Journal of Combinatorics, to appear.
  • M. Halldorsson, S. Kitaev, A. Pyatkin. Graphs capturing alternations in words, DLT 2010, Y. Gao, H. Lu, S. Seki, S. Yu (Eds.): Lecture Notes in Computer Science 6224 (2010) 436-437.
• Tuesday, 21 September 2010: The paper Wireless Capacity with Oblivious Power in General Metrics by Magnus Halldorsson and Pradipta Mitra has been accepted for publication at SODA 2011.
• Monday, 13 September 2010: The paper Characteristic Formulae for Fixed-Point Semantics: A General Framework by L. Aceto, A. Ingolfsdottir, P. B. Levy and J. Sack has been accepted for publication in Mathematical Structures in Computer Science, special issue devoted to selected papers from EXPRESS 2009, Cambridge University Press.
• Monday, 13 September 2010: The following papers have appeared or have been accepted for publication:
  • Stacey SN, Sulem P, Zanon C, Gudjonsson SA, Thorleifsson G, Helgason A, Jonasdottir A, Besenbacher S, Kostic JP, Fackenthal JD, Huo D, Adebamowo C, Ogundiran T, Olson JE, Fredericksen ZS, Wang X, Look MP, Sieuwerts AM, Martens JW, Pajares I, Garcia-Prats MD, Ramon-Cajal JM, de Juan A, Panadero A, Ortega E, Aben KK, Vermeulen SH, Asadzadeh F, van Engelenburg KC, Margolin S, Shen CY, Wu PE, Försti A, Lenner P, Henriksson R, Johansson R, Enquist K, Hallmans G, Jonsson T, Sigurdsson H, Alexiusdottir K, Gudmundsson J, Sigurdsson A, Frigge ML, Gudmundsson L, Kristjansson K, Halldorsson BV, Styrkarsdottir U, Gulcher JR, Hemminki K, Lindblom A, Kiemeney LA, Mayordomo JI, Foekens JA, Couch FJ, Olopade OI, Gudbjartsson DF, Thorsteinsdottir U, Rafnar T, Johannsson OT, Stefansson K. Ancestry-shift refinement mapping of the C6orf97-ESR1 breast cancer susceptibility locus. \emph{PLoS Genetics} 2010 Jul 22;6(7). Available here.
  • Bjarni V. Halldorsson, Derek Aguiar, Sorin Istrail. Haplotype Phasing by Multi-Assembly of Shared Haplotypes: Phase-Dependent Interactions Between Rare Variants. Proceedings of the Pacific Symposium on Biocomputing, 2011, to appear.
  • Kristin Bjarnadottir and Bjarni Halldorsson. Ritgerdin Algorismus - samanburdur handrita. VISINDAVEFUR, Ritgerdasafn til heidurs THORSTEINI VILHJALMSSYNI sjötugum 27 September 2010.
• Monday, 6 September 2010: The paper On Rule Formats for Zero and Unit Elements by Luca Aceto, Matteo Cimini, Anna Ingolfsdottir, MohammadReza Mousavi and Michel A. Reniers has appeared in the Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2010), (edited by M. Mislove and P. Selinger), Electronic Notes in Theoretical Computer Science 265, pp. 145-160, Elsevier.
• Friday, 13 August 2010: The paper Boolean Complexes for Ferrers Graphs by A. Claesson, S. Kitaev, K. Ragnarsson and B.E. Tenner has been accepted for publication in The Australasian Journal of Combinatorics.
• Wednesday, 11 August 2010: The proceedings of the workshop Structural Operational Semantics 2010, edited by Luca Aceto and Pawel Sobocinski, are now available here.
• Friday, 2 July 2010: The paper Justified Belief Change by Samuel Bucheli, Roman Kuznets, Bryan Renne, Joshua Sack and Thomas Studer has been accepted for the International Workshop on Logic and Philosophy of Knowledge, Communication and Action, Donostia - San Sebastián (Spain), 3-5 November 2010.
• Sunday, 6 June 2010: The paper PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems by Narges Khakpour, Saeed Jalili, Carolyn Talcott, Marjan Sirjani and Mohammad Reza Mousavi has appeared in the Proceedings of the 6th International Workshop on Formal Aspects of Component Software (FACS 2009), ENTCS 263, pp. 129-143, Elesevier, 2010.
• Monday, 31 May 2010: The preprint A Generalization of NBC Bases to Broken Circuit Complexes of Matroids by Andri Egilsson and Martina Kubitzke is now available.
• Saturday, 29 May 2010: The preprint Equivalence classes of permutations avoiding a pattern by Henning Ulfarsson is now available.
• Monday, 3 May 2010: The following papers have appeared:
  • Kerkhof HJ, Lories RJ, Meulenbelt I, Jonsdottir I, Valdes AM, Arp P, Ingvarsson T, Jhamai M, Jonsson H, Stolk L, Thorleifsson G, Zhai G, Zhang F, Zhu Y, van der Breggen R, Carr A, Doherty M, Doherty S, Felson DT, Gonzalez A, Halldorsson BV, Hart DJ, Hauksson VB, Hofman A, Ioannidis JP, Kloppenburg M, Lane NE, Loughlin J, Luyten FP, Nevitt MC, Parimi N, Pols HA, Rivadeneira F, Slagboom EP, Styrkarsdottir U, Tsezou A, van de Putte T, Zmuda J, Spector TD, Stefansson K, Uitterlinden AG, van Meurs JB. A genome-wide association study identifies an osteoarthritis susceptibility locus on chromosome 7q22. Arthritis Rheum. 2010 Feb;62(2):499-510.
  • Kung AW, Xiao SM, Cherny S, Li GH, Gao Y, Tso G, Lau KS, Luk KD, Liu JM, Cui B, Zhang MJ, Zhang ZL, He JW, Yue H, Xia WB, Luo LM, He SL, Kiel DP, Karasik D, Hsu YH, Cupples LA, Demissie S, Styrkarsdottir U, Halldorsson BV, Sigurdsson G, Thorsteinsdottir U, Stefansson K, Richards JB, Zhai G, Soranzo N, Valdes A, Spector TD, Sham PC. Association of JAG1 with bone mineral density and osteoporotic fractures: a genome-wide association study and follow-up replication studies. Am J Hum Genet. 2010 Feb 12;86(2):229-39.
• Tuesday, 13 April 2010: The paper Vertex coloring the square of outerplanar graphs of low degree by Geir Agnarsson and Magnus M. Halldorsson has been accepted for publication in Discussiones Mathematicae Graph Theory, 2010.
• Tuesday, 13 April 2010: The paper Online set packing and competitive scheduling of multi-part tasks by Yuval Emek, Magnus M. Halldorsson, Yishay Mansour, Boaz Patt-Shamir, Jaikumar Radhakrishnan and Dror Rawitz has been accepted for publication in Proc. 29th ACM Symposium on Principles of Distributed Computing (PODC), 2010.
• Tuesday, 13 April 2010: The paper Functions as processes: termination and the lambdabar-mu-mutilde-calculus by Matteo Cimini, Claudio Sacerdoti Coen and Davide Sangiorgi will appear in the Proceedings of Trustworthy Global Computing 2010, LNCS, Springer-Verlag.
• Wednesday, 7 April 2010: The paper Logic for Update Products and Steps into the Past by Joshua Sack has been accepted for publication in the journal Annals of Pure and Applied Logic.
• Tuesday, 6 April 2010: The paper Streaming Algorithms for Independent Sets by Bjarni V. Halldorsson, Magnus M. Halldorsson, Elena Losievskaja and Mario Szegedy has been accepted for ICALP 2010.
• 3 April 2010: The volume Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers Series, Lecture Notes in Computer Science (Subseries: Programming and Software Engineering), Vol. 5961, edited by F. Arbab and M. Sirjani Marjan, is now available.
• Wednesday, 31 March 2010: The paper Rule Formats for Determinism and Idempotence by L. Aceto, A. Birgisson, A. Ingolfsdottir, M. Mousavi and M. Reniers has been accepted for publication in the journal Science of Computer Programming, Special Issue devoted to FSEN 2009 (Farhad Arbab and Marjan Sirjani guest editors).
• Monday, 29 March 2010: The paper Ascent sequences and upper triangular matrices containing non-negative integers by W. M. B. Dukes and R. Parviainen has appeared in the Electronic Journal of Combinatorics 17(1) (2010), R53 (16pp).
• Saturday, 20 March 2010: The paper The rank-width of the square grid by Vit Jelinek has appeared in the journal Discrete Applied Mathematics 158(7):841-850, 2010.
• Monday, 1 March 2010: Members of the combinatorics group at ICE-TCS have had six articles accepted for (poster) presentation at the very prestigious 22nd International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2010), to be held at San Francisco State University, August 2-6, 2010. The accepted papers are listed below.
  • Fan Chung, Anders Claesson, Mark Dukes and Ronald Graham. Descent polynomials for permutations with bounded drop size. (Talk)
  • A. Claesson, V. Jelinek, E. Jelinkova and S. Kitaev. Pattern avoidance in partial permutations. (Poster)
  • Anders Claesson and Svante Linusson. n! matchings, n! posets. (Poster)
  • V. Jelinek, E. Jelinkova and E. Steingrimsson. The Mobius function of separable permutations. (Poster)
  • S. Kitaev and J. Remmel. Enumerating (2+2)-free posets by the number of minimal elements and other statistics. (Poster)
  • H. Ulfarsson. Permutation Patterns and Singularities of Schubert Varieties. (Poster)
• Thursday, 18 February 2010: The paper Actor-based Slicing Techniques for Efficient Reduction of Rebeca Models by H. Sabouri and M. Sirjani has been accepted for publication in the journal Science of Computer Programming.
• Saturday, 2 January 2010: The paper Lifting non-finite axiomatizability results to extensions of process algebras by L. Aceto, W. Fokkink, A. Ingolfsdottir and M. Mousavi has been accepted for publication in Acta Informatica.
• Saturday,26 December 2009: The paper Comparing three coordination models: Reo, ARC, and PBRD by Carolyn Talcott, Marjan Sirjani and Shangping Ren, to appear in Science of Computer Programming, has been published on line.
• Thursday,24 December 2009: The paper Slicing-based Reductions for Rebeca by Hamideh Sabouri and Marjan Sirjani has appeared in Electronic Notes in Theoretical Computer Science Volume 260, 1 January 2010, Pages 209-224, Proceedings of the 5th International Workshop on Formal Aspects of Component Software (FACS 2008).
• Wednesday, 16 December 2009: The following papers have been accepted for publication or have just appeared:
  • The Clark Phase-able Sample Size Problem: Long-range Phasing and Loss of Heterozygosity in GWAS Bjarni V. Halldorsson, Derek Aguiar, Ryan Tarpine, Sorin Istrail In Proceedings of RECOMB 2010.
  • Collaborative meta-analysis: associations of 150 candidate genes with osteoporosis and osteoporotic fracture. Richards JB, Kavvoura FK, Rivadeneira F, Styrkarsdottir U, Estrada K, Halldorsson BV, Hsu YH, Zillikens MC, Wilson SG, Mullin BH, Amin N, Aulchenko YS, Cupples LA, Deloukas P, Demissie S, Hofman A, Kong A, Karasik D, van Meurs JB, Oostra BA, Pols HA, Sigurdsson G, Thorsteinsdottir U, Soranzo N, Williams FM, Zhou Y, Ralston SH, Thorleifsson G, van Duijn CM, Kiel DP, Stefansson K, Uitterlinden AG, Ioannidis JP, Spector TD; Genetic Factors for Osteoporosis Consortium. Ann Intern Med. 2009 Oct 20;151(8):528-37.
• Monday, 7 December 2009: A special issue of Mathematical Structures in Computer Science, Volume 19 - Special Issue 06 (Dedicated to Nadia Busi), pp. 1061-1287, which has been edited by Luca Aceto and Anna Ingolfsdottir, is now available.
• Thursday, 5 November 2009: The paper On shortest crucial words avoiding abelian powers by S. Avgustinovich, A. Glen, B. V. Halldorsson and S. Kitaev has been accepted for publication in Discrete Applied Mathematics.
• Monday, 2 November2009: The paperOn graphs of central episturmian words by Aldo de Luca and Luca Q. Zamboni has been published on line. It will appear in print in Theoretical Computer Science Volume 411, Issue 1, 1 January 2010, Pages 70-90.
• Friday, 16 October 2009: The preprint A direct encoding of Stoimenow's matchings as ascent sequences by Anders Claesson, Mark Dukes and Sergey Kitaev is now available.
• Thursday, 16 October 2009: The following journal paper has now been published:
  F. David, M. Dukes, T. Jonsson and S.O. Stefansson. Random tree growth by vertex splitting. Journal of Statistical Mechanics (2009), no. 4, P04009.
• Thursday, 16 October 2009: The following papers have been accepted for journal publication:
  • S. Kitaev, J. Liese, J. Remmel, B. Sagan: Rationality, irrationality, and Wilf equivalence in generalized factor order, Electronic Journal of Combinatorics, to appear.
  • S. Kitaev, J. Remmel: Place-difference-value patterns: A generalization of generalized permutation and word patterns, Integers: Electronic Journal of Combinatorial Number Theory, to appear.
• Tuesday, 13 October 2009: The following journal papers have appeared:
  • Thorleifsson, G; Holm, H; Edvardsson, V; Walters, GB; Styrkarsdottir, U; Gudbjartsson, DF; Sulem, P; Halldorsson, BV; de Vegt, F; d'Ancona, FCH; den Heijer, M; Franzson, L; Christiansen, C; Alexandersen, P; Rafnar, T; Kristjansson, K; Sigurdsson, G; Kiemeney, LA; Bodvarsson, M; Indridason, OS; Palsson, R; Kong, A; Thorsteinsdottir, U; Stefansson, K. Sequence variants in the CLDN14 gene associate with kidney stones and bone mineral density. NATURE GENETICS Volume: 41 Issue: 8 Pages: 926-U92,
  • J Evangelou, E; Chapman, K; Meulenbelt, I; Karassa, FB; Loughlin, J; Carr, A; Doherty, M; Doherty, S; Gomez-Reino, JJ; Gonzalez, A; Halldorsson, BV; Hauksson, VB; Hofman, A; Hart, DJ; Ikegawa, S; Ingvarsson, T; Jiang, Q; Jonsdottir, I; Jonsson, H; Kerkhof, HJM; Kloppenburg, M; Lane, NE; Li, J; Lories, RJ; van Meurs, JBJ; Nakki, A; Nevitt, MC; Rodriguez-Lopez, J; Shi, DQ; Slagboom, E; Stefansson, K; Tsezou, A; Wallis, GA; Watson, CM; Spector, TD; Uitterlinden, AG; Valdes, AM; Ioannidis, JPA. Large-Scale Analysis of Association Between GDF5 and FRZB Variants and Osteoarthritis of the Hip, Knee, and Hand. ARTHRITIS AND RHEUMATISM, JUN, 2009, 60, 1710-1721
  • Styrkarsdottir, U; Halldorsson, BV; Gretarsdottir, S; Gudbjartsson, DF; Walters, GB; Ingvarsson, T; Jonsdottir, T; Saemundsdottir, J; Snorradottir, S; Center, JR; Nguyen, TV; Alexandersen, P; Gulcher, JR; Eisman, JA; Christiansen, C; Sigurdsson, G; Kong, A; Thorsteinsdottir, U; Stefansson, K. New sequence variants associated with bone mineral density. NATURE GENETICS JAN 2009 15-17 ISI:000262085300011
  • Twenty bone-mineral-density loci identified by large-scale meta-analysis of genome-wide association studies. the Genetic Factors for Osteoporosis (GEFOS) Consortium by Rivadeneira F, Styrkarsdottir U, Estrada K, Halldorsson BV, Hsu YH, Richards JB, Zillikens MC, Kavvoura FK, Amin N, Aulchenko YS, Cupples LA, Deloukas P, Demissie S, Grundberg E, Hofman A, Kong A, Karasik D, van Meurs JB, Oostra B, Pastinen T, Pols HA, Sigurdsson G, Soranzo N, Thorleifsson G, Thorsteinsdottir U, Williams FM, Wilson SG, Zhou Y, Ralston SH, van Duijn CM, Spector T, Kiel DP, Stefansson K, Ioannidis JP, Uitterlinden AG. Nat Genet. 2009 Oct 4. [Epub ahead of print]
• Friday, 9 October 2009: The following journal papers have been accepted:
  • M. M. Jaghoori, M. Sirjani, M. R. Mousavi, E. Khamespanah, A. Movaghar, Symmetry and Partial Order Reduction Techniques in Model Checking Rebeca, Acta Informatica, Accepted 2009
  • N. Razavi, R. Behjati, H. Sabouri, E. Khamespanah, A. Shali, M. Sirjani, Sysfier: Actor-based Formal Verification of SystemC, ACM Transactions on Embedded Computing Systems, Accepted 2009
• Monday, 21 September 2009: The paper Bounded-space online bin cover by Eyjolfur Asgeirsson and Cliff Stein has been published in the Journal of Scheduling, Springer Netherlands. This is the hundredth journal paper published by members of ICE-TCS!
• Wednesday, 16 September 2009: The paper Algebraic Properties for Free! by Luca Aceto, Anna Ingolfsdottir, MohammadReza Mousavi and Michel Reniers is now available. It will appear in the Concurrency Column, Bulletin of the EATCS, volume 99, October 2009.
• Tuesday, 15 September 2009: The paper A Rule Format for Unit Elements by Luca Aceto, Anna Ingolfsdottir, MohammadReza Mousavi and Michel Reniers has been accepted for SOFSEM 2010: The 36th International Conference on Current Trends in Theory and Practice of Computing, January 23-29, 2010.
• Saturday, 22 August 2009: The paper Sysfier: Actor-based Formal Verification of SystemC by N. Razavi, R. Behjati, H. Sabouri, E. Khamespanah A. Shali and M. Sirjani has been accepted for publication in the journal ACM transactions on Embedded Computing Systems (Special Issue on Model-driven Embedded System Design).
• Wednesday, 19 August 2009:The paper Divide-and-Conquer Approximation Algorithm for Vertex Cover by Eyjolfur Ingi Asgeirsson and Cliff Stein has been published in the SIAM Journal on Discrete Mathematics (Vol.23, No.3).
• Thurday, 6 August 2009: The paperDynamic Epistemic Temporal Logic by Bryan Renne, Joshua Sack and Audrey Yap has been accepted for LORI-II: Workshop on Logic, Rationality and Interaction, Chongqing, China (co-chair), October 8 - 11, 2009.
• Tuesday, 21 July 2009: The following papers have been accepted for publication:
  • Luca Aceto, Anna Ingolfsdottir and Joshua Sack.
    Characteristic Formulae for Fixed-Point Semantics: A General Framework, EXPRESS'09, 16th International Workshop on Expressiveness in Concurrency, Saturday, September 5th, 2009 Bologna (Italy).
  • Luca Aceto, Matteo Cimini and Anna Ingolfsdottir.
    A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages, Structural Operational Semantics 2009, August 31, 2009, Bologna (Italy).
  • Luca Aceto, Anna Ingolfsdottir, Kim G. Larsen and Jiri Srba.
    Teaching Concurrency: Theory in Practice, TFM2009, 2nd Int. FME Conference on Teaching Formal Methods, "Widening Access to Formal Methods", Friday, November 6th 2009, Eindhoven (The Netherlands).
  • Matteo Cimini, Claudio Sacerdoti Coen and Davide Sangiorgi.
    lambdabarmumutilde calculus, pi-calculus, and abstract machines, EXPRESS'09, 16th International Workshop on Expressiveness in Concurrency, Saturday, September 5th, 2009 Bologna (Italy).
• Monday, 22 June 2009: The paper Equidistribution of descents, adjacent pairs, and place-value pairs on permutations by E. Deutsch, S. Kitaev and J. Remmel has appeared in Journal of Integer Sequences 12 (2009), Article 09.5.1, 19pp.
• Monday, 15 June 2009: The paper
  E. Deutsch, S. Kitaev, and J. Remmel. Equidistribution of descents, adjacent pairs, and place-value pairs on permutations has been accepted for publication in the Journal of Integer Sequences.
• Tuesday, 9 June 2009: Thefollowing papershave been accepted for publication.
  • Analysis of Reo Circuits using Symbolic Execution by Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat and Farhad Arbab. FOCLASA 09, 8th International Workshop on the Foundations of Coordination Languages and Software Architectures.
  • Formal Analysis of Smart Home Policies using Compositional Verification byNarges Khakpour, Marjan Sirjani and Saeed Jalili. ICFI 2009, 10th International Conference on Feature Interactions in Telecommunications and Software Systems.
• Friday, 29 May 2009: The paper Wireless scheduling with power control by Magnus M. Halldorsson has been accepted for presentation at the 17th European Symposium on Algorithms (ESA 2009).
• Friday, 1 May 2009: The paper An Implementation and Semantics for Transactional Memory Introspection in Haskell by Arnar Birgisson and Ulfar Erlingsson has been accepted for publication in the Proceedings of the 4th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security.
• Friday, 17 April 2009: The paper Partially ordered patterns and their combinatorial interpretations by A. Burstein and S. Kitaev has been accepted for publication in the journal , Pure Mathematics and Applications (PU.M.A.).
• Tuesday, 7 April 2009: The following papers with ICE-TCS co-authors
  • SDP-based Algorithms for Maximum Independent Set Problems on Hypergraphs by G. Agnarsson, M.M. Halldórsson and E. Losievskaja (Track A),
  • Distortion is Fixed Parameter Tractable by Michael Fellows, Fedor Fomin, Daniel Lokshtanov, Elena Losievskaja, Frances A. Rosamond and Saket Saurabh (Track A),
  • Wireless Communication is in APX by M.M. Halldórsson and Roger Wattenhofer (Track A).
  have been accepted for ICALP 2009, July 5-12, 2009, Rhodes, Greece.
• Tuesday, 7 April 2009: Thepaper Directive words of episturmian words: equivalences and normalization, by A. Glen, F. Levé and G. Richomme has been published in RAIRO-Theor. Inf. Appl. 43 (2009): 299-319.
• Monday, 6 April 2009: The paper Extending Probabilistic Dynamic Epistemic Logic by Joshua Sack (Reykjavik University) has been accepted for publication in the journal Knowledge, Rationality and Action.
• Thursday, 2 April 2009: The preprint Avoiding substrings in compositions by S. Heubach and S. Kitaev is now available.
• Thursday, 2 April 2009: The paperCrucial words for abelian powers by A. Glen, B.V. Halldorsson and S. Kitaev has been accepted for DLT 2009.
• Wednesday, 25 March 2009:The paper The Möbius Function of the Permutation Pattern Poset by Einar Steingrímsson and Bridget E. Tenner is now available.
• Thursday, 19 March 2009: The special issue IFIP WG1.8 Workshop on Applying Concurrency Research in Industry, Journal of Logic and Algebraic Programming 78(4):191-288 (April 2009), edited by L. Aceto, J. Baeten, W. Fokkink, A. Ingolfsdottir and U. Nestmann, is now available.
• Saturday, 14 March 2009: The preprint Equidistribution of (X,Y)-descents, (X,Y)-adjacent pairs, and (X,Y)-place-value pairs on permutations by E. Deutsch, S. Kitaev, and J. Remmel is now available.
• Thursday, 5 March 2009: The preprint Place-difference-value patterns: A generalization of generalized permutation and word patterns by S. Kitaev and J. Remmel is now available.
• Thursday, 26 February 2009: The paper
  S. Kitaev, J. Liese, J. Remmel, and B. Sagan: Rationality, irrationality, and Wilf equivalence in generalized factor order
  will appear as a poster presentation in the Proceedings of the 21th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC), Hagenberg, Austria, July 20-24 (2009). FPSAC is the most prestigious conference in the field.
• Wednesday,25 February 2009: The paper Schedulability of Asynchronous Real-Time Concurrent Objects byMohammad Madhi Jaghoori, Frank S. de Boer, Tom Chothia and Marjan Sirjani has been accepted for the Journal of Logicand Algebraic Programming.
• Sunday, 23 February 2009:Thepaper
  M. Bousquet-Melou, A. Claesson, M. Dukes, S. Kitaev: Unlabeled (2+2)-free posets, ascent sequences and pattern avoiding permutations
  will appear in the Proceedings of the 21th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC), Hagenberg, Austria, July 20-24 (2009). FPSAC is the most prestigious conference in the field.
• Thursday, 19 February 2009: The paper Independent sets in certain classes of (almost) regular graphs by A. Burstein, S. Kitaev and T. Mansour has been accepted for publication in the journal Pure Mathematics and Applications (PU.M.A.).
• Tuesday, 17 February 2009: The paper Approximation algorithms for the weighted independent set problem in sparse graphs by A. Kako, T. Ono, T. Hirata and M.M. Halldorsson will appear in Discrete Applied Mathematics Volume 157, Issue 4, 28 February 2009, Pages 617-626.
• Wednesday, 11 February 2009: The paper Independent sets in bounded-degree hypergraphs by Magnus Halldorsson (Reykjavik University) and Elena Losievskaja is in press for the journal Discrete Applied Mathematics.
• Wednesday, 11 February 2009: The paper The Capacity of Arbitrary Wireless Networks by Olga Goussevskaia (ETH Zurich, CH), Magnus Halldorsson (Reykjavik University), Roger Wattenhofer (ETH Zurich, CH) and Emo Welzl (ETH Zurich, CH) has been accepted for publication in INFOCOM 2009.
• Tuesday, 27 January 2009: The paper A finite equational base for CCS with left merge and communication merge by Luca Aceto, Wan Fokkink, Anna Ingolfsdottir and Bas Luttik has appeared in ACM Transactions on Computational Logic (TOCL), Volume 10, Number 1, January 2009.
• Thursday, 15 January 2009: The paper Induced Subshifts and Cellular Automata by Silvio Capobianco has been accepted for publication in the journal Information and Computation.
• Thursday, 15 January 2009: The paper Bounded Rational Search for On-the-fly Model Checking of LTL Properties by Razieh Behjati, Marjan Sirjani and Majid Nili Ahmadabadi has been accepted for Third FSEN: IPM International Conference on Fundamentals of Software Engineering (FSEN09), Iran, April 15-17 2009.
• Tuesday, 8 January 2009: The paper A Cancellation Theorem for BCCSP by Luca Aceto, Wan Fokkink and Anna Ingolfsdottir has appeared in Fundamenta Informaticae 88(1-2):1-21, 2008.
• Saturday, 27 December 2008: The paper Crucial words for abelian powers by Amy Glen, Bjarni V. Halldorsson and Sergey Kitaev is now available.
• Wednesday, 3 December 2008: The preprint Permutations sortable by n-4 passes through a stack by Anders Claesson, Mark Dukes and Einar Steingrimsson is now available.
• Thursday, 20 November 2008: The paper Quasiperiodic and Lyndon episturmian words by A. Glen, F. Leve and G.Richomme has appeared in Theoretical Computer Science Volume 409, Issue 3, 28 December 2008, Pages 578-600.
• Monday, 10 November 2008: The following papers have appeared:
  • On the Expressibility of Priority by Luca Aceto and Anna Ingolfsdottir, Information Processing Letters Volume 109, Issue 1, 16 December 2008, Pages 83-85.
  • A. Claesson and S. Kitaev: Classification of bijections between 321- and 132-avoiding permutations, Seminaire Lotharingien de Combinatoire B60d (2008), 30 pp.
• Wednesday, 22 October 2008: The paper Classification of bijections between 321- and 132-avoiding permutations by A. Claesson and S. Kitaev has been accepted for publication in the journal Seminaire Lotharingien de Combinatoire.
• Friday, 10 October 2008: The paper Multidimensional cellular automata and generalization of Fekete's lemma by Silvio Capobianco has appeared in Discrete Mathematics and Theoretical Computer Science 10:3 (2008) 95--104.
• Thursday,2 October 2008:The preprint On representable graphs, semi-transitive orientations, and the representation numbers by M. M. Halldorsson, S. Kitaev, and A. Pyatkin is now available.
• Monday, 29 September 2008: The paper The Equational Theory of Prebisimilarity over Basic CCS with Divergence by Luca Aceto, Silvio Capobianco, Anna Ingolfsdottir and Bas Luttik has appeared in Information Processing Letters 108 (2008), pp. 284-289.
• Wednesday,17 September 2008: Thepaper Decompositions and statistics for beta(1,0)-trees and nonseparable permutations by A. Claesson, S. Kitaev, E. Steingrimsson has been accepted for publication in the journal Advances in Applied Mathematics.
• Wednesday,10 September 2008: The paper Word problem of the Perkins semigroup via directed acyclic graphs to be published in the journal Order is now available electronically here.
• Wednesday, 27 August 2008: The paper On the Expressibility of Priority by Luca Aceto and Anna Ingolfsdottir has been accepted for publication in the journal Information Processing Letter.
• Tuesday, 26 August 2008: The paper A Cancellation Theorem for BCCSP by Luca Aceto, Wan Fokkink and Anna Ingolfsdottir has been accepted for publication in the journal Fundamenta Informaticae.
• Thursday,21 August 2008:The special issue of the Journal of Logic and Algebraic Programming devoted to The 16th Nordic Workshop on the Programming Theory (NWPT 2006) edited by L. Aceto and A. Ingolfsdottir (Volume 77, Issues 1-2, Pages 1-156 (September-October 2008)) is now available on line.
• Tuesday, 19 August 2008: The preprint Boolean Complexes for Ferrers Graphs by Anders Claesson, Sergey Kitaev, Kari Ragnarsson and Bridget Eileen Tenner is now available.
• Monday, 18 August 2008: The following publication details are now available:
  S. Kitaev, T. Mansour, and J. Remmel: Counting descents, rises, and levels, with prescribed first element, in words. Discrete Mathematics and Theoretical Computer Science 10:3 (2008) 1-22.
• Thursday, 31 July 2008: The paper When---and how---can a cellular automaton be rewritten as a lattice gas? by Tommaso Toffoli, Silvio Capobianco and Patrizia Mentrasti, Theoretical Computer Science 403 (2008), pp. 71-88, has appeared.
• Wednesday, 16 July 2008: The paper On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt by Luca Aceto, Silvio Capobianco and Anna Ingolfsdottir has appeared as a technical contribution to the Bulletin of the European Association for Theoretical Computer Science 95:220--240, June 2008.
• Tuesday, 15 July 2008: The guest editors' foreword to a special issue of the Journal of Logic and Algebraic Programming devoted to the Nordic Workshop on Programming Theory 2006 edited by Luca Aceto and Anna Ingolfsdottir is now available on line.
• Friday, 4 July 2008: The paper Minimizing interference of a wireless ad-hoc network in a plane by Magnus M. Halldorsson and Takeshi Tokuyama has appeared in Theoretical Computer Science 402(1):29-42, 2008. (Algorithmic Aspects of Wireless Sensor Networks, edited by S. Nikoletseas and J. Rolim.)
• Wednesday, 2 July 2008: The paper Enforcing Authorization Policies using Transactional Memory Introspection by Arnar Birgisson, Mohan Dhawan, Ulfar Erlingsson, Vinod Ganapathy and Liviu Iftode has been accepted for publication at the 15th ACM Computer and Communications Security Conference (CCS 2008), 28-31 October, Alexandria, VA, USA. Congratulations to Arnar for his first paper!
• Saturday, 28 June 2008: The following publication details are now available:
  S. Kitaev, A. Pyatkin: On Representable Graphs. Journal of Automata, Languages and Combinatorics 13 (2008) 1, pages 45-54.
• Saturday, 28 June 2008: The paper Vertex coloring acyclic digraphs and their corresponding hypergraphs by Geir Agnarsson, Agust S Egilsson and Magnus M. Halldorsson has appeared in Discrete Applied Mathematics, Vol. 156, Iss. 10, 2008, Pages 1918-1928.
• Friday, 20 June 2008: The preprint Rationality, irrationality, and Wilf equivalence in generalized factor order by S. Kitaev, J. Liese, J. Remmel, and B. Sagan is now available.
• Tuesday, 10 June 2008: The paper On multi-dimensional patterns by S. Kitaev and J. Robbins has been accepted for publication in the journal Pure Mathematics and Applications (PU.M.A.). This is the 70th journal paper published by ICE-TCS researchers since the inception of the centre in April 2005. Congratulations to Sergey!
• Wednesday, 28 May 2008: The paper Counting descents, rises, and levels, with prescribed first element, in words by S. Kitaev, T. Mansour, and J. Remmel has been accepted for publication in Discrete Mathematics and Theoretical Computer Science.
• Sunday, 11 May 2008:The paper The Equational Theory of Prebisimilarity over Basic CCS with Divergence by Luca Aceto, Silvio Capobianco, Anna Ingolfsdottir and Bas Luttik has been accepted for publication in Information Processing Letters.
• Tuesday, 6 May 2008: The following papers have been accepted for publication and will appear shortly:
  • Steinunn M. Stefansdottir. Different models for solving Minimum Parsimony Haplotyping. Bioinformatics 2007, conference abstract book, p. 32.
  • U. Styrkarsdottir, B.V. Halldorsson, S. Gretarsdottir, Gudbjartsson DF, et al. Multiple Genetic Loci for Bone Mineral Density and Fractures. N Engl J Med. 2008
  • D.F. Gudbjartsson, G.B. Walters, G. Thorleifsson, H. Stefansson, B.V. Halldorsson, et al. Many sequence variants affecting diversity of adult human height. Nat Genet. 2008 May;40(5):609-615.
• Wednesday, 23 April 2008: The paper Combinatorial Gray codes for classes of pattern avoiding permutations by W.M.B. Dukes, M.F. Flanagan, T. Mansour and V. Vajnovszki, Theoretical Computer Science Volume 396, Issues 1-3, 10 May 2008, Pages 35-49, is now available on line.
• Monday, 21 April 2008: The paper Parameterized Low-distortion Embeddings - Graph metrics into lines and trees by Michael Fellows, Fedor Fomin, Daniel Lokshtanov, Elena Losievskaja, Frances A. Rosamond and Saket Saurabh is now available.
• Friday, 18 April 2008: The paper Enforcing Authorization Policies using Transactional Memory Introspection by Arnar Birgisson, Mohan Dhawan, Ulfar Erlingsson, Vinod Ganapathy and Liviu Iftode is now available as Rutgers University, DCS-TR-628, April 2008.
• Monday, 7 April 2008: The paper Batch Coloring Flat Graphs and Thin by Magnus M. Halldorsson and Hadas Shachnai has been accepted for publication in the Proceedings of the 11th Scandinavian Workshop on Algorithm Theory (SWAT), July 2-4, 2008 Gothenburg, Sweden.
• Monday, 7 April 2008: The paper A survey on partially ordered patterns by Sergey Kitaev has been accepted for a volume of the Cambridge University Press London Mathematical Society Lecture Notes series.
• Tuesday, 1 April 2008: The papers
  • Luca Aceto, Anna Ingolfsdottir, Bas Luttik and Paul van Tilburg. Finite Equational Bases for Fragments of CCS with Restriction and Relabelling and
  • Luca Aceto, Wan Fokkink, Anna Ingolfsdottir and MohammadReza Mousavi. Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras.
  have been accepted for presentation at TCS 2008, 5th IFIP International Conference on Theoretical Computer Science.
• Monday, 31 March 2008: The paper The Equational Theory of Prebisimilarity over Basic CCS with Divergence by Luca Aceto, Silvio Capobianco, Anna Ingolfsdottir and Bas Luttik is now available.
• Saturday, 1 March 2008: The paper Finite Equational Bases for Fragments of CCS with Restriction and Relabelling by Luca Aceto, Anna Ingolfsdottir, Bas Luttik and Paul van Tilburg is now available.
• Tuesday, 19 February 2008: The paper Classification of bijections between 321- and 132-avoiding permutations by Anders Claesson (Reykjavik University) and Sergey Kitaev (Reykjavik University) has been accepted for publication in the proceedings of the 20th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2008), Valparaiso, Chile, June 23-27 (2008). FPSAC is the most prestigious conference in the field. Congratulations to Anders and Sergey!
• Monday, 18 February 2008: The following paper is now available.
  Luca Aceto, Anna Ingolfsdottir, Bas Luttik and Paul van Tilburg. Finite Equational Bases for Fragments of CCS with Restriction and Relabelling (extended abstract).
• Thursday, 14 Febuary 2008: The following paper has appeared:
  S. Avgustinovich and S. Kitaev: On uniquely k-determined permutations, Discrete Mathematics 308 (2008) 1500-1507.
• Thursday, 7 Febuary 2008: The following paper is now available:
  Luca Aceto, Wan Fokkink, Anna Ingolfsdottir and MohammadReza Mousavi. Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras. Technical Report CSR-08-05, TU/Eindhoven, February 2008.
• Thursday, 31 January 2008: The volume Algebraic Process Calculi. The First Twenty Five Years and Beyond. III, Journal of Logic and Algebraic Programming Volume 75, Issue 1, Pages 1-166 (February-March 2008), edited by L. Aceto, M. Bravetti, W. Fokkink and A.D. Gordon is now available on line. The foreword is accessible here.
• Thursday, 31 January 2008: The paper Min Sum Edge Coloring in General Multigraphs via Configuration LP by Magnus Halldorsson, Guy Kortsarz and Maxim Sviridenko has been accepted for publication in the Proceedings of IPCO 2008, the 13th Conference on Integer Programming and Combinatorial Optimization, University Residential Center, Bertinoro (Forli), Italy.
• Wednesday, 30 January 2008: The paper Counting Ordered Patterns in Words Generated by Morphisms by Sergey Kitaev, Toufik Mansour, and Patrice Seebold has been published in Integers: Electronic Journal of Combinatorial Number Theory 8 (2008), A03, 28pp.
• Saturday, 26 January 2008: The papers
  • Luca Aceto, Wan Fokkink, and Anna Ingolfsdottir. A Cancellation Theorem for BCCSP (submitted for publication) and
  • Luca Aceto, Jos Baeten, Wan Fokkink, Anna Ingolfsdottir and Uwe Nestmann. Applying Concurrency Research in Industry: Report on a Strategic Workshop, Bulletin of the European Association for Theoretical Computer Science volume 94, February 2008 (to appear)
  are now available.
• Thursday, 24 January 2008: Anders Claesson, Sergey Kitaev, Einar Steingrimsson (Reykjavik University) have posted the preprint Stack sorting, trees, and pattern avoidance.
• Saturday, 19 January 2008: The papers
  • Induced Subshifts and Cellular Automata by Silvio Capobianco (Reykjavik University) and
  • Counting ordered patterns in words generated by morphisms by Sergey Kitaev (Reykjavik University), Toufik Mansour (Haifa) and Patrice Seebold (Universite de Picardie Jules Verne)
  have been accepted for publications in the proceedings of the 2nd International Conference on Language and Automata Theory and Applications (LATA 2008).
• Wednesday, 19 September 2007: The following two papers by our own Sergey Kitaev have appeared in print.
  • S. Kitaev and J. Remmel: Classifying Descents According to Parity, Annals of Combinatorics 11 (2007), 173-193.
  • S. Heubach, S. Kitaev, and T. Mansour: Partially ordered patterns and compositions, Pure Mathematics and Applications (PU.M.A.) 17 (2007), No. 1-2, pp. 1-12.
• Tuesday, 11 September 2007: The preprint When--and how--can a cellular automaton be rewritten as a lattice gas? by Tommaso Toffoli, Silvio Capobianco and Patrizia Mentrasti is now available.
• Monday, 10 September 2007: The following papers by Magnus M. Halldorsson have appeared or have been accepted for publication:
  • Geir Agnarsson and Magnus M. Halldorsson. Strongly simplicial vertices of powers of trees. Discrete Mathematics, Available online 3 February 2007.
  • Magnus M. Halldorsson, Kazuo Iwama, Shuichi Miyazaki, Hiroki Yanagisawa Improved approximation results for the stable marriage problem. ACM Transactions on Algorithms (TALG), Volume 3, Issue 3 (August 2007).
  • Takuro Fukunaga, Magnus Halldorsson and Hiroshi Nagamochi. Rent-or-Buy Scheduling and Cost Coloring Problems. FSTTCS 2007, to appear.
  • T. Fukunaga, M.M. Halldorsson, H. Nagamochi. Robust cost colorings. SODA 2008, to appear.
• Tuesday, 4 September 2007: The following papers have now appeared in print:
  • Luca Aceto, Wan Fokkink, Anna Ingolfsdottir. Ready to Preorder: Get Your BCCSP Axiomatization for Free!, Till Mossakowski, Ugo Montanari, Magne Haveraaen (Eds.): Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings. Lecture Notes in Computer Science 4624 Springer 2007, ISBN 978-3-540-73857-2: 65-79
  • Luca Aceto, Anna Ingolfsdottir, Mohammad Reza Mousavi. Impossibility Results for the Equational Theory of Timed CCS. Till Mossakowski, Ugo Montanari, Magne Haveraaen (Eds.): Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings. Lecture Notes in Computer Science 4624 Springer 2007, ISBN 978-3-540-73857-2: 80-95.
  • Luca Aceto, Anna Ingolfsdottir. The Saga of the Axiomatization of Parallel Composition. Luis Caires, Vasco Thudichum Vasconcelos (Eds.): CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings. Lecture Notes in Computer Science 4703 Springer 2007, ISBN 978-3-540-74406-1: 2-16
• Thursday, 26 July 2007: The paper Multivariate generalization of Fekete's lemma by Silvio Capobianco is available on the arXiv.
• Thursday, 26 July 2007: The following paper has been accepted for publication:
  F. Deschesne, M.R. Mousavi and S. Orzan. Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap. Proceedings of the 14th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'07), Yerevan, Armenia, Lecture Notes in Computer Science, Springer-Verlag, October 2007. (Available here.)
  In addition, the following technical report has now appeared:
  M.M. Jaghoori, M. Sirjani, M.R. Mousavi, A. Movaghar. Symmetry and Partial Order Reduction Techniques in Model Checking Rebeca. Technical Report SEN-R0704, CWI, Amsterdam, July 2007. (Available here.)
• Wednesday, 18 July 2007: The paper A Finite Equational Base for CCS with Left Merge and Communication Merge by Luca Aceto, Wan Fokkink, Anna Ingolfsdottir and Bas Luttik has been accepted for publication in ACM Transactions in Computational Logic (TOCL).
• Monday, 14 May 2007: The paper On Well-Foundedness and Expressiveness of Promoted Tyft: Being Promoted Makes a Difference by MohammadReza Mousavi and Michel Reniers has appeared in Electronic Notes in Theoretical Computer Science, Volume 175, Issue 1, 14 May 2007, Pages 45-56, Proceedings of the Third Workshop on Structural Operational Semantics (SOS 2006).
• Thursday, 10 May 2007: The paper A Congruence Rule Format with Universal Quantification by MohammadReza Mousavi and Michel Reniers has been accepted for the 4th Workshop on Structural Operational Semantics (SOS'07), Wroclaw, Poland.
• Sunday, 6 May 2007: The paper Surjunctivity for cellular automata in Besicovitch spaces by Silvio Capobianco is now available.
• Thursday, 3 May 2007: The paper On representable graphs by S. Kitaev and A. Pyatkin has been accepted for publication in the journal Automata, Languages and Combinatorics.
• Tuesday, 24 April 2007: The following two papers by ICE-TCS members have been accepted for the WADS conference, to be held in Halifax, Canada, in August:
  • M. M. Halldorsson, C. Knauer, A. Spillner, and T. Tokuyama. Parameterized algorithms and complexity of non-crossing spanning trees.
  • M. M. Halldorsson and E. Losievskaja. Independent sets in bounded-degree hypergraphs.
• Thursday, 29 March 2007: The papers
  • Impossibility Results for the Equational Theory of Timed CCS by Luca Aceto, Anna Ingolfsdottir and MohammadReza Mousavi, and
  • Ready To Preorder: Get Your BCCSP Axiomatization for Free! by Luca Aceto, Wan Fokkink and Anna Ingolfsdottir
  have been accepted for publication in the Proceedings of the 2nd Conference on Algebra and Coalgebra in Computer Science (CALCO'07), Bergen, Norway, Lecture Notes in Computer Science, Springer-Verlag, August 2007.
• Tuesday, 27 March 2007: The paper On uniquely k-determined permutations by S. Avgustinovich and S. Kitaev has been accepted for publication in the journal Discrete Mathematics.
• Thursday, 22 March 2007: The paper
  S. Kitaev: Introduction to partially ordered patterns, Discrete Applied Mathematics 155 (2007), 929-944,
  has appeared.
• Monday, 19 March 2007: The following papers co-authored by our own MohammadReza Mousavi have appeared.
  • M. R. Mousavi, M. A. Reniers, J.F. Groote, SOS formats and meta-theory: 20 years after, Theoretical Computer Science, 373(3):238-272, 2007.
  • H. Hojjat, M. Sirjani, M.R. Mousavi, J.F. Groote, Sarir: A Rebeca to mCRL2 Translator (Tool Paper). Proceedings of the 7th International Conference on Application of Concurrency to System Design (ACSD'07), Bratislava, Slovak Republic, IEEE CS, July 2007.
• Thursday, 1 March 2007: The paper Impossibility Results in the Equational Logic of Processes by Luca Aceto has appeared in the Proceedings of the Workshop on Logic, Models and Computer Science (LMCS 2006), Electronic Notes in Theoretical Computer Science Volume 169:3-6, 1 March 2007, Elsevier.
• Tuesday, 27 February 2007: The paper Partially ordered patterns and compositions by S. Heubach, S. Kitaev, and T. Mansour has been accepted for publication in the journal Pure Mathematics and Applications (PU.M.A.).
• Monday, 19 February 2007: The preprints
  • Luca Aceto, Anna Ingolfsdottir, and MohammadReza Mousavi. Impossibility Results for the Equational Theory of Timed CCS and
  • Luca Aceto, Wan Fokkink and Anna Ingolfsdottir. Ready to Preorder: Get Your BCCSP Axiomatization for Free!
  are now available.
• Sunday, 18 February 2007: The paper On uniquely k-determined permutations by S. Avgustinovich and S. Kitaev has been accepted for a poster session at the 19th International Conference on Formal Power Series and Algebraic Combinatorics, Nankai University, Tianjin, China, July 2-6 (2007). FPSAC is the prime conference in algebraic combinatorics and its standards are as high as in the best journals in that field!
• Monday, 29 January 2007: The paper On avoidance of V- and Lambda-patterns in permutations has been accepted for publication in Ars Combinatoria.
  The preprint Counting descents, rises, and levels, with prescribed first element, in words by S. Kitaev, T. Mansour, and J. Remmel is now available.
• Friday, 26 January 2007: The paper Characteristic Formulae: From Automata to Logic by Luca Aceto and Anna Ingolfsdottir is now available. It will appear in the February issue of the Bulletin of the EATCS.
• Saturday, 6 January 2007: The paper CELLULAR AUTOMATA OVER SEMI-DIRECT PRODUCT GROUPS: REDUCTION AND INVERTIBILITY RESULTS by Silvio Capobianco (Reykjavik University) has been published in the International Journal of Algebra and Computation, Vol. 16, No. 6, pp. 1071-1086 (December 2006).
• Wednesday, 22 November 2006: Algebraic Process Calculi: The First Twenty Five Years and Beyond, Journal of Logic and Algebraic Programming, Volume 70, Issue 2, Pages 119-238 (February 2007), is now available on line. The volume is edited by L. Aceto, M. Bravetti, W. Fokkink and A.D. Gordon.
• Thursday, 9 November 2006: Luca Aceto and Anna Ingolfsdottir have delivered the manuscript of the book Reactive Systems: Modelling, Specification and Verification, co-authored with Kim G. Larsen and Jiri Srba, to Cambridge University Press. The table of contents and the preface of the book, which is expected to be in print in June 2007, are available.
• Friday, 27 october 2006: The paper Bisimilarity is not finitely based over BPA with interrupt by Luca Aceto, Wan Fokkink, Anna Ingolfsdottir and Sumit Nain appears in Theoretical Computer Science 366(1-2):60-81, 16 November 2006. The paper is available from ScienceDirect.
• Tuesday, 3 October 2006: The following preprint appeared:
  S. Heubach, S. Kitaev, T. Mansour: Partially ordered patterns and compositions, preprint.
  Moreover, the following paper has been submitted for publication:
  S. Kitaev, S. Seif: Word problem of the Perkins semigroup via directed acyclic graphs.
  
• Friday, 29 September 2006: The papers
  • The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems by Luca Aceto and Wan Fokkink, pp. 43-48, and
  • Towards SOS Meta-Theory for Language-Based Security by MohammadReza Mousavi, pp. 267-271,
  have appeared in Volume 162 of Electronic Notes in Theoretical Computer Science, Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25), Bertinoro, Italy, 01-05 August 2005 (edited by L. Aceto and A.D. Gordon).
• Friday, 29 September 2006: Volume 162 of Electronic Notes in Theoretical Computer Science, Elsevier, is out. This volume is edited by Luca Aceto and Andrew D. Gordon, and is entitled Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25).
• Thursday, 28 September 2006: The paper
  S. Kitaev: Introduction to partially ordered patterns
  has been accepted for publication in Discrete Applied Mathematics.
• Tuesday, 5 September 2005: The paper
  M.R. Mousavi, I.C.C. Phillips, M.A. Reniers, I. Ulidowski. The Meaning of Ordered SOS.
  has been accepted for publication in the Proceedings of the 26th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'06), Kolkata, India. Lecture Notes in Computer Science, Springer-Verlag, December 2006.
• Friday, 18 August 2008: The following paper co-authored by Sergey Kitaev has appeared:
  S. Kitaev and J. Remmel. Classifying Descents According to Equivalence mod k, Electronic Journal of Combinatorics 13(1) (2006), #R64.
• Friday, 19 May 2006: The paper Decreasing Subsequences in Permutations and Wilf Equivalence for Involutions by M. Bousquet-Mélou and E. Steingrímsson is the most frequently accessed paper in the Journal of Algebraic Combinatorics! See this link.
• Thursday, 4 May 2006: The paper Strip Graphs: Recognition and Scheduling by Magnus M. Halldorsson and Ragnar K. Karlsson has been accepted for presentation at WG '06: 32nd Workshop on Graph-Theoretic Concepts in Computer Science. This is the first scientific paper co-authored by a student affiliated with ICE-TCS. Congratulations to Ragnar!
• Sunday, 30 April 2006: The paper Bisimilarity is not Finitely Based over BPA with Interrupt by Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, and Sumit Nain has been accepted for publication in a special issue of the journal Theoretical Computer Science devoted to selected papers from CALCO 2005.
• Thursday, 27 April 2006: The paper A Hybrid Micro–Macroevolutionary Approach to Gene Tree Reconstruction by Dannie Durand, Bjarni V. Halldorsson and Benjamin Vernot has appeared in the Journal of Computational Biology, Vol. 13, No. 2, pp. 320-335.
• Tuesday, 25 April 2006: The following two preprints by Sergey Kitaev have recently appeared:
  1. S. Kitaev and A. Pyatkin, On avoidance of V- and Lambda-patterns in permutations, preprint.
  2. S. Kitaev and J. Remmel, Classifying descents according to equivalence mod k, preprint.
  The following paper by Sergey Kitaev has been accepted for publication:
  S. Kitaev and J. Remmel, Classifying Descents According to Parity, Annals of Combinatorics, to appear.
  The following paper by Sergey Kitaev has been published:
  S. Kitaev, Counting independent sets on path-schemes, Journal of Integer Sequences 9, no. 2 (2006), Article 06.2.2, 8pp.
• Monday, 10 April 2006: ICE-TCS will be well represented at ICALP 2006, the 33rd International Colloquium on Automata, Languages and Programming, July 9-16, 2006, S. Servolo, Venice, Italy! The papers
  • A Finite Equational Base for CCS with Left Merge and Communication Merge by Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir and Bas Luttik and
  • On the Axiomatizability of Priority by Luca Aceto, Taolue Chen, Wan Fokkink and Anna Ingólfsdóttir
  have been accepted for presentation in Track B: Logic, Semantics, and Theory of Programming of the conference.
• Saturday, 18 March 2006: The book Foundations of Software Science and Computation Structures, 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings, Lecture Notes in Computer Science, Vol. 3921, edited by Luca Aceto and Anna Ingólfsdóttir is now available.
• Tuesday, 7 March 2006: The book Computers and Games: 4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers (Herik, H. Jaap van den; Björnsson, Yngvi; Netanyahu, Nathan S. eds.) is now available as Lecture Notes in Computer Science, Vol. 3846, 2006, XIV, 333 p., Softcover ISBN: 3-540-32488-7.
• Tuesday, 7 March 2006: The paper Introduction to partially ordered patterns (preprint) by Sergey Kitaev is now available.
• Monday, 6 March 2006: The paper A Finite Equational Base for CCS with Left Merge and Communication Merge by Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir and Bas Luttik is now available as BRICS report RS-06-6, March 2006.
• Tuesday, 21 February 2006: The paper Counting independent sets on path-schemes by Sergey Kitaev has been accepted for publication in the Journal of Integer Sequences.
• Tuesday, 7 February 2006: The paper On the Axiomatizability of Priority by Luca Aceto, Taolue Chen, Wan Fokkink and Anna Ingólfsdóttir is available as BRICS report RS-06-1.
• Monday, 19 December 2005: The paper Finite Equational Bases in Process Algebra: Results and Open Questions by Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, and Bas Luttik is out in the volume Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday (Aart Middeldorp, Vincent van Oostrom, Femke Raamsdonk, Roel Vrijer editors), LNCS 3838, Springer-Verlag.
• Monday, 21 November 2005: The paper Segmented partially ordered generalized patterns by S. Kitaev will appear in Theoretical Computer Science, Volume 349, Issue 3, 16 December 2005, Pages 420-428.
• Sunday, 20 November 2005: The paper On unavoidable sets of word patterns by A. Burstein and S. Kitaev has appeared in SIAM Journal on Discrete Mathematics, 19 (2005) 2, 371-381.
• Friday, 11 November 2005: The preprint On representable graphs by S. Kitaev and A. Pyatkin is available.
• Monday, 7 November 2005: A revised version of the paper Bisimilarity is not Finitely Based over BPA with Interrupt by Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, and Sumit Nain has been submitted to a special issue of the journal Theoretical Computer Science devoted to selected papers from CALCO 2005. [Revised version for journal submission of Mon Nov 7 14:17:50 GMT 2005. (The present version of the paper sharpens the main result in that it now applies to any non-empty set of actions. Moreover, the last section in the current paper is new.)]
• Wednesday, 30 October 2005: Luca Aceto's essay Report on the Workshop Algebraic Process Calculi: The First Twenty Five Years and Beyond has appeared in the Bulletin of the EATCS, Number 87, pp. 210-213, October 2005.
• Friday, 28 October 2005: Sergey Kitaev has published the following papers (see his publications page for details):
  • S. Kitaev, T. Mansour and A. Vella: Pattern avoidance in matrices, Journal of Integer Sequences 8, no. 2 (2005), Article 05.2.2, 16pp.
  • S. Kitaev and T. Mansour: Simultaneous avoidance of generalized patterns, Ars Combinatoria 75 (2005), 267-288.
  • S. Kitaev: Partially Ordered Generalized Patterns, Discrete Mathematics 298 (2005), 212-229.
  • S. Kitaev and T. Mansour: On multi-avoidance of generalized patterns, Ars Combinatoria 76 (2005), 321-350.
• Wednesday, 5 October 2005: The paper Allegro version 2 by Daniel F Gudbjartsson, Thorvaldur Thorvaldsson, Augustine Kong, Gunnar Gunnarsson and Anna Ingolfsdottir has appeared in Nature Genetics Volume 37, No. 10, October 2005.
• Thursday, 1 September 2005: The paper Bisimilarity is not Finitely Based over BPA with Interrupt by Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, and Sumit Nain is now available electronically---if your institution has access to the Lecture Notes in Computer Science, Springer-Verlag. It appears in the Proceedings of Conference on Algebra and Coalgebra in Computer Science (CALCO), Lecture Notes in Computer Science 3629, pp. 54--68, Springer-Verlag, 2005
• Tuesday, 21 June 2005: Luca Aceto and Andrew D. Gordon (Microsoft Research) have completed the editorship of the 244-page volume Essays on Algebraic Process Calculi, BRICS Note Series NS-05-3. This volume contains short contributions for the the workshop Algebraic Process Calculi: The First Twenty Five Years and Beyond, August 1-5, 2005, University of Bologna Residential Center Bertinoro (Forlì), Italy.
• Monday, 6 June 2005: The paper Finite Equational Bases in Process Algebra: Results and Open Questions by Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir and Bas Luttik is now available.
• Tuesday, 24 May 2005: The paper Islands of Tractability for Parsimony Haplotyping by Roded Sharan, Bjarni Halldorsson and Sorin Istrail has been accepted at the conference IEEE Computational Systems Biology 2005. It will appear in the conference proceedings of IEEE Computational Systems Biology 2005.
• Monday, 23 May 2005: The essay "The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems" by Luca Aceto and Wan Fokkink is now available in the BRICS Notes Series.
• Saturday, 14 May 2005: Dannie Durand, Bjarni Halldórsson, Benjamin Vernot. A Hybrid Micro-Macroevolutionary Approach to Gene Tree Reconstruction. In Proceedings of the Ninth International Conference on Research in Computational Biology (RECOMB 2005), Springer LNBI 3500, pp. 250-264.
• Friday, 13 May 2005: Jonathan Schaeffer, Neil Burch, Paul Lu, Robert Lake, Akihiro Kishimoto, Martin Mueller, Steve Sutphen, and Yngvi Bjornsson. Solving Checkers. To appear in the Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, 30 July-5 August 2005. This paper will receive one of the three best papers awards handed out at the conference!
• Thursday, 12 May 2005: The paper Bisimilarity is not Finitely Based over BPA with Interrupt by Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, and Sumit Nain has been accepted at the Conference on Algebra and Coalgebra in Computer Science (CALCO), Swansea, Wales, 3--6 September 2005. The proceedings will be published as a volume in the Lecture Notes in Computer Science, Springer-Verlag, 2005.
• Wednesday, 4 May 2005: Luca Aceto, Willem Jan Fokkink, and Irek Ulidowski, editors. Electronic Notes in Theoretical Computer Science, Volume 128, Issue 1, Proceedings of the Workshop on Structural Operational Semantics (SOS 2004).
• Wednesday, 4 May 2005: Special issue of Theoretical Computer Science on Process Algebra edited by L. Aceto, W. Fokkink, A. Ingolfsdottir and Z. Esik is out. [Link]
• Luca Aceto, Magnus M. Halldorsson and Anna Ingólfsdóttir. Report on the Icelandic Centre of Excellence in Theoretical Computer Science (ICE-TCS): Opening and Inaugural Symposium. Bulletin of the EATCS number 86, pp. 262-263, June 2005.
• Luca Aceto and Anna Ingolfsdottir. What is Theoretical Computer Science? (Preliminary Version). Note! This is a preliminary version of an article whose final, complete version will be co-authored with Magnus Mar Halldorsson.