[{"doi":"10.15479/at:ista:1405","acknowledgement":"This work was supported in part by the Austrian Science Fund NFN RiSE (Rigorous Systems Engineering) and by the ERC Advanced Grant QUAREM (Quantitative Reactve Modeling).\r\nChapter 2, 3, and 4 are joint work with Thomas A. Henzinger and Thomas Wies. Chapter 2 was published in FoSSaCS 2010 as “Forward Analysis of Depth-Bounded Processes” [112]. Chapter 3 was published in VMCAI 2012 as “Ideal Abstractions for Well-Structured Transition Systems” [114]. Chap- ter 5.1 is joint work with Kshitij Bansal, Eric Koskinen, and Thomas Wies. It was published in TACAS 2013 as “Structural Counter Abstraction” [13]. The author’s contribution in this part is mostly related to the implementation. The theory required to understand the method and its implementation is quickly recalled to make the thesis self-contained, but should not be considered as a contribution. For the details of the methods, we refer the reader to the orig- inal publication [13] and the corresponding technical report [14]. Chapter 5.2 is ongoing work with Shahram Esmaeilsabzali, Rupak Majumdar, and Thomas Wies. I also would like to thank the people who supported over the past 4 years. My advisor Thomas A. Henzinger who gave me a lot of freedom to work on projects I was interested in. My collaborators, especially Thomas Wies with whom I worked since the beginning. The members of my thesis committee, Viktor Kun- cak and Rupak Majumdar, who also agreed to advise me. Simon Aeschbacher, Pavol Cerny, Cezara Dragoi, Arjun Radhakrishna, my family, friends and col- leagues who created an enjoyable environment. ","ddc":["000"],"year":"2013","date_published":"2013-09-05T00:00:00Z","project":[{"grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Rigorous Systems Engineering"},{"_id":"25EE3708-B435-11E9-9278-68D0E5697425","grant_number":"267989","name":"Quantitative Reactive Modeling","call_identifier":"FP7"}],"author":[{"orcid":"0000-0002-3197-8736","id":"4397AC76-F248-11E8-B48F-1D18A9856A87","last_name":"Zufferey","full_name":"Zufferey, Damien","first_name":"Damien"}],"date_created":"2018-12-11T11:51:50Z","title":"Analysis of dynamic message passing programs","ec_funded":1,"file":[{"date_created":"2021-02-22T11:28:36Z","creator":"dernst","file_size":1514906,"success":1,"file_id":"9176","access_level":"open_access","checksum":"ed2d7b52933d134e8dc69d569baa284e","content_type":"application/pdf","date_updated":"2021-02-22T11:28:36Z","relation":"main_file","file_name":"2013_Zufferey_thesis_final.pdf"},{"file_name":"2013_Zufferey_thesis_final_pdfa.pdf","file_id":"10298","access_level":"closed","content_type":"application/pdf","checksum":"cecc4c4b14225bee973d32e3dba91a55","relation":"main_file","date_updated":"2021-11-17T13:47:58Z","file_size":1378313,"date_created":"2021-11-16T14:42:52Z","creator":"cchlebak"}],"file_date_updated":"2021-11-17T13:47:58Z","day":"05","publication_identifier":{"issn":["2663-337X"]},"alternative_title":["ISTA Thesis"],"main_file_link":[{"url":"http://dzufferey.github.io/files/2013_thesis.pdf"}],"status":"public","supervisor":[{"first_name":"Thomas A","full_name":"Henzinger, Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724"}],"has_accepted_license":"1","publication_status":"published","department":[{"_id":"ToHe"},{"_id":"GradSch"}],"article_processing_charge":"No","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","OA_place":"publisher","_id":"1405","publist_id":"5802","degree_awarded":"PhD","abstract":[{"text":"Motivated by the analysis of highly dynamic message-passing systems, i.e. unbounded thread creation, mobility, etc. we present a framework for the analysis of depth-bounded systems. Depth-bounded systems are one of the most expressive known fragment of the π-calculus for which interesting verification problems are still decidable. Even though they are infinite state systems depth-bounded systems are well-structured, thus can be analyzed algorithmically. We give an interpretation of depth-bounded systems as graph-rewriting systems. This gives more flexibility and ease of use to apply depth-bounded systems to other type of systems like shared memory concurrency.\r\n\r\nFirst, we develop an adequate domain of limits for depth-bounded systems, a prerequisite for the effective representation of downward-closed sets. Downward-closed sets are needed by forward saturation-based algorithms to represent potentially infinite sets of states. Then, we present an abstract interpretation framework to compute the covering set of well-structured transition systems. Because, in general, the covering set is not computable, our abstraction over-approximates the actual covering set. Our abstraction captures the essence of acceleration based-algorithms while giving up enough precision to ensure convergence. We have implemented the analysis in the PICASSO tool and show that it is accurate in practice. Finally, we build some further analyses like termination using the covering set as starting point.","lang":"eng"}],"page":"134","oa":1,"related_material":{"record":[{"relation":"part_of_dissertation","id":"4361","status":"public"},{"id":"3251","status":"public","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","status":"public","id":"2847"}]},"month":"09","citation":{"mla":"Zufferey, Damien. <i>Analysis of Dynamic Message Passing Programs</i>. Institute of Science and Technology Austria, 2013, doi:<a href=\"https://doi.org/10.15479/at:ista:1405\">10.15479/at:ista:1405</a>.","ieee":"D. Zufferey, “Analysis of dynamic message passing programs,” Institute of Science and Technology Austria, 2013.","ama":"Zufferey D. Analysis of dynamic message passing programs. 2013. doi:<a href=\"https://doi.org/10.15479/at:ista:1405\">10.15479/at:ista:1405</a>","ista":"Zufferey D. 2013. Analysis of dynamic message passing programs. Institute of Science and Technology Austria.","chicago":"Zufferey, Damien. “Analysis of Dynamic Message Passing Programs.” Institute of Science and Technology Austria, 2013. <a href=\"https://doi.org/10.15479/at:ista:1405\">https://doi.org/10.15479/at:ista:1405</a>.","apa":"Zufferey, D. (2013). <i>Analysis of dynamic message passing programs</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:1405\">https://doi.org/10.15479/at:ista:1405</a>","short":"D. Zufferey, Analysis of Dynamic Message Passing Programs, Institute of Science and Technology Austria, 2013."},"type":"dissertation","publisher":"Institute of Science and Technology Austria","oa_version":"Published Version","corr_author":"1","date_updated":"2026-04-09T14:35:24Z","language":[{"iso":"eng"}]},{"date_updated":"2026-04-09T14:34:43Z","language":[{"iso":"eng"}],"publisher":"Institute of Science and Technology Austria","corr_author":"1","oa_version":"None","publication_status":"published","article_processing_charge":"No","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","department":[{"_id":"CaHe"}],"acknowledged_ssus":[{"_id":"Bio"},{"_id":"PreCl"}],"publication_identifier":{"issn":["2663-337X"]},"day":"01","supervisor":[{"id":"39427864-F248-11E8-B48F-1D18A9856A87","last_name":"Heisenberg","orcid":"0000-0002-0912-4566","first_name":"Carl-Philipp J","full_name":"Heisenberg, Carl-Philipp J"}],"status":"public","alternative_title":["ISTA Thesis"],"year":"2013","OA_place":"publisher","date_created":"2018-12-11T11:51:50Z","author":[{"last_name":"Campinho","id":"3AFBBC42-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8526-5416","first_name":"Pedro","full_name":"Campinho, Pedro"}],"title":"Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading","page":"123","month":"10","type":"dissertation","citation":{"mla":"Campinho, Pedro. <i>Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading</i>. Institute of Science and Technology Austria, 2013.","ieee":"P. Campinho, “Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading,” Institute of Science and Technology Austria, 2013.","short":"P. Campinho, Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading, Institute of Science and Technology Austria, 2013.","apa":"Campinho, P. (2013). <i>Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading</i>. Institute of Science and Technology Austria.","chicago":"Campinho, Pedro. “Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading.” Institute of Science and Technology Austria, 2013.","ista":"Campinho P. 2013. Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading. Institute of Science and Technology Austria.","ama":"Campinho P. Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading. 2013."},"date_published":"2013-10-01T00:00:00Z","publist_id":"5801","_id":"1406","abstract":[{"text":"Epithelial spreading is a critical part of various developmental and wound repair processes. Here we use zebrafish epiboly as a model system to study the cellular and molecular mechanisms underlying the spreading of epithelial sheets. During zebrafish epiboly the enveloping cell layer (EVL), a simple squamous epithelium, spreads over the embryo to eventually cover the entire yolk cell by the end of gastrulation. The EVL leading edge is anchored through tight junctions to the yolk syncytial layer (YSL), where directly adjacent to the EVL margin a contractile actomyosin ring is formed that is thought to drive EVL epiboly. The prevalent view in the field was that the contractile ring exerts a pulling force on the EVL margin, which pulls the EVL towards the vegetal pole. However, how this force is generated and how it affects EVL morphology still remains elusive. Moreover, the cellular mechanisms mediating the increase in EVL surface area, while maintaining tissue integrity and function are still unclear. Here we show that the YSL actomyosin ring pulls on the EVL margin by two distinct force-generating mechanisms. One mechanism is based on contraction of the ring around its circumference, as previously proposed. The second mechanism is based on actomyosin retrogade flows, generating force through resistance against the substrate. The latter can function at any epiboly stage even in situations where the contraction-based mechanism is unproductive. Additionally, we demonstrate that during epiboly the EVL is subjected to anisotropic tension, which guides the orientation of EVL cell division along the main axis (animal-vegetal) of tension. The influence of tension in cell division orientation involves cell elongation and requires myosin-2 activity for proper spindle alignment. Strikingly, we reveal that tension-oriented cell divisions release anisotropic tension within the EVL and that in the absence of such divisions, EVL cells undergo ectopic fusions. We conclude that forces applied to the EVL by the action of the YSL actomyosin ring generate a tension anisotropy in the EVL that orients cell divisions, which in turn limit tissue tension increase thereby facilitating tissue spreading.","lang":"eng"}],"degree_awarded":"PhD"},{"year":"2012","OA_place":"publisher","page":"65","author":[{"first_name":"Sooyun","full_name":"Kim, Sooyun","last_name":"Kim","id":"394AB1C8-F248-11E8-B48F-1D18A9856A87"}],"title":"Active properties of hippocampal CA3 pyramidal neuron dendrites","date_created":"2018-12-11T12:00:35Z","related_material":{"record":[{"relation":"part_of_dissertation","id":"3258","status":"public"}]},"month":"06","citation":{"ieee":"S. Kim, “Active properties of hippocampal CA3 pyramidal neuron dendrites,” Institute of Science and Technology Austria, 2012.","mla":"Kim, Sooyun. <i>Active Properties of Hippocampal CA3 Pyramidal Neuron Dendrites</i>. Institute of Science and Technology Austria, 2012.","apa":"Kim, S. (2012). <i>Active properties of hippocampal CA3 pyramidal neuron dendrites</i>. Institute of Science and Technology Austria.","short":"S. Kim, Active Properties of Hippocampal CA3 Pyramidal Neuron Dendrites, Institute of Science and Technology Austria, 2012.","chicago":"Kim, Sooyun. “Active Properties of Hippocampal CA3 Pyramidal Neuron Dendrites.” Institute of Science and Technology Austria, 2012.","ista":"Kim S. 2012. Active properties of hippocampal CA3 pyramidal neuron dendrites. Institute of Science and Technology Austria.","ama":"Kim S. Active properties of hippocampal CA3 pyramidal neuron dendrites. 2012."},"type":"dissertation","publist_id":"3755","date_published":"2012-06-01T00:00:00Z","_id":"2964","abstract":[{"lang":"eng","text":"CA3 pyramidal neurons are important for memory formation and pattern completion in the hippocampal network. These neurons receive multiple excitatory inputs from numerous sources. Therefore, the rules of spatiotemporal integration of multiple synaptic inputs and propagation of action potentials are important to understand how CA3 neurons contribute to higher brain functions at cellular level. By using confocally targeted patch-clamp recording techniques, we investigated the biophysical properties of rat CA3 pyramidal neuron dendrites. We found two distinct dendritic domains critical for action potential initiation and propagation: In the proximal domain, action potentials initiated in the axon backpropagate actively with large amplitude and fast time course. In the distal domain, Na+-channel mediated dendritic spikes are efficiently evoked by local dendritic depolarization or waveforms mimicking synaptic events. These findings can be explained by a high Na+-to-K+ conductance density ratio of CA3 pyramidal neuron dendrites. The results challenge the prevailing view that proximal mossy fiber inputs activate CA3 pyramidal neurons more efficiently than distal perforant inputs by showing that the distal synapses trigger a different form of activity represented by dendritic spikes. The high probability of dendritic spike initiation in the distal area may enhance the computational power of CA3 pyramidal neurons in the hippocampal network.  "}],"degree_awarded":"PhD","date_updated":"2026-06-18T18:41:53Z","language":[{"iso":"eng"}],"publisher":"Institute of Science and Technology Austria","corr_author":"1","oa_version":"None","publication_status":"published","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","article_processing_charge":"No","department":[{"_id":"PeJo"},{"_id":"GradSch"}],"day":"01","publication_identifier":{"issn":["2663-337X"]},"status":"public","supervisor":[{"first_name":"Peter M","full_name":"Jonas, Peter M","id":"353C1B58-F248-11E8-B48F-1D18A9856A87","last_name":"Jonas","orcid":"0000-0001-5001-4804"}],"alternative_title":["ISTA Thesis"]},{"publisher":"Institute of Science and Technology Austria","corr_author":"1","oa_version":"Published Version","language":[{"iso":"eng"}],"date_updated":"2026-04-09T14:36:24Z","OA_place":"publisher","publist_id":"3371","_id":"3275","abstract":[{"lang":"eng","text":"Chemokines organize immune cell trafficking by inducing either directed (tactic) or random (kinetic) migration and by activating integrins in order to support surface adhesion (haptic). Beyond that the same chemokines can establish clearly defined functional areas in secondary lymphoid organs. Until now it is unclear how chemokines can fulfill such diverse functions. One decisive prerequisite to explain these capacities is to know how chemokines are presented in tissue. In theory chemokines could occur either soluble or immobilized, and could be distributed either homogenously or as a concentration gradient. To dissect if and how the presenting mode of chemokines influences immune cells, I tested the response of dendritic cells (DCs) to differentially displayed chemokines. DCs are antigen presenting cells that reside in the periphery and migrate into draining lymph nodes (LNs) once exposed to inflammatory stimuli to activate naïve T cells. DCs are guided to and within the LN by the chemokine receptor CCR7, which has two ligands, the chemokines CCL19 and CCL21. Both CCR7 ligands are expressed by fibroblastic reticular cells in the LN, but differ in their ability to bind to heparan sulfate residues. CCL21 has a highly charged C-terminal extension, which mediates binding to anionic surfaces, whereas CCL19 is lacking such residues and likely distributes as a soluble molecule. This study shows that surface-bound CCL21 causes random, haptokinetic DC motility, which is confined to the chemokine coated area by insideout activation of β2 integrins that mediate cell binding to the surface. CCL19 on the other hand forms concentration gradients which trigger directional, chemotactic movement, but no surface adhesion. In addition DCs can actively manipulate this system by recruiting and activating serine proteases on their surfaces, which create - by proteolytically removing the adhesive C-terminus - a solubilized variant of CCL21 that functionally resembles CCL19. By generating a CCL21 concentration gradient DCs establish a positive feedback loop to recruit further DCs from the periphery to the CCL21 coated region. In addition DCs can sense chemotactic gradients as well as immobilized haptokinetic fields at the same time and integrate these signals. The result is chemotactically biased haptokinesis - directional migration confined to a chemokine coated track or area - which could explain the dynamic but spatially tightly controlled swarming leukocyte locomotion patterns that have been observed in lymphatic organs by intravital microscopists. The finding that DCs can approach soluble cues in a non-adhesive manner while they attach to surfaces coated with immobilized cues raises the question how these cells transmit intracellular forces to the environment, especially in the non-adherent migration mode. In order to migrate, cells have to generate and transmit force to the extracellular substrate. Force transmission is the prerequisite to procure an expansion of the leading edge and a forward motion of the whole cell body. In the current conceptions actin polymerization at the leading edge is coupled to extracellular ligands via the integrin family of transmembrane receptors, which allows the transmission of intracellular force. Against the paradigm of force transmission during migration, leukocytes, like DCs, are able to migrate in threedimensional environments without using integrin transmembrane receptors (Lämmermann et al., 2008). This reflects the biological function of leukocytes, as they can invade almost all tissues, whereby their migration has to be independent from the extracellular environment. How the cells can achieve this is unclear. For this study I examined DC migration in a defined threedimensional environment and highlighted actin-dynamics with the probe Lifeact-GFP. The result was that chemotactic DCs can switch between integrin-dependent and integrin- independent locomotion and can thereby adapt to the adhesive properties of their environment. If the cells are able to couple their actin cytoskeleton to the substrate, actin polymerization is entirely converted into protrusion. Without coupling the actin cortex undergoes slippage and retrograde actin flow can be observed. But retrograde actin flow can be completely compensated by higher actin polymerization rate keeping the migration velocity and the shape of the cells unaltered. Mesenchymal cells like fibroblast cannot balance the loss of adhesive interaction, cannot protrude into open space and, therefore, strictly depend on integrinmediated force coupling. This leukocyte specific phenomenon of “adaptive force transmission” endows these cells with the unique ability to transit and invade almost every type of tissue. "}],"degree_awarded":"PhD","oa":1,"page":"141","citation":{"short":"K. Schumann, The Role of Chemotactic Gradients in Dendritic Cell Migration, Institute of Science and Technology Austria, 2011.","apa":"Schumann, K. (2011). <i>The role of chemotactic gradients in dendritic cell migration</i>. Institute of Science and Technology Austria.","ama":"Schumann K. The role of chemotactic gradients in dendritic cell migration. 2011.","ista":"Schumann K. 2011. The role of chemotactic gradients in dendritic cell migration. Institute of Science and Technology Austria.","chicago":"Schumann, Kathrin. “The Role of Chemotactic Gradients in Dendritic Cell Migration.” Institute of Science and Technology Austria, 2011.","mla":"Schumann, Kathrin. <i>The Role of Chemotactic Gradients in Dendritic Cell Migration</i>. Institute of Science and Technology Austria, 2011.","ieee":"K. Schumann, “The role of chemotactic gradients in dendritic cell migration,” Institute of Science and Technology Austria, 2011."},"type":"dissertation","month":"03","file_date_updated":"2021-02-22T11:24:30Z","publication_identifier":{"issn":["2663-337X"]},"day":"01","status":"public","supervisor":[{"id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","last_name":"Sixt","orcid":"0000-0002-6620-9179","first_name":"Michael K","full_name":"Sixt, Michael K"}],"has_accepted_license":"1","alternative_title":["ISTA Thesis"],"publication_status":"published","article_processing_charge":"No","department":[{"_id":"MiSi"}],"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","ddc":["570","579"],"acknowledgement":"I would like to express my sincere gratitude to the following people who made with their continuous support and encouragement this thesis possible: First, I want to thank Prof. Dr. Michael Sixt for his excellent supervision and mentoring, especially for the nice, relaxed working atmosphere, a lot of brilliant ideas and the freedom to work in my own way.\r\n\r\nProf. Dr. Reinhard Fässler for his constant support of the Sixt lab and for providing excellent working conditions. \r\n\r\nProf. Dr. Sanjiv Luther and Prof. Dr. Tobias Bollenbach for agreeing to be member of my thesis committee and to evaluate my work.\r\n\r\nDr. Walther Göhring, Carmen Schmitz, the Recombinant Protein Production core facility and the animal care takers for providing the “infrastructure” for this thesis. \r\n\r\nProf. Dr. Daniel Legler, Markus Bruckner and Dr. Julien Polleux for very fruitful collaborations and discussions.\r\n\r\nMy labmates for their help, a lot of discussions and to make the Sixt lab to a convenient place to work : Karin Hirsch, Tim Lämmeramnn, Holger Pflicke, Jörg Renkawitz, Michele Weber and Alexander Eichner All members of the Department of Molecular Medicine for their help. Especially I want to thank Sarah Schmidt, Karin Hirsch and Raphael Ruppert for their friendship, nice chats and their uncensored point of view. ","year":"2011","date_published":"2011-03-01T00:00:00Z","pubrep_id":"11","author":[{"last_name":"Schumann","id":"F44D762E-4F9D-11E9-B64C-9EB26CEFFB5F","full_name":"Schumann, Kathrin","first_name":"Kathrin"}],"date_created":"2018-12-11T12:02:24Z","title":"The role of chemotactic gradients in dendritic cell migration","file":[{"file_size":4487708,"date_created":"2019-03-26T08:12:21Z","creator":"dernst","file_name":"2011_Thesis_Kathrin_Schumann.pdf","checksum":"e69eee6252660f0b694a2ea8923ddc72","content_type":"application/pdf","access_level":"closed","file_id":"6177","relation":"main_file","date_updated":"2020-07-14T12:46:06Z"},{"date_created":"2021-02-22T11:24:30Z","creator":"dernst","file_size":4313127,"access_level":"open_access","file_id":"9175","success":1,"content_type":"application/pdf","checksum":"71727d63f424b5b446f68f4b87ecadc0","relation":"main_file","date_updated":"2021-02-22T11:24:30Z","file_name":"2011_Thesis_Schumann_noS.pdf"}]},{"language":[{"iso":"eng"}],"date_updated":"2026-04-09T14:36:45Z","publisher":"Institute of Science and Technology Austria","corr_author":"1","oa_version":"None","publication_status":"published","article_processing_charge":"No","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","department":[{"_id":"CaHe"}],"publication_identifier":{"issn":["2663-337X"]},"day":"12","supervisor":[{"first_name":"Carl-Philipp J","full_name":"Heisenberg, Carl-Philipp J","id":"39427864-F248-11E8-B48F-1D18A9856A87","last_name":"Heisenberg","orcid":"0000-0002-0912-4566"}],"status":"public","alternative_title":["ISTA Thesis"],"year":"2011","OA_place":"publisher","title":"Mechanics of adhesion and de‐adhesion in zebrafish germ layer progenitors","date_created":"2018-12-11T12:02:23Z","author":[{"last_name":"Maître","id":"48F1E0D8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-3688-1474","first_name":"Jean-Léon","full_name":"Maître, Jean-Léon"}],"month":"12","citation":{"mla":"Maître, Jean-Léon. <i>Mechanics of Adhesion and De‐adhesion in Zebrafish Germ Layer Progenitors</i>. Institute of Science and Technology Austria, 2011.","ieee":"J.-L. Maître, “Mechanics of adhesion and de‐adhesion in zebrafish germ layer progenitors,” Institute of Science and Technology Austria, 2011.","ama":"Maître J-L. Mechanics of adhesion and de‐adhesion in zebrafish germ layer progenitors. 2011.","chicago":"Maître, Jean-Léon. “Mechanics of Adhesion and De‐adhesion in Zebrafish Germ Layer Progenitors.” Institute of Science and Technology Austria, 2011.","ista":"Maître J-L. 2011. Mechanics of adhesion and de‐adhesion in zebrafish germ layer progenitors. Institute of Science and Technology Austria.","apa":"Maître, J.-L. (2011). <i>Mechanics of adhesion and de‐adhesion in zebrafish germ layer progenitors</i>. Institute of Science and Technology Austria.","short":"J.-L. Maître, Mechanics of Adhesion and De‐adhesion in Zebrafish Germ Layer Progenitors, Institute of Science and Technology Austria, 2011."},"type":"dissertation","date_published":"2011-12-12T00:00:00Z","publist_id":"3373","_id":"3273","degree_awarded":"PhD"},{"oa_version":"None","corr_author":"1","publisher":"Institute of Science and Technology Austria","date_updated":"2026-04-09T14:37:07Z","language":[{"iso":"eng"}],"alternative_title":["ISTA Thesis"],"supervisor":[{"last_name":"Heisenberg","id":"39427864-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-0912-4566","first_name":"Carl-Philipp J","full_name":"Heisenberg, Carl-Philipp J"}],"status":"public","day":"01","publication_identifier":{"issn":["2663-337X"]},"article_processing_charge":"No","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","department":[{"_id":"CaHe"},{"_id":"GradSch"}],"publication_status":"published","OA_place":"publisher","year":"2010","degree_awarded":"PhD","_id":"3962","publist_id":"2165","date_published":"2010-07-01T00:00:00Z","type":"dissertation","month":"07","citation":{"chicago":"Pflicke, Holger. “  Dendritic Cell Migration across Basement Membranes in the Skin.” Institute of Science and Technology Austria, 2010.","ista":"Pflicke H. 2010.   Dendritic cell migration across basement membranes in the skin. Institute of Science and Technology Austria.","ama":"Pflicke H.   Dendritic cell migration across basement membranes in the skin. 2010.","apa":"Pflicke, H. (2010). <i>  Dendritic cell migration across basement membranes in the skin</i>. Institute of Science and Technology Austria.","short":"H. Pflicke,   Dendritic Cell Migration across Basement Membranes in the Skin, Institute of Science and Technology Austria, 2010.","ieee":"H. Pflicke, “  Dendritic cell migration across basement membranes in the skin,” Institute of Science and Technology Austria, 2010.","mla":"Pflicke, Holger. <i>  Dendritic Cell Migration across Basement Membranes in the Skin</i>. Institute of Science and Technology Austria, 2010."},"title":"Dendritic cell migration across basement membranes in the skin","author":[{"id":"CAA57A9A-5B61-11E9-B130-E0C1E1F2C83D","last_name":"Pflicke","full_name":"Pflicke, Holger","first_name":"Holger"}],"date_created":"2018-12-11T12:06:08Z"}]