skip to main content
Idioma:
Refinado por: Base de dados/Biblioteca: Free E- Journals remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Industrial-Strength Verification of Solid State Interlocking Programs
Industrial-Strength Verification of Solid State Interlocking Programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Industrial-Strength Verification of Solid State Interlocking Programs

Iliasov, Alexei ; Taylor, Dominic ; Laibinis, Linas ; Romanovsky, Alexander

arXiv.org, 2022-01

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
2
Supporting and Controlling Complex Concurrency in Fault- Tolerant Distributed Systems
Supporting and Controlling Complex Concurrency in Fault- Tolerant Distributed Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Supporting and Controlling Complex Concurrency in Fault- Tolerant Distributed Systems

Xu, Jie ; Randell, Brian ; Romanovsky, Alexander ; Stroud, Robert J ; Zorzo, Avelino F

arXiv.org, 2021-11

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
3
Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B 2012)
Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B 2012)
Material Type:
Artigo 		Adicionar ao Meu Espaço

Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B 2012)

Ishikawa, Fuyuki ; Romanovsky, Alexander

arXiv.org, 2012-11

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
4
Automating Verification of Event-B Models
Automating Verification of Event-B Models
Material Type:
Artigo 		Adicionar ao Meu Espaço

Automating Verification of Event-B Models

Stankaitis, Paulius ; Iliasov, Alexei ; Adjepon-Yamoah, David ; Romanovsky, Alexander

arXiv.org, 2016-11

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
5
Recruiting from the network: discovering Twitter users who can help combat Zika epidemics
Recruiting from the network: discovering Twitter users who can help combat Zika epidemics
Material Type:
Artigo 		Adicionar ao Meu Espaço

Recruiting from the network: discovering Twitter users who can help combat Zika epidemics

Missier, Paolo ; McClean, Callum ; Carlton, Jonathan ; Cedrim, Diego ; Silva, Leonardo ; Garcia, Alessandro ; Plastino, Alexandre ; Romanovsky, Alexander

arXiv.org, 2017-03

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
6
The Tenth European Dependable Computer Conference
The Tenth European Dependable Computer Conference
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Tenth European Dependable Computer Conference

Romanovsky, Alexander ; Marc-Olivier Killijian

arXiv.org, 2014-05

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
7
Tracking Dengue Epidemics using Twitter Content Classification and Topic Modelling
Tracking Dengue Epidemics using Twitter Content Classification and Topic Modelling
Material Type:
Artigo 		Adicionar ao Meu Espaço

Tracking Dengue Epidemics using Twitter Content Classification and Topic Modelling

Missier, Paolo ; Romanovsky, Alexander ; Tudor Miu ; Pal, Atinder ; Daniilakis, Michael ; Garcia, Alessandro ; Cedrim, Diego ; Leonardo da Silva Sousa

arXiv.org, 2016-05

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
8
An Introduction to Software Engineering and Fault Tolerance
An Introduction to Software Engineering and Fault Tolerance
Material Type:
Artigo 		Adicionar ao Meu Espaço

An Introduction to Software Engineering and Fault Tolerance

Pelliccione, Patrizio ; Muccini, Henry ; Guelfi, Nicolas ; Romanovsky, Alexander

arXiv.org, 2010-11

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
9
Thermoregulatory correlates of nausea in rats and musk shrews
Thermoregulatory correlates of nausea in rats and musk shrews
Material Type:
Artigo 		Adicionar ao Meu Espaço

Thermoregulatory correlates of nausea in rats and musk shrews

Ngampramuan, Sukonthar ; Cerri, Matteo ; Del Vecchio, Flavia ; Corrigan, Joshua J ; Kamphee, Amornrat ; Dragic, Alexander S ; Rudd, John A ; Romanovsky, Andrej A ; Nalivaiko, Eugene

Oncotarget, 2014-03, Vol.5 (6), p.1565-1575

United States: Impact Journals LLC

Texto completo disponível

Citações Citado por
10
Quasi-one-dimensional charge density wave in electromagnetic field arbitrarily oriented to conducting chains: generalized Frohlich relations
Quasi-one-dimensional charge density wave in electromagnetic field arbitrarily oriented to conducting chains: generalized Frohlich relations
Material Type:
Artigo 		Adicionar ao Meu Espaço

Quasi-one-dimensional charge density wave in electromagnetic field arbitrarily oriented to conducting chains: generalized Frohlich relations

Rozhavsky, Alexander S ; Pershin, Yurij V ; Romanovsky, Igor A

arXiv.org, 1998-12

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.