Publications

Export 337 results:
Author Title [ Type(Asc)] Year
Filters: First Letter Of Title is T  [Clear All Filters]
Miscellaneous
[Anonymous].  Submitted.  Testing Run-time Evolving Systems. DROPS-IDN/2106.
Journal Articles
Miller M, Perlis D.  1991.  Typicality constants and range defaults: Some pros and cons of a cognitive model of default reasoning. Methodologies for Intelligent Systems. :560-569.
Hicks MW.  1998.  Types and intermediate representations. Technical Reports (CIS). :796-796.
Cleaveland R, Panangaden P.  1988.  Type theory and concurrency. International Journal of Parallel Programming. 17(2):153-206.
Skalka C, Smith S, Van Horn D.  2005.  A Type and Effect System for Flexible Abstract Interpretation of Java: (Extended Abstract). Electronic Notes in Theoretical Computer Science. 131:111-124.
Katz J, MacKenzie P, Taban G, Gligor V.  2012.  Two-server password-only authenticated key exchange. Journal of Computer and System Sciences. 78(2):651-669.
Katz J, MacKenzie P, Taban G, Gligor V.  2005.  Two-server password-only authenticated key exchange. Applied Cryptography and Network Security. :175-206.
Seydou F, Gumerov NA, Duraiswami R.  2003.  Two methods for solving a 3D acoustic inverse scattering problem. The Journal of the Acoustical Society of America. 113(4):2191-2191.
Gannon JD, Zelkowitz MV.  1987.  Two implementation models of abstract data types. Computer Languages. 12(1):21-25.
Brosey M, Shneiderman B.  1978.  Two experimental comparisons of relational and hierarchical database models. International Journal of Man-Machine Studies. 10(6):625-637.
Zhang X-N, Mount SM.  2009.  Two Alternatively Spliced Isoforms of the Arabidopsis SR45 Protein Have Distinct Roles during Normal Plant Development. Plant PhysiologyPlant Physiol.. 150(3):1450-1458.
Wong PC, Chen C, Görg C, Shneiderman B, Stasko J, Thomas J.  2011.  Tutorial-Graph Analytics — Lessons Learned and Challenges Ahead. IEEE Computer Graphics and Applications. 31(5):18-18.
Getoor L.  2005.  Tutorial on statistical relational learning. Inductive Logic Programming. :415-415.
Sethupathy P, Hannenhalli S.  2008.  A Tutorial of the Poisson Random Field Model in Population Genetics. Advances in Bioinformatics. 2008:1-9.
Bartholomeu DC, Silva RA, Galvão LMC, El-Sayed NM, Donelson JE, Teixeira SMR.  2002.  Trypanosoma cruzi: RNA structure and post-transcriptional control of tubulin gene expression. Experimental Parasitology. 102(3-4):123-133.

Pages