Advanced Search

Refine my results

Document type

Institution

Specific Collection

Language

Author

Domain

Keyword

Sorted by: Author
233 results 1 2 3 4 5 .. 24
Postprint
Consortium of Swiss Academic Libraries

Automated GUI performance testing

Adamoli, Andrea ; Zaparanuks, Dmitrijs ; Jovic, Milan ; Hauswirth, Matthias

In: Software Quality Journal, 2011, vol. 19, no. 4, p. 801-839

Postprint
Consortium of Swiss Academic Libraries

Decision Procedures for Flat Array Properties

Alberti, Francesco ; Ghilardi, Silvio ; Sharygina, Natasha

In: Journal of Automated Reasoning, 2015, vol. 54, no. 4, p. 327-352

Postprint
Consortium of Swiss Academic Libraries

An extension of lazy abstraction with interpolation for programs with arrays

Alberti, Francesco ; Bruttomesso, Roberto ; Ghilardi, Silvio ; Ranise, Silvio ; Sharygina, Natasha

In: Formal Methods in System Design, 2014, vol. 45, no. 1, p. 63-109

Postprint
Consortium of Swiss Academic Libraries

On Partially Ordered Real Involutory Algebras

Albeverio, S. ; Ayupov, Sh ; Dadakhodjayev, R.

In: Acta Applicandae Mathematica, 2006, vol. 94, no. 3, p. 195-214

Postprint
Consortium of Swiss Academic Libraries

Scattering theory for Schrödinger operators with Bessel-type potentials

Albeverio, S. ; Hryniv, R. ; Mykytyuk, Ya

In: Journal für die reine und angewandte Mathematik (Crelles Journal), 2012, vol. 2012, no. 666, p. 83-113

Postprint
Consortium of Swiss Academic Libraries

Spectral Properties of Image Measures Under the Infinite Conflict Interaction

Albeverio, Sergio ; Koshmanenko, Volodymyr ; Pratsiovytyi, Mykola ; Torbin, Grygoriy

In: Positivity, 2006, vol. 10, no. 1, p. 39-49

Postprint
Consortium of Swiss Academic Libraries

A Hierarchical Model of Quantum Anharmonic Oscillators: Critical Point Convergence

Albeverio, Sergio ; Kondratiev, Yuri ; Kozak, Agnieszka ; Kozitsky, Yuri

In: Communications in Mathematical Physics, 2004, vol. 251, no. 1, p. 1-25

Postprint
Consortium of Swiss Academic Libraries

Small Mass Implies Uniqueness of Gibbs States of a Quantum Crystal

Albeverio, Sergio ; Kondratiev, Yuri ; Kozitsky, Yuri ; Röckner, Michael

In: Communications in Mathematical Physics, 2003, vol. 241, no. 1, p. 69-90

Postprint
Consortium of Swiss Academic Libraries

Subordination of symmetric quasi -regular Dirichlet forms

Albeverio, Sergio ; Rüdiger, Barbara

In: Random Operators and Stochastic Equations, 2005, vol. 13, no. 1, p. 17-38

Postprint
Consortium of Swiss Academic Libraries

A Remark on different lattice approximations and continuum limits for -fields

Albeverio, Sergio ; Liang, Song

In: Random Operators and Stochastic Equations, 2004, vol. 12, no. 4, p. 313-318

233 results 1 2 3 4 5 .. 24