Publications (1064)

Sort by: Date | Title
10 | 25 | 50 | 100 
First page Previous page2/43 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
Formalising UML State Machines for Model Checking (1999)
Johan Lilius, Iván Porres Paltor
Springer
View on publisher's site
A4 Conference proceedings
General Hybrid Action Systems (1999)
Back R, Petre L, Porres Paltor I
A4 Conference proceedings
Husdjuren i sydvästra Finland (1999)
Niklas Huldén
Dansk Landbrugsmuseums Forlag
Gl. Estrup
A4 Conference proceedings
Mobile Components as Topological Action Systems (1999)
Petre L, Waldén M
A4 Conference proceedings
Timing analysis of UML sequence diagrams (1999)
Xuandong Li, Johan Lilius
Springer
View on publisher's site
A4 Conference proceedings
vUML: A Tool for Verifying UML Models (1999)
Johan Lilius, Iván Porres Paltor
IEEE Computer Society
View on publisher's site
A4 Conference proceedings
An Expandable Protocol Processor Architecture (2000)
Seppo Virtanen, Johan Lilius
A4 Conference proceedings
A Processor Architecture for the TACO Protocol Processor Development Framework (2000)
Seppo Virtanen, Johan Lilius, Tomi Westerlund
A4 Conference proceedings
Checking Compositions of UML Sequence Diagrams for Timing Inconsistency (2000)
Xuoandong Li, Johan Lilius
IEEE Computer Society
A4 Conference proceedings
Components vs. Objects (2000)
Petre L
A4 Conference proceedings
Developing Control Systems Components (2000)
Petre L, Sere K
A4 Conference proceedings
Generalizing Action Systems to Hybrid Systems (2000)
Back R, Petre L, Porres I
A4 Conference proceedings
Modeling of gaseous fuel combustion using the Eddy Break-Up model combined with fast chemistry or finite rate chemistry (2000)
Brink A, Mueller C, Kilpinen P, Hupa M
INFORMACAO UTILIZACAO BIOMASSAINFUB
A4 Conference proceedings
Modeling of short-time penetration into complex porous structures (2000)
D. Bousfield, M. Toivakka, S. Pellerin
TAPPI Press
A4 Conference proceedings
Pore space characterization of coating layers (2000)
Martti Toivakka, Kjell Nyfors
TAPPI Press
TAPPI Press
A4 Conference proceedings
Predicting the performance of different fuels in fluidized bed combustion (2000)
Hupa M, Kilpinen P, Kallio S, Konttinen J, Skrifvars BJ, Zevenhoven M, Backman R
INFORMACAO UTILIZACAO BIOMASSAINFUB
A4 Conference proceedings
The Production Cell: An Exercise in the Formal Verification of a UML Model (2000)
Lilius J, Porres Paltor I
IEEE Computer Society
A4 Conference proceedings
The role of the International Flame Research Foundation's industrial networking activities in the dissemination of research information (2000)
Roberts PA, Hupa M, Thijssen NJW
INFORMACAO UTILIZACAO BIOMASSAINFUB
A4 Conference proceedings
Absorption of HCl and HF by Ca-based sorbents at FBC conditions (2001)
Partanen J, Backman P, Hupa M
American Society of Mechanical Engineers, ASME
A4 Conference proceedings
Active learning of mathematics (2001)
Ann-Sofi Röj-Lindberg
James Henare Maori Research Centre for the International Consortium for Experiential Learning
A4 Conference proceedings
Ammonia formation and release in the kraft recovery cycle: An overview (2001)
Kymäläinen M, Forssen M, DeMartini N, Hupa M
A4 Conference proceedings
Dust and flue gas chemistry during rapid changes in boiler load - full scale mill studies (2001)
Tamminen T, Kiuru J, Kiuru R, Janka K, Hupa M
A4 Conference proceedings
Dust and flue gas chemistry during rapid changes in boiler load - full scale mill studies (2001)
Tamminen T, Kiuru J, Kiuru R, Janka K, Hupa M
A4 Conference proceedings
Fireside behavior of black liquors containing boron (2001)
Hupa M, Forssen M, Backman R, Stubbs A, Bolton R
A4 Conference proceedings
Influence of composition on the formation of melt near the floor tubing of kraft recovery boilers (2001)
Backman R, Hupa M, Södergård B, Pulliainen M, Svensson C
VTT
10 | 25 | 50 | 100 
First page Previous page2/43 Next page Last page
Share link Export