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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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:
- 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
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:
- 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
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
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 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
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
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
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:
- S. Kitaev and A. Pyatkin,
On avoidance of V- and Lambda-patterns in permutations, preprint.
- 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.