|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 14 occurrences of 12 keywords
|
|
|
Results
Found 24 publication records. Showing 22 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
136 | Donald I. Good, Richard M. Cohen, Lawrence W. Hunter |
A Report On The Development Of Gypsy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference (1) ![In: Proceedings 1978 ACM Annual Conference, Washington, DC, USA, December 4-6, 1978, Volume I, pp. 116-122, 1978, ACM, 978-0-89791-000-2. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
Dynamic storage management, Gypsy, Reliable software, Scope of names, Systems programming language, GYPSY, Concurrency, Programming language, Program verification, Specification language, Correctness, Compiler design, Programming language design |
84 | Ellis S. Cohen, Dilip Soni, Raimund Gluecker, William M. Hasling, Robert W. Schwanke, Michael E. Wagner |
Version Management in Gypsy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Development Environments (SDE) ![In: Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Boston, Massachusetts, USA, November 28-30, 1988, pp. 201-215, 1988, ACM, 0-89791-290-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
GYPSY |
77 | Donald I. Good, Richard M. Cohen, James G. Keeton-Williams |
Principles of Proving Programs Correct in Gypsy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, San Antonio, Texas, USA, January 1979, pp. 42-52, 1979, ACM Press. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
message buffers, program proving, formal specifications, parallel programs, concurrency, program verification |
61 | William D. Young |
Verified Compilation in micro-Gypsy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Testing, Analysis, and Verification ![In: Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, TAV 1989, Key West, Florida, USA, December 13-15, 1989, pp. 20-26, 1989, ACM, 0-89791-342-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
GYPSY |
54 | Ping Wang, Lewis C. Linker, Keith N. Eshleman |
Dynamic Parameterization to Simulate DIN Export Due to Gypsy Moth Defoliation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2003, International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings, Part III, pp. 30-38, 2003, Springer, 3-540-40196-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
54 | John McHugh |
An Information Flow Tool for Gypsy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 17th Annual Computer Security Applications Conference (ACSAC 2001), 11-14 December 2001, New Orleans, Louisiana, USA, pp. 191-201, 2001, IEEE Computer Society, 0-7695-1405-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
47 | Pradei Sangkhro, Phidawanhun Pyngrope, Bangermayang, Gypsy Nandi |
A Novel Model for Automated Identification of Terrestrial Species. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DoSIER ![In: Recent Trends in Intelligence Enabled Research - Selected Papers of Fourth Doctoral Symposium, DoSIER 2022, Cooch Behar, India, 22-23 December 2022., pp. 139-148, 2022, Springer, 978-981-99-1471-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
47 | Dalorion Johnson, J. Michael Wyss, Jeff Gray 0001, Shaundra B. Daily, Alan Shih, Gypsy Abbot |
Broadening participation in computing: the multi-tiered approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 50th Annual Southeast Regional Conference, 2012, Tuscaloosa, AL, USA, March 29-31, 2012, pp. 371-372, 2012, ACM, 978-1-4503-1203-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
31 | Shi-Jian Zhang, Lei Liu, Ruolin Yang 0003, Xiangfeng Wang |
Genome Size Evolution Mediated by Gypsy Retrotransposons in Brassicaceae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Genom. Proteom. Bioinform. ![In: Genom. Proteom. Bioinform. 18(3), pp. 321-332, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Carlos Lloréns, Ricardo Futami, Laura Covelli, Laura Domínguez-Escribá, Jose M. Viu, Daniel Tamarit, José Aguilar-Rodríguez, Miguel Vicente-Ripolles, Gonzalo Fuster, Guillermo P. Bernet, Florian Maumus, Alfonso Muñoz-Pomer Fuentes, José M. Sempere, Amparo Latorre, Andrés Moya |
The Gypsy Database (GyDB) of mobile genetic elements: release 2.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 39(Database-Issue), pp. 70-74, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
31 | Carlos Lloréns, Ricardo Futami, Daniela Bezemer, Andrés Moya |
The Gypsy Database (GyDB) of mobile genetic elements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 36(Database-Issue), pp. 38-46, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Mehdi Jazayeri, Wolfgang Lugmayr |
Gypsy: a component-based mobile agent system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: Eight Euromicro Workshop on Parallel and Distributed Processing, PDP 2000, 19-12 January 2000, Rhodos, Greece, pp. 126-134, 2000, IEEE Computer Society, 0-7695-0500-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Dirk Baecker |
Gypsy Reason: Niklas Luhmann's Sociological Enlightenment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cybern. Hum. Knowing ![In: Cybern. Hum. Knowing 6(3), 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
31 | John McHugh |
A Formal Definition for Information Flow in the Gypsy Expression Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: First IEEE Computer Security Foundations Workshop - CSFW'88, Franconia, New Hampshire, USA, June 12-15, 1988, Proceedings, pp. 147-165, 1988, MITRE Corporation Press. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
31 | Michael K. Smith, Richard M. Cohen |
Gypsy verification environment: status. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 10(4), pp. 5-6, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
31 | John McHugh, Donald L. Good |
An Information Flow Tool for Gypsy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: 1985 IEEE Symposium on Security and Privacy, Oakland, CA, USA, April 22-24, 1985, pp. 46-48, 1985, IEEE Computer Society, 0-8186-0629-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
31 | B. A. Hartman |
A Gypsy-Based Kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: Proceedings of the 1984 IEEE Symposium on Security and Privacy, Oakland, California, USA, April 29 - May 2, 1984, pp. 219-225, 1984, IEEE Computer Society, 0-8186-0532-4. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
31 | Allen L. Ambler |
GYPSY: A Language for Specification and Implementation of Verifiable Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Language Design for Reliable Software ![In: Proceedings of an ACM Conference on Language Design for Reliable Software (LDRS), Raleigh, North Carolina, USA, March 28-30, 1977., pp. 1-10, 1977, ACM, 978-1-4503-7380-7. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
23 | S. M. Delouis, M. Jalobeanu |
Tele-Pedagogy in the Virtual Educational Communities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICT/SAPIR/ELETE ![In: Telecommunications 2005: Advanced Industrial Conference on Telecommunications / Service Assurance with Partial and Intermittent Resources Conference / E-Learning on Telecommunications Workshop (AICT / SAPIR / ELETE 2005), 17-22 July 2005, Lisbon, Portugal, pp. 527-532, 2005, IEEE Computer Society, 0-7695-2388-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Alexander L. Wolf, Lori A. Clarke, Jack C. Wileden |
A Model of Visibility Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(4), pp. 512-520, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
module interface control, visibility, scope, Computer languages |
23 | David A. Nichols |
Using Idle Workstations in a Shared Computing Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the Eleventh ACM Symposium on Operating System Principles, SOSP 1987, Stouffer Austin Hotel, Austin, Texas, USA, November 8-11, 1987, pp. 5-12, 1987, ACM, 0-89791-242-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
23 | James C. Browne, James E. Dutton, Vincent Fernandes, Annette S. Palmer, Jonathan M. Silverman, Anand R. Tripathi, Pong-Sheng Wang |
Zeus: An object-oriented distributed operating system for reliable applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference ![In: Proceedings of the 1984 ACM Annual Conference on Computer Science: The fifth generation challenge, San Francisco, CA, USA, October 1984, pp. 179-188, 1984, ACM, 0-89791-144-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #22 of 22 (100 per page; Change: )
|
|