Foto av Alexandru Tomescu
  • PL 68 (Pietari Kalmin katu 5)

    00014

    Finland

20072019

Research output per year

Om du gjort några ändringar i Pure kommer de visas här snart.

Publikationer

Konferensbidrag

On using Longer RNA-seq Reads to Improve Transcript Prediction Accuracy

Kuosmanen, A. E., Sobih, A. A. M., Rizzi, R., Mäkinen, V. A. T. & Tomescu, A. I., 2016, Proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies. Gilbert, J., Azhari, H., Ali, H., Quintão, C., Sliwa, J., Ruiz, C., Fred, A. & Gamboa, H. (red.). SCITEPRESS Science And Technology Publications , s. 272-277 6 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Optimal Omnitig Listing for Safe and Complete Contig Assembly

Cairo, M., Medvedev, P., Acosta, N. O., Rizzi, R. & Tomescu, A. I., 2017, 28th Annual Symposium on Combinatorial Pattern Matching (CPM 2017). Radoszewski, J., Kärkkäinen, J. & Rytter, W. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 29:1-29:12 29. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 78).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång

Safe and Complete Algorithms for Dynamic Programming Problems, with an Application to RNA Folding

Kiirala, N., Salmela, L. & Tomescu, A., 2019, 30th Annual Symposium on Combinatorial Pattern Matching (CPM 2019). Pisanti, N. & Pissis, S. P. (red.). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 8:1-8:16 16 s. (Edit Leibniz International Proceedings in Informatics (LIPIcs); vol. 128).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Safe and Complete Contig Assembly Via Omnitigs

Tomescu, A. I. & Medvedev, P., 8 apr 2016, Research in Computational Molecular Biology : 20th Annual Conference, RECOMB 2016, Santa Monica, CA, USA, April 17-21, 2016, Proceedings. Singh, M. (red.). Cham: Springer International Publishing AG, s. 152-163 12 s. (Lecture Notes in Bioinformatics (Subseries of Lecture Notes in Computer Science); vol. 9649).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Simulating the bitonic sort using P systems

Ceterchi, R., Perez-Jimenez, M. J. & Tomescu, A. I., 2007, Membrane Computing: 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers. Eleftherakis, G., Kefalas, P., Paun, G., Rozenberg, G. & Salomaa, A. (red.). Springer-Verlag, s. 172-192 21 s. (Lecture Notes in Computer Science; vol. 4860).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

The Minimum Conflict-Free Row Split Problem Revisited

Hujdurović, A., Husić, E., Milanič, M., Rizzi, R. & Tomescu, A. I., 2 nov 2017, Graph-Theoretic Concepts in Computer Science: 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017, Revised Selected Papers. Bodlaender, H. L. & Woeginger, G. J. (red.). Cham: Springer, s. 303-315 13 s. (Lecture Notes in Computer Science; vol. 10520).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

The representation of Boolean algebras in the spotlight of a proof checker

Ceterchi, R., Omodeo, E. G. & Tomescu, A. I., 2014, Proceedings of the 29th Italian Conference on Computational Logic: Torino, Italy, June 16-18, 2014. Giordano, L., Gliozzi, V. & Pozzato, G. L. (red.). CEUR Workshop Proceedings, s. 287-301 15 s. (CEUR Workshop Proceedings; vol. 1195).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Using Minimum Path Cover to Boost Dynamic Programming on DAGs: Co-linear Chaining Extended

Kuosmanen, A., Paavilainen, T., Gagie, T., Chikhi, R., Tomescu, A. & Mäkinen, V., apr 2018, Research in Computational Molecular Biology : 22nd Annual International Conference, RECOMB 2018, Paris, France, April 21-24, 2018, Proceedings. Raphael, B. J. (red.). Cham: Springer International Publishing AG, s. 105-121 17 s. (Lecture Notes in Bioinformatics; vol. 10812).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Well-Quasi-Ordering Hereditarily Finite Sets

Policriti, A. & Tomescu, A. I., 2011, Language and Automata Theory and Applications (LATA). Dediu, AH., Inenaga, S. & MartinVide, C. (red.). Springer-Verlag, s. 440-451 12 s. (Lecture Notes in Computer Science; vol. 6638).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Programvara

Gap2Seq

Salmela, L. M., Sahlin, K., Mäkinen, V. A. T. & Tomescu, A. I., 2015

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

On representing graphs as membership digraphs - A proof scenario checked by Referee

Omodeo, E. & Tomescu, A. I., 2015

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

SNV-PPILP

van Rens, K., Mäkinen, V. A. T. & Tomescu, A. I., 2015

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig