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)
We investigate the combination of the weak second-order monadic logic of one successor (WS1S) with higher-order logic (HOL). We show how these two logics can be combined, how theorem provers based on them can be safely integrated, and how the result can be used. In particular , we present an embedding of the semantics of WS1S in HOL that provides a basis(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)
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.
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)
  • 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)