Result 1 to 14 of 14 total
Non-disclosure for distributed mobile code. (English)
Math. Struct. Comput. Sci. 21, No. 6, 1111-1181 (2011).
1
On declassification and the non-disclosure policy. (English)
J. Comput. Secur. 17, No. 5, 549-597 (2009).
2
Flow policy awareness for distributed mobile code. (English)
Bravetti, Mario (ed.) et al., CONCUR 2009 ‒ concurrency theory. 20th international conference, CONCUR 2009, Bologna, Italy, September 1‒4, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04080-1/pbk). Lecture Notes in Computer Science 5710, 53-68 (2009).
3
Mapping HIV-1 subtype C gp120epitopes using a bioinformatic approach. (English)
Guimarães, Katia S. (ed.) et al., Advances in bioinformatics and computational biology. 4th Brazilian symposium on bioinformatics, BSB 2009, Porto Alegre, Brazil, July 29‒31, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03222-6/pbk). Lecture Notes in Computer Science 5676. Lecture Notes in Bioinformatics, 156-159 (2009).
4
Flow policy awareness for distributed mobile code (English)
CONCUR, 53-68 (2009).
5
Mapping HIV-1 subtype C gp120epitopes using a bioinformatic approach (English)
BSB, 156-159 (2009).
6
io-port 70683791 Edral, Ana;
Matos, Ana Sofia;
Soares, Beatriz;
Leite, Carlos;
Almeida, Joana;
Girão, João;
Nunes, João;
Pereira, Maria Isabel;
Lobato, Miguel;
Silva, Mõnica;
Boaventura, Rita;
Faria, Sofia;
Correia, Ricardo João Cruz
Connecting hospitals and health centres could benefit most of Porto’s children population - current trends in paedriatic patients’ mobility between institutions requires implementation of electronic patient records (English)
HEALTHINF (2), 305-310 (2008).
7
Typing noninterference for reactive programs. (English)
J. Log. Algebr. Program. 72, No. 2, 124-156 (2007).
8
Non-disclosure for distributed mobile code. (English)
Ramanujam, R. (ed.) et al., FSTTCS 2005: Foundations of software technology and theoretical computer science. 25th international conference, Hyderabad, India, December 15‒18, 2005. Proceedings. Berlin: Springer (ISBN 3-540-30495-9/pbk). Lecture Notes in Computer Science 3821, 177-188 (2005).
9
On declassification and the non-disclosure policy (English)
CSFW, 226-240 (2005).
10
Bioinformatics tools for HIV-1 identification in southern Brazilian states (English)
BSB, 234-237 (2005).
11
Non-disclosure for distributed mobile code (English)
FSTTCS, 177-188 (2005).
12
Lexically scoped distribution: What you see is what you get. (English)
Electron. Notes Theor. Comput. Sci. 85, No. 1 (2003).
13
The least squares problem and orthogonal polynomials. (English)
Brezinski, Claude (ed.) et al., Orthogonal polynomials and their applications. Proceedings of the third international symposium held in Erice, Italy, June 1-8, 1990. Basel: J. C. Baltzer, IMACS Ann. Comput. Appl. Math. 9, 217-222 (1991).
14
Result 1 to 14 of 14 total