King's College London

Research portal

INFORMATION AND COMPUTATION, ‎0890-5401

Journal

1 - 14 out of 14Page size: 50
RSS feed
View: Standard

  1. Linear construction of a left Lyndon tree

    Badkobeh, G. & Crochemore, M., 3 Jun 2022, (E-pub ahead of print) In: INFORMATION AND COMPUTATION. 285, B, 104884.

    Research output: Contribution to journal › Article › peer-review

  2. Consistency Checking of STNs with Decisions: Managing Temporal and Access-Control Constraints in a Seamless Way

    Zavatteri, M., Combi, C., Rizzi, R. & Viganò, L., 29 Sep 2020, (Accepted/In press) In: INFORMATION AND COMPUTATION. 41 p.

    Research output: Contribution to journal › Article › peer-review

  3. Absent words in a sliding window with applications

    Crochemore, M., Héliou, A., Kucherov, G., Mouchard, L., Pissis, S. P. & Ramusat, Y., 1 Feb 2020, In: INFORMATION AND COMPUTATION. 270, 104461.

    Research output: Contribution to journal › Article › peer-review

  4. Efficient pattern matching in elastic-degenerate strings

    Iliopoulos, C. S., Kundu, R. & Pissis, S. P., 1 Jan 2020, (Accepted/In press) In: INFORMATION AND COMPUTATION. 104616.

    Research output: Contribution to journal › Article › peer-review

  5. On-line weighted pattern matching

    Charalampopoulos, P., Iliopoulos, C. S., Pissis, S. P. & Radoszewski, J., 1 Jun 2019, In: INFORMATION AND COMPUTATION. 266, p. 49-59 11 p.

    Research output: Contribution to journal › Article › peer-review

  6. Alignment-free sequence comparison using absent words

    Charalampopoulos, P., Crochemore, M., Fici, G., Mercaş, R. & Pissis, S. P., 22 Jun 2018, (E-pub ahead of print) In: INFORMATION AND COMPUTATION.

    Research output: Contribution to journal › Article › peer-review

  7. A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations

    Viganò, L., Volpe, M. & Zorzi, M., 17 Jan 2017, (E-pub ahead of print) In: INFORMATION AND COMPUTATION.

    Research output: Contribution to journal › Article › peer-review

  8. Scheduling on Power-Heterogeneous Processors

    Albers, S., Bampis, E., Letsios, D., Lucarelli, G. & Stotz, R., 2017, In: INFORMATION AND COMPUTATION.

    Research output: Contribution to journal › Article › peer-review

  9. A Meta-model of Access Control for Distributed Environments: Applications and Properties

    Bertolissi, C. & Fernandez, M., Nov 2014, In: INFORMATION AND COMPUTATION. 238, p. 187-207 21 p.

    Research output: Contribution to journal › Article › peer-review

  10. Reactive automata

    Crochemore, M. & Gabbay, D. M., Apr 2011, In: INFORMATION AND COMPUTATION. 209, 4, p. 692 - 704 13 p.

    Research output: Contribution to journal › Article › peer-review

  11. Fast computation of a longest increasing subsequence and application

    Crochemore, M. & Porat, E., Sep 2010, In: INFORMATION AND COMPUTATION. 208, 9, p. 1054 - 1059 6 p.

    Research output: Contribution to journal › Article › peer-review

  12. Nominal Rewriting

    Fernandez, M. & Gabbay, M., Jun 2007, In: INFORMATION AND COMPUTATION. 205, 6, p. 917 - 965 49 p.

    Research output: Contribution to journal › Article › peer-review

  13. Mechanising First-Order Temporal Resolution

    Konev, B., Degtyarev, A., Dixon, C., Fisher, M. & Hustadt, U., 25 May 2005, In: INFORMATION AND COMPUTATION. 199, 1-2, p. 55 - 86 32 p.

    Research output: Contribution to journal › Article › peer-review

  14. Encoding linear logic with interaction combinators

    Mackie, I. & Pinto, J. S., 1 Aug 2002, In: INFORMATION AND COMPUTATION. 176, 2, p. 153 - 186 34 p.

    Research output: Contribution to journal › Article › peer-review

View graph of relations

© 2020 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454