Publikationer per år
Publikationer per år
Forskningsresultat
- 150 - 200 av 231 resultat
Sökresultat
-
2014
Reaction System Models for the Heat Shock Response
Azimi Rashti, S., Iancu, B. & Petre, I., 2014, I: Fundamenta Informaticae. 131, 3-4, s. 299–312Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
58 Citeringar (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, I: Multimedia Tools and Applications. s. –Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
8 Citeringar (Scopus) -
2013
A Distributed Design of a Network Recovery Algorithm
Kamali, M., Laibinis, L., Petre, L. & Sere, K., 2013, I: International Journal of Critical Computer-Based Systems. 4, 1, s. 45–68Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
1 Citeringar (Scopus) -
A Formal Approach to H.264 Video Decoding on Multicore Systems
Lumme, K., Petre, L., Sandvik, P. & Sere, K., 2013, I: International Journal of Critical Computer-Based Systems. 4, 1, s. 3–26Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
-
A Refinement-Based Approach to Developing Critical Multi-Agent Systems
Pereverzeva, I., Troubitsyna, E. & Laibinis, L., 2013, I: International Journal of Critical Computer-Based Systems. 4, 1, s. 69–91Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
15 Citeringar (Scopus) -
A Survey of Safety-Oriented Model-Driven and Formal Development Approaches
Prokhorova, I. & Troubitsyna, E., 2013, I: International Journal of Critical Computer-Based Systems. 4, 2, s. 93–118Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
2 Citeringar (Scopus) -
Formal Development of System of Systems
Kamali, M., Neovius, M., Petre, L. & Sandvik, P., 2013, I: ISRN Software Engineering. 2013, s. –Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
-
Translocation of Vibrio parahaemolyticus across an in vitro M cell model.
Finn, R., Ahmad, T., Coffey, E., Brayden, D., Baird, A. & Boyd, A., nov. 2013, I: FEMS Microbiology Letters.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
10 Citeringar (Scopus) -
2012
Deriving a Mode Logic Using Failure Modes and Effects Analysis
Prokhorova, I., Laibinis, L., Troubitsyna, E., Varpaaniemi, K. & Latvala, T., 2012, I: International Journal of Critical Computer-Based Systems. 3, 4, s. –Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
1 Citeringar (Scopus) -
Efficient GPU and CPU-based LDPC decoders for long codewords
Grönroos, S., Nybom, K. & Björkqvist, J., 2012, I: Analog Integrated Circuits and Signal Processing. 73, 2, s. 583–595 13 s.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Fil16 Citeringar (Scopus)45 Nedladdningar (Pure) -
Formal Development of Hierarchical Agent-Based Monitoring Systems for Dynamically Reconfigurable NoC Platforms
Ostroumov, S. & Tsiopoulos, L., 2012, I: International Journal of Embedded and Real-Time Communication Systems. 3, 2, s. 40–72Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
3 Citeringar (Scopus) -
Guest Editors’ Foreword
Walden, M. & Petre, L., 2012, I: Journal of Logic and Algebraic Programming. 81, 3, s. 161–161Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig
-
Quantitative model refinement as a solution to the combinatorial size explosion of biomodels
Czeizler, E., Czeizler, E., Iancu, B. & Petre, I., 2012, I: Electronic Notes in Theoretical Computer Science. 284, s. 35-53Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgång6 Citeringar (Scopus) -
Quantitative refinement of reaction models
Iancu, B., Czeizler, E., Czeizler, E. & Petre, I., 2012, I: International Journal of Unconventional Computing. 8, 5-6, s. 529–550Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
13 Citeringar (Scopus) -
Simple Gene Assembly as a Rewriting of Directed Overlap-Inclusion Graphs
Azimi Rashti, S., Harju, T., Langille, M. & Petre, I., 2012, I: Theoretical Computer Science. 454, s. 30–37Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
-
The Phosphorylation of the Heat Shock Factor as a Modulator for the Heat Shock Response
Czeizler, E., Rogojin, V. & Petre, I., 2012, I: IEEE/ACM Transactions on Computational Biology and Bioinformatics. 9, 5, s. 1326–1337Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
5 Citeringar (Scopus) -
2011
Complexity Analysis of Software Defined DVB-T2 Physical Layer
Grönroos, S., Nybom, K. & Björkqvist, J., 2011, I: Analog Integrated Circuits and Signal Processing. 69, 2, s. 131–142Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Fil18 Citeringar (Scopus)48 Nedladdningar (Pure) -
Customer Portfolio Analysis Using the SOM
Holmbom, A., Eklund, T. & Back, B., 2011, I: International Journal of Business Information Systems. 8, 4, s. 396–412Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
20 Citeringar (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, I: Communications of the Cloud Software. 1, 1, s. –Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
-
Designing Level 3 Behavioral RESTful Web Service Interfaces
Rauf, I. & Porres Paltor, I., 2011, I: Applied Computing Review. 11, 3, s. 19–31Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
-
Directed Overlap-Inclusion Graphs as Representations of Ciliate Genes
Azimi Rashti, S., Harju, T., Langille, M., Petre, I. & Rogojin, V., 2011, I: Fundamenta Informaticae. 110, 1-4, s. 29–44Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
1 Citeringar (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, I: Journal of Biological Chemistry. 286, 21, s. 18375–18382Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
13 Citeringar (Scopus) -
Quasi-Static Scheduling of CAL Actor Networks for Reconfigurable Video Coding
Boutellier, J., Lucarz, C., Lafond, S., Martin Gomez, V. & Mattavelli, M., 2011, I: Journal of Signal Processing Systems. 63, 2, s. 191–202 12 s.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
11 Citeringar (Scopus) -
2010
Authoring and verification of clinical guidelines: A model driven approach
Perez, B. & Porres Paltor, I., 2010, I: Journal of Biomedical Informatics. 43, 4, s. 520–536Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
35 Citeringar (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, I: Journal of Computational Biology. 17, 6, s. 819–823Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
2 Citeringar (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, I: Mathematical and Computational Forestry and Natural-Resource Sciences. 2, 1, s. 30–40Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
1 Citeringar (Scopus) -
Requirement-Driven Scenario-Based Testing Using Formal Stepwise Development
Malik, Q. A., Laibinis, L., Truscan, D. & Lilius, J., 2010, I: International Journal on Advances in Software. 3, 1 & 2, s. 147–160Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
-
Towards Sustainable Development of Energy-Aware Systems
Petre, L. & Sere, K., 2010, I: International Journal of Embedded and Real-Time Communication Systems. 1, 2, s. 45–60Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
-
2009
Content Scheduling in Multimedia Interactive Mobile Games
Mohsin Saleemi, M., Nybom, K., Björkqvist, J. & Lilius, J., 2009, I: Loading.... 3, 5, s. –Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
-
Effective packing of 3-dimensional voxel-based arbitrarily shaped particles
Byholm, T., Toivakka, M. & Westerholm, J., 2009, I: Powder Technology. 196, 2, s. 139–146 8 s.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
29 Citeringar (Scopus) -
MDE for Soc Design
Truscan, D., Lundkvist, T., Alanen, M., Sandström, K., Porres Paltor, I. & Lilius, J., 2009, I: Innovations in Systems and Software Engineering. 5, 1, s. 49–64Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
1 Citeringar (Scopus) -
Sparse-Graph AL-FEC Solutions for IP Datacasting in DVB-H
Nybom, K., Vukobratović, D. & Björkqvist, J., 2009, I: BMSB: 2009 IEEE INTERNATIONAL SYMPOSIUM ON BROADBAND MULTIMEDIA SYSTEMS AND BROADCASTING, VOLS 1 AND 2. s. 626–630 5 s.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
2 Citeringar (Scopus) -
2008
A Metamodeling Language Supporting Subset and Union Properties
Alanen, M. & Porres Paltor, I., 2008, I: Software and Systems Modeling. 7, 1, s. 103–124Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
23 Citeringar (Scopus) -
Beyond Particle Systems: Operator Networks
Rönkkö, M., Waldén, M. & Back, R.-J., 2008, I: Simulation Modelling Practice and Theory. 16, 7, s. 834-847Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
1 Citeringar (Scopus) -
Decision Problems for Shuffled Genes
Petre, I. & Rogojin, V., 2008, I: Information and Computation. 206, 11, s. 1346–1352Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
4 Citeringar (Scopus) -
Evaluating a SOM-Based Financial Benchmarking Tool
Eklund, T., Back, B., Vanharanta, H. & Visa, A., 2008, I: Journal of Emerging Technologies in Accounting. 5, 1, s. 109–127Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
-
Patterns of Simple Gene Assembly
Harju, T., Petre, I., Rogojin, V. & Rozenberg, G., 2008, I: Discrete Applied Mathematics. 156, 14, s. 2581–2597Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
6 Citeringar (Scopus) -
Scalable plasma simulation with ELMFIRE using efficient data structures for process communication
Signell, A., Ogando, F., Aspnäs, M. & Westerholm, J., 2008, I: Computer Physics Communications. 179, 5, s. 330–338 9 s.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
1 Citeringar (Scopus) -
Solutions to Computational Problems Through Gene Assembly
Alhazov, A., Petre, I. & Rogojin, V., 2008, I: Natural Computing. 7, 3, s. 385–401Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
-
Statechart Features and Pre-Release Maintenance Defects
Heidenberg, J., Nåls, A. & Porres Paltor, I., 2008, I: Journal of Visual Languages and Computing. 19, 4, s. 456–467Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
1 Citeringar (Scopus) -
2007
An efficient swap algorithm for the lattice Boltzmann method
Mattila, K., Hyväluoma, J., Rossi, T., Aspnäs, M. & Westerholm, J., 2007, I: Computer Physics Communications. 176, 3, s. 200–210Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
62 Citeringar (Scopus) -
Creating and reconciling diagrams after executing model transformations
Alanen, M., Lundkvist, T. & Porres Paltor, I., 2007, I: Science of Computer Programming. 68, 3, s. 155–178Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
7 Citeringar (Scopus) -
Energy consumption analysis for two embedded Java virtual machines
Lafond, S. & Lilius, J., 2007, I: Journal of Systems Architecture. 53, 5-6, s. 328–337 10 s.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
11 Citeringar (Scopus) -
EuBaFe2O5: Extent of charge ordering by Mössbauer spectroscopy and high-intensity high-resolution powder diffraction
Karen, P., Gustafsson, K. & Lindén, J., jan. 2007, I: Journal of Solid State Chemistry. 180, 1, s. 138-147 10 s.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
12 Citeringar (Scopus) -
EuBaFe2O5+w: Valence mixing and charge ordering are two separate cooperative phenomena
Karen, P., Gustafsson, K. & Lindén, J., jan. 2007, I: Journal of Solid State Chemistry. 180, 1, s. 148-157 10 s.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
9 Citeringar (Scopus) -
Using the Self-Organizing Map to Visualize and Explore Socio-Economic Development
Collan, M., Eklund, T. & Back, B., 2007, I: EBS Review. 22, 1, s. 6–15Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
-
2006
A System-level Framework for Designing and Evaluating Protocol Processor Architectures
Virtanen, S., Nurmi, T., Paakkulainen, J. & Lilius, J., 2006, I: International Journal of Embedded Systems. 1, 1-2, s. 78–90Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
-
Convergence of hardware and software in platforms for radio technologies
Björkqvist, J. & Virtanen, S., 2006, I: IEEE Communications Magazine. 44, 11, s. 52–57 6 s.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
9 Citeringar (Scopus) -
Formal Development of NoC Systems in B
Tsiopoulos, L. & Walden, M., 2006, I: Nordic Journal of Computing. 13, 1, s. 127-145Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
-
Integration of DFDs Into a UML-Based Model-Driven Engineering Approach
Fernandes, J., Lilius, J. & Truscan, D., 2006, I: Software and Systems Modeling. 5, 4, s. 403–428Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
11 Citeringar (Scopus)