المؤلفون: Wright, G. S., Wright, David, Goodson, G. B., Rieke, G. H., Aitink-Kroes, Gabby, Amiaux, J., Aricha-Yanguas, Ana, Azzolini, Ruyman, Banks, Kimberly, Barrado-Navascues, D., Belenguer-Davila, T., Bloemmart, J. A. D. L., Bouchet, Patrice, Brandl, B. R., Colina, L., Detre, Ors, Diaz-Catala, Eva, Eccleston, Paul, Friedman, Scott D., Garcia-Marin, Macarena, Guedel, Manuel, Glasse, Alistair, Glauser, Adrian M., Greene, T. P., Groezinger, Uli, Grundy, Tim, Hastings, Peter, Henning, Th., Hofferbert, Ralph, Hunter, Faye, Jessen, N. C., Justtanont, K., Karnik, Avinash R., Khorrami, Mori A., Krause, Oliver, Labiano, Alvaro, Lagage, P. -O., Langer, Ulrich, Lemke, Dietrich, Lim, Tanya, Lorenzo-Alvarez, Jose, Mazy, Emmanuel, McGowan, Norman, Meixner, M. E., Morris, Nigel, Morrison, Jane E., Mueller, Friedrich, Norgaard-Nielson, H. -U., Olofsson, Goeran, O'Sullivan, Brian, Pel, J. -W., Penanen, Konstantin, Petach, M. B., Pye, J. P., Ray, T. P., Renotte, Etienne, Renouf, Ian, Ressler, M. E., Samara-Ratna, Piyal, Scheithauer, Silvia, Schneider, Analyn, Shaughnessy, Bryan, Stevenson, Tim, Sukhatme, Kalyani, Swinyard, Bruce, Sykes, Jon, Thatcher, John, Tikkanen, Tuomo, van Dishoeck, E. F., Waelkens, C., Walker, Helen, Wells, Martyn, Zhender, Alex

المصدر: PASP, 127, 595, 2015

مصطلحات موضوعية: Astrophysics - Instrumentation and Methods for Astrophysics

URL الوصول: http://arxiv.org/abs/1508.02333

المؤلفون: Haggblade, S., Djurfeldt, A., Nyirenda, D., Lodin, J., Brimer, L., Chiona, M., Chitundu, M., Chiwona-Karltun, L., Cuambe, C., Dolislager, M., Donovan, C., Droppelmann, K., Jirstrom, M., Kambewa, E., Kambewa, P., Mahungu, N.M., Mkumbira, J., Mudema, J., Nielson, H., Nyembe, M., Salegua, V., Tomo, A., Weber, M.

المصدر: Journal of Agribusiness in Developing and Emerging Economies

مصطلحات موضوعية: malawi, mozambique, plants, food crops, value chain, cassava, commercialization, food security

وصف الملف: 4-40

Relation: Haggblade, S., Djurfeldt, A., Nyirenda, D., Lodin, J., Brimer, L., Chiona, M., . & Kambewa, P. (2012). Cassava commercialization in Southeastern Africa. Journal of Agribusiness in Developing and Emerging Economies, 2(1), 4-40.; https://hdl.handle.net/10568/77443; https://doi.org/10.1108/20440831211219219

الاتاحة: https://hdl.handle.net/10568/77443
https://doi.org/10.1108/20440831211219219

المؤلفون: Bodei, C., Degano, P., Nielson, F., Nielson, H. Riis

المصدر: Lecture Notes in Computer Science ; Parallel Computing Technologies ; page 27-41 ; ISSN 0302-9743 ; ISBN 9783540425229 9783540447436

الاتاحة: https://doi.org/10.1007/3-540-44743-1_3
http://link.springer.com/content/pdf/10.1007/3-540-44743-1_3

المؤلفون: Escabi, Y, San Miguel, L, Judd, T, Hertza, J, Nicholson, J, Schiff, W, Bell, C, Estes, B, Millikin, C, Shelton, P, Marotta, P, Wingler, I, Barth, J, Parmenter, B, Andrews, G, Riordan, P, Lipinski, D, Sawyer, J, Brewer, V, Kirk, J, Green, C, Kirkwood, M, Brooks, B, Fay, T, Barlow, K, Chelune, G, Duff, K, Wang, A, Franchow, E, Card, S, Zamrini, E, Foster, N, Green, D, Polikar, R, Clark, C, Kounios, J, Malek-Ahmadi, M, Kataria, R, Belden, C, Connor, D, Pearson, C, Jacobson, S, Yaari, R, Singh, U, Sabbagh, M, Manning, K, Arnold, S, Moelter, S, Davatzikos, C, Moberg, P, Singer, R, Seelye, A, Smith, A, Schmitter-Edgecombe, M, Viamonte, S, Murman, D, West, S, Fonseca, F, McCue, R, Golden, C, Cox, D, Crowell, T, Fazeli, P, Vance, D, Ross, L, Ackerman, M, Hill, B, Tremont, G, Davis, J, Westervelt, H, Alosco, M, O'Connor, K, Ahearn, D, Pella, R, Jain, G, Noggle, C, Sohi, J, Jeetwani, A, Thompson, J, Barisa, M, Jain, S, Vanderslice-Barr, J, Gillen, R, Zimmerman, E, Holdnack, J, Creamer, S, Rice, J, Paltin, I, Dougherty, Ma, Walsh, K, Rosenbaum, K, Copenheaver, D, Zand, D, Kardel, P, Acosta, M, Packer, R, Trammell, B, Mazur-Mosiewicz, A, Dean, R, Barber, B, Mucci, G, Buchbinder, D, Chang, R, Wang, R, Chakravarti, P, Kibby, M, Hynd, G, Dougherty, M, Jones, K, Armstrong, C, Holcomb, M, Puente, A, Whigham, K, Rodriguez, M, Kelley, E, Poole, J, Larco, C, May, N, Nemeth, D, Olivier, T, Whittington, L, Hamilton, J, Steger, A, McDonald, K, Jeffay, E, Gammada, E, Zakzanis, K, Ramanathan, D, Wardecker, B, Slocomb, J, Hillary, F, Rohling, M, Demakis, G, Larrabee, G, Binder, L, Ploetz, D, Schatz, P, Stolberg, P, Thayer, N, Mayfield, J, Jones, W, Allen, D, Storzbach, D, Demadura, T, Tun, S, Sutton, G, Ringdahl, E, Thaler, N, Barney, S, Pinegar, J, Terranova, J, Kazakov, D, McMurray, J, Villemure, R, Nolin, P, Le Sage, N, Yeung, E, Yi, A, Small, S, Macciocchi, S, Seel, R, Rabinowitz, A, Arnett, P, Barwick, F, Bailey, T, Brown, M, Whiteside, D, Waters, D, Grzybkowska, A, Wyczesany, M, Katz, L, Brown, F, Roth, R, McNeil, K, Vroman, L, Semrud-Clikeman, T, Terrie, Seydel, K, Holster, J, Corsun-Ascher, C, Bolanos, J, Bergman, B, Patel, F, Frisch, D, Iverson, G, Lowry, N, Dennison, A, Caorsun-Ascher, C, Mackelprang, J, Karle, J, Najmabadi, S, Valley-Gray, S, Cash, R, Gonzalez, E, Metoyer, K, Natta, L, Gomez, R, Trettin, L, Tennakoon, L, Schatzberg, A, Keller, J, Sherer, C, Wall, J, Ramos, C, Patterson, C, Shaneyfelt, K, DenBoer, J, Hall, S, Gunner, J, Miele, A, Lynch, J, McCaffrey, R, Lo, T, Cottingham, M, Aretsen, T, Boone, K, Goldberg, H, Benigno, A, Leigh, K, Drexler, M, Weiss, E, Lankey, M, Womble, M, Yeung, S, Silverberg, N, Amirthavasagam, S, Constantinou, M, Lee, S, Klaver, J, Stern, S, Morris, M, Morris, R, Chan, R, Landstrom, M, Dodzik, P, Boneff, T, Williams, T, Robbins, J, Martin, P, Prinzi, L, Brzinski, B, Frish, D, Rosen, S, Martinez, A, Exalona, A, Wicker, N, Broshek, D, Kao, G, Quigg, M, Cohen, M, Riccio, C, Olson, K, Sharma, V, Vasserman, M, Tourgeman, I, Stack, M, Demsky, Y, Horwitz, J, McCaffey, R, Ojeda, C, Kadushin, F, Lazarus, G, Green, J, Parikh, M, Graham, L, Hynan, L, Grosch, M, Weiner, M, Cullum, C, Bure-Reyes, A, Stewart, J, Zhang, J, Bures-Reye, A, Finlay, L, Arentsen, T, Moriarti, T, Aragon, P, Hardie, R, Mason, J, Moore, R, Mausbach, B, Viglione, D, Patterson, T, Morrow, J, Restrepo, L, Pearlson, J, Scarisbrick, D, Switalska, J, Torres, I, DeFreitas, C, DeFreitas, V, Bond, D, Yatham, L, Amirathavasagam, S, Bayless, J, McCormick, L, Long, J, Brumm, M, Lewis, J, Bharadia, V, Walker, L, Freedman, M, Atkins, H, Jackson, A, Perna, R, Cooper, D, Lau, D, Lyons, H, Culotta, V, Griffith, K, Coiro, M, Papadakis, A, Weden, S, Sestito, N, Brennan, L, Benjamin, T, Ciaudelli, B, Fanning, M, Giovannetti, T, Chute, D, Vathhauer, K, Steh, B, Osuji, J, Katz, D, Strang, J, Strauss, A, Bienia, K, Hollingsworth, D, Ensley, M, Atkins, J, Grigorovich, A, Fish, J, Leach, L, Gomez, M, Davis, A, Roberds, E, Lutz, J, Byerley, A, Davis, M, Sutton, S, Moses, J, Doan, B, Hanna, M, Adam, G, Wile, A, Butler, M, Self, B, Heaton, K, Brininger, T, Edwards, M, Johnson, K, O'Bryan, S, Williams, J, Joes, K, Frazier, D, Giesbrecht, C, Nielson, H, Barone, C, Thornton, A, Vila-Rodriguez, F, Paquet, F, Barr, A, Vertinsky, T, Lang, D, Honer, W, Hart, J, Lavach, J, Hietpas-Wilson, T, McCoy, K, VanBuren, K, Hilsabeck, R, James, S, Robillard, R, Holder, C, Long, M, Sandhu, K, Padua, M, Roberg, B, Hancock, L, Jacobson, J, Tyrer, J, Lynch, S, Bruce, J, Sordahl, J, Sousa, J, Jerram, M, Wiebe-Moore, D, Susmaras, T, Gansler, D, Vertinski, M, Smith, L, Buscher, L, Jared, B, Choi, W, Lai, S, Lau, E, Li, A, Covassin, T, Elbin, R, Kontos, A, Larson, E, Hubley, A, Patwardhan, S, Fitzgerald, K, Meyers, C, Wefel, J, Gray, M, Utley, J, Lew, H, Buscemi, J, Lombardo, T, Brown, S, Tussey, C, Barrow, M, Marcopulos, B, Kingma, J, Heinly, M, Fazio, R, Griswold, S, Denney, R, Corney, P, Crossley, M, O'Bryant, S, Hobson, V, Hall, J, Barber, R, Zhang, S, Johnson, L, Diaz-Arrastia, R, Cullum, M, Lacritz, L, Lena, P, Ruchinskas, R, Fischer, A, Thornton, W, Rossetti, H, Bernardo, K, Zec, R, Kohlrus, S, Fritz, S, Robbs, R, Ala, T, Cummings, T, Webbe, F, Srinivasan, V, Gavett, B, Kowall, N, Qiu, W, Jefferson, A, Green, R, Stern, R, Su, T, Correia, S, Gong, G, Spallholz, J, Boylan, M, Hargrave, K, Broennimann, A, Wisniewski, A, Austin, B, Bens, M, Carroll, C, Knee, K, Mittenberg, W, Zimmerman, A, Anderson, C, Blackwell, E, Douglas, K, Gassermar, M, Kranzler, H, Chan, G, Gelenter, J, Arias, A, Farrer, L, Giummarra, J, Bowden, S, Cook, M, Murphy, M, Peterson, S, Mauseth, T, Langill, M, Roberts, R, Appel-Cresswell, S, Stoessl, A, Macleod, L, Partridge, R, Webster, B, Heinrichs, R, Baade, L, Schmitt, A, Werry, A, Hu, S, Stewart, R, Livingston, R, Deitrick, S, Doyle, K, Smernoff, E, Schoenberg, M, Rinehardt, E, Mattingly, M, Borzog, A, Rodgers-Neame, N, Vale, F, Frontera, A, Benbadis, S, Ukueberuwa, D, Vargas, G, Viner, K, Lee, G, Berrigan, L, Ress, L, Cheng, A, Freedma, M, Hellings, J, Brown, J, Woods, S, Weber, E, Cameron, M, Dawson, M, Grant, I, The HNRC Group, Hutton, J, Vidal, O, Mireles, G, Anderson, B, Simek, A, Vaughn, C, Wahlberg, A, Yoon, H, Thorgusen, S, Suchy, Y, Rau, H, Williams, P, Yoon, V, Whitman, L, Bender, H, Granader, Y, Freshman, A, MacAllister, W, Noll, K, Simpson, C, Stang, B, Rogers, E, Saleh, M, Che, A, Tayim, F, Lechuga, D, Cross, C, Salinas, C, Reynolds, C, Badde, L, Antoniello, D, McGinley, J, Gomes, W, Masur, D, Banville, F, Henry, M, Lalonde, S, Dery, M, Cloutier, J, Sokol, D, Lowery, K, Hole, M, Helmus, A, Teat, R, DelMastro, C, Paquette, B, Paterson, T, O'Rourke, N, Randolph, J, Suffiield, J, Crockett, D, Spreen, O, Busse, M, Wald, D, Breisch, A, Fieldstone, S, Vannorsda, T, Lassen-Greene, C, Gordon, B, Schretlen, D, Launeanu, M, Maruyama, R, Cuesta, G, Takahashi, T, Shinoda, H, Gregg, N, Cheung, S, Mazur, A, Villar, R, Ager, D, Ellicon, B, Als, L, Nadel, S, Cooper, M, Pierce, C, Hau, S, Vezir, S, Picouto, M, Sahakian, B, Garralda, E, Semrud-Clikeman, M, Goldenring, J, Bledsoe, J, Crow, S, Paquett, B, Albano, J, Elias, J, Schultheis, L, Weisser, V, Ang, J, Longman, R, Axelrod, B, Williams, R, Gupta, A, Ferrari, M, Kiewel, N, Hakun, J, Ravizza, S, Berger, K, Phillips, F, Anderson, J, Horton, A, Huckans, M, Vandenbark, A, Loftis, J, Lazarus, J, Olcese, R, Juncos, J, McCaskell, D, Allen, E, Shubeck, L, Hamilton, D, Novack, G, Sherman, S, Livingson, R, Galusha, J, Hua, S, Rogers-Neame, N, Norman, M, Houshyarnejad, A, Filoteo, W, Corey-Bloom, J, Pachet, A, Raymond, M, Claunch, J, Uysal, S, Mazzeffi, M, Lin, H, Reich, D, August-Fedio, A, Sexton, Ja, Thomas, T, Fedio, P, Austin, A, Yamout, K, Marotta, J, Boatwright, B, Blake, T, Anton, H, Bradley, E, Lockwood, C, Hull, A, Greenberg, L, Hutson, L, Belsher, B, Sullivan, C, La Point, S, Harrison, A, Suhr, J, Heilbronner, R, Lange, R, Brubacher, J, Waljas, M, Hakulinen, U, Dastidar, P, Hartikainen, K, Soimakallio, S, Ohman, J, Lee-Wilk, T, Ryan, P, Kurtz, S, Dux, M, Dischinger, P, Auman, K, Murdock, K, Kane, R, MacGregor, A, Watt, D, Marceaux, J, Dilks, L, Carroll, A, Ashworth, B, Dilks, S, Thrasher, A, Carbonaro, S, Blancett, S, Finton, M, Drane, D, Umuhoza, D, Roebuck-Spencer, T, Vincent, A, Schlegel, R, Gilliland, K, Lazarus, T, Kraybill, M, Eastvold, A, Funes, C, Allen, R, Renee, A, Holland, A, Erdodi, L, Catoe, A, Lajiness-O'Neill, R, Hardin, J, Rutledge, J, Carmona, J, Harrison, D, Jurado, M, Monroy, M, Eddinger, K, Serrano, M, Rosselli, M, Vannorsdall, T, Sung, K, Stone, M, Bagley, A, McHugh, T, Hanks, R, Denning, J, Gervais, R, Sellbom, M, Wygant, D, Klonoff, P, Carone, D, O'Connor Pennuto, T, Kluck, A, Ball, J, Shahani, L, Thomspon, J, Bowles, A, Greiffenstein, M

مصطلحات موضوعية: Abstracts

وصف الملف: text/html

Relation: http://acn.oxfordjournals.org/cgi/content/short/25/6/475; http://dx.doi.org/10.1093/arclin/acq056

الاتاحة: http://acn.oxfordjournals.org/cgi/content/short/25/6/475
https://doi.org/10.1093/arclin/acq056

المؤلفون: Bodei, C., Degano, P., Nielson, F., Riis Nielson, H.

المصدر: Future Generation Computer Systems ; volume 18, issue 6, page 747-756 ; ISSN 0167-739X

الاتاحة: https://doi.org/10.1016/s0167-739x(02)00047-x
https://api.elsevier.com/content/article/PII:S0167739X0200047X?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S0167739X0200047X?httpAccept=text/plain

المؤلفون: Yüksel, E, Nielson, H, Nielson, F, Fruth, M, Kwiatkowska, M

Relation: https://ora.ox.ac.uk/objects/uuid:bee8d57d-8e60-4c2c-9132-b958e31c7370

الاتاحة: https://ora.ox.ac.uk/objects/uuid:bee8d57d-8e60-4c2c-9132-b958e31c7370

المؤلفون: Springman, S. A., Nielson, H. R., Meyer, T. L., Funston, R. N.

المصدر: Journal of Animal Science ; volume 95, issue 12, page 5320-5326 ; ISSN 0021-8812 1525-3163

الاتاحة: http://dx.doi.org/10.2527/jas2017.1987
http://academic.oup.com/jas/article-pdf/95/12/5320/27120568/5320.pdf

المؤلفون: BODEI, CHIARA, BUCHHOLTZ, M., CURTI, M., DEGANO, PIERPAOLO, NIELSON, F., RIIS NIELSON, H., PRIAMI, Corrado

المساهمون: V. Malynshkin, Bodei, Chiara, Buchholtz, M., Curti, M., Degano, Pierpaolo, Nielson, F., RIIS NIELSON, H., Priami, Corrado

مصطلحات موضوعية: Performance, Security Protocols

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-540-28126-9; info:eu-repo/semantics/altIdentifier/isbn/978-3-540-31826-2; info:eu-repo/semantics/altIdentifier/wos/WOS:000232251100001; ispartofbook:Parallel Computing Technologies 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings; 8th International Conference on Parallel Computing Technologies, PaCT 2005; volume:3606; firstpage:1; lastpage:15; numberofpages:16; serie:LECTURE NOTES IN COMPUTER SCIENCE; alleditors:V. Malynshkin; http://hdl.handle.net/11568/97714; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-26844564672; http://link.springer.com/chapter/10.1007%2F11535294_1

الاتاحة: http://hdl.handle.net/11568/97714
https://doi.org/10.1007/11535294_1
http://link.springer.com/chapter/10.1007%2F11535294_1

المؤلفون: BODEI, CHIARA, BUCHHOLTZ, M, CURTI, M, DEGANO, PIERPAOLO, NIELSON, F, RIIS NIELSON, H, PRIAMI CORRADO

المساهمون: Bodei, Chiara, Buchholtz, M, Curti, M, Degano, Pierpaolo, Nielson, F, RIIS NIELSON, H, Priami, Corrado

وصف الملف: STAMPA

Relation: ispartofbook:Proceedings of the 2nd Workshop on Quantitative Aspects of Programming Languages (QAPL'04); 2nd Workshop on Quantitative Aspects of Programming Languages (QAPL'04); volume:ENTCS 112; firstpage:167; lastpage:189; numberofpages:23; journal:ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE; http://hdl.handle.net/11568/193327; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-11344282920

الاتاحة: http://hdl.handle.net/11568/193327
https://doi.org/10.1016/j.entcs.2004.01.017

المؤلفون: Tibbitts, B. T., Nielson, H. R., Ramsay, K. C., Funston, R. N.

المصدر: Journal of Animal Science ; volume 94, issue suppl_5, page 7-8 ; ISSN 0021-8812 1525-3163

مصطلحات موضوعية: Genetics, Animal Science and Zoology, General Medicine, Food Science

الاتاحة: http://dx.doi.org/10.2527/jam2016-0016
http://academic.oup.com/jas/article-pdf/94/suppl_5/7/23338836/7b.pdf

المؤلفون: Springman, S. A., Nielson, H. R., Funston, R. N.

المصدر: Journal of Animal Science ; volume 94, issue suppl_5, page 128-128 ; ISSN 0021-8812 1525-3163

مصطلحات موضوعية: Genetics, Animal Science and Zoology, General Medicine, Food Science

الاتاحة: http://dx.doi.org/10.2527/jam2016-0268
http://academic.oup.com/jas/article-pdf/94/suppl_5/128/23336089/128.pdf

المؤلفون: Springman, S. A., Nielson, H. R., Meyer, T. L., Funston, R. N.

المصدر: Journal of Animal Science ; volume 94, issue suppl_5, page 7-7 ; ISSN 0021-8812 1525-3163

مصطلحات موضوعية: Genetics, Animal Science and Zoology, General Medicine, Food Science

الاتاحة: http://dx.doi.org/10.2527/jam2016-0014
http://academic.oup.com/jas/article-pdf/94/suppl_5/7/23338772/7.pdf

المؤلفون: BODEI, CHIARA, DEGANO, PIERPAOLO, NIELSON F., RIIS NIELSON H.

المساهمون: PAUN,G. ROZENBERG, A. SALOMAA, G. Paun, G. Rozenberg, and A. Salomaa, Bodei, Chiara, Degano, Pierpaolo, Nielson, F., RIIS NIELSON, H.

مصطلحات موضوعية: Control Flow Analysi, Process Algebra, Flow Logics

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/isbn/9810244738; ispartofbook:Current Trends in Theoretical Computer Science. Entering the 21st century; firstpage:525; lastpage:542; numberofpages:18; alleditors:G. Paun, G. Rozenberg, and A. Salomaa; http://hdl.handle.net/11568/177455

الاتاحة: http://hdl.handle.net/11568/177455

المؤلفون: Broek, F. van den, Wichers Schreur, R.J.M., Nielson, H. Riis, Gollmann, D.

المساهمون: Nielson, H. Riis, Gollmann, D.

المصدر: Secure it systems ; 8208, 183-198. Berlin : Springer
STARTPAGE=183;ENDPAGE=198;TITLE=Secure it systems ; 8208
Secure IT Systems ISBN: 9783642414879
NordSec
Nielson, H. Riis; Gollmann, D. (ed.), Secure it systems, pp. 183-198

مصطلحات موضوعية: Computer science, business.industry, Core network, Home use, Secure it systems, Computer security, computer.software_genre, Mobile telephone, Normal cell, Base station, Femtocell, Digital Security, Research Programm of Institute for Computing and Information Sciences, Telecommunications, business, computer

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::808d4f44f3198a57835735564780436f
http://hdl.handle.net/2066/119803

المؤلفون: Wright GS, Wright D, Goodson GB, Rieke GH, Aitink-Kroes G, Amiaux J, Aricha-Yanguas A, Azzollini R, Banks K, Barrado-Navascues D, Belenguer-Davila T, Bloemmart JADL, Bouchet P, Brandl BR, Colina L, Detre Ö, Diaz-Catala E, Eccleston P, Friedman SD, García-Marín M, Güdel M, Glasse A, Glauser AM, Greene TP, Groezinger U, Grundy T, Hastings P, Henning T, Hofferbert R, Hunter F, Jessen NC, Justtanont K, Karnik AR, Khorrami MA, Krause O, Labiano A, Lagage P, Langer U, Lemke D, Lim T, Lorenzo-Alvarez J, Mazy E, McGowan N, Meixner ME, Morris N, Morrison JE, Müller F, Nø rgaard-Nielson H, Olofsson G, O’Sullivan B, Pel J, Penanen K, Petach MB, Pye JP, Ray TP, Renotte E, Renouf I, Ressler ME, Samara-Ratna P, Scheithauer S, Schneider A, Shaughnessy B, Stevenson T, Sukhatme K, Swinyard B, Sykes J, Thatcher J, Tikkanen T, van Dishoeck EF, Waelkens C, Walker H, Wells M, Zhender A

Relation: urn:ISSN:0004-6280; Publ Astron Soc Pac; http://purl.org/net/epubs/series/1237; Science and Technology Facilities Council (2007- ); RAL Space (2010- ); http://purl.org/net/epubs/work/22529020

الاتاحة: http://purl.org/net/epubs/work/22529020

المؤلفون: BODEI, CHIARA, DEGANO, PIERPAOLO, NIELSON F, RIIS NIELSON H.

المساهمون: Bodei, Chiara, Degano, Pierpaolo, Nielson, F, RIIS NIELSON, H.

مصطلحات موضوعية: Static Analysi, Security Propertie, Pi-Calculus

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000171236800015; ispartofbook:Proceedings of Foundations of Software Science and Computation Structure, Second International Conference, FoSSaCS'99; FoSSaCS'99; volume:1578; firstpage:120; lastpage:134; numberofpages:15; journal:LECTURE NOTES IN COMPUTER SCIENCE; http://hdl.handle.net/11568/193955; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84937705299

الاتاحة: http://hdl.handle.net/11568/193955
https://doi.org/10.1007/3-540-49019-1_9

المؤلفون: BODEI, CHIARA, DEGANO, PIERPAOLO, NIELSON F, RIIS NIELSON H.

المساهمون: Davide Sangiorgi and Robert de Simone, Bodei, Chiara, Degano, Pierpaolo, Nielson, F, RIIS NIELSON, H.

مصطلحات موضوعية: Control Flow Analysi, Pi-Calculu, Security

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000081719300009; ispartofbook:Proceedings of the CONCUR'98 Concurrency Theory; CONCUR 1998; volume:1466; firstpage:84; lastpage:98; numberofpages:15; journal:LECTURE NOTES IN COMPUTER SCIENCE; alleditors:Davide Sangiorgi and Robert de Simone; http://hdl.handle.net/11568/183217; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84945976575

الاتاحة: http://hdl.handle.net/11568/183217
https://doi.org/10.1007/BFb0055617

المؤلفون: Yüksel, E, Nielson, H, Nielson, F, Fruth, M, Kwiatkowska, M

Relation: https://ora.ox.ac.uk/objects/uuid:7dca56e9-12ca-4aeb-8d38-c379e393251f

الاتاحة: https://ora.ox.ac.uk/objects/uuid:7dca56e9-12ca-4aeb-8d38-c379e393251f

المؤلفون: Bodei, C., Buchholtz, M., Degano, P., Nielson, F., Riis Nielson, H.

المصدر: 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings. ; page 126-140

الاتاحة: http://dx.doi.org/10.1109/csfw.2003.1212709
http://xplorestaging.ieee.org/ielx5/8606/27273/01212709.pdf?arnumber=1212709

المؤلفون: BODEI, CHIARA, DEGANO, PIERPAOLO, NIELSON F., RIIS NIELSON H.

المساهمون: Bodei, Chiara, Degano, Pierpaolo, Nielson, F., RIIS NIELSON, H.

مصطلحات موضوعية: Control Flow Analysi, Security Protocol, Pi-Calculus

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000170174500002; volume:168; firstpage:68; lastpage:92; numberofpages:25; journal:INFORMATION AND COMPUTATION; http://hdl.handle.net/11568/176541; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-0035838828

الاتاحة: http://hdl.handle.net/11568/176541
https://doi.org/10.1006/inco.2000.3020