|
|
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. |
ACM Annual Conference (1) |
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. |
Software Development Environments (SDE) |
1988 |
DBLP DOI BibTeX RDF |
GYPSY |
77 | Donald I. Good, Richard M. Cohen, James G. Keeton-Williams |
Principles of Proving Programs Correct in Gypsy. |
POPL |
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. |
Symposium on Testing, Analysis, and Verification |
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. |
International Conference on Computational Science |
2003 |
DBLP DOI BibTeX RDF |
|
54 | John McHugh |
An Information Flow Tool for Gypsy. |
ACSAC |
2001 |
DBLP DOI BibTeX RDF |
|
47 | Pradei Sangkhro, Phidawanhun Pyngrope, Bangermayang, Gypsy Nandi |
A Novel Model for Automated Identification of Terrestrial Species. |
DoSIER |
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. |
ACM Southeast Regional Conference |
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. |
Genom. Proteom. Bioinform. |
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. |
Nucleic Acids Res. |
2011 |
DBLP DOI BibTeX RDF |
|
31 | Carlos Lloréns, Ricardo Futami, Daniela Bezemer, Andrés Moya |
The Gypsy Database (GyDB) of mobile genetic elements. |
Nucleic Acids Res. |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Mehdi Jazayeri, Wolfgang Lugmayr |
Gypsy: a component-based mobile agent system. |
PDP |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Dirk Baecker |
Gypsy Reason: Niklas Luhmann's Sociological Enlightenment. |
Cybern. Hum. Knowing |
1999 |
DBLP BibTeX RDF |
|
31 | John McHugh |
A Formal Definition for Information Flow in the Gypsy Expression Language. |
CSFW |
1988 |
DBLP BibTeX RDF |
|
31 | Michael K. Smith, Richard M. Cohen |
Gypsy verification environment: status. |
ACM SIGSOFT Softw. Eng. Notes |
1985 |
DBLP DOI BibTeX RDF |
|
31 | John McHugh, Donald L. Good |
An Information Flow Tool for Gypsy. |
S&P |
1985 |
DBLP DOI BibTeX RDF |
|
31 | B. A. Hartman |
A Gypsy-Based Kernel. |
S&P |
1984 |
DBLP DOI BibTeX RDF |
|
31 | Allen L. Ambler |
GYPSY: A Language for Specification and Implementation of Verifiable Programs. |
Language Design for Reliable Software |
1977 |
DBLP DOI BibTeX RDF |
|
23 | S. M. Delouis, M. Jalobeanu |
Tele-Pedagogy in the Virtual Educational Communities. |
AICT/SAPIR/ELETE |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Alexander L. Wolf, Lori A. Clarke, Jack C. Wileden |
A Model of Visibility Control. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
module interface control, visibility, scope, Computer languages |
23 | David A. Nichols |
Using Idle Workstations in a Shared Computing Environment. |
SOSP |
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. |
ACM Annual Conference |
1984 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #22 of 22 (100 per page; Change: )
|
|