Informaatioteknologia

Julkaisut

Julkaisuja vuodessa 1988 2011 2013 2014 2015 2016 2017 2018 2020 2024

• 8253 Viittaukset
• 39 h-index
• 551 Konferenssiartikkeli
• 231 Artikkeli
• 148 Tutkimusraportti
• 56 Luku
• 82 Lisää
  • 27 Tohtorinväitöskirja
  • 25 Antologia/toimitettu lehti
  • 16 Muu myötävaikuttaminen
  • 4 Katsausartikkeli
  • 3 Tiivistelmä
  • 1 Esipuhe/jälkisanat
  • 1 Ilmoitus
  • 1 Keskustelupuheenvuoro
  • 1 Sävellysteos
  • 1 Lisensiaatin tutkielma
  • 1 Pro gradu
  • 1 Työpaperi

Julkaisuja vuodessa

Julkaisuja vuodessa

Hakutulokset

• 2014

  Reaction System Models for the Heat Shock Response

  Azimi Rashti, S., Iancu, B. & Petre, I., 2014, julkaisussa: Fundamenta Informaticae. 131, 3-4, s. 299–312

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
  58 Sitaatiot (Scopus)

• Unequal Error Protection for Data Partitioned H.264/AVC Video Broadcasting

  Nazir, S., Vukobratović, D., Stanković, V., Andonović, I., Nybom, K. & Grönroos, S., 2014, julkaisussa: Multimedia Tools and Applications. s. –

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
  8 Sitaatiot (Scopus)
• 2013

  A Distributed Design of a Network Recovery Algorithm

  Kamali, M., Laibinis, L., Petre, L. & Sere, K., 2013, julkaisussa: International Journal of Critical Computer-Based Systems. 4, 1, s. 45–68

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
  1 Sitaatiot (Scopus)

• A Formal Approach to H.264 Video Decoding on Multicore Systems

  Lumme, K., Petre, L., Sandvik, P. & Sere, K., 2013, julkaisussa: International Journal of Critical Computer-Based Systems. 4, 1, s. 3–26

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

• A Refinement-Based Approach to Developing Critical Multi-Agent Systems

  Pereverzeva, I., Troubitsyna, E. & Laibinis, L., 2013, julkaisussa: International Journal of Critical Computer-Based Systems. 4, 1, s. 69–91

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
  15 Sitaatiot (Scopus)

• A Survey of Safety-Oriented Model-Driven and Formal Development Approaches

  Prokhorova, I. & Troubitsyna, E., 2013, julkaisussa: International Journal of Critical Computer-Based Systems. 4, 2, s. 93–118

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
  2 Sitaatiot (Scopus)

• Formal Development of System of Systems

  Kamali, M., Neovius, M., Petre, L. & Sandvik, P., 2013, julkaisussa: ISRN Software Engineering. 2013, s. –

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

• Translocation of Vibrio parahaemolyticus across an in vitro M cell model.

  Finn, R., Ahmad, T., Coffey, E., Brayden, D., Baird, A. & Boyd, A., marrask. 2013, julkaisussa: FEMS Microbiology Letters.

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
  10 Sitaatiot (Scopus)
• 2012

  Deriving a Mode Logic Using Failure Modes and Effects Analysis

  Prokhorova, I., Laibinis, L., Troubitsyna, E., Varpaaniemi, K. & Latvala, T., 2012, julkaisussa: International Journal of Critical Computer-Based Systems. 3, 4, s. –

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
  1 Sitaatiot (Scopus)

• Efficient GPU and CPU-based LDPC decoders for long codewords

  Grönroos, S., Nybom, K. & Björkqvist, J., 2012, julkaisussa: Analog Integrated Circuits and Signal Processing. 73, 2, s. 583–595 13 Sivumäärä

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

  Tiedosto
  16 Sitaatiot (Scopus)

  45 Lataukset (Pure)

• Formal Development of Hierarchical Agent-Based Monitoring Systems for Dynamically Reconfigurable NoC Platforms

  Ostroumov, S. & Tsiopoulos, L., 2012, julkaisussa: International Journal of Embedded and Real-Time Communication Systems. 3, 2, s. 40–72

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
  3 Sitaatiot (Scopus)

• Guest Editors’ Foreword

  Walden, M. & Petre, L., 2012, julkaisussa: Journal of Logic and Algebraic Programming. 81, 3, s. 161–161

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen

• Quantitative model refinement as a solution to the combinatorial size explosion of biomodels

  Czeizler, E., Czeizler, E., Iancu, B. & Petre, I., 2012, julkaisussa: Electronic Notes in Theoretical Computer Science. 284, s. 35-53

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

  Open access

  • Quantitative Model Refinement 100%
  • Biomodel 100%
  • Heat Shock Response 100%
  • Reactant 100%
  • Pharmacokinetics 100%
  6 Sitaatiot (Scopus)

• Quantitative refinement of reaction models

  Iancu, B., Czeizler, E., Czeizler, E. & Petre, I., 2012, julkaisussa: International Journal of Unconventional Computing. 8, 5-6, s. 529–550

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

  13 Sitaatiot (Scopus)

• Simple Gene Assembly as a Rewriting of Directed Overlap-Inclusion Graphs

  Azimi Rashti, S., Harju, T., Langille, M. & Petre, I., 2012, julkaisussa: Theoretical Computer Science. 454, s. 30–37

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

• The Phosphorylation of the Heat Shock Factor as a Modulator for the Heat Shock Response

  Czeizler, E., Rogojin, V. & Petre, I., 2012, julkaisussa: IEEE/ACM Transactions on Computational Biology and Bioinformatics. 9, 5, s. 1326–1337

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
  5 Sitaatiot (Scopus)
• 2011

  Complexity Analysis of Software Defined DVB-T2 Physical Layer

  Grönroos, S., Nybom, K. & Björkqvist, J., 2011, julkaisussa: Analog Integrated Circuits and Signal Processing. 69, 2, s. 131–142

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

  Tiedosto
  18 Sitaatiot (Scopus)

  47 Lataukset (Pure)

• Customer Portfolio Analysis Using the SOM

  Holmbom, A., Eklund, T. & Back, B., 2011, julkaisussa: International Journal of Business Information Systems. 8, 4, s. 396–412

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

  20 Sitaatiot (Scopus)

• Designing IDE as a Service

  Aho, T., Ashraf, A., Englund, M., Katajamäki, J., Koskinen, J., Lautamäki, J., Nieminen, A., Porres Paltor, I. & Turunen, I., 2011, julkaisussa: Communications of the Cloud Software. 1, 1, s. –

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

• Designing Level 3 Behavioral RESTful Web Service Interfaces

  Rauf, I. & Porres Paltor, I., 2011, julkaisussa: Applied Computing Review. 11, 3, s. 19–31

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

• Directed Overlap-Inclusion Graphs as Representations of Ciliate Genes

  Azimi Rashti, S., Harju, T., Langille, M., Petre, I. & Rogojin, V., 2011, julkaisussa: Fundamenta Informaticae. 110, 1-4, s. 29–44

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
  1 Sitaatiot (Scopus)

• Modeling reveals that dynamic regulation of c-FLIP levels determines cell-to-cell distribution of CD95-mediated apoptosis

  Toivonen, H., Meinander, A., Asaoka, T., Westerlund, M., Pettersson, F., Mikhailov, A., Eriksson, J. & Saxén, H., 2011, julkaisussa: Journal of Biological Chemistry. 286, 21, s. 18375–18382

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
  13 Sitaatiot (Scopus)

• Quasi-Static Scheduling of CAL Actor Networks for Reconfigurable Video Coding

  Boutellier, J., Lucarz, C., Lafond, S., Martin Gomez, V. & Mattavelli, M., 2011, julkaisussa: Journal of Signal Processing Systems. 63, 2, s. 191–202 12 Sivumäärä

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
  11 Sitaatiot (Scopus)
• 2010

  Authoring and verification of clinical guidelines: A model driven approach

  Perez, B. & Porres Paltor, I., 2010, julkaisussa: Journal of Biomedical Informatics. 43, 4, s. 520–536

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
  35 Sitaatiot (Scopus)

• Code Optimization of the Subroutine to Remove Near Identical Matches in the Sequence Database Homology Search Tool PSI-BLAST

  Aspnäs, M., Mattila, K., Osowski, K. & Westerholm, J., 2010, julkaisussa: Journal of Computational Biology. 17, 6, s. 819–823

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
  2 Sitaatiot (Scopus)

• Parallelization, Spatial Decomposition and Load Balancing of a Single Tree Level Forest Dynamics Simulator

  Signell, A., Schöring, J., Aspnäs, M. & Westerholm, J., 2010, julkaisussa: Mathematical and Computational Forestry and Natural-Resource Sciences. 2, 1, s. 30–40

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
  1 Sitaatiot (Scopus)

• Requirement-Driven Scenario-Based Testing Using Formal Stepwise Development

  Malik, Q. A., Laibinis, L., Truscan, D. & Lilius, J., 2010, julkaisussa: International Journal on Advances in Software. 3, 1 & 2, s. 147–160

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

• Towards Sustainable Development of Energy-Aware Systems

  Petre, L. & Sere, K., 2010, julkaisussa: International Journal of Embedded and Real-Time Communication Systems. 1, 2, s. 45–60

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
• 2009

  Content Scheduling in Multimedia Interactive Mobile Games

  Mohsin Saleemi, M., Nybom, K., Björkqvist, J. & Lilius, J., 2009, julkaisussa: Loading.... 3, 5, s. –

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

• Effective packing of 3-dimensional voxel-based arbitrarily shaped particles

  Byholm, T., Toivakka, M. & Westerholm, J., 2009, julkaisussa: Powder Technology. 196, 2, s. 139–146 8 Sivumäärä

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
  29 Sitaatiot (Scopus)

• MDE for Soc Design

  Truscan, D., Lundkvist, T., Alanen, M., Sandström, K., Porres Paltor, I. & Lilius, J., 2009, julkaisussa: Innovations in Systems and Software Engineering. 5, 1, s. 49–64

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
  1 Sitaatiot (Scopus)

• Sparse-Graph AL-FEC Solutions for IP Datacasting in DVB-H

  Nybom, K., Vukobratović, D. & Björkqvist, J., 2009, julkaisussa: BMSB: 2009 IEEE INTERNATIONAL SYMPOSIUM ON BROADBAND MULTIMEDIA SYSTEMS AND BROADCASTING, VOLS 1 AND 2. s. 626–630 5 Sivumäärä

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

  2 Sitaatiot (Scopus)
• 2008

  A Metamodeling Language Supporting Subset and Union Properties

  Alanen, M. & Porres Paltor, I., 2008, julkaisussa: Software and Systems Modeling. 7, 1, s. 103–124

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
  23 Sitaatiot (Scopus)

• Beyond Particle Systems: Operator Networks

  Rönkkö, M., Waldén, M. & Back, R.-J., 2008, julkaisussa: Simulation Modelling Practice and Theory. 16, 7, s. 834-847

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

  • Difference Equations 100%
  • System Operator 100%
  • Operational Network 100%
  • Particle System 100%
  • Network Operator 100%
  1 Sitaatiot (Scopus)

• Decision Problems for Shuffled Genes

  Petre, I. & Rogojin, V., 2008, julkaisussa: Information and Computation. 206, 11, s. 1346–1352

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

  4 Sitaatiot (Scopus)

• Evaluating a SOM-Based Financial Benchmarking Tool

  Eklund, T., Back, B., Vanharanta, H. & Visa, A., 2008, julkaisussa: Journal of Emerging Technologies in Accounting. 5, 1, s. 109–127

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

• Patterns of Simple Gene Assembly

  Harju, T., Petre, I., Rogojin, V. & Rozenberg, G., 2008, julkaisussa: Discrete Applied Mathematics. 156, 14, s. 2581–2597

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

  6 Sitaatiot (Scopus)

• Scalable plasma simulation with ELMFIRE using efficient data structures for process communication

  Signell, A., Ogando, F., Aspnäs, M. & Westerholm, J., 2008, julkaisussa: Computer Physics Communications. 179, 5, s. 330–338 9 Sivumäärä

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
  1 Sitaatiot (Scopus)

• Solutions to Computational Problems Through Gene Assembly

  Alhazov, A., Petre, I. & Rogojin, V., 2008, julkaisussa: Natural Computing. 7, 3, s. 385–401

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

• Statechart Features and Pre-Release Maintenance Defects

  Heidenberg, J., Nåls, A. & Porres Paltor, I., 2008, julkaisussa: Journal of Visual Languages and Computing. 19, 4, s. 456–467

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

  1 Sitaatiot (Scopus)
• 2007

  An efficient swap algorithm for the lattice Boltzmann method

  Mattila, K., Hyväluoma, J., Rossi, T., Aspnäs, M. & Westerholm, J., 2007, julkaisussa: Computer Physics Communications. 176, 3, s. 200–210

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
  62 Sitaatiot (Scopus)

• Creating and reconciling diagrams after executing model transformations

  Alanen, M., Lundkvist, T. & Porres Paltor, I., 2007, julkaisussa: Science of Computer Programming. 68, 3, s. 155–178

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
  7 Sitaatiot (Scopus)

• Energy consumption analysis for two embedded Java virtual machines

  Lafond, S. & Lilius, J., 2007, julkaisussa: Journal of Systems Architecture. 53, 5-6, s. 328–337 10 Sivumäärä

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
  11 Sitaatiot (Scopus)

• EuBaFe₂O₅: Extent of charge ordering by Mössbauer spectroscopy and high-intensity high-resolution powder diffraction

  Karen, P., Gustafsson, K. & Lindén, J., tammik. 2007, julkaisussa: Journal of Solid State Chemistry. 180, 1, s. 138-147 10 Sivumäärä

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

  • Iron Atom 100%
  • Charge Ordering 100%
  • Powder Diffraction 100%
  • High-resolution Powder Diffraction 100%
  • Reaction Stoichiometry 50%
  12 Sitaatiot (Scopus)

• EuBaFe₂O_5+w: Valence mixing and charge ordering are two separate cooperative phenomena

  Karen, P., Gustafsson, K. & Lindén, J., tammik. 2007, julkaisussa: Journal of Solid State Chemistry. 180, 1, s. 148-157 10 Sivumäärä

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

  • Cooperative Phenomena 100%
  • Charge Ordering 100%
  • Valence Charge 100%
  • Cooperative Phenomenon 100%
  • Mixed Valence 66%
  9 Sitaatiot (Scopus)

• Using the Self-Organizing Map to Visualize and Explore Socio-Economic Development

  Collan, M., Eklund, T. & Back, B., 2007, julkaisussa: EBS Review. 22, 1, s. 6–15

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
• 2006

  A System-level Framework for Designing and Evaluating Protocol Processor Architectures

  Virtanen, S., Nurmi, T., Paakkulainen, J. & Lilius, J., 2006, julkaisussa: International Journal of Embedded Systems. 1, 1-2, s. 78–90

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

• Convergence of hardware and software in platforms for radio technologies

  Björkqvist, J. & Virtanen, S., 2006, julkaisussa: IEEE Communications Magazine. 44, 11, s. 52–57 6 Sivumäärä

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

  9 Sitaatiot (Scopus)

• Formal Development of NoC Systems in B

  Tsiopoulos, L. & Walden, M., 2006, julkaisussa: Nordic Journal of Computing. 13, 1, s. 127-145

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

  • System-on-chip 100%
  • Networks on Chips 100%
  • Data Packet 33%
  • Routing Path 33%
  • Complex Controller 33%

• Integration of DFDs Into a UML-Based Model-Driven Engineering Approach

  Fernandes, J., Lilius, J. & Truscan, D., 2006, julkaisussa: Software and Systems Modeling. 5, 4, s. 403–428

  Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

  11 Sitaatiot (Scopus)