1. //
  2. Start
  3. //
  4. Journals
  5. //
  6. Formal Methods in System Design
  7. //
  8. Publications
  9. //

Formal Methods in System Design, ‎0925-9856

Journal

Recently viewed

Researchers

  1. Insa Wippermann

Activities

  1. 5. Forschungsseminar „Innovation and Value Creation“ 2010
  2. First-Mover Advantages in the international Diffusion of internet-based Business Models
  3. A Material Flow Cost Accounting Approach to Improvement Assessment in LCA
  4. 39th EGOS Colloquium - EGOS 2023
  5. Stories of a journey: tracing traditional knowledge associated to orphan crops across agrifood circuits in Bogota
  6. Local alternatives of agrobiodiversity use and management in the rurality of Bogotá, Colombia
  7. SER Conference (online)
  8. Developing New Markets for Moist Biomass: An Eco-efficient Approach of Dehydrating Agricultural Biomass
  9. Dude, calm down! De-escalating driving anger using in-car information
  10. Competencies for sustainable development of rural areas need the integration of Gender
  11. 37th EGOS Colloquium - EGOS 2021
  12. The city as anthropo-scene? Art and urban spaces of possibility in the Anthropocene
  13. Vortrag: Wertorientiertes Umweltmanagement und Shareholder Value
  14. Smartphone vs. Schulbuch
  15. Case study research on sustainable supply chain management: What evidence has been found?
  16. Fakultät Management und Technologie (Organisation)
  17. Zehnter Großer Konvent der Schader-Stiftung

Publications

  1. Learning how to request using textbooks
  2. Continued logarithm representation of real numbers
  3. Multimodal Crowd Sensing
  4. Experimental investigation of crack propagation mechanism in refill friction stir spot joints of AA6082-T6
  5. Smelling like resin
  6. The university’s unknown knowledge
  7. Application of Software and Web-Based Tools for Sustainability Management in Small and Medium-Sized Enterprises
  8. Degradation of 5-FU by means of advanced (photo)oxidation processes
  9. Multitrophic diversity in a biodiverse forest is highly nonlinear across spatial scales
  10. Consumers' Responses to CSR Activities
  11. Tree species and functional traits but not species richness affect interrill erosion processes in young subtropical forests
  12. The Change Challenge
  13. Wie gesprochen werden?
  14. Knowledge and social learning for sustainable development
  15. Materials by design
  16. Zur Situation der Informatik
  17. Parteispenden
  18. Examiner experience moderates reliability of human lower extremity muscle ultrasound measurement – a double blinded measurement error study
  19. Image Noise
  20. A comparison of self-reports and electrodermal activity as indicators of mathematics state anxiety.
  21. All new and all outcome-based?
  22. The Search for Sanctuary
  23. The impact of growth markets in the downstream sector - the parameters for connectivity and services: Beyond outer space law
  24. Valuing changes in ecosystem services: scenario analysis
  25. 'Visions behind the Veil'
  26. Sultanspracht im Papstpalast oder: das Recht des Teppichs