en
de
Local
OpenID
:
no help available
no help available
BibSonomy
author
tag
user
group
author
concept
BibTeX key
search:all
::
Jonsson
::
The blue social bookmark and publication sharing system.
sign in
home
groups
popular
posts
tags
authors
concepts
discussions
actions for all displayed bookmarks:
export:
RSS
,
BibTeX
,
XML
sort:
criterion:
date
,
title
order:
ascending
,
descending
others:
bookmarks per page:
5
10
20
50
100
bookmarks
actions for all displayed publications:
export:
RSS
,
BibTeX
,
RDF
,
more...
sort:
criterion:
date
,
title
order:
ascending
,
descending
advanced...
others:
publications per page:
5
10
20
50
100
publications
(620)
tags
dblp
imported
temporal
reasoning
2005
modelchecking
regular
engineering
software
verification
location
Models,
system
fsm
rcc
Pharmacokinetics
distributed
qualitative-reasoning
support
@Plmut
Statistical
tests
OO,
tagging
folksonomy
general\_relativity
BS_stars
PRIVACY,
Agentspharmacokinetics
swedish
arthritis
_to_download_springer
surveillance;
Hip
musculoskeletal
CIVIL
ReX
femur
2001
views
dimension
library
mathematical-foundations
2008
parameterized
_book
Materialwirtschaft
population_genomics
Michel,
No matching items.
A Proliferation-inducing Ligand APRIL is Expressed by Astrocytes and is Increased in Multiple Sclerosis
M. Thangarajh
,
T. Masterman
,
J. Hillert
,
S. Moerk
, and
R. Jonsson
.
Scandinavian Journal of Immunology
65(1):92--98
(
2007
)
M. Thangarajh
,
T. Masterman
,
J. Hillert
,
S. Moerk
, and
R. Jonsson
.
Scandinavian Journal of Immunology
65(1):92--98
(
2007
)
12 days ago
by
iskanbasal
1
april
multiple_sclerosis
april
multiple_sclerosis
URL
DOI
TeX
A reference architecture template for software-intensive embedded systems
Ulrik Eklund
,
Niklas Jonsson
,
Jan Bosch
, and
Anders Eriksson
.
Proceedings of the WICSA/ECSA 2012 Companion Volume,
page 104--111.
New York, NY, USA,
ACM,
(
2012
)
Ulrik Eklund
,
Niklas Jonsson
,
Jan Bosch
, and
Anders Eriksson
.
Proceedings of the WICSA/ECSA 2012 Companion Volume,
page 104--111.
New York, NY, USA,
ACM,
(
2012
)
2 months and 26 days ago
by
fritzsolms
2
imported
imported
URL
DOI
TeX
Efficient DCT Domain Implementation of Picture Masking and Composition and Compositing.
R. Jonsson
.
ICIP 2,
page 366-369.
(
1997
)
R. Jonsson
.
ICIP 2,
page 366-369.
(
1997
)
2 months and 29 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
An Integrated Specification and Verification Technique for Highly Concurrent Data Structures.
Parosh Aziz Abdulla
,
Frédéric Haziza
,
Lukás Holík
,
Bengt Jonsson
, and
Ahmed Rezine
.
TACAS,
volume 7795 of Lecture Notes in Computer Science,
page 324-338.
Springer,
(
2013
)
Parosh Aziz Abdulla
,
Frédéric Haziza
,
Lukás Holík
,
Bengt Jonsson
, and
Ahmed Rezine
.
TACAS,
volume 7795 of Lecture Notes in Computer Science,
page 324-338.
Springer,
(
2013
)
3 months and 7 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Computational complexity of linear constraints over the integers.
Peter Jonsson
, and
Tomas Lööw
.
Artif. Intell.
(
2013
)
Peter Jonsson
, and
Tomas Lööw
.
Artif. Intell.
(
2013
)
3 months and 13 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A Calculus for Communicating Systems with Time and Probabitilies.
Hans Hansson
, and
Bengt Jonsson
.
RTSS,
page 278-287.
IEEE Computer Society,
(
1990
)
Hans Hansson
, and
Bengt Jonsson
.
RTSS,
page 278-287.
IEEE Computer Society,
(
1990
)
4 months and 3 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Static-Priority Scheduling on Multiprocessors.
Björn Andersson
,
Sanjoy K. Baruah
, and
Jan Jonsson
.
RTSS,
page 193-202.
IEEE Computer Society,
(
2001
)
Björn Andersson
,
Sanjoy K. Baruah
, and
Jan Jonsson
.
RTSS,
page 193-202.
IEEE Computer Society,
(
2001
)
4 months and 3 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A Framework for Reasoning about Time and Reliability.
Hans Hansson
, and
Bengt Jonsson
.
RTSS,
page 102-111.
IEEE Computer Society,
(
1989
)
Hans Hansson
, and
Bengt Jonsson
.
RTSS,
page 102-111.
IEEE Computer Society,
(
1989
)
4 months and 3 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Agile Practices in Regulated Railway Software Development.
Henrik Jonsson
,
Stig Larsson
, and
Sasikumar Punnekkat
.
ISSRE Workshops,
page 355-360.
IEEE,
(
2012
)
Henrik Jonsson
,
Stig Larsson
, and
Sasikumar Punnekkat
.
ISSRE Workshops,
page 355-360.
IEEE,
(
2012
)
4 months and 11 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Voronoi-Based ISD and Site Density Characteristics for Mobile Networks.
Anders Landström
,
Håkan Jonsson
, and
Arne Simonsson
.
VTC Fall,
page 1-5.
IEEE,
(
2012
)
Anders Landström
,
Håkan Jonsson
, and
Arne Simonsson
.
VTC Fall,
page 1-5.
IEEE,
(
2012
)
4 months and 18 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
The costs of asthma
PJ Barnes
,
B Jonsson
, and
JB Klim
.
EUROPEAN RESPIRATORY JOURNAL
9(4):636-642
(
April 1996
)
PJ Barnes
,
B Jonsson
, and
JB Klim
.
EUROPEAN RESPIRATORY JOURNAL
9(4):636-642
(
April 1996
)
4 months and 21 days ago
by
jehiorns
1
asthma
asthma
URL
DOI
TeX
The Influence of k-Dependence on the Complexity of Planning.
Omer Giménez
, and
Anders Jonsson
.
ICAPS,
AAAI,
(
2009
)
Omer Giménez
, and
Anders Jonsson
.
ICAPS,
AAAI,
(
2009
)
5 months and 14 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Planning with Reduced Operator Sets.
Patrik Haslum
, and
Peter Jonsson
.
AIPS,
page 150-158.
AAAI,
(
2000
)
Patrik Haslum
, and
Peter Jonsson
.
AIPS,
page 150-158.
AAAI,
(
2000
)
5 months and 14 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
In Search of the Tractability Boundary of Planning Problems.
Omer Giménez
, and
Anders Jonsson
.
ICAPS,
page 99-106.
AAAI,
(
2008
)
Omer Giménez
, and
Anders Jonsson
.
ICAPS,
page 99-106.
AAAI,
(
2008
)
5 months and 14 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
On the Hardness of Planning Problems with Simple Causal Graphs.
Omer Giménez
, and
Anders Jonsson
.
ICAPS,
page 152-159.
AAAI,
(
2007
)
Omer Giménez
, and
Anders Jonsson
.
ICAPS,
page 152-159.
AAAI,
(
2007
)
5 months and 14 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Tractable Planning with State Variables by Exploiting Structural Restrictions.
Peter Jonsson
, and
Christer Bäckström
.
AAAI,
page 998-1003.
AAAI Press / The MIT Press,
(
1994
)
Peter Jonsson
, and
Christer Bäckström
.
AAAI,
page 998-1003.
AAAI Press / The MIT Press,
(
1994
)
5 months and 16 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Maximal Tractable Subclasses of Allen's Interval Algebra: Preliminary Report.
Thomas Drakengren
, and
Peter Jonsson
.
AAAI/IAAI, Vol. 1,
page 389-394.
AAAI Press / The MIT Press,
(
1996
)
Thomas Drakengren
, and
Peter Jonsson
.
AAAI/IAAI, Vol. 1,
page 389-394.
AAAI Press / The MIT Press,
(
1996
)
5 months and 16 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
On the Size of Reactive Plans.
Peter Jonsson
, and
Christer Bäckström
.
AAAI/IAAI, Vol. 2,
page 1182-1187.
AAAI Press / The MIT Press,
(
1996
)
Peter Jonsson
, and
Christer Bäckström
.
AAAI/IAAI, Vol. 2,
page 1182-1187.
AAAI Press / The MIT Press,
(
1996
)
5 months and 16 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A Linear-Programming Approach to Temporal Reasoning.
Peter Jonsson
, and
Christer Bäckström
.
AAAI/IAAI, Vol. 2,
page 1235-1240.
AAAI Press / The MIT Press,
(
1996
)
Peter Jonsson
, and
Christer Bäckström
.
AAAI/IAAI, Vol. 2,
page 1235-1240.
AAAI Press / The MIT Press,
(
1996
)
5 months and 16 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Disjunctive Temporal Reasoning in Partially Ordered Models of Time.
Mathias Broxvall
, and
Peter Jonsson
.
AAAI/IAAI,
page 464-469.
AAAI Press / The MIT Press,
(
2000
)
Mathias Broxvall
, and
Peter Jonsson
.
AAAI/IAAI,
page 464-469.
AAAI Press / The MIT Press,
(
2000
)
5 months and 16 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
BibSonomy is offered by the
KDE group
of the University of Kassel, the
DMIR group
of the University of Würzburg, and the
L3S Research Center
, Germany.
Privacy & Terms of Use
-
Contact