| 1. |
- Ahrendt, Wolfgang, 1967, et al.
(författare)
-
The KeY System: Integrating Object-Oriented Design and Formal Methods
- 2002
-
Ingår i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Berlin, Heidelberg : Springer Berlin Heidelberg. - 1611-3349 .- 0302-9743. - 9783540433538 ; 2306, s. 327-330
-
Konferensbidrag (refereegranskat)abstract
- This paper gives a brief description of the KeY system, a tool written as part of the ongoing KeY project1, which is aimed at bridging the gap between (a) OO software engineering methods and tools and (b) deductive verification. The KeY system consists of a commercial CASE tool enhanced with functionality for formal specification and deductive verification.
|
|
| 2. |
- Chacholski, Wojciech, et al.
(författare)
-
The A-complexity of a space
- 2002
-
Ingår i: Journal of the London Mathematical Society. - 0024-6107 .- 1469-7750. ; 65, s. 204-222
-
Tidskriftsartikel (refereegranskat)abstract
- Suppose that A is a pointed CW-complex. The paper looks at how difficult it is to construct an A-cellular space B from copies of A by repeatedly taking homotopy colimits, this is determined by an ordinal number called the complexity of B. Studying the complexity leads to an iterative technique, based on resolutions, for constructing the A-cellular approximation CWA(X) of an arbitrary space X.
|
|
| 3. |
- Crispin, Xavier, et al.
(författare)
-
Conductivity, Morphology, Interfacial Chemistry, and Stability of Poly(3,4- ethylene dioxythiophene)–Poly(styrene sulfonate) : A Photoelectron Spectroscopy Study
- 2003
-
Ingår i: Journal of Polymer Science Part B. - : John Wiley & Sons. - 0887-6266 .- 1099-0488. ; 41:21, s. 2561-2583
-
Forskningsöversikt (refereegranskat)abstract
- X-ray photoelectron spectroscopy (XPS) has been used to characterize poly(3,4-ethylene dioxythiophene)-poly(styrene sulfonate) (PEDT/PSS), one of the most common electrically conducting organic polymers. A correlation has been established between the composition, morphology, and polymerization mechanism, on the one hand, and the electric conductivity of PEDT/PSS, on the other hand. XPS has been used to identify interfacial reactions occurring at the polymer-on-ITO and polymer-on-glass interfaces, as well as chemical changes within the polymer blend induced by electrical stress and exposure to ultraviolet light.
|
|
| 4. |
- de Jong, Michel P, et al.
(författare)
-
The electronic structure of n- and p-doped phenyl-capped 3,4-ethylenedioxythiophene trimer
- 2003
-
Ingår i: Journal of Chemical Physics. - : AIP Publishing. - 0021-9606 .- 1089-7690. ; 118:14, s. 6495-6502
-
Tidskriftsartikel (refereegranskat)abstract
- A study was conducted on the effects of chemical doping on the chemical and electronic structure of condensed molecular solid films of the ethylenedioxythiophene (EDOT) trimer using ultraviolet photoelectron spectroscopy (UPS) and x-ray photoelectron spectroscopy (XPS). Phenyl-capped EDOT oligomers were potential candidates for molecular electronics applications and serve as model molecules for PEDOT. By combining UPS, XPS, and NEXAFS, a clear picture of the doping induced changes in the electronic structure of phenyl-capped EDOT-trimer was obtained.
|
|
| 5. |
- Jönsson, Stina, et al.
(författare)
-
The effects of solvents on the morphology and sheet resistance in poly(3,4-ethylenedioxythiophene)–polystyrenesulfonic acid (PEDOT–PSS) films
- 2003
-
Ingår i: Synthetic metals. - 0379-6779 .- 1879-3290. ; 139:1, s. 1-10
-
Tidskriftsartikel (refereegranskat)abstract
- Films of poly(3,4-ethylenedioxythiophene)–polystyrenesulfonic acid (PEDOT–PSS), prepared by coating the aqueous PEDOT–PSS dispersion and by coating a mixture of the PEDOT–PSS dispersion and different solvents, have been studied using four-point probe conductivity measurements, atomic force microscopy and photoelectron spectroscopy. The electrical conductivity of thin films of the second type (further on called PEDOT–PSS–solvents) was increased by a factor of about 600 as compared to films of the first type (further on called PEDOT–PSS–pristine). Morphological and physical changes occur in the polymer film due to the presence of the solvent mixture, the most striking being that the ratio of PEDOT-to-PSS in the surface region of the films is increased by a factor of ∼2–3. This increase of PEDOT at the surface indicates that the thickness of the insulating PSS ‘shell’ that surrounds the conducting PEDOT–PSS grains is reduced. The (partial) reduction of the excess PSS layer that surrounds the conducting PEDOT–PSS grains is proposed to lead to an increased and improved connectivity between such grains in the film and hence a higher conductivity. When PEDOT–PSS–solvents receives a post-coating heat treatment, the increased PEDOT-to-PSS ratio at the surface is maintained or even slightly improved, as is the increase in electrical conductivity, even though spectroscopy show that the solvent molecules are removed. This suggests that screening or doping by the solvents throughout the film are not likely to be the key mechanisms for the improved conductivity and supports our proposed mechanism of improved conductivity through improved connectivity between the conducting grains.
|
|
| 6. |
- Osikowicz, Wojciech, et al.
(författare)
-
A joint theoretical and experimental study on the electronic properties of phenyl-capped 3,4-ethylenedioxythiophene oligomers
- 2003
-
Ingår i: Journal of Chemical Physics. - : AIP Publishing. - 0021-9606 .- 1089-7690. ; 119:19, s. 10415-10420
-
Tidskriftsartikel (refereegranskat)abstract
- The electronic structure of a series of phenyl-capped EDOT oligomers was studied using ultraviolet photoelectron spectroscopy, in combination with quantum-chemical methods. The bulk IP of the neutral PEDOT polymer was estimated to be 4.2 eV. The frontier band structue was predicted from the evolution of the spectral features in the studied series of oligomers.
|
|
