en
de
Local
OpenID
:
no help available
no help available
BibSonomy
author
tag
user
group
author
concept
BibTeX key
search:all
::
Naamad
::
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
(17)
tags
dblp
statecharts
statemate
imported
1988
reactive_systems
BPM
1996
semantics
collection
1990
No matching items.
Anarchy, stability, and utopia: creating better matchings.
Elliot Anshelevich
,
Sanmay Das
, and
Yonatan Naamad
.
Autonomous Agents and Multi-Agent Systems
26(1):120-140
(
2013
)
Elliot Anshelevich
,
Sanmay Das
, and
Yonatan Naamad
.
Autonomous Agents and Multi-Agent Systems
26(1):120-140
(
2013
)
4 months and 15 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
D. Harel
,
H. Lachover
,
A. Naamad
,
A. Pnueli
,
M. Politi
,
R. Sherman
,
A. Shtull-Trauring
, and
M. Trakhtenbrot
.
IEEE Transactions on Software Engineering
16(4):403--414
(
1990
)
D. Harel
,
H. Lachover
,
A. Naamad
,
A. Pnueli
,
M. Politi
,
R. Sherman
,
A. Shtull-Trauring
, and
M. Trakhtenbrot
.
IEEE Transactions on Software Engineering
16(4):403--414
(
1990
)
5 months and 28 days ago
by
wvdaalst
2
BPM
collection
imported
BPM
collection
imported
URL
DOI
TeX
Instructor Rating Markets.
Mithun Chakraborty
,
Sanmay Das
,
Allen Lavoie
,
Malik Magdon-Ismail
, and
Yonatan Naamad
.
AMMA,
volume 80 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering,
page 31-32.
Springer,
(
2011
)
Mithun Chakraborty
,
Sanmay Das
,
Allen Lavoie
,
Malik Magdon-Ismail
, and
Yonatan Naamad
.
AMMA,
volume 80 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering,
page 31-32.
Springer,
(
2011
)
6 months and 21 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
New challenges in performance engineering.
Amnon Naamad
.
ICPE,
page 163-164.
ACM,
(
2012
)
Amnon Naamad
.
ICPE,
page 163-164.
ACM,
(
2012
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
STATEMATE; A Working Environment for the Development of Complex Reactive Systems.
David Harel
,
Hagi Lachover
,
Amnon Naamad
,
Amir Pnueli
,
Michal Politi
,
Rivi Sherman
, and
Aharon Shtull-Trauring
.
ICSE,
page 396-406.
IEEE Computer Society,
(
1988
)
David Harel
,
Hagi Lachover
,
Amnon Naamad
,
Amir Pnueli
,
Michal Politi
,
Rivi Sherman
, and
Aharon Shtull-Trauring
.
ICSE,
page 396-406.
IEEE Computer Society,
(
1988
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
STATEMATE: A Working Environment for the Development of Complex Reactive Systems.
David Harel
,
Hagi Lachover
,
Amnon Naamad
,
Amir Pnueli
,
Michal Politi
,
Rivi Sherman
,
Aharon Shtull-Trauring
, and
Mark B. Trakhtenbrot
.
IEEE Trans. Software Eng.
16(4):403-414
(
1990
)
David Harel
,
Hagi Lachover
,
Amnon Naamad
,
Amir Pnueli
,
Michal Politi
,
Rivi Sherman
,
Aharon Shtull-Trauring
, and
Mark B. Trakhtenbrot
.
IEEE Trans. Software Eng.
16(4):403-414
(
1990
)
a year and 6 months ago
by
dblp
2
dblp
dblp
URL
DOI
TeX
Dynamic Voronoi diagrams.
I. G. Gowda
,
David G. Kirkpatrick
,
D. T. Lee
, and
Amnon Naamad
.
IEEE Transactions on Information Theory
29(5):724-730
(
1983
)
I. G. Gowda
,
David G. Kirkpatrick
,
D. T. Lee
, and
Amnon Naamad
.
IEEE Transactions on Information Theory
29(5):724-730
(
1983
)
a year and 6 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Network Flow and Generalized Path Compression
Zvi Galil
, and
Amnon Naamad
.
STOC,
page 13-26.
ACM,
(
1979
)
Zvi Galil
, and
Amnon Naamad
.
STOC,
page 13-26.
ACM,
(
1979
)
a year and 7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
An OEVlog²V Algorithm for the Maximal Flow Problem.
Zvi Galil
, and
Amnon Naamad
.
J. Comput. Syst. Sci.
21(2):203-217
(
1980
)
Zvi Galil
, and
Amnon Naamad
.
J. Comput. Syst. Sci.
21(2):203-217
(
1980
)
a year and 10 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Anarchy, Stability, and Utopia: Creating Better Matchings.
Elliot Anshelevich
,
Sanmay Das
, and
Yonatan Naamad
.
SAGT,
volume 5814 of Lecture Notes in Computer Science,
page 159-170.
Springer,
(
2009
)
Elliot Anshelevich
,
Sanmay Das
, and
Yonatan Naamad
.
SAGT,
volume 5814 of Lecture Notes in Computer Science,
page 159-170.
Springer,
(
2009
)
3 years and 7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
D. Harel
,
H. Lachover
,
A. Naamad
,
A. Pnueli
,
M. Politi
,
R. Sherman
,
A. Shtull-Trauting
, and
M. Trakhtenbrot
.
IEEE Transactions on Software Engineering
16(4):403--414
(
April 1990
)
D. Harel
,
H. Lachover
,
A. Naamad
,
A. Pnueli
,
M. Politi
,
R. Sherman
,
A. Shtull-Trauting
, and
M. Trakhtenbrot
.
IEEE Transactions on Software Engineering
16(4):403--414
(
April 1990
)
3 years and 7 months ago
by
magsilva
1
imported
imported
URL
DOI
TeX
The STATEMATE Semantics of Statecharts
D. Harel
, and
A. Naamad
.
ACM Transactions on Software Engineering Methodology
5(4):293--333
(
October 1996
)
D. Harel
, and
A. Naamad
.
ACM Transactions on Software Engineering Methodology
5(4):293--333
(
October 1996
)
3 years and 7 months ago
by
magsilva
4
imported
imported
URL
DOI
TeX
The STATEMATE semantics of statecharts
David Harel
, and
Amnon Naamad
.
ACM Trans. Softw. Eng. Methodol.
5(4):293--333
(
October 1996
)
David Harel
, and
Amnon Naamad
.
ACM Trans. Softw. Eng. Methodol.
5(4):293--333
(
October 1996
)
4 years and 3 months ago
by
leonardo
4
1996
semantics
statecharts
statemate
1996
semantics
statecharts
statemate
URL
DOI
TeX
STATEMATE: a working environment for the development of complex reactive systems
David Harel
,
H. Lachover
,
Amnon Naamad
,
Amir Pnueli
,
M. Politi
,
R. Sherman
,
Shtull A. Trauring
, and
M. Trakhtenbrot
.
Software Engineering, IEEE Transactions on
16(4):403--414
(
1990
)
David Harel
,
H. Lachover
,
Amnon Naamad
,
Amir Pnueli
,
M. Politi
,
R. Sherman
,
Shtull A. Trauring
, and
M. Trakhtenbrot
.
Software Engineering, IEEE Transactions on
16(4):403--414
(
1990
)
4 years and 3 months ago
by
leonardo
1
reactive_systems
statecharts
statemate
1990
reactive_systems
statecharts
statemate
1990
URL
DOI
TeX
STATEMATE: a working environment for the development of complex reactive systems
David Harel
,
H. Lachover
,
Amnon Naamad
,
Amir Pnueli
,
M. Politi
,
R. Sherman
, and
Shtul A. Trauring
.
page 1--3.
(
1988
)
David Harel
,
H. Lachover
,
Amnon Naamad
,
Amir Pnueli
,
M. Politi
,
R. Sherman
, and
Shtul A. Trauring
.
page 1--3.
(
1988
)
4 years and 3 months ago
by
leonardo
2
reactive_systems
statecharts
statemate
1988
reactive_systems
statecharts
statemate
1988
URL
DOI
TeX
Statemate: a working environment for the development of complex reactive systems
David Harel
,
H. Lachover
,
Amnon Naamad
,
Amir Pnueli
,
M. Politi
,
R. Sherman
, and
Shtul Trauring
.
ICSE '88: Proceedings of the 10th international conference on Software engineering,
page 396--406.
Los Alamitos, CA, USA,
IEEE Computer Society Press,
(
1988
)
David Harel
,
H. Lachover
,
Amnon Naamad
,
Amir Pnueli
,
M. Politi
,
R. Sherman
, and
Shtul Trauring
.
ICSE '88: Proceedings of the 10th international conference on Software engineering,
page 396--406.
Los Alamitos, CA, USA,
IEEE Computer Society Press,
(
1988
)
4 years and 3 months ago
by
leonardo
2
statecharts
statemate
1988
statecharts
statemate
1988
URL
DOI
TeX
The STATEMATE Semantics of Statecharts.
David Harel
, and
Amnon Naamad
.
ACM Trans. Softw. Eng. Methodol.
5(4):293-333
(
1996
)
David Harel
, and
Amnon Naamad
.
ACM Trans. Softw. Eng. Methodol.
5(4):293-333
(
1996
)
9 years ago
by
dblp
4
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