Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 92 matches
- 1993
- Tarek K. Abdel-Hamid, Kishore Sengupta, Daniel Ronan:
Software Project Control: An Experimental Investigation of Judgment with Fallible Information. IEEE Trans. Software Eng. 19(6): 603-612 (1993) - Nabil R. Adam, Rajiv Tewari:
Regeneration with Virtual Copies for Distributed Computing Systems. IEEE Trans. Software Eng. 19(6): 594-602 (1993) - Ashok K. Agrawala, Bijendra N. Jain:
Deterministic Model and Transient Analysis of Virtual Circuits. IEEE Trans. Software Eng. 19(2): 187-197 (1993) - Mohan Ahuja, Timothy Carlson, Ashwani Gahlot:
Passive-space and Time View: Vector Clocks for Achieving Higher Performance, Program Correction, and Distributed Computing. IEEE Trans. Software Eng. 19(9): 845-855 (1993) - Anish Arora, Mohamed G. Gouda:
Closure and Convergence: A Foundation of Fault-Tolerant Computing. IEEE Trans. Software Eng. 19(11): 1015-1027 (1993) - Joanne M. Atlee, John D. Gannon:
State-Based Model Checking of Event-Driven System Requirements. IEEE Trans. Software Eng. 19(1): 24-40 (1993) - Sergio Bandinelli, Alfonso Fuggetta, Carlo Ghezzi:
Process Model Evolution in the SPADE Environment. IEEE Trans. Software Eng. 19(12): 1128-1144 (1993) - Rajiv D. Banker, Robert J. Kauffman, Dani Zweig:
Repository Evaluation of Software Reuse. IEEE Trans. Software Eng. 19(4): 379-389 (1993) - Farokh B. Bastani:
Forword: Software Reliability. IEEE Trans. Software Eng. 19(11): 1013-1014 (1993) - Carlo Batini, Giuseppe Di Battista, Giuseppe Santucci:
Structuring Primitives for a Dictionary of Entity Relationship Data Schemas. IEEE Trans. Software Eng. 19(4): 344-365 (1993) - Oded Berman, Noushin Ashrafi:
Optimization Models for Reliability of Modular Software Systems. IEEE Trans. Software Eng. 19(11): 1119-1123 (1993) - Valdis Berzins, Luqi, Amiram Yehudai:
Using Transformations in Specification-Based Prototyping. IEEE Trans. Software Eng. 19(5): 436-452 (1993) - Inderpal S. Bhandari, Michael J. Halliday, Eric Tarver, David Brown, Jarir K. Chaar, Ram Chillarege:
A Case Study of Software Process Improvement During Development. IEEE Trans. Software Eng. 19(12): 1157-1170 (1993) - Alberto Del Bimbo, Maurizio Campanai, Paolo Nesi:
A Three-Dimensional Iconic Environment for Image Database Querying. IEEE Trans. Software Eng. 19(10): 997-1011 (1993) - Jit Biswas, James C. Browne:
Data Structures for Parallel Resource Management. IEEE Trans. Software Eng. 19(7): 672-686 (1993) - Lionel C. Briand, Victor R. Basili, Christopher J. Hetmanski:
Developing Interpretable Models with Optimized Set Reduction for Identifying High-Risk Software Components. IEEE Trans. Software Eng. 19(11): 1028-1044 (1993) - Ricky W. Butler, George B. Finelli:
The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software. IEEE Trans. Software Eng. 19(1): 3-12 (1993) - Luis-Felipe Cabrera, John McPherson, Peter M. Schwarz, James C. Wyllie:
Implementing Atomicity in Two Systems: Techniques, Tradeoffs, and Experience. IEEE Trans. Software Eng. 19(10): 950-961 (1993) - Tracy Camp, Phil Kearns, Mohan Ahuja:
Proof Rules for Flush Channels. IEEE Trans. Software Eng. 19(4): 366-378 (1993) - Gerardo Canfora, Aniello Cimitile, Ugo de Carlini:
Correction to "A Logic-Based Approach to Reverse Engineering Tools Production". IEEE Trans. Software Eng. 19(6): 640 (1993) - Jarir K. Chaar, Michael J. Halliday, Inderpal S. Bhandari, Ram Chillarege:
In-Process Evaluation for Software Inspection and Test. IEEE Trans. Software Eng. 19(11): 1055-1070 (1993) - Ing-Ray Chen, Sayed Atef Banawan:
Modeling and Analysis of Concurrent Maintenance Policies for Data Structures Using Pointers. IEEE Trans. Software Eng. 19(9): 902-911 (1993) - Albert Mo Kim Cheng, James C. Browne, Aloysius K. Mok, Rwo-Hsi Wang:
Analysis of Real-Time Rule-Based Systems with Bahavioral Constraint Assertions Specified in Estella. IEEE Trans. Software Eng. 19(9): 863-885 (1993) - Giovanni Chiola, Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte:
Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications. IEEE Trans. Software Eng. 19(2): 89-107 (1993) - Wesley W. Chu, Ion Tim Ieong:
A Transaction-Based Approach to Vertical Partitioning for Relational Database Systems. IEEE Trans. Software Eng. 19(8): 804-812 (1993) - Alex Delis, Nick Roussopoulos:
Performance Comparison of Three Modern DBMS Architectures. IEEE Trans. Software Eng. 19(2): 120-138 (1993) - Paolino Di Felice:
Reusability of Mathematical Software: A Contribution. IEEE Trans. Software Eng. 19(8): 835-843 (1993) - Norman Y. Foo:
Comments on "Defining Software by Continuous Smooth Functions''. IEEE Trans. Software Eng. 19(3): 307-309 (1993) - Phyllis G. Frankl, Elaine J. Weyuker:
A Formal Analysis of the Fault-Detecting Ability of Testing Methods. IEEE Trans. Software Eng. 19(3): 202-213 (1993) - Phyllis G. Frankl, Stewart N. Weiss:
An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing. IEEE Trans. Software Eng. 19(8): 774-787 (1993)
skipping 62 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-05-24 08:19 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint