Integrating Z with Dynamic Modeling Techniques for the Speci cation of Reactive Systems (2008)
Robert Bussow, Robert Geisler, Wolfgang Grieskamp, Marcus Klar
Abstract. We describe how Z can be combined with dynamic modelling techniques such as Statecharts and temporal interval logic. The presented formalism, SZ, integrates Z's power to describe data...
A Genetic Linkage Map of the Hermaphrodite Teleost Fish Sparus aurata L. (2008)
Elena Sarropoulou, Georgios Kotoulas, Deborah M. Power, Robert Geisler, R. N. Morrison, G. A. Cooper, ...
doi:10.1152/physiolgenomics.00139.2005 You might find this additional information useful... Supplemental material for this article can be found at:
Robert Bussow Robert, Robert Bussow, Robert Geisler, Robert Geisler, Wolfgang Grieskamp, Wolfgang Grieskamp, ...
This is the reference manual for the ¯SZ specification notation. ¯SZ is a combination of statecharts and Z for the specification of safety-critical control systems. It combines statecharts '...
Integrating Z with Dynamic Modeling Techniques for the Specification of Reactive Systems (2007)
Robert Büssow, Robert Geisler, Wolfgang Grieskamp, Marcus Klar
. We describe how Z can be combined with dynamic modelling techniques such as Statecharts and temporal interval logic. The presented formalism, #SZ, integrates Z's power to describe data and...
Integrating Z with Dynamic Modeling Techniques for the Specification of Reactive Systems (2007)
Robert Büssow, Robert Geisler, Wolfgang Grieskamp, Marcus Klar
. We describe how Z can be combined with dynamic modelling techniques such as Statecharts and temporal interval logic. The presented formalism, ¯SZ, integrates Z's power to describe data and...
Robert Bussow, Robert Geisler, Wolfgang Grieskamp, Marcus Klar
Abstract. We describe how Z can be combined with dynamic modelling techniques such as Statecharts and temporal interval logic. The presented formalism, SZ, integrates Z's power to describe data...
Radiation Hybrid Maps of Medaka Chromosomes LG 12, 17, and 22 (2007)
Su, Feng, Osada, Yumi, Ekker, Marc, Chevrette, Mario, Shimizu, Atsushi, Asakawa, Shuichi, ...
The Medaka is an excellent genetic system for studies of vertebrate development and disease and environmental and evolutionary biology studies. To facilitate the mapping of markers or the cloning of...
Sarropoulou, Elena, Franch, Rafaella, Louro, Bruno, Power, Deborah M, Bargelloni, Luca, Magoulas, Antonios, ...
Abstract Background Comparative teleost studies are of great interest since they are important in aquaculture and in evolutionary issues. Comparing genomes of fully sequenced model fish species with...
Large-scale mapping of mutations affecting zebrafish development. (2007)
Geisler, Robert, Rauch, Joerg, Geiger-Rudolph, Silke, Albrecht, A., Van Bebber, Frauke, Berger, Andrea, ...
Etard, C., Behra, M., Fischer, N., Hutcheson, D., Geisler, Robert, Strähle, Uwe
Contraction of muscles is mediated by highly organized arrays of myosin motor proteins. We report here the characterization of a mutation of a UCS gene named steif/unc-45b that is required for the...
Radiation hybrid maps of Medaka chromosomes LG 12, 17, and 22 (2007)
Su, F., Osada, Y., Ekker, M., Chevrette, M., Shimizu, A., Asakawa, S., ...
The Medaka is an excellent genetic system for studies of vertebrate development and disease and environmental and evolutionary biology studies. To facilitate the mapping of markers or the cloning of...
Cohesin-dependent regulation of Runx genes (2007)
Horsfield, JA, Anagnostou, SH, Hu, JK, Cho, KH, Geisler, Robert, Lieschke, G., ...
Runx transcription factors determine cell fate in many lineages. Maintaining balanced levels of Runx proteins is crucial, as deregulated expression leads to cancers and developmental disorders. We...
Liu, Y, Du, L, Osato, M., Teo, EH, Qian, F, Jin, H, ...
Hematopoiesis is a complex process which gives rise to all blood lineages in the course of an organism's lifespan. However, the underlying molecular mechanism governing this process is not fully...
Differential gene expression as a toxicant-sensitive endpoint in zebrafish embryos and larvae (2007)
Voelker, D, Vess, C, Tillmann, M, Nagel, R, Otto, Georg Wilhelm, Geisler, Robert, ...
The zebrafish (Danio rerio) embryo toxicity test (DarT) is under consideration as an alternative to the acute fish toxicity test. Microscopically visible developmental disorders or death are the...
Sarropoulou, E, Franch, R, Louro, B, Power, DM, Bargelloni, L, Magoulas, A, ...
BACKGROUND: Comparative teleost studies are of great interest since they are important in aquaculture and in evolutionary issues. Comparing genomes of fully sequenced model fish species with those of...
Sarropoulou, Elena, Franch, Rafaella, Louro, Bruno, Power, Deborah M, Bargelloni, Luca, Magoulas, Antonios, ...
Background Comparative teleost studies are of great interest since they are important in aquaculture and in evolutionary issues. Comparing genomes of fully sequenced model fish species with those of...
In recent years, the zebrafish has become one of the most prominent vertebrate model organisms used to study the genetics underlying development, normal body function, and disease. The growing...
The first radiation hybrid map of a perch-like fish: the gilthead seabream (Sparus aurata L). (2006)
Senger, F., Priat, C., Hitte, C., Sarropoulou, Elena, Franch, R., Geisler, Robert, ...
Among Teleosts, Perciformes are the largest order of fishes and include numerous species of commercial importance. Perciformes also comprise species of primary interest for evolutionary studies and...
Marco J. Koudijs, Astrid Keijser, Erno Wienholds, Saskia Houwing, ...
Proliferation is one of the basic processes that control embryogenesis. To identify factors involved in the regulation of proliferation, we performed a zebrafish genetic screen in which we used...
Meijer, A.H., Verbeek, F.J., Salas-Vidal, E., Corredor-Adamez, M., Bussman, J., Van Der Sar, A.M., ...
The Mycobacterium marinum-zebrafish infection model was used in this study for analysis of a host transcriptome response to mycobacterium infection at the organismal level. RNA isolated from adult...
Sonawane, Mahendra, Carpio, Y., Geisler, Robert, Schwarz, Heinz, Maischein, Hansmartin, Nuesslein-Volhard, Christiane
Epithelial cells are equipped with junctional complexes that are involved in maintaining tissue architecture, providing mechanical integrity and suppressing tumour formation as well as invasiveness....
Etard, C., Behra, M., Ertzer, R., Fischer, N., Jesuthasan, S., Blader, P., ...
Normal motility of the zebrafish embryo requires a large number of gene loci, many of which have human orthologues implicated in myasthenias and other myopathies. We have identified a mutation in the...
Juelich, Doerte, Hwee Lim, C., Round, J., Nicolaije, C., Schroeder, J., Davies, A., ...
The Tubingen large-scale zebrafish genetic screen completed in 1996 identified a set of five genes required for orderly somite segmentation. Four of them have been molecularly identified and three...
Koudijs, MJ, Den Broeder, MJ, Keijser, A, Wienholds, Erno, Houwing, S, Van Rooijen, Ellen, ...
Proliferation is one of the basic processes that control embryogenesis. To identify factors involved in the regulation of proliferation, we performed a zebrafish genetic screen in which we used...
Sarropoulou, Elena, Kotoulas, G, Power, DM, Geisler, Robert
Large-scale gene expression studies were performed for one of the main European aquaculture species, the gilthead sea bream Sparus auratus L. For this purpose, a cDNA microarray containing 10,176...
Schoenthaler, Helia Berit, Lampert, JM, Von Lintig, J, Schwarz, Heinz, Geisler, Robert, Neuhauss, Stephan
Forward genetic screens have been instrumental in defining molecular components of visual function. The zebrafish mutant fading vision (fdv) has been identified in such a screen due to defects in...
Cui, WW, Low, SE, Hirata, H, Saint-Amant, L, Geisler, Robert, Hume, RI, ...
Juelich, Doerte, Geisler, Robert, Holley, Scott
Somitogenesis is the process by which the segmented precursors of the skeletal muscle and vertebral column are generated during vertebrate embryogenesis. While somitogenesis appears to be a serially...
Norton, WH, Mangoli, M, Lele, Z, Pogoda, Hansmartin, Diamond, B, Mercurio, S, ...
In this study, we elucidate the roles of the winged-helix transcription factor Foxa2 in ventral CNS development in zebrafish. Through cloning of monorail (mol), which we find encodes the...
AppaDB: an AcedB database for the nematode satellite organism Pristionchus pacificus (2004)
Srinivasan, J., Otto, Georg, Kahlow, Uli, Geisler, Robert, Sommer, Ralf
Pristionchus pacificus is a free-living nematode of the Diplogastridae family and was recently developed as a satellite system in evolutionary developmental biology. AppaDB, a P.pacificus database,...
Mutations in cadherin 23 affect tip links in zebrafish sensory hair cells (2004)
Söllner, Christian, Rauch, Jörg, Siemens, J., Geisler, Robert, Schuster, Stephan, Muller, U., ...
Hair cells have highly organized bundles of apical projections, or stereocilia, that are deflected by sound and movement. Displacement of stereocilia stretches linkages at the tips of stereocilia...
Wolff, Christian, Roy, S., Lewis, K. E., Schauerte, Heike, Rauch, Jörg, Kirn, Anette, ...
Signaling by lipid-modified secreted glycoproteins of the Hedgehog family play fundamental roles during pattern formation in animal development and in humans; dysfunction of Hedgehog pathway...
Söllner, C., Schwarz, Heinz, Geisler, Robert, Nicolson, Teresa
Otoliths in bony fishes and otoconia in mammals are composite crystals consisting of calcium carbonate and proteins. These biominerals are part of the gravity and linear acceleration detection system...
Axon sorting in the optic tract requires HSPG synthesis by ext2 (dackel) and extl3 (boxer). (2004)
Lee, J.S., Rusch, M.A., Stringer, S.E., Stickney, H.L., Talbot, W.S., ...
Retinal ganglion cell (RGC) axons are topographically ordered in the optic tract according to their retinal origin. In zebrafish dackel (dak) and boxer (box) mutants, some dorsal RGC axons missort in...
Wolff, Christian, Roy, Sudipto, Lewis, Katharine E., Schauerte, Heike, Joerg-Rauch, Gerd, Kirn, Annette, ...
Signaling by lipid-modified secreted glycoproteins of the Hedgehog family play fundamental roles during pattern formation in animal development and in humans; dysfunction of Hedgehog pathway...
AppaDB: an AcedB database for the nematode satellite organism Pristionchus pacificus (2004)
Srinivasan, Jagan, Otto, Georg W., Kahlow, Ulrich, Geisler, Robert, Sommer, Ralf J.
Pristionchus pacificus is a free‐living nematode of the Diplogastridae family and was recently developed as a satellite system in evolutionary developmental biology. AppaDB, a P.pacificus...
Wolff, Christian, Roy, Sudipto, Lewis, Katharine E., Schauerte, Heike, Joerg-Rauch, Gerd, Kirn, Annette, ...
Signaling by lipid-modified secreted glycoproteins of the Hedgehog family play fundamental roles during pattern formation in animal development and in humans; dysfunction of Hedgehog pathway...
Locklaw encodes a zebrafish tfap2a required for early neural crest development (2003)
Knight, R.D., Nair, S., Nelson, S.S., Afshar, A., Javidan, Y., Geisler, Robert, ...
The neural crest is a uniquely vertebrate cell type that gives rise to much of the craniofacial skeleton, pigment cells and peripheral nervous system, yet its specification and diversification during...
Retinal function and morphology in two zebrafish models od oculo-renal syndromes (2003)
Bahadori, R., Huber, M., Rinner, O., Seeliger, M.W., Geiger-Rudolph, Silke, Geisler, Robert, ...
We characterized visual system defects in two recessive zebrafish mutants oval and elipsa. These mutants share the syndromic phenotype of outer retinal dystrophy in conjunction with cystic renal...
Heparan sulfate 6-o-sulfotransferase is essential for muscle development in zebrafish (2003)
Bink, R. J., Habuchi, H., Lele, Z., Dolk, E., Joore, J., Rauch, G. J., ...
Heparan sulfate proteoglycans function in development and disease. They consist of a core protein with attached heparan sulfate chains that are altered by a series of carbohydrate-modifying enzymes...
Piotrowski, T., Schilling, T. F., Nair, S., Ruvinsky, I., Geisler, Robert, ...
The van gogh (vgo) mutant in zebrafish is characterized by defects in the ear, pharyngeal arches and associated structures such as the thymus. We show that vgo is caused by a mutation in tbx1, a...
Development of a zebrafish oligo test set (2003)
Schröder, S., Otto, Georg, Siebert, J., Ott, S., Wegener, S., Geisler, Robert, ...
Heisenberg, Carl-Philipp, Houart, Corinne, Take-uchi, Masaya, Rauch, Gerd-Jörg, Young, Neville, Coutinho, Pedro, ...
Mariner is defective in myosin VIIA: a zebrafish model for human hereditary deafness (2000)
Ernest, Sylvain, Rauch, Gerd-Jörg, Haffter, Pascal, Geisler, Robert, Petit, Christine, Nicolson, Teresa
The zebrafish (Danio rerio) possesses two mechanosensory organs believed to be homologous to each other: the inner ear, which is responsible for the senses of audition and equilibrium, and the...
Formal semantics for the integration of statecharts and Z in metamodel based framework / (1999)
Berlin, Techn. University, Diss., 1999.
Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study (1998)
Robert Büssow, Robert Geisler, Marcus Klar
In this paper weintroduce a formal approach for the specification of safety-critical embedded systems. The specification formalisms Z and statecharts are integrated under a suitable structural model....
Dimensions and Dichotomy in Metamodeling (1998)
Robert Geisler, Robert Geisler, Marcus Klar, Marcus Klar, Claudia Pons, Claudia Pons
ion A metamodel is a model for the information that can be expressed during (software) modeling. Basically, a metamodel is a model of models. It consists of entities defining the model elements and...
Precise UML Semantics Through Formal Metamodeling (1998)
Robert Geisler, Marcus Klar, Stefan Mann
Syntax : An abstract description of the entities that form a model of the respective language. ffl Static Semantics (context conditions, constraints) : Well-formedness conditions between the...
The µSZ Notation - Version 1.0 (1997)
Robert Büssow, Robert Bussow, Robert Geisler, Robert Geisler, Wolfgang Grieskamp, Wolfgang Grieskamp, ...
This is the reference manual for the ¯SZ specification notation. ¯SZ is a combination of statecharts and Z for the specification of safety-critical control systems. It combines statecharts '...
Horizontal and Vertical Structuring Techniques for Statecharts (1997)
Hartmut Ehrig, Robert Geisler, Marcus Klar, Julia Padberg
In this paper we present an algebraic approach to statecharts as they are used in the Statemate tool in the style of "Petri-Nets are Monoids" for place-transition nets developed by Meseguer...
The µSZ Notation - Version 1.0 (1997)
Robert Büssow, Robert Bussow, Robert Geisler, Robert Geisler, Wolfgang Grieskamp, Wolfgang Grieskamp, ...
This is the reference manual for the #SZ speci#cation notation. #SZ is a combination of statecharts and Z for the speci#cation of safety-critical control systems. It combines statecharts '...
Horizontal and Vertical Structuring Techniques for Statecharts (1997)
Hartmut Ehrig Robert, Robert Geisler, Marcus Klar, Julia Padberg
In this paper we present an algebraic approach to statecharts as they are used in the Statemate tool in the style of "Petri-Nets are Monoids" for place-transition nets developed by Meseguer...
Horizontal and Vertical Structuring Techniques for Statecharts (1997)
Hartmut Ehrig, Robert Geisler, Marcus Klar, Julia Padberg
In this paper we present an algebraic approach to statecharts as they are used in the Statemate tool in the style of "Petri-Nets are Monoids" for place-transition nets developed by Meseguer...
Proving Safety Properties of a Hydraulic Press with InterACT (1996)
InterACT [GK95, KGC95, GKC96] is an interactive theorem and completeness prover for algebraic specifications. A specification of a safety critical system, a hydraulic press, is developed and...
Thesis (doctoral)--Eberhard-Karls-Universität zu Tübingen, 1996.
AppaDB: an AcedB database for the nematode satellite organism Pristionchus pacificus
Srinivasan, Jagan, Otto, Georg W., Kahlow, Ulrich, Geisler, Robert, Sommer, Ralf J.
Pristionchus pacificus is a free-living nematode of the Diplogastridae family and was recently developed as a satellite system in evolutionary developmental biology. AppaDB, a P.pacificus database,...
Heisenberg, Carl-Philipp, Houart, Corinne, Take-uchi, Masaya, Rauch, Gerd-Jörg, Young, Neville, Coutinho, Pedro, ...
Zebrafish embryos homozygous for the masterblind (mbl) mutation exhibit a striking phenotype in which the eyes and telencephalon are reduced or absent and diencephalic fates expand to the front of...
Holley, Scott A., Geisler, Robert, Nüsslein-Volhard, Christiane
Somitogenesis has been linked both to a molecular clock that controls the oscillation of gene expression in the presomitic mesoderm (PSM) and to Notch pathway signaling. The oscillator, or clock, is...
Wolff, Christian, Roy, Sudipto, Lewis, Katharine E., Schauerte, Heike, Joerg-Rauch, Gerd, Kirn, Annette, ...
Signaling by lipid-modified secreted glycoproteins of the Hedgehog family play fundamental roles during pattern formation in animal development and in humans; dysfunction of Hedgehog pathway...
The Zebrafish Mutants dre, uki, and lep Encode Negative Regulators of the Hedgehog Signaling Pathway
Koudijs, Marco J, Den Broeder, Marjo J., Keijser, Astrid, Wienholds, Erno, Houwing, Saskia, ...
Proliferation is one of the basic processes that control embryogenesis. To identify factors involved in the regulation of proliferation, we performed a zebrafish genetic screen in which we used...
Large-scale mapping of mutations affecting zebrafish development
Geisler, Robert, Rauch, Gerd-Jörg, Geiger-Rudolph, Silke, Albrecht, Andrea, Van Bebber, Frauke, Berger, Andrea, ...
Sarropoulou, Elena, Franch, Rafaella, Louro, Bruno, Power, Deborah M, Bargelloni, Luca, Magoulas, Antonios, ...
Leukocyte Tyrosine Kinase Functions in Pigment Cell Development
Lopes, Susana S., Yang, Xueyan, Müller, Jeanette, Carney, Thomas J., McAdow, Anthony R., Rauch, Gerd-Jörg, ...
A fundamental problem in developmental biology concerns how multipotent precursors choose specific fates. Neural crest cells (NCCs) are multipotent, yet the mechanisms driving specific fate choices...
Marek S. Szczepanski, Robert Geisler, Anna Sliz
Purpose – Corporate social responsibility (CSR) is one of the most crucial phenomena of global capitalism at the beginning of the twenty-first century. For this reason it is emphasized by many...