en
de
Local
OpenID
:
no help available
no help available
BibSonomy
author
tag
user
group
author
concept
BibTeX key
search:all
::
Gries
::
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
(199)
tags
dblp
imported
Außenwirtschaft:_Allgemeines
Deutschland
LING305
corpus
Unternehmenskooperation
method
DDR
statistical
informatics
hypothesis-testing
Wettbewerb
Einführung
Deutschland_<Westliche_Länder>
verification
language
computation
term
Vatikan
Wachstumsmodell
Kasernierte_Volkspolizei
Wettbewerbsstrategie
Außenpolitik
Strategische_Allianz
Unternehmensführung
myown
Wirtschaftsstruktur:_Allgemeines
constructions
1976
logik-und-grundlagen
Zweisektorenmodell
Ausbürgerung
Deutschland_<Östliche_Länder>
Internationale_Wettbewerbsfähigkeit
Heiliger_Stuhl
Theorem_der_komparativen_Kostenvorteile
Matts_biblio
Wolf_Biermann
interview
Allianz
streaming_model
xsd
linguistics
Wirtschaftswachstum
handbib
coli
collection
mapping
Telekommunikation
No matching items.
Statistik für Sprachwissenschaftler
Stefan Thomas Gries
.
Studienbücher zur Linguistik
Vandenhoeck \& Ruprecht,
Göttingen,
(
2008
)
Stefan Thomas Gries
.
Studienbücher zur Linguistik
Vandenhoeck \& Ruprecht,
Göttingen,
(
2008
)
23 days ago
by
jan.ruediger
1
Einführung
Sprachwissenschaft
Statistik
Einführung
Sprachwissenschaft
Statistik
URL
DOI
TeX
Proceedings of the Environmental Information Management Conference 2011 EIM 2011
M B Jones
, and
C Gries
.
2011,
(
2011
)
M B Jones
, and
C Gries
.
2011,
(
2011
)
a month and 10 days ago
by
carl-boettiger
1
theoretical-ecology
theoretical-ecology
URL
DOI
TeX
Finding repeated elements
J. Misra
, and
David Gries
.
Science of Computer Programming
2(2):143 - 152
(
1982
)
J. Misra
, and
David Gries
.
Science of Computer Programming
2(2):143 - 152
(
1982
)
3 months and 9 days ago
by
ytyoun
2
streaming_model
streaming_model
URL
DOI
TeX
Reusing Design Experience for Petri Nets Through Patterns
M. Gries
,
J.W. Janneck
, and
M. Naedele
.
Proceedings of High Performance Computing HPC'99,
page 453--458.
San Diego, CA, USA,
(
1999
)
M. Gries
,
J.W. Janneck
, and
M. Naedele
.
Proceedings of High Performance Computing HPC'99,
page 453--458.
San Diego, CA, USA,
(
1999
)
5 months and 29 days ago
by
wvdaalst
1
BPM
collection
imported
BPM
collection
imported
URL
DOI
TeX
Gibbs Sampling in Probabilistic Description Logics with Deterministic Dependencies.
Oliver Gries
, and
Ralf Möller
.
UniDL,
volume 613 of CEUR Workshop Proceedings,
CEUR-WS.org,
(
2010
)
Oliver Gries
, and
Ralf Möller
.
UniDL,
volume 613 of CEUR Workshop Proceedings,
CEUR-WS.org,
(
2010
)
6 months and 20 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A Probabilistic Abduction Engine for Media Interpretation based on Ontologies.
Oliver Gries
,
Ralf Möller
,
Anahita Nafissi
,
Maurice Rosenfeld
,
Kamil Sokolski
, and
Michael Wessel
.
UniDL,
volume 613 of CEUR Workshop Proceedings,
CEUR-WS.org,
(
2010
)
Oliver Gries
,
Ralf Möller
,
Anahita Nafissi
,
Maurice Rosenfeld
,
Kamil Sokolski
, and
Michael Wessel
.
UniDL,
volume 613 of CEUR Workshop Proceedings,
CEUR-WS.org,
(
2010
)
6 months and 20 days ago
by
dblp
2
dblp
dblp
URL
DOI
TeX
An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs.
David Gries
.
IEEE Trans. Software Eng.
2(4):238-244
(
1976
)
correction: TSE 33: 262 1977.
David Gries
.
IEEE Trans. Software Eng.
2(4):238-244
(
1976
)
correction: TSE 33: 262 1977.
6 months and 23 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
The 1988 Snowbird Report: A Discipline Matures.
David Gries
,
Terry Walker
, and
Paul Young
.
Commun. ACM
32(3):294-297, 318
(
1989
)
David Gries
,
Terry Walker
, and
Paul Young
.
Commun. ACM
32(3):294-297, 318
(
1989
)
7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Methodological and interdisciplinary stance in corpus linguistics
Stefan Th. Gries
.
Perspectives on Corpus Linguistics,
John Benjamins Publishing Company,
(
2011
)
Stefan Th. Gries
.
Perspectives on Corpus Linguistics,
John Benjamins Publishing Company,
(
2011
)
7 months ago
by
jil
1
coli
computation
computational
gries
interview
language
linguistic
linguistics
natural
nlp
processing
stefan
term
coli
computation
computational
gries
interview
language
linguistic
linguistics
natural
nlp
processing
stefan
term
URL
DOI
TeX
Correction to Än Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs".
David Gries
.
IEEE Trans. Software Eng.
3(3):262
(
1977
)
see: IEEE Trans. Software Eng. 24: 238-2441976.
David Gries
.
IEEE Trans. Software Eng.
3(3):262
(
1977
)
see: IEEE Trans. Software Eng. 24: 238-2441976.
7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
An Exercise in Proving Parallel Programs Correct.
David Gries
.
Commun. ACM
20(12):921-930
(
1977
)
Corrigendum: CACM 2112: 1048.
David Gries
.
Commun. ACM
20(12):921-930
(
1977
)
Corrigendum: CACM 2112: 1048.
8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Language Facilities for Programming User-Computer Dialogues.
Juan M. Lafuente
, and
David Gries
.
IBM Journal of Research and Development
22(2):145-158
(
1978
)
Juan M. Lafuente
, and
David Gries
.
IBM Journal of Research and Development
22(2):145-158
(
1978
)
8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Some Ideas on Data Types in High Level Languages.
David Gries
, and
Narain H. Gehani
.
Conference on Data: Abstraction, Definition and Structure,
page 120.
ACM,
(
1976
)
David Gries
, and
Narain H. Gehani
.
Conference on Data: Abstraction, Definition and Structure,
page 120.
ACM,
(
1976
)
8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Loose Coupling of Distributed Data and Models through Web Services.
Peter McCartney
,
Robin Schroeder
, and
Corinna Gries
.
SSDBM,
page 79-82.
(
2005
)
Peter McCartney
,
Robin Schroeder
, and
Corinna Gries
.
SSDBM,
page 79-82.
(
2005
)
8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A Model and Temporal Proof System for Networks of Processes.
Van Nguyen
,
David Gries
, and
Susan S. Owicki
.
POPL,
page 121-131.
ACM Press,
(
1985
)
Van Nguyen
,
David Gries
, and
Susan S. Owicki
.
POPL,
page 121-131.
ACM Press,
(
1985
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Completeness and Incompleteness of Trace-Based Network Proof Systems.
Jennifer Widom
,
David Gries
, and
Fred B. Schneider
.
POPL,
page 27-38.
ACM Press,
(
1987
)
Jennifer Widom
,
David Gries
, and
Fred B. Schneider
.
POPL,
page 27-38.
ACM Press,
(
1987
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs Abstract.
David Gries
.
ICSE,
page 200.
IEEE Computer Society,
(
1976
)
David Gries
.
ICSE,
page 200.
IEEE Computer Society,
(
1976
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
My Thoughts on Software Engineering in the Late 1960s.
David Gries
.
ICSE,
page 98.
IEEE Computer Society / ACM Press,
(
1989
)
David Gries
.
ICSE,
page 98.
IEEE Computer Society / ACM Press,
(
1989
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A 48-Core IA-32 Processor in 45 nm CMOS Using On-Die Message-Passing and DVFS for Performance and Power Scaling.
Jason Howard
,
Saurabh Dighe
,
Sriram R. Vangal
,
Gregory Ruhl
,
Nitin Borkar
,
Shailendra Jain
,
Vasantha Erraguntla
,
Michael Konow
,
Michael Riepen
,
Matthias Gries
,
Guido Droege
,
Tor Lund-Larsen
,
Sebastian Steibl
,
Shekhar Borkar
,
Vivek K. De
, and
Rob F. Van der Wijngaart
.
J. Solid-State Circuits
46(1):173-183
(
2011
)
Jason Howard
,
Saurabh Dighe
,
Sriram R. Vangal
,
Gregory Ruhl
,
Nitin Borkar
,
Shailendra Jain
,
Vasantha Erraguntla
,
Michael Konow
,
Michael Riepen
,
Matthias Gries
,
Guido Droege
,
Tor Lund-Larsen
,
Sebastian Steibl
,
Shekhar Borkar
,
Vivek K. De
, and
Rob F. Van der Wijngaart
.
J. Solid-State Circuits
46(1):173-183
(
2011
)
a year and a month ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Experiences with a PDA-based Documentation System in Clinical Research.
Torben K. Becker
,
André Gries
,
Eike Martin
, and
Michael Bernhard
.
J. Medical Systems
36(2):647-651
(
2012
)
Torben K. Becker
,
André Gries
,
Eike Martin
, and
Michael Bernhard
.
J. Medical Systems
36(2):647-651
(
2012
)
a year and 2 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