Publications 2017

  1. L. Aceto. Computer science at the Gran Sasso Science Institute.
    Bull. EATCS, v. 123, 3 pp., 2017.
    article
  2. L. Aceto. Interview with Thomas Henzinger, president of IST Austria.
    Bull. EATCS, v. 121, 3 pp., 2017.
    article
  3. L. Aceto. Interview with Alexandra Silva, recipient of the 2017 Presburger award.
    Bull. EATCS, v. 122, 3 pp., 2017.
    article
  4. L. Aceto. Spotlight on Marta Kwiatkowska.
    ACM SIGLOG News, v. 4, n. 1, pp. 3-4, 2017.
    doi:10.1145/3051528.3051529
  5. L. Aceto. Ten years of the European Research Council: a view from theoretical computer science.
    Bull. EATCS, v. 123, 15 pp., 2017.
    article
  6. L. Aceto, A. Achilleos, A. Francalanza, A. Ingólfsdóttir. Monitoring for silent actions.
    In S. V. Lokam, R. Ramanujam, eds., 37th IARCS Ann. Conf. on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017 (Kanpur, Dec. 2017), v. 93 of Leibniz Inst. Int. Proc. in Inform., pp. 7:1-7:14. Dagstuhl Publishing, 2017.
    doi:10.4230/lipics.fsttcs.2017.7
  7. L. Aceto, A. Achilleos, A. Francalanza, A. Ingólfsdóttir, S. Ö. Kjartansson. On the complexity of determinizing monitors.
    In A. Carayol, C. Nicaud, eds., Implementation and Application of Automata: 22nd Int. Conf., CIAA 2017 (Marne-la-Vallée, June 2017), Proc., v. 10329 of Lect. Notes in Comput. Sci., pp. 1-13. Springer, 2017.
    doi:10.1007/978-3-319-60134-2_1
  8. L. Aceto, G. Bacci, G. Bacci, A. Ingólfsdóttir, A. Legay, R. Mardare, eds.
    Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, v. 10460 of Lect. Notes in Comput. Sci., xvii+338 pp. Springer 2017.
    doi:10.1007/978-3-319-63121-9
  9. L. Aceto, D. de Frutos-Escrig, guest eds.
    Acta Inf., v. 54, n. 1 (special issue for 26th Int. Conf. on Concurrency Theory, CONCUR 2015, Madrid, Sept. 2015, part 1), pp. 1-125, 2017.
    volume
  10. L. Aceto, D. de Frutos-Escrig, guest eds.
    Acta Inf., v. 54, n. 2 (special issue for 26th Int. Conf. on Concurrency Theory, CONCUR 2015, Madrid, Sept. 2015, part 2), pp. 127-242, 2017.
    volume
  11. L. Aceto, D. de Frutos-Escrig, guest eds.
    Acta Inf., v. 54, n. 3 (special issue for 26th Int. Conf. on Concurrency Theory, CONCUR 2015, Madrid, Sept. 2015, part 3), pp. 243-341, 2017.
    volume
  12. L. Aceto, D. de Frutos-Escrig, A. Ingólfsdóttir. Trace simulation semantics is not finitely based over BCCSP.
    Acta Cybern., v. 23, n. 1, pp. 81-90, 2017.
    doi:10.14232/actacyb.23.1.2017.6
  13. L. Aceto, I. Fábregas, Á. García-Pérez, A. Ingólfsdóttir. A unified rule format for bounded nondeterminism in SOS with terms as labels.
    J. Log. Algebr. Methods Program., v. 92, pp. 64-86, 2017.
    doi:10.1016/j.jlamp.2017.03.002
  14. L. Aceto, I. Fábregas, Á. García-Pérez, A. Ingólfsdóttir, Y. Ortega-Mallén. Rule formats for nominal process calculi.
    In R. Meyer, U. Nestmann, eds., 28th Int. Conf. on Concurrency Theory, CONCUR 2017 (Berlin, Sept. 2017), v. 85 of Leibniz Int. Proc. in Inform., pp. 10:1-10:16. Dagstuhl Publishing, 2017.
    doi:10.4230/lipics.concur.2017.10
  15. L. Aceto, I. Fábregas, C. Gregorio-Rodríguez, A. Ingólfsdóttir. Logical characterisations and compositionality of input-output conformance simulation.
    In B. Steffen, C. Baier, M. van der Brand, J. Eder, M. Hinchey, T. Margaria, eds., SOFSEM 2017: Theory and Practice of Computer Science: 43rd Int. Conf. on Current Trends in Theory and Practice of Computer Science (Limerick, Jan. 2017), Proc., v. 10139 of Lect. Notes in Comput. Sci., pp. 37-48. Springer, 2017.
    doi:10.1007/978-3-319-51963-0_4
  16. E. I. Ásgeirsson, M. M. Halldórsson, T. Tonoyan. Universal framework for wireless scheduling problems.
    In I. Chatzigiannakis, P. Indyk, F. Kuhn, A. Muscholl, eds., 44th Int. Coll. on Automata, Languages, and Programming, ICALP 2017 (Warsaw, July 2017), v. 80 of Leibniz Inst. Int. Proc. in Inform., pp. 129:1-129:15. Dagstuhl Publishing, 2017.
    doi:10.4230/lipics.icalp.2017.129
  17. I. Cassar, A. Francalanza, L. Aceto, A. Ingólfsdóttir. A survey of runtime monitoring instrumentation techniques.
    In A. Francalanza, G. J. Pace, eds., Proc. of 2nd Int. Workshop on Pre- and Post-Deployment Verification Techniques, PrePost 2017 (Torino, Sept. 2017), v. 254 of Electron. Proc. in Theor. Comput. Sci., 15-28. Open Publishing Assoc., 2017.
    doi:10.4204/eptcs.254.2
  18. I. Cassar, A. Francalanza, L. Aceto, A. Ingólfsdóttir. eAOP: an aspect oriented programming framework for Erlang.
    In N. Chechina, S. L. Fritchie, eds., Erlang '17: Proc. of 16th ACM SIGPLAN Int. Workshop on Erlang (Oxford, Sept. 2017), pp. 20-30. ACM, 2017.
    doi:10.1145/3123569.3123570
  19. I. Cassar, A. Francalanza, D. P. Attard, L. Aceto, A. Ingólfsdóttir. A generic instrumentation tool for Erlang.
    In G. Reger, K. Havelund, eds., RV-CuBES 2017: An Int. Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools (Seattle, WA, Sept. 2017), v. 3 of Kalpa Publications in Computing, pp. 48-54. Easychair, 2017.
    doi:10.29007/63tp
  20. I. Cassar, A. Francalanza, D. P. Attard, L. Aceto, A. Ingólfsdóttir. A suite of monitoring tools for Erlang.
    In G. Reger, K. Havelund, eds., RV-CuBES 2017: An Int. Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools (Seattle, WA, Sept. 2017), v. 3 of Kalpa Publications in Computing, pp. 41-47. Easychair, 2017.
    doi:10.29007/7lrd
  21. D. Catanzaro, S. Chaplick, S. Felsner, B. V. Halldórsson, M. M. Halldórsson, T. Hixon, J. Stacho. Max point-tolerance graphs.
    Discret. Appl. Math., v. 216, pp. 84-97, 2017.
    doi:10.1016/j.dam.2015.08.019
  22. C. Fragouli, M. M. Halldórsson, K. Jamieson, B. Krishnamachari, eds.
    Foundations of Wireless Networking (Dagstuhl Seminar 17271). Dagstuhl Reports, v. 7, n. 7, 21 pp., 2017.
    doi:10.4230/dagrep.7.7.1
  23. A. Francalanza, L. Aceto, A. Achilleos, D. P. Attard, I. Cassar, D. Della Monica, A. Ingólfsdóttir. A foundation for runtime monitoring.
    In S. K. Lahiri, G. Reger, eds., Runtime Verification: 17th Int. Conf., RV 2017 (Seattle, WA, Sept. 2017), Proc., v. 15048 of Lect. Notes in Comput. Sci., pp. 8-29. Springer2017.
    doi:10.1007/978-3-319-67531-2_2
  24. A. Francalanza, L. Aceto, A. Ingólfsdóttir. Monitorability for the Hennessy-Milner logic with recursion.
    Formal Methods Syst. Des., v. 51, n. 1, pp. 87-116, 2017.
    doi:10.1007/s10703-017-0273-z
  25. M. M. Halldórsson, S. Holzer, P. Mitra, R. Wattenhofer. The power of oblivious wireless power.
    SIAM J. Comput., v. 46, n. 3, pp. 1062-1086, 2017.
    doi:10.1137/15m1023348
  26. M. M. Halldórsson, S. Holzer, E. A. Markatou. Brief announcement: leader election in SINR model with arbitrary power control.
    In PODC '17: Proc. of ACM Symp. on Principles of Distributed Computing (Washington, DC, July 2017), pp. 203-205. ACM, 2017.
    doi:10.1145/3087801.3087851
  27. M. M. Halldórsson, S. Holzer, E. A. Markatou. Leader election in SINR model with arbitrary power control.
    In S. Das, S. Tixeuil, eds., Structural Information and Communication Complexity: 24th Int. Coll. SIROCCO 2017 (Porquerolles, June 2017), Revised Selected Papers, v. 10641 of Lect. Notes in Comput. Sci., pp. 3-14. Springer, 2017.
    doi:10.1007/978-3-319-72050-0_1
  28. M. M. Halldórsson, T. Ishii, K. Makino, K. Takazawa. Posimodular function optimization.
    In F. Ellen, A. Kolokolova, J.-R. Sack, eds., Algorithms and Data Structures: 15th Int. Symp., WADS 2017 (St. John's, NL, July/Aug. 2017), Proc.WADS 2017, v. 10389 of Lect. Notes in Comput. Sci., pp. 437-448. Springer, 2017.
    doi:10.1007/978-3-319-62127-2_37
  29. M. M. Halldórsson, C. Konrad. Improved distributed algorithms for coloring interval graphs with application to multicoloring trees.
    In S. Das, S. Tixeuil, eds., Structural Information and Communication Complexity: 24th Int. Coll. SIROCCO 2017 (Porquerolles, June 2017), Revised Selected Papers, v. 10641 of Lect. Notes in Comput. Sci., pp. 247-262. Springer, 2017.
    doi:10.1007/978-3-319-72050-0_15
  30. M. M. Halldórsson, F. Kuhn, N. A. Lynch, C. Newport. An efficient communication abstraction for dense wireless networks.
    In A. W. Richa, ed., 31st Int. Symp. on Distributed Computing, DISC 2017 (Vienna, Oct. 2017), v. 91 of Leibniz Int. Proc. in Inform., pp. 25:1-25:16. Dagstuhl Publishing, 2017.
    doi:10.4230/lipics.disc.2017.25
  31. M. M. Halldórsson, T. Tonoyan. Aggregation rate for compressible functions.
    In MobiHoc '17: Proc. of 18th ACM Int. Symp. on Mobile Ad Hoc Networking and Computing (Chennai, July 2017), art. 31, 2 pp. ACM, 2017.
    doi:10.1145/3084041.3098922
  32. M. M. Halldórsson, T. Tonoyan. Wireless link capacity under shadowing and fading.
    In MobiHoc '17: Proc. of 18th ACM Int. Symp. on Mobile Ad Hoc Networking and Computing (Chennai, July 2017), art. 27, 10 pp. ACM, 2017.
    doi:10.1145/3084041.3084068
  33. D. Yu, Y. Wang, T. Tonoyan, M. M. Halldórsson. Dynamic Adaptation in wireless networks under comprehensive interference via carrier sense.
    In Proc. of 2017 IEEE Int. Parallel and Distributed Processing Symp., IPDPS 2017 (Orlando, FL, May/June 2017), pp. 337-346. IEEE, 2017.
    doi:10.1109/ipdps.2017.78
Last update 17 August 2024