en
de
Lokal
OpenID
:
keine Hilfe verfügbar
keine Hilfe verfügbar
BibSonomy
Autor
Tag
Benutzer
Gruppe
Autor
Konzept
BibTeX-Schlüssel
Suche:alles
::
Jonsson
::
Lesezeichen und Publikationen teilen - in blau!
Anmelden
Home
Gruppen
Beliebt
Einträge
Tags
Autoren
Konzepte
Diskussionen
Aktionen für alle angezeigten Lesezeichen:
Export:
RSS
,
BibTeX
,
XML
Sortierung:
Kriterium:
Datum
,
Titel
Reihenfolge:
aufsteigend
,
absteigend
Sonstiges:
Lesezeichen pro Seite:
5
10
20
50
100
Lesezeichen
Aktionen für alle angezeigten Publikationen:
Export:
RSS
,
BibTeX
,
RDF
,
mehr...
Sortierung:
Kriterium:
Datum
,
Titel
Reihenfolge:
aufsteigend
,
absteigend
erweitert...
Sonstiges:
Publikationen pro Seite:
5
10
20
50
100
Publikationen
(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,
Keine Treffer.
A Proliferation-inducing Ligand APRIL is Expressed by Astrocytes and is Increased in Multiple Sclerosis
M. Thangarajh
,
T. Masterman
,
J. Hillert
,
S. Moerk
, und
R. Jonsson
.
Scandinavian Journal of Immunology
65(1):92--98
(
2007
)
M. Thangarajh
,
T. Masterman
,
J. Hillert
,
S. Moerk
, und
R. Jonsson
.
Scandinavian Journal of Immunology
65(1):92--98
(
2007
)
vor 12 Tagen
von
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
, und
Anders Eriksson
.
Proceedings of the WICSA/ECSA 2012 Companion Volume,
Seite 104--111.
New York, NY, USA,
ACM,
(
2012
)
Ulrik Eklund
,
Niklas Jonsson
,
Jan Bosch
, und
Anders Eriksson
.
Proceedings of the WICSA/ECSA 2012 Companion Volume,
Seite 104--111.
New York, NY, USA,
ACM,
(
2012
)
vor 2 Monaten und 26 Tagen
von
fritzsolms
2
imported
imported
URL
DOI
TeX
Efficient DCT Domain Implementation of Picture Masking and Composition and Compositing.
R. Jonsson
.
ICIP 2,
Seite 366-369.
(
1997
)
R. Jonsson
.
ICIP 2,
Seite 366-369.
(
1997
)
vor 2 Monaten und 28 Tagen
von
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
, und
Ahmed Rezine
.
TACAS,
Volume 7795 von Lecture Notes in Computer Science,
Seite 324-338.
Springer,
(
2013
)
Parosh Aziz Abdulla
,
Frédéric Haziza
,
Lukás Holík
,
Bengt Jonsson
, und
Ahmed Rezine
.
TACAS,
Volume 7795 von Lecture Notes in Computer Science,
Seite 324-338.
Springer,
(
2013
)
vor 3 Monaten und 6 Tagen
von
dblp
1
dblp
dblp
URL
DOI
TeX
Computational complexity of linear constraints over the integers.
Peter Jonsson
, und
Tomas Lööw
.
Artif. Intell.
(
2013
)
Peter Jonsson
, und
Tomas Lööw
.
Artif. Intell.
(
2013
)
vor 3 Monaten und 12 Tagen
von
dblp
1
dblp
dblp
URL
DOI
TeX
A Calculus for Communicating Systems with Time and Probabitilies.
Hans Hansson
, und
Bengt Jonsson
.
RTSS,
Seite 278-287.
IEEE Computer Society,
(
1990
)
Hans Hansson
, und
Bengt Jonsson
.
RTSS,
Seite 278-287.
IEEE Computer Society,
(
1990
)
vor 4 Monaten und 2 Tagen
von
dblp
1
dblp
dblp
URL
DOI
TeX
Static-Priority Scheduling on Multiprocessors.
Björn Andersson
,
Sanjoy K. Baruah
, und
Jan Jonsson
.
RTSS,
Seite 193-202.
IEEE Computer Society,
(
2001
)
Björn Andersson
,
Sanjoy K. Baruah
, und
Jan Jonsson
.
RTSS,
Seite 193-202.
IEEE Computer Society,
(
2001
)
vor 4 Monaten und 2 Tagen
von
dblp
1
dblp
dblp
URL
DOI
TeX
A Framework for Reasoning about Time and Reliability.
Hans Hansson
, und
Bengt Jonsson
.
RTSS,
Seite 102-111.
IEEE Computer Society,
(
1989
)
Hans Hansson
, und
Bengt Jonsson
.
RTSS,
Seite 102-111.
IEEE Computer Society,
(
1989
)
vor 4 Monaten und 2 Tagen
von
dblp
1
dblp
dblp
URL
DOI
TeX
Agile Practices in Regulated Railway Software Development.
Henrik Jonsson
,
Stig Larsson
, und
Sasikumar Punnekkat
.
ISSRE Workshops,
Seite 355-360.
IEEE,
(
2012
)
Henrik Jonsson
,
Stig Larsson
, und
Sasikumar Punnekkat
.
ISSRE Workshops,
Seite 355-360.
IEEE,
(
2012
)
vor 4 Monaten und 10 Tagen
von
dblp
1
dblp
dblp
URL
DOI
TeX
Voronoi-Based ISD and Site Density Characteristics for Mobile Networks.
Anders Landström
,
Håkan Jonsson
, und
Arne Simonsson
.
VTC Fall,
Seite 1-5.
IEEE,
(
2012
)
Anders Landström
,
Håkan Jonsson
, und
Arne Simonsson
.
VTC Fall,
Seite 1-5.
IEEE,
(
2012
)
vor 4 Monaten und 17 Tagen
von
dblp
1
dblp
dblp
URL
DOI
TeX
The costs of asthma
PJ Barnes
,
B Jonsson
, und
JB Klim
.
EUROPEAN RESPIRATORY JOURNAL
9(4):636-642
(
April 1996
)
PJ Barnes
,
B Jonsson
, und
JB Klim
.
EUROPEAN RESPIRATORY JOURNAL
9(4):636-642
(
April 1996
)
vor 4 Monaten und 21 Tagen
von
jehiorns
1
asthma
asthma
URL
DOI
TeX
The Influence of k-Dependence on the Complexity of Planning.
Omer Giménez
, und
Anders Jonsson
.
ICAPS,
AAAI,
(
2009
)
Omer Giménez
, und
Anders Jonsson
.
ICAPS,
AAAI,
(
2009
)
vor 5 Monaten und 13 Tagen
von
dblp
1
dblp
dblp
URL
DOI
TeX
Planning with Reduced Operator Sets.
Patrik Haslum
, und
Peter Jonsson
.
AIPS,
Seite 150-158.
AAAI,
(
2000
)
Patrik Haslum
, und
Peter Jonsson
.
AIPS,
Seite 150-158.
AAAI,
(
2000
)
vor 5 Monaten und 13 Tagen
von
dblp
1
dblp
dblp
URL
DOI
TeX
In Search of the Tractability Boundary of Planning Problems.
Omer Giménez
, und
Anders Jonsson
.
ICAPS,
Seite 99-106.
AAAI,
(
2008
)
Omer Giménez
, und
Anders Jonsson
.
ICAPS,
Seite 99-106.
AAAI,
(
2008
)
vor 5 Monaten und 13 Tagen
von
dblp
1
dblp
dblp
URL
DOI
TeX
On the Hardness of Planning Problems with Simple Causal Graphs.
Omer Giménez
, und
Anders Jonsson
.
ICAPS,
Seite 152-159.
AAAI,
(
2007
)
Omer Giménez
, und
Anders Jonsson
.
ICAPS,
Seite 152-159.
AAAI,
(
2007
)
vor 5 Monaten und 13 Tagen
von
dblp
1
dblp
dblp
URL
DOI
TeX
Tractable Planning with State Variables by Exploiting Structural Restrictions.
Peter Jonsson
, und
Christer Bäckström
.
AAAI,
Seite 998-1003.
AAAI Press / The MIT Press,
(
1994
)
Peter Jonsson
, und
Christer Bäckström
.
AAAI,
Seite 998-1003.
AAAI Press / The MIT Press,
(
1994
)
vor 5 Monaten und 15 Tagen
von
dblp
1
dblp
dblp
URL
DOI
TeX
Maximal Tractable Subclasses of Allen's Interval Algebra: Preliminary Report.
Thomas Drakengren
, und
Peter Jonsson
.
AAAI/IAAI, Vol. 1,
Seite 389-394.
AAAI Press / The MIT Press,
(
1996
)
Thomas Drakengren
, und
Peter Jonsson
.
AAAI/IAAI, Vol. 1,
Seite 389-394.
AAAI Press / The MIT Press,
(
1996
)
vor 5 Monaten und 15 Tagen
von
dblp
1
dblp
dblp
URL
DOI
TeX
On the Size of Reactive Plans.
Peter Jonsson
, und
Christer Bäckström
.
AAAI/IAAI, Vol. 2,
Seite 1182-1187.
AAAI Press / The MIT Press,
(
1996
)
Peter Jonsson
, und
Christer Bäckström
.
AAAI/IAAI, Vol. 2,
Seite 1182-1187.
AAAI Press / The MIT Press,
(
1996
)
vor 5 Monaten und 15 Tagen
von
dblp
1
dblp
dblp
URL
DOI
TeX
A Linear-Programming Approach to Temporal Reasoning.
Peter Jonsson
, und
Christer Bäckström
.
AAAI/IAAI, Vol. 2,
Seite 1235-1240.
AAAI Press / The MIT Press,
(
1996
)
Peter Jonsson
, und
Christer Bäckström
.
AAAI/IAAI, Vol. 2,
Seite 1235-1240.
AAAI Press / The MIT Press,
(
1996
)
vor 5 Monaten und 15 Tagen
von
dblp
1
dblp
dblp
URL
DOI
TeX
Disjunctive Temporal Reasoning in Partially Ordered Models of Time.
Mathias Broxvall
, und
Peter Jonsson
.
AAAI/IAAI,
Seite 464-469.
AAAI Press / The MIT Press,
(
2000
)
Mathias Broxvall
, und
Peter Jonsson
.
AAAI/IAAI,
Seite 464-469.
AAAI Press / The MIT Press,
(
2000
)
vor 5 Monaten und 15 Tagen
von
dblp
1
dblp
dblp
URL
DOI
TeX
BibSonomy wird vom
FG Wissensverarbeitung
der Universität Kassel, der
DMIR Gruppe
der Universität Würzburg und vom
Forschungszentrum L3S
betrieben.
Datenschutz & AGB
-
Impressum