Publications (63)

Sort by: Date | Title
10 | 25 | 50 | 100 
Previous page Previous page1/2 Next page Last page
A Ä B C D E F G H I J K L M N O P Q R S T U V W Y Z В Г К О С Э All 
A4 Conference proceedings
Floc characterization in highly turbulent fiber suspensions by digital image analysis (1996)
Beghello L, Toivakka M, Wahren D, Eklund D
A4 Conference proceedings
Formalising UML State Machines for Model Checking (1999)
Johan Lilius, Iván Porres Paltor
Springer
View on publisher's site
A4 Conference proceedings
Fireside behavior of black liquors containing boron (2001)
Hupa M, Forssen M, Backman R, Stubbs A, Bolton R
A4 Conference proceedings
From UML Behavioral Descriptions to Efficient Synthesizable VHDL (2002)
Dag Björklund, Johan Lilius
A4 Conference proceedings
Fast Evaluation of Protocol Processor Architectures for IPv6 Routing (2003)
Johan Lilius, Dragos Truscan, Seppo Virtanen
IEEE Computer Society
View on publisher's site
A4 Conference proceedings
Fireside deposit formation in biomass fired FBC : a comparison between tests performed in three significantly different sized combustors (2003)
Skrifvars BJ, Yrjas P, Hupa M, Aho M, Silvennoinen J, Eteläaho R, Kouki J, Saari K
American Society of Mechanical Engineers, ASME
A4 Conference proceedings
Formation of calcium chloride and its interaction with the sand particles during fluidized bed combustion (2003)
Partanen J, Backman P, Backman R, Hupa M
American Society of Mechanical Engineers, ASME
A4 Conference proceedings
Functional and Object-Oriented Views in Embedded Software Modeling (2004)
Fernandes JM, Lilius J
A4 Conference proceedings
Formal Model-Driven Development of Communicating Systems (2005)
Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik
Springer
View on publisher's site
A4 Conference proceedings
Formal Service-Oriented Development of Fault Tolerant Communicating Systems (2005)
Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar Malik
School of Computing Science, University of Newcastle upon Tyne
A4 Conference proceedings
Fouling tendency of ash resulting from burning mixtures of biofuels (2005)
Theis M, Skrifvars BJ, Hupa M, Tran H
American Society of Mechanical Engineers, ASME
A4 Conference proceedings
Fe-modified large pore silicas: effect of pore design on the phase composition and catalytic properties in methanol decomposition (2006)
T. Tsoncheva , J. Rosenholm, H. Huwe, D. Paneva, M. Dimitrov, I. Mitov, M. Linden, M. Fröba, C. Minchev
A4 Conference proceedings
Formalizing Object Oriented Design Patterns with Object-Z (2006)
Rauf I, Nadeem A, Khokhar M
A4 Conference proceedings
Formal Transformation of Platform Independent Models into Platform Specific Models (2007)
Pontus Boström, Mats Neovius, Ian Oliver, Marina Waldén
Springer
View on publisher's site
A4 Conference proceedings
From Nondeterministic UML Protocol Statemachines to Class Contracts (2010)
Ivan Porres, Irum Rauf
IEEE computer society press
View on publisher's site
A4 Conference proceedings
Factors Influencing the Adoption of Mobile Services “Consumers’ Preferences” Using Analytic Hierarchy Process (2011)
Shahrokh Nikou, Jozsef Mezei, Harry Bouwman , Yong Liu
ECONSTOR
A4 Conference proceedings
Financial Performance Analysis of European Banks Using a Fuzzified Self-Organizing Map (2011)
Sarlin Peter, Eklund Tomas
Springer
A4 Conference proceedings
Framework for Smart Space Application Development (2011)
André Kaustell, M. Mohsin Saleemi, Thomas Rosqvist, Juuso Jokiniemi, Johan Lilius, Ivan Porres
SCITEPRESS Digital Library
A4 Conference proceedings
Fundamental mechanisms for dry and wet coating strength (2011)
Etienne Lazarus, Pekka Salminen, Parvez Alam, Martti Toivakka
PTS
A4 Conference proceedings
Fuzzy Clustering of the Self-Organizing Map: Some Applications on Financial Time Series (2011)
Sarlin Peter, Eklund Tomas
A4 Conference proceedings
Field Measurement Based SVC Performance Analysis Over DVB-T2 Lite (2012)
Nybom K, Grönroos S, Björkqvist J
IEEE
View on publisher's site
A4 Conference proceedings
Finding an optimized set of transformations for convexifying nonconvex MINLP problems (2012)
Lundell, Andreas, Westerlund, Tapio
Computer Aided Chemical Engineering
Elsevier
A4 Conference proceedings
Finnish 'Silver Surfers' and Online Health Information (2012)
Eriksson-Backa Kristina
Communications in Computer and Information Science
View on publisher's site
A4 Conference proceedings
Flame deposition of superhydrophobic and superhydrophilic nanoparticle coatings on paperboard materials (2012)
M. Aromaa, J. Haapanen, H. Teisala, M. Tuominen, M. Stepien, J.J. Saarinen, M. Toivakka, J. Kuusipalo, J.M. Mäkelä
Nano Science and Technology Institute
A4 Conference proceedings
Formal Development and Assessment of a Reconfigurable On-Board Satellite System (2012)
Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala, Laura Nummila
Springer
View on publisher's site
A4 Conference proceedings
Formal Development of Critical Multi-Agent Systems: A Refinement Approach (2012)
Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
IEEE
View on publisher's site
A4 Conference proceedings
Formal Goal-Oriented Development of Resilient MAS in Event-B (2012)
Pereverzeva I, Troubitsyna E, Laibinis L
Springer
View on publisher's site
A4 Conference proceedings
FREE TESTOSTERONE LEVELS AND ANDROGEN-RELATED GENETIC POLYMORPHISMS MODERATE THE ASSOCIATION BETWEEN SOCIOSEXUAL ORIENTATION AND FEMALE SEXUAL DESIRE: A POPULATION-BASED STUDY (2012)
Gunst A, Jern P, Westberg L, Ankarberg-Lindgren C, Eriksson E, Sandnabba K, Santtila P
The Journal of Sexual Medicine
View on publisher's site
A4 Conference proceedings
From Smart Meter Data to Pricing Intelligence – Visual Data-Mining Towards Real-Time BI (2012)
Liu Hongyan, Yao Zhiyuan, Eklund Tomas, Back Barbro
Association for Information Systems
A4 Conference proceedings
Fuel nitrogen reactions in a biomass fired FBC - measurements and kinetic simulations (2012)
Emil Vainio, Anders Brink, Mikko Hupa, Hannu Vesala, Tuula Kajolinna
A4 Conference proceedings
Fabrication of printed drug-delivery systems (2013)
Natalja Genina, Ruzica Kolakovic, Mirja Palo, Daniela Fors, Helka Juvonen, Petri Ihalainen, Jouko Peltonen, Niklas Sandler
Society for Imaging Science and Technology
A4 Conference proceedings
Fault-tolerant Scheduling of Stateful Tasks in Uniprocessor Real-time Systems (2013)
Petr Alexeev, Pontus Boström, Marina Waldén, Mikko Huova, Matti Linjama, Kaisa Sere
SCITEPRESS Digital Library
View on publisher's site
A4 Conference proceedings
Formal Development and Quantitative Assessment of a Resilient Multi-Robotic System (2013)
Tarasyuk A, Pereverzeva I, Troubitsyna E, Laibinis L
Springer
A4 Conference proceedings
Formalisation of an Industrial Approach to Monitoring Critical Data (2013)
Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis, Dubravka Ilić, Timo Latvala
Springer
View on publisher's site
A4 Conference proceedings
Formal Modelling of Resilient Data Storage in Cloud (2013)
Inna Pereverzeva; Linas Laibinis; Elena Troubitsyna; Markus Holmberg; Mikko Pöri
Springer
View on publisher's site
A4 Conference proceedings
Fabrication of Paper Based Microfluidics Channels by UV Irradiation (2014)
Joel Songok, Martti Toivakka
TAPPI Press
A4 Conference proceedings
Fit-Preserving Data Refinement of Mass-Action Reaction Networks (2014)
Cristian Gratie and Ion Petre
Springer
View on publisher's site
A4 Conference proceedings
Formal Derivation of Distributed MapReduce (2014)
Pereverzeva I, Butler M, Fathabadi AS, Laibinis L, Troubitsyna E
Springer
View on publisher's site
A4 Conference proceedings
Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B (2014)
Laibinis L, Troubitsyna E, Graja Z, Migeon F, Kacem AH
Springer
View on publisher's site
A4 Conference proceedings
From Text to Bank Interrelation Maps (2014)
Samuel Rönnqvist, Peter Sarlin
IEEE Computer Society Institute of Electrical and Electronic Engineers
View on publisher's site
A4 Conference proceedings
Fast Coding Unit Selection Based on Local Texture Characteristics for HEVC Intra Frame (2015)
Miloš Radosavljević, Georgios Georgakarakos, Sebastien Lafond, Dejan Vukobratović
IEEE Global Conference on Signal and Information Processing
A4 Conference proceedings
Formal Analysis of Proactive, Distributed Routing (2015)
Mojgan Kamali, Peter Höfner, Maryam Kamali, Luigia Petre
Lecture Notes in Computer Science
Springer
View on publisher's site
A4 Conference proceedings
Formally Analyzing Continuous Aspects of Cyber-Physical Systems modeled by Homogeneous Linear Differential Equations (2015)
Muhammad Usman Sanwal, Osman Hasan
Lecture notes for computer science
A4 Conference proceedings
Frame Synchronization of Live Video Streams Using Visible Light Communication (2015)
Maziar Mehrabi, Sébastien Lafond, Le Wang
IEEE Global Conference on Signal and Information Processing
10 | 25 | 50 | 100 
Previous page Previous page1/2 Next page Last page
Share link Export