skip to main content
Lingue:
Filtrati per: Collezione: MEDLINE/PubMed (NLM) rimuovi
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints

Sinn, Moritz ; Zuleger, Florian ; Veith, Helmut

Journal of automated reasoning, 2017, Vol.59(1), pp.3-45 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
2
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Parameterized model checking of rendezvous systems

Aminof, Benjamin ; Kotek, Tomer ; Rubin, Sasha ; Spegni, Francesco ; Veith, Helmut

Distributed computing, 2018, Vol.31(3), pp.187-222 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
3
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Evaluating the solid electrolyte interphase formed on silicon electrodes: A comparison of ex situ X-ray photoelectron spectroscopy and in situ neutron reflectometry

Doucet, Mathieu ; Browning, Jim ; Baldwin, J. K ; Winiarz, Jeffrey ; Kaiser, Helmut ; Taub, H ; Veith, Gabriel M ; Oak Ridge National Lab. (Ornl), Oak Ridge, Tn (United States). Spallation Neutron Source (Sns) (Corporate Author)

Physical Chemistry Chemical Physics. PCCP (Print), 15 April 2016, Vol.18(20) [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
4
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Immunolocalisation of PrP Sc in scrapie-infected N2a mouse neuroblastoma cells by light and electron microscopy

Veith, Nathalie M ; Plattner, Helmut ; Stuermer, Claudia A.O ; Schulz-Schaeffer, Walter J ; Bürkle, Alexander

European Journal of Cell Biology, 2009, Vol.88(1), pp.45-63 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Nuove Ricerche Suggerite

Ignora la mia strategia e cerca su tutto

di questo autore:

  1. Veith, Helmut
  2. Veith, H.
  3. Browning, J F
  4. Schulz-Schaeffer, Walter J
  5. Baldwin, J K S

Ricerca in corso nelle risorse remote ...