Search CORE

41 research outputs found

Explicit State Model Checking with Generalized Büchi and Rabin Automata

Author: Babiak T.
Babiak T.
Baier C.
Blahoudek F.
Bloemen V.
Chatterjee K.
Dijkstra E. W.
Duret-Lutz A.
Evangelista S.
Komárková Z.
Laarman A.
Major J.
Renault E.
Vardi M. Y.
Wijs A.
Publication venue: Association for Computing Machinery
Publication date: 01/07/2017
Field of study

University of Twente Research Information

Considerations regarding the dominance of Cylindrospermopsis raciborskii under low light availability in a low phosphorus lake

Establishment of equilibrium states and effect of disturbances on benthic diatom assemblages of the Torna-stream, Hungary

Author: APHA – American Public Health Association
AT Luís
B Nixdorf
B Whitton
BH Hill
C Kruk
C Rojo
C Stenger-Kovács
CE Walker
CJ Lorenzen
CN Solak
Cs Kovács
CS Reynolds
CS Reynolds
CS Reynolds
CS Reynolds
CS Reynolds
Csilla Stenger-Kovács
D Hlúbiková
Edina Lengyel
EP Odum
EP Odum
ER Porter-Goff
F Bona
F Hustedt
F Rimet
G Borics
G Hardin
G Hofmann
G Morabito
G Várbíró
GE Hutchinson
GG Ndiritu
H Lange-Bertalot
HA Hameed
I O’Farell
J Connell
J Heino
J Komárková
J Li
J Padisák
J Padisák
J Padisák
J Soininen
J-P Descy
JB Wilson
JG Winter
Judit Padisák
K Krammer
K Krammer
K Krammer
L King
L Naselli-Flores
M Kelly
M Kelly
M Kelly
M Leira
M Licursi
M Yallop
MG Kelly
MG Potapova
MP Stoyneva
N Gómez
N Gómez
N Salmaso
P Juhász-Nagy
P Tett
P Turchin
RG Wetzel
S Vilbaste
SI Passy
SI Passy
TE Shelly
TR Malthus
U Mischke
U Sommer
U Sommer
U Sommer
V Becker
V Üveges
Y Pan
É Ács
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Species concepts and speciation factors in cyanobacteria, with connection to the problems of diversity and classification

Author: A Bekker
A Oren
A Oren
A Oren
A Oren
A Ramette
AD Jungblut
AF Koeppel
Alessio Papini
Aloisie Poulíčková
AV Pinevich
BA Whitton
Baas Becking LGM
Baker RH NarechaniaA
BE Schirrmeister
BJ Shapiro
BR Robertson
C Fraser
CL Sant´Anna
CS Smillie
CW Morden
D Fontaneto
D Gevers
D Gevers
D Honda
DA Casamatta
Dale A. Casamatta
DE Dykhuizen
DJ Nürnberg
DR Boone
E Mayr
E Mayr
E Stacerbrandt
E Stackebrandt
E Stackebrandt
EJ Stewart
EM Eckert
F Kauff
F Rodriguez-Valera
FM Cohan
FM Cohan
FM Cohan
FM Cohan
FM Cohan
G Sabehi
G Zammit
GE Fox
GG Simpson
I Gremberghe Van
J Friedman
J Gans
J Goris
J Hacker
J Komárek
J Komárek
J Komárek
J Komárek
J Komárek
J Komárek
J Komárek
J Komárková
J Seckbach
J Wiedenbeck
JBH Martiny
JC Nabout
JR Johansen
JT Staley
JW Schopf
K Anagnostidis
K Anagnostidis
K Anagnostidis
K Osorio-Santos
K Queiroz de
K Queiroz de
K Starmach
KR Miller
KT Konstantinidis
KT Konstantinidis
L Geitler
L Hoffmann
L Nakhleh
LA David
M Achtman
M Kim
M Richter
MA Siegesmund
Mattia Belli
MB Sullivan
MC Maiden
MC Melendrez
MD Guiry
MF Marston
MF Polz
MK Litvaitis
ML Reno
N Engene
N Engene
N Lodders
O Popa
O Strunecký
O Strunecký
O Zhaxybayeva
P Dvořák
P Dvořák
P Dvořák
P Hašler
P Hašler
P Hašler
Petr Dvořák
Petr Hašler
PM Shih
Q Zheng
R Caudales
R Li
R Mühlsteinová
R Rippka
RB Perkerson
RT Papke
RW Castenholz
RW Castenholz
RY Stanier
S Kopac
S Mazard
SL Boyer
SL Boyer
SP Preheim
SR Miller
SW Chisholm
T Burger-Wiersma
T Shi
T Řezanka
TH Giddings
TH Mes
TK Shishido
TV Desikachary
V Daubin
WF Doolittle
WN Venables
WP Hanage
WP Hanage
WP Hanage
WR Hess
WR Hess
ZI Johnson
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

IUAPPA Praha 2000 223 Section: B EUTROPHICATION TRENDS IN the VLTAVA CATCHMENT AREA, CZECH REPUBLIC

Author: Hejzlar J
Hejzlar J
Komárková J
Komárková J
Kopáček J
Kopáček J
Procházková L
Vyhnálek V
Publication venue
Publication date: 05/03/2020
Field of study

An optimal method of determining the position of bends on shear reinforcement as part of the diagnosis of reinforced concrete beam structures

Author: Anton O
Anton O
Hobst L
O Anton
T Komárková
V Heřmánková
Publication venue: 'IOP Publishing'
Publication date
Field of study

Seedling establishment and life history trade‐offs in alpine plants

Author: Caswell H.
Doak D. F.
Harvey P. H.
Komárková V.
Morris W. F.
Sokal R. R.
Söyrinki N.
Tremblay R. L.
Publication venue: 'Botanical Society of America'
Publication date
Field of study

Morphological characteristics of Cylindrospermopsis raciborskii

Author: A. Chapman
C. Reynolds
D. Layzell
D.-Y. Lee
F. Harold
F. Hindák
F. Hindák
G. Seenayya
H. Shafik
H. Shafik
J. Komárek
J. Komárkek
J. Komárková
J. Komárková
J. Komárková-Legnerová
J. Meeks
J. Padisák
J. Woloszy´nska
K. Wilson
L. Vörös
M. Horecká
M. Saker
M. Saker
M. Watanabe
N. Jeeji Bai
P. Baker
R. Li
R. Singh
V. Istvánovics
V. Istvánovics
Publication venue: 'Akademiai Kiado Zrt.'
Publication date
Field of study

Fate of the spring phytoplankton bloom in Římov Reservoir (Czechoslovakia): Grazing, lysis and sedimentation

Author: Brandl Z.
Gawler M.
Hejzlar J.
Jeppesen E.
Komárková J.
Lean D. R. S.
Løvstad Ø.
Phinney D. A.
Seďa J.
Sommer U.
Stephens K.
Vyhnálek V.
VyhnÁLek V.
Vyhnálek V.
Weisse T.
Publication venue: 'Informa UK Limited'
Publication date
Field of study

Clear-water phase in the Řimov Reservoir (South Bohemia): Controlling factors

Author: Blažka P.
Brandl Z.
Brandl Z.
Fott J.
Hejzlar J.
Komárková J.
Lampert W.
Lampert W.
Lorenzen C. J.
Lorenzen C. J.
Popovský J.
Porcalová P.
Seďa J.
Sommer U.
Vyhnálek V.
Šimek K.
Publication venue: 'Informa UK Limited'
Publication date
Field of study

core

core