Stefan Friedrich

Learn More
Neurogenesis in the chiton Mopalia muscosa (Gould, 1846) was investigated by applying differential interference contrast microscopy, semithin serial sectioning combined with reconstruction techniques, as well as confocal laser scanning microscopy for the detection of fluorescence-conjugated antibodies against serotonin and FMRFamide. The ontogeny of(More)
Java bytecode verification is traditionally performed using dataflow analysis. We investigate an alternative based on reducing bytecode verification to model checking. First, we analyze the complexity and scalability of this approach. We show experimentally that, despite an exponential worst-case time complexity, model checking type-correct bytecode using(More)
Java bytecode verification is traditionally performed by a polynomial time dataflow algorithm. We investigate an alternative based on reducing bytecode verification to model checking. Despite an exponential worst case time complexity, model checking type-correct bytecode is polynomial in practice when carried out using an explicit state, on-the-fly model(More)
Combined electron microscopy and immunocytochemistry of the larvae of several polyplacophoran species (Chiton olivaceus, Lepidochitona aff. corrugata, Mopalia muscosa) revealed a sensory system new to science, a so-called "ampullary system." The cells of the "ampullary system" are arranged in four symmetrically situated pairs lying dorsolaterally and(More)
Logic ooers the possibility of modeling and reasoning about hardware and software. But which logic? We propose monadic logics of strings and trees as good candidates for many kinds of discrete systems. These logics are natural, decidable, yet substantially more expressive , extensions of Boolean logic. We motivate their applicability through examples.
  • Miroslav Rusko, Jozef Sablik, Petra Marková, Manfred Lach, Stefan Friedrich
  • 2015
Growing load and deterioration of the environment can be interpreted as a result of some external effects interventions. While the positive externalities influence the positive productional and utilizational functions of other subjects, the negative externalities influence the negative ones. Both types of external effects can act as parcial or global(More)