Skip to the search field
Skip to the main page content
Skip to the Accessibility Statement
Research.fi
Menu
Suomeksi
På svenska
In English
Home
Search
Science and Innovation Policy
Science and research news
In English
Publications - Research.fi - 15290 results
Publications
23 241
Funding calls
0
Granted funding
0
People
1
Research data
0
Infrastructures
0
Organizations
0
Projects
- BETA
0
Publications
23 241
Funding calls
0
Granted funding
0
People
1
Research data
0
Infrastructures
0
Organizations
0
Projects
0
Test the beta version of the improved search. The improved search only works in publications. The information corresponds to the content of the current site for publications.
To new search
Close
Publications -
15 290
search results
Skip to search results
Show as image
Filter results
Filter results
Year of publication
Search
Select interval
From
-
To
Select individually
2025
352
2024
896
2023
878
2022
870
2021
897
2020
892
2019
850
Show more
Show less
Organization
Show only co-publications
University
Search
Select all
Aalto University
5 659
University of Helsinki
1 865
University of Oulu
1 705
Tampere University
1 251
University of Turku
633
University of Jyväskylä
625
University of Eastern Finland
407
Show more
Show less
University of Applied Sciences
Search
Select all
Laurea University of Applied Sciences
68
Haaga-Helia University of Applied Sciences
46
Arcada University of Applied Sciences
40
South-Eastern Finland University of Applied Sciences
34
Turku University of Applied Sciences
28
Oulu University of Applied Sciences
27
Centria University of Applied Sciences
22
Show more
Show less
Research institute
Search
Select all
VTT Technical Research Centre of Finland Ltd
2 158
Natural Resources Institute Finland
224
Finnish Meteorological Institute
199
Finnish Environment Institute
118
Finnish Institute for Health and Welfare
87
National Land Survey of Finland
84
Geological Survey of Finland
27
Show more
Show less
University Hospital
Search
Select all
Helsinki University Hospital Catchment Area
230
Turku University Hospital Catchment Area
46
Tampere University Hospital Catchment Area
28
Kuopio University Hospital Catchment Area
27
Oulu University Hospital Catchment Area
26
Other
Search
Select all
Bank of Finland
33
Kela
4
The Finnish Medicines Agency
1
Field of science
Natural sciences
Search
Select all
Astronomy and space science
152
Biochemistry, cell and molecular biology
126
Chemical sciences
314
Computer and information sciences
3 080
Ecology, evolutionary biology
172
Environmental sciences
433
Genetics, developmental biology, physiology
40
Show more
Show less
Engineering and techology
Search
Select all
Architecture
26
Chemical engineering
264
Civil and construction engineering
381
Electronic, automation and communications engineering, electronics
2 870
Environmental biotechnology
15
Environmental engineering
574
Industrial biotechnology
68
Show more
Show less
Medical and health sciences
Search
Select all
Biomedicine
134
Cancers
27
Dentistry
44
Forensic science and other medical sciences
8
General medicine, internal medicine and other clinical medicine
90
Gynaecology and paediatrics
27
Health care science
113
Show more
Show less
Agricultural sciences
Search
Select all
Agricultural biotechnology
13
Agronomy
123
Animal science, dairy science
34
Forestry
101
Other agricultural sciences
78
Veterinary science
26
Social sciences
Search
Select all
Business and management
1 263
Economics
119
Educational sciences
209
Law
105
Media and communications
119
Other social sciences
298
Political science
189
Show more
Show less
Humanities
Search
Select all
History and archaeology
19
Languages
56
Literature studies
4
Other humanities
35
Philosophy
54
Theatre, dance, music, other performing arts
25
Theology
7
Show more
Show less
Fields of Art
Search
Select all
Architecture
3
Design
6
Modern art
3
Movie
1
Music
1
Publication type
A Peer-reviewed scientific articles
Search
Select all
A1 Journal article (refereed), original research
6 491
A2 Review article, Literature review, Systematic review
409
A3 Book section, Chapters in research books
641
A4 Article in conference proceedings
4 059
B Non-refereed scientific articles
Search
Select all
B1 Non-refereed journal articles
240
B2 Book section
109
B3 Article in conference proceedings (non-peer-reviewed)
469
C Scientific books (monographs)
Search
Select all
C1 Scientific book
78
C2 Edited book, conference proceedings or special issue of a journal
274
D Publications intended for professional communities
Search
Select all
D1 Article in a trade journal
163
D2 Article in a professional research book (incl. an introduction by the editor)
132
D3 Article in professional conference proceedings
94
D4 Published development or research report or study
1 141
D5 Textbook, professional manual or guide
21
D6 Edited professional book
22
E Publications intended for the general public
Search
Select all
E1 Popularised article, newspaper article
64
E2 Popularised monograph
9
F Public artistic and design activities
Search
Select all
F1 Published independent work of art or performance
1
F2 Partial implementation of a work of art or performance
5
G Theses
Search
Select all
G4 Doctoral dissertation (monograph)
147
G5 Doctoral dissertation (articles)
609
I Audiovisual publications and ICT applications
Search
Select all
I1 Audiovisual publications
4
I2 ICT applications
9
Publication format
Search
Article
12 823
Monograph
2 001
Editorial work
296
Abstract
56
Poster
18
Information and communication technology application
9
Artpublication
6
Show more
Show less
Publication audience
Search
Scientific
13 570
Professional
1 570
Popularised
70
Parent publication type
Search
Journal
7 366
Conference
4 723
Compilation
1 104
Online platform
4
Article type
Search
Original article
6 433
Other article
5 920
Review article
412
Data article
58
Peer-reviewed
Search
Peer-Reviewed
11 939
Non Peer-Reviewed
894
Internationality of the publisher
Search
Domestic
1 953
International
10 746
Not specified
2 591
Language
Search
English
13 671
Finnish
404
Swedish
6
Portuguese
3
Russian
3
Chinese
3
German
2
Show more
Show less
Publication forum level
Search
3
1 041
2
2 249
1
5 167
0
706
Open access
Search
Open access publication channel
3 117
Self-archived
3 746
Delayed open access
8
Other open access
535
Non open
7 471
International co-publication
6 078
The publication is included in the Ministry of Education and Culture’s Publication data collection
14 041
Displaying results 1 - 10 / 15290
10
50
100
results / page
What
publication
information is included in the service?
Publication name
Authors
Publication channel
Year
Solving
Boolean
Equation
Systems
Keinänen, Misa
-
2005
Solving Alternating
Boolean
Equation
Systems
in Answer Set Programming
Peer-reviewed
DOI
10.1007/11415763_9
Keinänen, Misa; Niemelä, Ilkka
Lecture Notes in Computer Science
2005
Obtaining Memory Efficient Solutions to
Boolean
Equation
Systems
Peer-reviewed
Keinänen, Misa
European Research Consortium for Informatics and Mathematics (ERCIM)
2004
A Sub-quadratic Algorithm for Conjunctive and Disjunctive
Boolean
Equation
Systems
Peer-reviewed
Groote, Jan Friso; Keinänen, Misa
SPRINGER
2005
Obtaining Memory Efficient Solutions to
Boolean
Equation
Systems
Peer-reviewed
Keinänen, Misa
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
2005
Solving disjunctive/conjunctive
boolean
equation
systems
with alternating fixed points
Peer-reviewed
Groote, Jan Friso; Keinänen, Misa
SPRINGER
2004
Solving disjunctive/conjunctive
boolean
equation
systems
with alternating fixed points
Groote, Jan Friso; Keinänen, Misa
-
2003
Partial-order reduction for parity games and parameterised
Boolean
equation
systems
Peer-reviewed
Open access
DOI
10.1007/s10009-022-00672-0
Neele, Thomas; Willemse, Tim A. C.; Wesselink, Wieger; Valmari, Antti
International Journal on Software Tools for Technology Transfer
2022
On Solving Ordinary Differential
Equation
Systems
with Generalized Stochastic Petri Nets
Peer-reviewed
Penttinen, Olli-Matti
European Multidisciplinary Society for Modelling and Simulation Technology (EUROSIS)
2003
Multidimensional Linear Distinguishing Attacks and
Boolean
Functions
Peer-reviewed
Hermelin, Miia; Nyberg, Kaisa
-
2008
Solving
Boolean
Equation
Systems
2005
Solving Alternating
Boolean
Equation
Systems
in Answer Set Programming
Peer-reviewed
DOI
10.1007/11415763_9
2005
Obtaining Memory Efficient Solutions to
Boolean
Equation
Systems
Peer-reviewed
2004
A Sub-quadratic Algorithm for Conjunctive and Disjunctive
Boolean
Equation
Systems
Peer-reviewed
2005
Obtaining Memory Efficient Solutions to
Boolean
Equation
Systems
Peer-reviewed
2005
Solving disjunctive/conjunctive
boolean
equation
systems
with alternating fixed points
Peer-reviewed
2004
Solving disjunctive/conjunctive
boolean
equation
systems
with alternating fixed points
2003
Partial-order reduction for parity games and parameterised
Boolean
equation
systems
Peer-reviewed
Open access
DOI
10.1007/s10009-022-00672-0
2022
On Solving Ordinary Differential
Equation
Systems
with Generalized Stochastic Petri Nets
Peer-reviewed
2003
Multidimensional Linear Distinguishing Attacks and
Boolean
Functions
Peer-reviewed
2008
Previous
1
2
3
4
5
6
7
8
9
Next
Displaying results 1 - 10 / 15290
Page 1
Publications - Research.fi
Sort