en
de
Local
OpenID
:
no help available
no help available
BibSonomy
author
tag
user
group
author
concept
BibTeX key
search:all
::
sunshine
::
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
(43)
tags
dblp
imported
Analysis
Märchen
Geschichten
GANYMEDE;
IOS
communication
SO2;
SULFUR
VOYAGER-1
DISTRIBUTION;
protocol_verification
SURFACE;
REFLECTANCE;
LONGITUDINAL
BioPAX
FLOWS;
SPECTRA;
verification
survey
bernie
VOLCANISM;
CALLISTO;
No matching items.
101 Illustrated Analysis Bedtime Stories
Sunshine DuBois
, and
Colin Macdonald
.
Internet,
(
2001
)
Sunshine DuBois
, and
Colin Macdonald
.
Internet,
(
2001
)
3 months and 16 days ago
by
ks-plugin-devel
2
Geschichten
Märchen
Analysis
Geschichten
Märchen
Analysis
URL
DOI
TeX
Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models.
Carl A. Sunshine
,
David H. Thompson
,
Roddy W. Erickson
,
Susan L. Gerhart
, and
Daniel Schwabe
.
IEEE Trans. Software Eng.
8(5):460-489
(
1982
)
correction: IEEE Trans. Software Eng. 91: 113 1983.
Carl A. Sunshine
,
David H. Thompson
,
Roddy W. Erickson
,
Susan L. Gerhart
, and
Daniel Schwabe
.
IEEE Trans. Software Eng.
8(5):460-489
(
1982
)
correction: IEEE Trans. Software Eng. 91: 113 1983.
6 months and 29 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Correction to "Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models".
Carl A. Sunshine
,
David H. Thompson
,
Roddy W. Erickson
,
Susan L. Gerhart
, and
Daniel Schwabe
.
IEEE Trans. Software Eng.
9(1):113
(
1983
)
see: IEEE Trans. Software Eng. 85: 460-4891982.
Carl A. Sunshine
,
David H. Thompson
,
Roddy W. Erickson
,
Susan L. Gerhart
, and
Daniel Schwabe
.
IEEE Trans. Software Eng.
9(1):113
(
1983
)
see: IEEE Trans. Software Eng. 85: 460-4891982.
7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
101 Illustrated Analysis Bedtime Stories
Sunshine DuBois
, and
Colin Macdonald
.
Internet,
(
2001
)
Sunshine DuBois
, and
Colin Macdonald
.
Internet,
(
2001
)
a year and 3 months ago
by
keinstein
2
Analysis
Märchen
Geschichten
Analysis
Märchen
Geschichten
URL
DOI
TeX
Permission-based programming languages.
Jonathan Aldrich
,
Ronald Garcia
,
Mark Hahnenberg
,
Manuel Mohr
,
Karl Naden
,
Darpan Saini
,
Sven Stork
,
Joshua Sunshine
,
Éric Tanter
, and
Roger Wolff
.
ICSE,
page 828-831.
ACM,
(
2011
)
Jonathan Aldrich
,
Ronald Garcia
,
Mark Hahnenberg
,
Manuel Mohr
,
Karl Naden
,
Darpan Saini
,
Sven Stork
,
Joshua Sunshine
,
Éric Tanter
, and
Roger Wolff
.
ICSE,
page 828-831.
ACM,
(
2011
)
a year and 3 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
The BioPAX community standard for pathway data sharing
Emek Demir
,
Michael P. Cary
,
Suzanne Paley
,
Ken Fukuda
,
Christian Lemer
,
Imre Vastrik
,
Guanming Wu
,
Peter D'Eustachio
,
Carl Schaefer
,
Joanne Luciano
,
Frank Schacherer
,
Irma Martinez-Flores
,
Zhenjun Hu
,
Veronica Jimenez-Jacinto
,
Geeta Joshi-Tope
,
Kumaran Kandasamy
,
Alejandra C. Lopez-Fuentes
,
Huaiyu Mi
,
Elgar Pichler
,
Igor Rodchenkov
,
Andrea Splendiani
,
Sasha Tkachev
,
Jeremy Zucker
,
Gopal Gopinath
,
Harsha Rajasimha
,
Ranjani Ramakrishnan
,
Imran Shah
,
Mustafa Syed
,
Nadia Anwar
,
Ozgun Babur
,
Michael Blinov
,
Erik Brauner
,
Dan Corwin
,
Sylva Donaldson
,
Frank Gibbons
,
Robert Goldberg
,
Peter Hornbeck
,
Augustin Luna
,
Peter Murray-Rust
,
Eric Neumann
,
Oliver Reubenacker
,
Matthias Samwald
,
Martijn van Iersel
,
Sarala Wimalaratne
,
Keith Allen
,
Burk Braun
,
Michelle Whirl-Carrillo
,
Kei-Hoi Cheung
,
Kam Dahlquist
,
Andrew Finney
,
Marc Gillespie
,
Elizabeth Glass
,
Li Gong
,
Robin Haw
,
Michael Honig
,
Olivier Hubaut
,
David Kane
,
Shiva Krupa
,
Martina Kutmon
,
Julie Leonard
,
Debbie Marks
,
David Merberg
,
Victoria Petri
,
Alex Pico
,
Dean Ravenscroft
,
Liya Ren
,
Nigam Shah
,
Margot Sunshine
,
Rebecca Tang
,
Ryan Whaley
,
Stan Letovksy
,
Kenneth H. Buetow
,
Andrey Rzhetsky
,
Vincent Schachter
,
Bruno S. Sobral
,
Ugur Dogrusoz
,
Shannon McWeeney
,
Mirit Aladjem
,
Ewan Birney
,
Julio Collado-Vides
,
Susumu Goto
,
Michael Hucka
,
Nicolas Le Novere
,
Natalia Maltsev
,
Akhilesh Pandey
,
Paul Thomas
,
Edgar Wingender
,
Peter D. Karp
,
Chris Sander
, and
Gary D. Bader
.
Nature Biotechnology
28(9):935-942
(
2010
)
Emek Demir
,
Michael P. Cary
,
Suzanne Paley
,
Ken Fukuda
,
Christian Lemer
,
Imre Vastrik
,
Guanming Wu
,
Peter D'Eustachio
,
Carl Schaefer
,
Joanne Luciano
,
Frank Schacherer
,
Irma Martinez-Flores
,
Zhenjun Hu
,
Veronica Jimenez-Jacinto
,
Geeta Joshi-Tope
,
Kumaran Kandasamy
,
Alejandra C. Lopez-Fuentes
,
Huaiyu Mi
,
Elgar Pichler
,
Igor Rodchenkov
,
Andrea Splendiani
,
Sasha Tkachev
,
Jeremy Zucker
,
Gopal Gopinath
,
Harsha Rajasimha
,
Ranjani Ramakrishnan
,
Imran Shah
,
Mustafa Syed
,
Nadia Anwar
,
Ozgun Babur
,
Michael Blinov
,
Erik Brauner
,
Dan Corwin
,
Sylva Donaldson
,
Frank Gibbons
,
Robert Goldberg
,
Peter Hornbeck
,
Augustin Luna
,
Peter Murray-Rust
,
Eric Neumann
,
Oliver Reubenacker
,
Matthias Samwald
,
Martijn van Iersel
,
Sarala Wimalaratne
,
Keith Allen
,
Burk Braun
,
Michelle Whirl-Carrillo
,
Kei-Hoi Cheung
,
Kam Dahlquist
,
Andrew Finney
,
Marc Gillespie
,
Elizabeth Glass
,
Li Gong
,
Robin Haw
,
Michael Honig
,
Olivier Hubaut
,
David Kane
,
Shiva Krupa
,
Martina Kutmon
,
Julie Leonard
,
Debbie Marks
,
David Merberg
,
Victoria Petri
,
Alex Pico
,
Dean Ravenscroft
,
Liya Ren
,
Nigam Shah
,
Margot Sunshine
,
Rebecca Tang
,
Ryan Whaley
,
Stan Letovksy
,
Kenneth H. Buetow
,
Andrey Rzhetsky
,
Vincent Schachter
,
Bruno S. Sobral
,
Ugur Dogrusoz
,
Shannon McWeeney
,
Mirit Aladjem
,
Ewan Birney
,
Julio Collado-Vides
,
Susumu Goto
,
Michael Hucka
,
Nicolas Le Novere
,
Natalia Maltsev
,
Akhilesh Pandey
,
Paul Thomas
,
Edgar Wingender
,
Peter D. Karp
,
Chris Sander
, and
Gary D. Bader
.
Nature Biotechnology
28(9):935-942
(
2010
)
a year and 5 months ago
by
fairybasslet
2
BioPAX
BioPAX
URL
DOI
TeX
A Platform for Heterogeneous Interconnection Network Management.
Unnikrishnan S. Warrier
, and
Carl A. Sunshine
.
IEEE Journal on Selected Areas in Communications
8(1):119-126
(
1990
)
Unnikrishnan S. Warrier
, and
Carl A. Sunshine
.
IEEE Journal on Selected Areas in Communications
8(1):119-126
(
1990
)
a year and 6 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Network Interconnection and Gateways.
Carl A. Sunshine
.
IEEE Journal on Selected Areas in Communications
8(1):4-11
(
1990
)
Carl A. Sunshine
.
IEEE Journal on Selected Areas in Communications
8(1):4-11
(
1990
)
a year and 6 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Plaid: a permission-based programming language.
Jonathan Aldrich
,
Robert Bocchino
,
Ronald Garcia
,
Mark Hahnenberg
,
Manuel Mohr
,
Karl Naden
,
Darpan Saini
,
Sven Stork
,
Joshua Sunshine
,
Éric Tanter
, and
Roger Wolff
.
OOPSLA Companion,
page 183-184.
ACM,
(
2011
)
Jonathan Aldrich
,
Robert Bocchino
,
Ronald Garcia
,
Mark Hahnenberg
,
Manuel Mohr
,
Karl Naden
,
Darpan Saini
,
Sven Stork
,
Joshua Sunshine
,
Éric Tanter
, and
Roger Wolff
.
OOPSLA Companion,
page 183-184.
ACM,
(
2011
)
a year and 7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Changing state in the plaid language.
Joshua Sunshine
,
Sven Stork
,
Karl Naden
, and
Jonathan Aldrich
.
OOPSLA Companion,
page 37-38.
ACM,
(
2011
)
Joshua Sunshine
,
Sven Stork
,
Karl Naden
, and
Jonathan Aldrich
.
OOPSLA Companion,
page 37-38.
ACM,
(
2011
)
a year and 7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
First-class state change in plaid.
Joshua Sunshine
,
Karl Naden
,
Sven Stork
,
Jonathan Aldrich
, and
Éric Tanter
.
OOPSLA,
page 713-732.
ACM,
(
2011
)
Joshua Sunshine
,
Karl Naden
,
Sven Stork
,
Jonathan Aldrich
, and
Éric Tanter
.
OOPSLA,
page 713-732.
ACM,
(
2011
)
a year and 7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
PathVisio-MIM: PathVisio plugin for creating and editing Molecular Interaction Maps MIMs.
Augustin Luna
,
Margot Sunshine
,
Martijn P. van Iersel
,
Mirit I. Aladjem
, and
Kurt W. Kohn
.
Bioinformatics
27(15):2165-2166
(
2011
)
Augustin Luna
,
Margot Sunshine
,
Martijn P. van Iersel
,
Mirit I. Aladjem
, and
Kurt W. Kohn
.
Bioinformatics
27(15):2165-2166
(
2011
)
a year and 9 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Survey of communication protocol verification techniques, Trends and Applications 1976: Computer Networks
C. A. Sunshine
.
(
1976
)
Gaithersburg, Maryland, Nov. 1976.
C. A. Sunshine
.
(
1976
)
Gaithersburg, Maryland, Nov. 1976.
a year and 10 months ago
by
msteele
1
communication
protocol_verification
survey
verification
communication
protocol_verification
survey
verification
URL
DOI
TeX
Issues in International Public Data Networking.
Gary R. Grossman
,
Andrew J. Hinchley
, and
Carl A. Sunshine
.
Computer Networks
(
1979
)
Gary R. Grossman
,
Andrew J. Hinchley
, and
Carl A. Sunshine
.
Computer Networks
(
1979
)
a year and 10 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
The ARPA Internet Protocol.
Jonathan B. Postel
,
Carl A. Sunshine
, and
Danny Cohen
.
Computer Networks
(
1981
)
Jonathan B. Postel
,
Carl A. Sunshine
, and
Danny Cohen
.
Computer Networks
(
1981
)
a year and 10 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Interconnection of Computer Networks.
Carl A. Sunshine
.
Computer Networks
(
1977
)
Carl A. Sunshine
.
Computer Networks
(
1977
)
a year and 10 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Survey of Protocol Definition and Verification Techniques.
Carl A. Sunshine
.
Computer Networks
(
1978
)
Carl A. Sunshine
.
Computer Networks
(
1978
)
a year and 10 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Protocol Specification, Testing and Verification - Guest Editorial.
Carl A. Sunshine
.
Computer Networks
6(6):375-376
(
1982
)
Carl A. Sunshine
.
Computer Networks
6(6):375-376
(
1982
)
a year and 10 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Connection Management in Transport Protocols.
Carl A. Sunshine
, and
Yogen K. Dalal
.
Computer Networks
(
1978
)
Carl A. Sunshine
, and
Yogen K. Dalal
.
Computer Networks
(
1978
)
a year and 10 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Perceptually Realistic Behavior through Alibi Generation.
Ben Sunshine-Hill
, and
Norman I. Badler
.
AIIDE,
The AAAI Press,
(
2010
)
Ben Sunshine-Hill
, and
Norman I. Badler
.
AIIDE,
The AAAI Press,
(
2010
)
a year and 11 months 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