Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
Almeida, José Bacelar (autor)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Lisa tingimus
Liitotsing
filter
Tühista
×
Leitud autorid
Almeida, José Bacelar
autor
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
1
Vaata veel..
(3/67)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus
Leakage-free probabilistic Jasmin programs
Almeida, José Bacelar
;
Firsov, Denis
;
Oliveira, Tiago
;
Unruh, Dominique
CPP '25 : Proceedings of 14th ACM SIGPLAN International Conference on Certified Programs and Proofs
2025
/
p. 3-16
https://doi.org/10.1145/3703595.3705871
Article at Scopus
Article at WOS
artikkel kogumikus
Kirjeid leitud 1, kuvan
1 - 1
autor
63
1.
Almeida, José Bacelar
2.
Almeida, Bilena L.B.
3.
Almeida, Fausto
4.
Almeida, Felipe
5.
Almeida, Jorge Sánchez
6.
Almeida, Rui M.
7.
Almeida-da-Silva, Cassio Luiz Coutinho
8.
Costa de Almeida, Antonio Felipe
9.
Diz de Almeida, Joyce S. F.
10.
Antonino-Daviu, Jose Alfonso
11.
Ascencio-Ibañez, Jose T.
12.
Azambuja, Jose Rodrigo
13.
Bartolome, Jose F.
14.
Bolanos, Jose
15.
Campos Matos, Jose
16.
Castillo Montoya, Jose Carlos
17.
Castro, Jose Manuel
18.
Chaves-Avila, Jose Pablo
19.
de Oliveira Santos, Jose Victor
20.
Dominguez-Garcia, Jose Luis
21.
Durand-Richard, Marie-Jose
22.
Espirito Santo, Jose
23.
Espírito Santo, José
24.
Fernandez, Jose F.
25.
Fernandez, José F.
26.
Fernandez, Jose Francisco
27.
Flich, Jose
28.
Gaillard, Marie José
29.
Gaillard, Marie-Jose
30.
Gaillard, Marie-José
31.
Garcia, Jose E.
32.
García, Jose E.
33.
Granja, Jose
34.
Hernandez, Jose G.
35.
Herrero, Jose
36.
Jimenez, Jose L.
37.
Leon, Jose I.
38.
Matos, José C.
39.
Matos, Jose Campos E.
40.
Merino, Jose Manuel
41.
Molina, José Luis
42.
Montero, Jose
43.
Montero, José
44.
Oliveira Filho, José Williams Gomes de
45.
Oliviera-Lima, Jose A.
46.
Pedreno-Manresa, Jose-Juan
47.
Peiro, Jose M.
48.
Perat Benavides, Jose I.
49.
Porteiro, Jose L.F.
50.
Prieto, Jose Emilio
51.
Ramos, Jose
52.
Regis, Paulo Jose
53.
Rodriguez, Jose
54.
Rueda, Jose Luis
55.
San Martin, Jose
56.
Sanchez-Alcazar, Jose
57.
Santo, Jose Espırito
58.
Santo, José Espírito
59.
Santos, Jose Maria
60.
Zagal, José H.
61.
Valentin, Jose
62.
Valverde-Albacete, Francisco José
63.
Villora, Jose Vicente Frances
tema kohta
3
1.
Almeida, Felipe
2.
Costa de Almeida, Antonio Felipe
3.
Quadrado, Jose Carlos
CV
1
1.
Costa De Almeida, Antonio Felipe
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT