×

zbMATH — the first resource for mathematics

IEEE Transactions on Software Engineering

Short Title: IEEE Trans. Softw. Eng.
Publisher: Institute of Electrical and Electronics Engineers (IEEE), Washington, DC
ISSN: 0098-5589
Online: http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32
Comments: No longer indexed
Documents Indexed: 385 Publications (1976–1994)
all top 5

Authors

7 Silberschatz, Abraham
5 Misra, Jayadev
5 Ng, Peter Ann-Beng
5 Stone, Harold S.
4 Bernstein, Arthur J.
4 Jajodia, Sushil
4 Manna, Zohar
4 Murata, Tadao
4 Weyuker, Elaine J.
4 Zweben, Stuart H.
3 Basili, Victor R.
3 Bastani, Farokh B.
3 Chandy, Kanianthra Mani
3 Chang, Chin-Chen
3 Chang, Shi-Kuo
3 Du, Min-Wen
3 Gries, David
3 Howden, William E.
3 Lee, Richard Chia-Tung
3 Morgan, David E.
3 Oldehoeft, Rodney R.
3 Parnas, David Lorge
3 Roussopoulos, Nicholas D.
3 Yeh, Raymond T.
2 Andrews, Gregory R.
2 Baker, Albert L.
2 Balsamo, Simonetta
2 Basu, Sanat K.
2 Bentley, Jon Louis
2 Bernstein, Philip A.
2 Black, James P.
2 Booth, Taylor L.
2 Brinch Hansen, Per
2 Campbell, Roy H.
2 Cheng, Wu-Haung
2 Cheung, To-Yat
2 Chin, Francis Y. L.
2 Clark, Keith L.
2 Cohen, Jacques
2 Dershowitz, Nachum
2 Du, Hung-Chang
2 Elgot, Calvin C.
2 Francez, Nissim
2 Gannon, John D.
2 Gelenbe, Sami Erol
2 Ghosh, Sakti Pada
2 Gordon, Ronald D.
2 Gouda, Mohamed G.
2 Halstead, Maurice H.
2 Hamlet, Richard G.
2 Hwang, Kai
2 Iazeolla, Giuseppe G.
2 Kashyap, Rangasami L.
2 Katz, Shmuel
2 Kieburtz, Richard B.
2 Li, Victor O. K.
2 Lilien, Leszek
2 Marie, Raymond A.
2 Mills, Harlan D.
2 Moitra, Abha
2 Navathe, Shamkant B.
2 Ni, Lionel M.
2 Ozsoyoglu, Gultekin
2 Pepper, Peter
2 Plateau, Brigitte D.
2 Prywes, Noah S.
2 Ramamoorthy, Chitoor V.
2 Ryder, Barbara G.
2 Shapiro, Stephen D.
2 Shaw, Mary
2 Shrivastava, Santosh Kumar
2 Sitver, Robin
2 Smith, Alan Jay
2 Su, Stanley Y. W.
2 Tai, Kuo-Chung
2 Taylor, David J.
2 Toueg, Sam
2 Towsley, Donald Fred
2 van Emden, Maarten H.
2 Waldinger, Richard J.
2 Wegbreit, Ben
2 Yang, Chaochih
2 Yao, S. Bing
1 Abraham, Jacob A.
1 Abrahams, Paul W.
1 Aggarwal, Sudhir
1 Agrawal, Dharma P.
1 Agrawal, Vinod Kumar
1 Agrawala, Ashok K.
1 Akkoyunlu, Eralp A.
1 Akyildiz, Ian Fuat
1 Al-Fedaghi, Sabah S.
1 Ambriola, Vincenzo
1 Ancilotti, Paolo
1 Aoe, Junichi
1 Arisawa, Hiroshi
1 Aristizabal, Juan
1 Arkun, M. Erol
1 Atkinson, Russell R.
1 Auty, David
...and 461 more Authors

Publications by Year

Citations contained in zbMATH Open

210 Publications have been cited 1,141 times in 2,000 Documents Cited by Year
Proving the correctness of multiprocess programs. Zbl 0349.68006
Lamport, Leslie
54
1977
Program slicing. Zbl 0552.68004
Weiser, Mark
52
1984
Testing software design modeled by finite-state machines. Zbl 0379.68039
Chow, Tsun S.
45
1978
Proofs of networks of processes. Zbl 0468.68030
Misra, Jayadev; Chandy, K. Mani
43
1981
A complexity measure. Zbl 0352.68066
McCabe, Thomas J.
40
1976
Multiprocessor scheduling with the aid of network flow algorithms. Zbl 0355.68042
Stone, Harold S.
40
1977
Performance evaluation of asynchronous concurrent systems using Petri nets. Zbl 0444.68044
Ramamoorthy, C. V.; Ho, Gary S.
35
1980
On path cover problems in digraphs and applications to program testing. Zbl 0412.68052
Ntafos, S. C.; Hakimi, S. Louis
29
1979
Software descriptions with flow expressions. Zbl 0381.68035
Shaw, Alan C.
25
1978
Checkpointing and rollback-recovery for distributed systems. Zbl 0603.68018
Koo, Richard; Toueg, Sam
25
1987
An approximate analytical method for general queueing networks. Zbl 0422.90037
Marie, Raymond A.
18
1979
Control of a heterogeneous two-server exponential queueing system. Zbl 0517.90031
Larsen, Ronald L.; Agrawala, Ashok K.
16
1983
Structured programming with and without G0 T0 statements. Zbl 0348.68008
Elgot, Calvin C.
15
1976
Deletions that preserve randomness. Zbl 0355.68036
Knuth, Donald E.
14
1977
Parameterized programming. Zbl 0545.68017
Goguen, Joseph A.
14
1984
Distributed simulation: A case study in design and verification of distributed programs. Zbl 0416.68014
Chandy, K. Mani; Misra, Jayadev
13
1979
Exponential order statistic models of software reliability growth. Zbl 0575.68038
Miller, Douglas R.
13
1986
Graph traversal techniques and the maximum flow problem in distributed computation. Zbl 0513.68066
Cheung, To-Yat
13
1983
Critical load factors in two-processor distributed systems. Zbl 0379.68041
Stone, Harold S.
12
1978
Discrete time stochastic Petri nets. Zbl 0558.68053
Molloy, Michael K.
12
1985
Analysis of extendible hashing. Zbl 0491.68096
Mendelson, Haim
12
1982
Protocol verification via projections. Zbl 0552.68022
Lam, Simon S.; Shankar, A. Udaya
12
1984
Constructing programs from example computations. Zbl 0352.68036
Biermann, Alan W.; Krishnaswamy, Ramachandran
11
1976
Throughput capacity of a sequence of queues with blocking due to finite waiting room. Zbl 0428.68002
Caseau, Paul; Pujolle, Guy
11
1979
Distributed agreement in the presence of processor and communication faults. Zbl 0587.68026
Perry, Kenneth J.; Toueg, Sam
11
1986
Auditing and inference control in statistical databases. Zbl 0491.68102
Chin, Francis Y.; Ozsoyoglu, Gultekin
11
1982
Distributed program reliability analysis. Zbl 0575.68028
Prasanna Kumar, V. K.; Hariri, Salim; Raghavendra, C. S.
10
1986
Allocating programs containing branches and loops within a multiple processor system. Zbl 0599.68030
Towsley, Don
10
1986
A new method for concurrency in B-trees. Zbl 0486.68057
Kwong, Yat-Sang; Wood, Derick
10
1982
Timing requirements for time-driven systems using augmented Petri nets. Zbl 0514.68060
Coolahan, James E. jun.; Roussopoulos, Nicholas
10
1983
On the design and development of program families. Zbl 0352.68032
Parnas, David L.
9
1976
Formal aspects of serializability in database concurrency control. Zbl 0396.68020
Bernstein, Philip A.; Shipman, David W.; Wong, Wing S.
9
1979
Multidimensional binary search trees in database applications. Zbl 0411.68055
Bentley, Jon Louis
9
1979
Synthesis: dreams \(\Rightarrow\) programs. Zbl 0416.68013
Manna, Zohar; Waldinger, Richard
9
1979
Abstract data type specification in the AFFIRM system. Zbl 0431.68022
Musser, David R.
9
1980
A data structure and an algorithm for the nearest point problem. Zbl 0513.68057
Kalantari, Iraj; McDonald, Gerard
9
1983
Correct and robust programs. Zbl 0532.68021
Cristian, Flaviu
9
1984
Specification of the UNIX filing system. Zbl 0532.68031
Morgan, Carroll; Sufrin, Bernard
9
1984
Query processing in distributed database systems. Zbl 0396.68021
Hevner, Alan R.; Yao, S. Bing
8
1979
State restoration in systems of communicating processes. Zbl 0432.68021
Russell, David L.
8
1980
Gray codes for partial match and range queries. Zbl 0659.68125
Faloutsos, Christos
8
1988
A general empirical solution to the macro software sizing and estimating problem. Zbl 0383.68035
Putnam, Lawrence H.
7
1978
Tidy drawings of trees. Zbl 0412.68092
Wetherell, Charles; Shannon, Alfred
7
1979
A user-oriented software reliability model. Zbl 0432.68028
Cheung, Roger C.
7
1980
A data flow oriented program testing strategy. Zbl 0509.68011
Laski, Janusz W.; Korel, Bogdan
7
1983
Selecting software test data using data flow information. Zbl 0559.68015
Rapps, Sandra; Weyuker, Elaine J.
7
1985
Hierarchical reachability graph of bounded Petri nets for concurrent- software analysis. Zbl 0810.68099
Notomi, Masato; Murata, Tadao
6
1994
Optimal load balancing in a multiple processor system with many job classes. Zbl 0556.68007
Ni, Lionel M.; Hwang, Kai
6
1985
Theoretical basis for the analysis of multiversion software subject to coincident errors. Zbl 0571.68022
Eckhardt, Dave E. jun.; Lee, Larry D.
6
1985
Achieving distributed termination without freezing. Zbl 0478.68024
Francez, Nissim; Rodeh, Michael
6
1982
An introduction to the construction and verification of Alphard programs. Zbl 0351.68004
Wulf, William A.; London, Ralph L.; Shaw, Mary
5
1976
Testing programs with the aid of a compiler. Zbl 0359.68009
Hamlet, Richard G.
5
1977
Random injection control of multiprogramming in virtual memory. Zbl 0371.68012
Gelenbe, Erol; Kurinckx, Alain
5
1978
An analysis of competing software reliability models. Zbl 0381.68036
Schick, George J.; Wolverton, Ray W.
5
1978
Designing software for ease of extension and contraction. Zbl 0395.68037
Parnas, David L.
5
1979
Concurrency control and consistency of multiple copies of data in distributed INGRES. Zbl 0396.68018
Stonebraker, Michael
5
1979
Completeness of proof systems for equational specifications. Zbl 0558.68017
Macqueen, David B.; Sannella, Donald T.
5
1985
Typestate: A programming language concept for enhancing software reliability. Zbl 0575.68036
Strom, Robert E.; Yemini, Shaula
5
1986
A methodology for developing distributed programs. Zbl 0617.68028
Ramesh, S.; Mehndiratta, S. L.
5
1987
An extension of Norton’s theorem for queueing networks. Zbl 0484.90038
Balsamo, Simonetta; Iazeolla, Giuseppe
5
1982
Performance analyses of Cartesian product files and random files. Zbl 0524.68058
Chang, C. C.; Du, M. W.
5
1984
Programming-in-the-large versus programming-in-the-small. Zbl 0348.68007
DeRemer, Frank; Kron, Hans H.
4
1976
Goal-directed program transformation. Zbl 0352.68033
Wegbreit, Ben
4
1976
Symbolic testing and the DISSECT symbolic evaluation system. Zbl 0359.68015
Howden, William E.
4
1977
Analysis of the multiple-attribute-tree data-base organization. Zbl 0361.68054
Kashyap, R. L.; Subas, S. K. C.; Yao, S. Bing
4
1977
Sorting on STAR. Zbl 0381.68058
Stone, Harold S.
4
1978
Programming with verification conditions. Zbl 0395.68008
van Emden, M. H.
4
1979
Queuing networks with random selection for service. Zbl 0399.90044
Spirn, Jeffrey R.
4
1979
Theories of program testing and the application of revealing subdomains. Zbl 0432.68014
Weyuker, Elaine J.; Ostrand, Thomas J.
4
1980
Synthesis of decision-free concurrent systems for prescribed resources and performance. Zbl 0447.68063
Murata, Tadao
4
1980
Inference rules for program annotation. Zbl 0463.68023
Dershowitz, Nachum; Manna, Zohar
4
1981
Optimization of the number of copies in a distributed data base. Zbl 0454.68124
Coffman, Edward G. jun.; Gelenbe, Erol; Plateau, Brigitte
4
1981
Derivation of a parallel algorithm for balancing binary trees. Zbl 0596.68017
Moitra, Abha; Sitharama Iyengar, S.
4
1986
Local distributed deadlock detection by cycle detection and clustering. Zbl 0603.68019
Cidon, Israel; Jaffe, Jeffrey M.; Sidi, Moshe
4
1987
Queueing analysis of fault-tolerant computer systems. Zbl 0607.68001
Nicola, Victor F.; Kulkarni, Vidyadhar G.; Trivedi, Kishor S.
4
1987
Performance of synchronized iterative processes in multiprocessor systems. Zbl 0484.68018
Dubois, Michel; Briggs, Faye A.
4
1982
A method for improving string pattern matching machines. Zbl 0524.68056
Aoe, Junichi; Yamamoto, Yoneo; Shimada, Ryosaku
4
1984
A heuristic for deriving loop functions. Zbl 0536.68003
Dunlop, Douglas D.; Basili, Victor R.
4
1984
Closed covers: To verify progress for communicating finite state machines. Zbl 0547.68060
Gouda, Mohamed G.
4
1984
Database skeleton and its application to fuzzy query translation. Zbl 0369.68016
Chang, Shi-Kuo; Ke, Jyh-Sheng
3
1978
Some aspects of the verification of loop computations. Zbl 0392.68011
Misra, Jayadev
3
1978
SMOTL - A system to construct samples for data processing program debugging. Zbl 0393.68019
Bicevskis, Janis; Borzovs, Juris; Straujums, Uldis; Zarins, Andris; Miller, Edward F. jun.
3
1979
Specification and proof techniques for serializers. Zbl 0393.68027
Hewitt, Carl E.; Atkinson, Russell R.
3
1979
Common properties of some multiattribute file systems. Zbl 0395.68023
Lin, W. C.; Lee, R. C. T.; Du, H. C.
3
1979
Symbolic evaluation and the analysis of programs. Zbl 0411.68015
Cheatham, Thomas E. jun.; Holloway, Glenn H.; Townley, Judy A.
3
1979
Exception handling in CLU. Zbl 0428.68005
Liskov, Barbara H.; Snyder, Alan
3
1979
Program development as a formal activity. Zbl 0447.68005
Broy, Manfred; Pepper, Peter
3
1981
Further analysis of the entity-relationship approach to database design. Zbl 0454.68120
Ng, Peter A.
3
1981
Allocating independent subtasks on parallel processors. Zbl 0572.68022
Kruskal, Clyde P.; Weiss, Alan
3
1985
Optimal partitioning of randomly generated distributed programs. Zbl 0587.68025
Indurkhya, Bipin; Stone, Harold S.; Lu, Xi-Cheng
3
1986
A fault-tolerant scheduling problem. Zbl 0611.90056
Liestman, Arthur L.; Campbell, Roy H.
3
1986
A recursion theoretic approach to program testing. Zbl 0617.68014
Cherniavsky, John C.; Smith, Carl H.
3
1987
A predicate-transition net model for parallel interpretation of logic programs. Zbl 0654.68028
Murata, Tadao; Zhang, Du
3
1988
New NP-complete problems in performance evaluation of concurrent systems using Petri nets. Zbl 0654.68064
Magott, Jan
3
1987
Parsing languages by pattern matching. Zbl 0654.68098
Rus, Teodor
3
1988
An extended domain-based model of software reliability. Zbl 0659.68044
Weiss, Stewart N.; Weyuker, Elaine J.
3
1988
Clustering a DAG for CAD databases. Zbl 0662.68118
Banerjee, Jay; Kim, Won; Kim, Sung-jo; Garza, Jorge F.
3
1988
Formal program construction by transformations - computer-aided, intuition-guided programming. Zbl 0664.68017
Bauer, Friedrich Ludwig; Möller, Bernhard; Partsch, Helmut; Pepper, Peter
3
1989
Proof procedure and answer extraction in Petri net model of logic programs. Zbl 0665.68082
Peterka, George; Murata, Tadao
3
1989
Stochastic Petri net representation of discrete event simulations. Zbl 0667.60091
Haas, Peter J.; Shedler, Gerald S.
3
1989
Hierarchical reachability graph of bounded Petri nets for concurrent- software analysis. Zbl 0810.68099
Notomi, Masato; Murata, Tadao
6
1994
Automatically generating test data from a Boolean specification. Zbl 0809.94036
Weyuker, Elaine; Goradia, Tarak; Singh, Ashutosh
2
1994
Formal program construction by transformations - computer-aided, intuition-guided programming. Zbl 0664.68017
Bauer, Friedrich Ludwig; Möller, Bernhard; Partsch, Helmut; Pepper, Peter
3
1989
Proof procedure and answer extraction in Petri net model of logic programs. Zbl 0665.68082
Peterka, George; Murata, Tadao
3
1989
Stochastic Petri net representation of discrete event simulations. Zbl 0667.60091
Haas, Peter J.; Shedler, Gerald S.
3
1989
Deduction graphs: An algorithm and applications. Zbl 0667.68113
Yang, Chaochih
3
1989
Heuristics for join processing using nonclustered indexes. Zbl 0663.68107
Omiecinski, Edward R.
2
1989
Stochastic Petri net analysis of a replicated file system. Zbl 0679.68117
Dugan, Joanne Bechta; Ciardo, Gianfranco
2
1989
Time-by-example query language for historical databases. Zbl 0682.68104
Tansel, Abdullah U.; Arkun, M. Erol; Ozsoyoglu, Gultekin
2
1989
A modified priority based probe algorithm for distributed deadlock detection and resolution. Zbl 0663.68032
Choudhary, Alok N.; Kohler, Walter H.; Stankovic, John A.; Towsley, Don
1
1989
A theory of attribute equivalence in databases with application to schema integration. Zbl 0678.68111
Larson, James A.; Navathe, Shamkant B.; Elmasri, Ramez
1
1989
Gray codes for partial match and range queries. Zbl 0659.68125
Faloutsos, Christos
8
1988
A predicate-transition net model for parallel interpretation of logic programs. Zbl 0654.68028
Murata, Tadao; Zhang, Du
3
1988
Parsing languages by pattern matching. Zbl 0654.68098
Rus, Teodor
3
1988
An extended domain-based model of software reliability. Zbl 0659.68044
Weiss, Stewart N.; Weyuker, Elaine J.
3
1988
Clustering a DAG for CAD databases. Zbl 0662.68118
Banerjee, Jay; Kim, Won; Kim, Sung-jo; Garza, Jorge F.
3
1988
Approximate analysis of load dependent general queueing networks. Zbl 0691.60085
Akyildiz, I. F.; Sieber, Albrecht
2
1988
A study of the applicability of complexity measures. Zbl 0825.68408
Davis, Stephen John; LeBlanc, Richard J.
2
1988
A class of inherently fault tolerant distributed programs. Zbl 0659.68039
Bastani, Farokh B.; Yen, I-Ling; Chen, Ing-Ray
2
1988
The join algorithms on a shared-memory multiprocessor database machine. Zbl 0664.68106
Qadah, Ghassan Z.; Irani, Keki B.
2
1988
Constructing submodule specifications and network protocols. Zbl 0671.68029
Sidhu, Deepinder P.; Aristizabal, Juan
2
1988
Dataflow computing models, languages, and machines for intelligence computations. Zbl 0745.68020
Herath, Jayantha; Yamaguchi, Yoshinori; Saito, Nobuo; Yuba, Toshitsugu
1
1988
Rendezvous facilities: Concurrent C and the Ada language. Zbl 0663.68036
Gehani, Narain H.; Roome, William D.
1
1988
Checkpointing and rollback-recovery for distributed systems. Zbl 0603.68018
Koo, Richard; Toueg, Sam
25
1987
A methodology for developing distributed programs. Zbl 0617.68028
Ramesh, S.; Mehndiratta, S. L.
5
1987
Local distributed deadlock detection by cycle detection and clustering. Zbl 0603.68019
Cidon, Israel; Jaffe, Jeffrey M.; Sidi, Moshe
4
1987
Queueing analysis of fault-tolerant computer systems. Zbl 0607.68001
Nicola, Victor F.; Kulkarni, Vidyadhar G.; Trivedi, Kishor S.
4
1987
A recursion theoretic approach to program testing. Zbl 0617.68014
Cherniavsky, John C.; Smith, Carl H.
3
1987
New NP-complete problems in performance evaluation of concurrent systems using Petri nets. Zbl 0654.68064
Magott, Jan
3
1987
SPANNER: A tool for the specification, analysis, and evaluation of protocols. Zbl 0626.68031
Aggarwal, Sudhir; Barbará, Daniel; Meth, Kalman Z.
2
1987
Cooperative distributed algorithms for dynamic cycle prevention. Zbl 0615.68021
Katz, Shmuel; Shmueli, Oded
2
1987
Cycle structure of the DES for keys having palindromic (or antipalindromic) sequences of round keys. Zbl 0619.94009
Moore, Judy H.; Simmons, Gustavus J.
2
1987
An information-based model for failure-handling in distributed database systems. Zbl 0637.68114
Chin, Francis Y.; Ramarao, K. V. S.
2
1987
Automated analysis of discrete communication behavior. Zbl 0623.68026
Rea, Kevin; de Johnston, Robert B.
1
1987
Comparison and diagnosis of large replicated files. Zbl 0603.68020
Fuchs, W. Kent; Wu, Kun-Lung; Abraham, Jacob A.
1
1987
A scheme to enforce data dependence on large multiprocessor systems. Zbl 0616.68021
Zhu, Chuan-Qi; Yew, Pen-Chung
1
1987
CSM: A distributed programming language. Zbl 0616.68024
Sun, Zhongxiu; Li, Xining
1
1987
The path prefix software testing strategy. Zbl 0617.68032
Prather, Ronald E.; Myers, J. Paul jun.
1
1987
Reflexive incidence matrix (RIM) representation of Petri nets. Zbl 0632.68057
Das, Sajal K.; Agrawal, V. K.; Sarkar, Dilip; Patnaik, L. M.; Goel, P. S.
1
1987
Exponential order statistic models of software reliability growth. Zbl 0575.68038
Miller, Douglas R.
13
1986
Distributed agreement in the presence of processor and communication faults. Zbl 0587.68026
Perry, Kenneth J.; Toueg, Sam
11
1986
Distributed program reliability analysis. Zbl 0575.68028
Prasanna Kumar, V. K.; Hariri, Salim; Raghavendra, C. S.
10
1986
Allocating programs containing branches and loops within a multiple processor system. Zbl 0599.68030
Towsley, Don
10
1986
Typestate: A programming language concept for enhancing software reliability. Zbl 0575.68036
Strom, Robert E.; Yemini, Shaula
5
1986
Derivation of a parallel algorithm for balancing binary trees. Zbl 0596.68017
Moitra, Abha; Sitharama Iyengar, S.
4
1986
Optimal partitioning of randomly generated distributed programs. Zbl 0587.68025
Indurkhya, Bipin; Stone, Harold S.; Lu, Xi-Cheng
3
1986
A fault-tolerant scheduling problem. Zbl 0611.90056
Liestman, Arthur L.; Campbell, Roy H.
3
1986
Modular redundancy in a message passing system. Zbl 0575.68027
Mancini, Luigi
1
1986
Specification of modular systems. Zbl 0595.68023
Weber, Herbert; Ehrig, Hartmut
1
1986
The automatic inversion of attribute grammars. Zbl 0603.68086
Yellin, Daniel M.; Mueckstein, Eva-Maria M.
1
1986
Discrete time stochastic Petri nets. Zbl 0558.68053
Molloy, Michael K.
12
1985
Selecting software test data using data flow information. Zbl 0559.68015
Rapps, Sandra; Weyuker, Elaine J.
7
1985
Optimal load balancing in a multiple processor system with many job classes. Zbl 0556.68007
Ni, Lionel M.; Hwang, Kai
6
1985
Theoretical basis for the analysis of multiversion software subject to coincident errors. Zbl 0571.68022
Eckhardt, Dave E. jun.; Lee, Larry D.
6
1985
Completeness of proof systems for equational specifications. Zbl 0558.68017
Macqueen, David B.; Sannella, Donald T.
5
1985
Allocating independent subtasks on parallel processors. Zbl 0572.68022
Kruskal, Clyde P.; Weiss, Alan
3
1985
Stochastic modeling of branch-and-bound algorithms with best-first search. Zbl 0569.68027
Wah, Benjamin W.; Yu, Chee Fen
2
1985
Product-form synthesis of queueing networks. Zbl 0554.90045
Balsamo, Simonetta; Iazeolla, Giuseppe
1
1985
On the file design problem for partial match retrieval. Zbl 0566.68080
Du, Hung-Chang
1
1985
Synchronized distributed termination. Zbl 0568.68021
Szymanski, Boleslaw; Shi, Yuan; Prywes, Noah S.
1
1985
A priority based distributed deadlock detection algorithm. Zbl 0547.68027
Sinha, Mukul K.; Natarajan, N.
1
1985
Program slicing. Zbl 0552.68004
Weiser, Mark
52
1984
Parameterized programming. Zbl 0545.68017
Goguen, Joseph A.
14
1984
Protocol verification via projections. Zbl 0552.68022
Lam, Simon S.; Shankar, A. Udaya
12
1984
Correct and robust programs. Zbl 0532.68021
Cristian, Flaviu
9
1984
Specification of the UNIX filing system. Zbl 0532.68031
Morgan, Carroll; Sufrin, Bernard
9
1984
Performance analyses of Cartesian product files and random files. Zbl 0524.68058
Chang, C. C.; Du, M. W.
5
1984
A method for improving string pattern matching machines. Zbl 0524.68056
Aoe, Junichi; Yamamoto, Yoneo; Shimada, Ryosaku
4
1984
A heuristic for deriving loop functions. Zbl 0536.68003
Dunlop, Douglas D.; Basili, Victor R.
4
1984
Closed covers: To verify progress for communicating finite state machines. Zbl 0547.68060
Gouda, Mohamed G.
4
1984
Counting paths: Nondeterminism as linear algebra. Zbl 0553.68006
Benson, David B.
1
1984
Control of a heterogeneous two-server exponential queueing system. Zbl 0517.90031
Larsen, Ronald L.; Agrawala, Ashok K.
16
1983
Graph traversal techniques and the maximum flow problem in distributed computation. Zbl 0513.68066
Cheung, To-Yat
13
1983
Timing requirements for time-driven systems using augmented Petri nets. Zbl 0514.68060
Coolahan, James E. jun.; Roussopoulos, Nicholas
10
1983
A data structure and an algorithm for the nearest point problem. Zbl 0513.68057
Kalantari, Iraj; McDonald, Gerard
9
1983
A data flow oriented program testing strategy. Zbl 0509.68011
Laski, Janusz W.; Korel, Bogdan
7
1983
On the selection of an optimal set of indices. Zbl 0499.68043
Ip, Maggie Y. L.; Saxton, L. V.; Raghavan, Vijay V.
3
1983
Steady-state probabilities for a queue with a general service distribution and state-dependent arrivals. Zbl 0502.60081
Marie, Raymond A.; Pellaumail, Jean M.
3
1983
Compilation of nonprocedural specifications into computer programs. Zbl 0509.68013
Prywes, Noah S.; Pnueli, Amir
3
1983
Analyzing concurrency control algorithms when user and system operations differ. Zbl 0509.68112
Bernstein, Philip A.; Goodman, Nathan; Lai, Ming-Yee
3
1983
Distribution design of logical database schemas. Zbl 0513.68079
Ceri, Stefano; Navathe, Shamkant; Wiederhold, Gio
3
1983
The noisy substring matching problem. Zbl 0509.68102
Kashyap, R. L.; Oommen, B. John
2
1983
Casting Petri nets into programs. Zbl 0514.68030
Nelson, Robert A.; Haibt, Lois M.; Sheridan, Peter B.
2
1983
Simulation of procedure variables using Ada tasks. Zbl 0497.68005
Lamb, David A.; Hilfinger, Paul N.
1
1983
The study of a new perfect hash scheme. Zbl 0509.68063
Du, M. W.; Hsieh, T. M.; Jea, K. F.; Shieh, D. W.
1
1983
Dynamic rematerialization: processing distributed queries using redundant data. Zbl 0509.68113
Wong, Eugene
1
1983
The problem of equivalence for entity-relationship diagrams. Zbl 0513.68078
Jajodia, Sushil; Ng, Peter A.; Springsteel, Frederick N.
1
1983
Interconnection of local computer networks: Modeling and optimization problems. Zbl 0515.68004
Bernard, Guy
1
1983
Formal specification and verification of distributed systems. Zbl 0519.68035
Chen, Bo-Shoe; Yeh, Raymond T.
1
1983
A mathematical framework for the investigation of testing. Zbl 0519.68044
Gourlay, John S.
1
1983
Analysis of extendible hashing. Zbl 0491.68096
Mendelson, Haim
12
1982
Auditing and inference control in statistical databases. Zbl 0491.68102
Chin, Francis Y.; Ozsoyoglu, Gultekin
11
1982
A new method for concurrency in B-trees. Zbl 0486.68057
Kwong, Yat-Sang; Wood, Derick
10
1982
Achieving distributed termination without freezing. Zbl 0478.68024
Francez, Nissim; Rodeh, Michael
6
1982
An extension of Norton’s theorem for queueing networks. Zbl 0484.90038
Balsamo, Simonetta; Iazeolla, Giuseppe
5
1982
Performance of synchronized iterative processes in multiprocessor systems. Zbl 0484.68018
Dubois, Michel; Briggs, Faye A.
4
1982
Queueing analysis of a reordering issue. Zbl 0472.68022
Harrus, Gilbert; Plateau, Brigitte
3
1982
Symbolic Gray code as a perfect multiattribute hashing scheme for partial match queries. Zbl 0477.68117
Chang, C. C.; Lee, R. C. T.; Du, M. W.
2
1982
Proving consistency of database transactions written in extended Pascal. Zbl 0483.68081
Gardarin, G.; Melkanoff, M.
2
1982
A family of locking protocols for database systems that are modeled by directed graphs. Zbl 0491.68097
Siberschatz, Abraham; Kedem, Zvi M.
2
1982
...and 110 more Documents
all top 5

Cited by 3,641 Authors

13 Park, Jung-Heum
12 Hierons, Robert Mark
12 Ipate, Florentin
10 Aoe, Jun-ichi
10 Raynal, Michel
9 Harman, Mark
8 Chang, Chin-Chen
8 Danicic, Sebastian
7 Buzacott, John Alan
7 Cavalcanti, Ana
7 Nunez, Manuel A.
7 Rodríguez, Ismael
7 Ural, Hasan
7 Yamada, Shigeru
7 Yenigun, Husnu
6 Burns, Alan D.
6 Fuketa, Masao
6 Gheorghe, Marian
6 Hélary, Jean-Michel
6 Lim, Hyeong-Seok
6 Lime, Didier
6 Mei, Hong
6 Roux, Olivier H.
6 Silva, Josep
6 Tahar, Sofiène
6 Woodcock, James C. P.
5 Chatterjee, Subhashis
5 Clarke, Edmund Melson jun.
5 D’Argenio, Pedro Rubén
5 Devroye, Luc P. J. A.
5 Duan, Zhenhua
5 Hasan, Osman
5 Hooman, Jozef Johannes Maria
5 Iyengar, Sundaraja Sitharama
5 Macgregor Smith, J.
5 Merayo, Mercedes G.
5 Morita, Kazuhiro
5 Sannella, Donald T.
5 Schneider, Fred B.
5 Shishibori, Masami
5 Tarasyuk, Igor’ Valer’evich
5 Tarlecki, Andrzej
5 Trivedi, Kishor Shridharbhai
5 Vardi, Moshe Y.
5 Zeephongsekul, Panlop
4 Aichernig, Bernhard K.
4 Amtoft, Torben
4 Attie, Paul C.
4 Back, Ralph-Johan
4 Baldoni, Roberto
4 Buchholz, Peter
4 Chaudhuri, Pranay Kumar
4 Chen, Deng-Jyi
4 Colbourn, Charles J.
4 de Lucena, Carlos José Pereira
4 de Roever, Willem-Paul
4 Dohi, Tadashi
4 Ésik, Zoltán
4 Garg, Vijay K.
4 Goudie, I. B. J.
4 Hermanns, Holger
4 Hsu, Chiun-Chieh
4 Jourdan, Guy-Vincent
4 Kapur, Deepak
4 Katoen, Joost-Pieter
4 Konur, Savas
4 Kouvatsos, Demetres D.
4 Lamport, Leslie
4 Lee, Heeseok
4 Lee, Richard Chia-Tung
4 Leino, K. Rustan M.
4 Leuschel, Michael
4 Li, Bing
4 Li, Wei
4 Liotta, Giuseppe
4 Llorens, Marisa
4 Lynch, Nancy Ann
4 Meseguer Guaita, José
4 Mostefaoui, Achour
4 Olderog, Ernst-Rüdiger
4 Oliver, Javier
4 Osaki, Shunji
4 Pham, Hoang
4 Santoro, Nicola
4 Schaefer, Ina
4 Schmid, Ulrich
4 Sioutas, Spyros
4 Tamarit, Salvador
4 Tsichlas, Kostas
4 Türker, Uraz Cengiz
4 Wang, Jianfang
4 Yao, David D. W.
3 Abdulla, Parosh Aziz
3 Akyildiz, Ian Fuat
3 Alam, S. S.
3 Alpern, Bowen
3 Apt, Krzysztof Rafal
3 Baruah, Sanjoy K.
3 Basin, David A.
3 Beauquier, Joffroy
...and 3,541 more Authors
all top 5

Cited in 255 Journals

133 Theoretical Computer Science
102 Information Processing Letters
98 Formal Aspects of Computing
61 Acta Informatica
58 Distributed Computing
47 Real-Time Systems
42 International Journal of Systems Science
41 Information Sciences
38 Formal Methods in System Design
35 Journal of Computer and System Sciences
33 Journal of Computer Science and Technology
33 International Journal of Computer Mathematics
32 International Journal of Production Research
30 Software. Practice & Experience
30 European Journal of Operational Research
28 International Journal of Foundations of Computer Science
27 Annals of Operations Research
24 Computers & Operations Research
23 Queueing Systems
20 BIT
18 Algorithmica
18 International Journal of Parallel Programming
18 Discrete Event Dynamic Systems
18 Parallel Algorithms and Applications
17 Discrete Applied Mathematics
17 International Journal of General Systems
16 Computing
16 Wuhan University Journal of Natural Sciences (WUJNS)
15 Science of Computer Programming
15 MSCS. Mathematical Structures in Computer Science
14 International Journal of Computer & Information Sciences
14 Programming and Computer Software
14 Journal of Software Maintenance and Evolution. Research and Practice
13 Computers & Mathematics with Applications
13 Probability in the Engineering and Informational Sciences
12 Journal of Automated Reasoning
12 Annals of Mathematics and Artificial Intelligence
11 Information and Computation
11 Cybernetics and Systems Analysis
11 The Journal of Logic and Algebraic Programming
11 International Journal of Parallel, Emergent and Distributed Systems
10 Journal of Symbolic Computation
10 Mathematical and Computer Modelling
9 Artificial Intelligence
9 International Journal of Control
9
9 Communications in Statistics. Theory and Methods
9 Science in China. Series F
8 Journal of Functional Programming
8 Journal of Discrete Mathematical Sciences & Cryptography
7 Journal of Optimization Theory and Applications
7 Journal of Information & Optimization Sciences
7 Automation and Remote Control
7 Concurrency and Computation: Practice & Experience
7 Sādhanā
7 International Journal of Systems Science. Principles and Applications of Systems and Integration
6 Applied Mathematics and Computation
6 Journal of Soviet Mathematics
6 Operations Research Letters
6 International Journal of Intelligent Systems
6 Asia-Pacific Journal of Operational Research
6 Journal of Parallel and Distributed Computing
6 Mathematical Problems in Engineering
6 Journal of Scheduling
6 Journal of Discrete Algorithms
6 Science China. Information Sciences
6 Journal of Logical and Algebraic Methods in Programming
5 Automatica
5 Journal of Computational and Applied Mathematics
5 Kybernetes
5 Cybernetics and Systems
5 Communications in Statistics. Simulation and Computation
5 Mathematical Programming. Series A. Series B
5 International Transactions in Operational Research
5 Mathematics in Computer Science
4 ACM Computing Surveys
4 Acta Mathematicae Applicatae Sinica. English Series
4 New Generation Computing
4 Concurrency: Practice and Experience
4 Pattern Recognition
4 Journal of Computer and Systems Sciences International
4 ACM Transactions on Modeling and Computer Simulation
4 Theory of Computing Systems
4 Journal of Combinatorial Optimization
4 Journal of Systems Science and Complexity
4 Theory and Practice of Logic Programming
4 Natural Computing
3 Discrete Mathematics
3 Fuzzy Sets and Systems
3 Journal of Statistical Planning and Inference
3 Naval Research Logistics
3 Networks
3 Opsearch
3 Cybernetics
3 Stochastic Analysis and Applications
3 Random Structures & Algorithms
3 RAIRO. Informatique Théorique et Applications
3 ZOR. Zeitschrift für Operations Research
3 Journal of Applied Non-Classical Logics
3 Higher-Order and Symbolic Computation
...and 155 more Journals
all top 5

Cited in 39 Fields

1,620 Computer science (68-XX)
317 Operations research, mathematical programming (90-XX)
121 Probability theory and stochastic processes (60-XX)
89 Systems theory; control (93-XX)
86 Combinatorics (05-XX)
79 Mathematical logic and foundations (03-XX)
66 Statistics (62-XX)
60 Information and communication theory, circuits (94-XX)
34 Numerical analysis (65-XX)
18 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
15 Biology and other natural sciences (92-XX)
14 Category theory; homological algebra (18-XX)
11 General algebraic systems (08-XX)
8 General and overarching topics; collections (00-XX)
8 History and biography (01-XX)
8 Order, lattices, ordered algebraic structures (06-XX)
5 Number theory (11-XX)
4 Mechanics of deformable solids (74-XX)
3 Linear and multilinear algebra; matrix theory (15-XX)
3 Ordinary differential equations (34-XX)
3 Partial differential equations (35-XX)
3 Calculus of variations and optimal control; optimization (49-XX)
2 Algebraic geometry (14-XX)
2 Operator theory (47-XX)
2 General topology (54-XX)
2 Fluid mechanics (76-XX)
1 Commutative algebra (13-XX)
1 Group theory and generalizations (20-XX)
1 Topological groups, Lie groups (22-XX)
1 Special functions (33-XX)
1 Dynamical systems and ergodic theory (37-XX)
1 Harmonic analysis on Euclidean spaces (42-XX)
1 Integral equations (45-XX)
1 Geometry (51-XX)
1 Convex and discrete geometry (52-XX)
1 Differential geometry (53-XX)
1 Manifolds and cell complexes (57-XX)
1 Quantum theory (81-XX)
1 Geophysics (86-XX)

Citations by Year