Software. Practice & Experience Short Title: Softw., Pract. Exper. Publisher: John Wiley & Sons, Chichester ISSN: 0038-0644; 1097-024X/e Online: http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1097-024X Comments: Journal; No longer indexed Documents Indexed: 652 Publications (1971–2005) References Indexed: 632 Publications with 10,706 References. all top 5 Latest Issues 35, No. 13 (2005) 33, No. 7 (2003) 33, No. 6 (2003) 33, No. 3 (2003) 33, No. 2 (2003) 33, No. 1 (2003) 32, No. 15 (2002) 32, No. 14 (2002) 32, No. 13 (2002) 32, No. 12 (2002) 32, No. 11 (2002) 32, No. 10 (2002) 32, No. 9 (2002) 32, No. 8 (2002) 32, No. 7 (2002) 32, No. 6 (2002) 32, No. 5 (2002) 32, No. 4 (2002) 32, No. 3 (2002) 32, No. 2 (2002) 32, No. 1 (2002) 31, No. 15 (2001) 31, No. 14 (2001) 31, No. 13 (2001) 31, No. 12 (2001) 31, No. 11 (2001) 31, No. 10 (2001) 31, No. 9 (2001) 31, No. 8 (2001) 31, No. 7 (2001) 31, No. 6 (2001) 31, No. 5 (2001) 31, No. 4 (2001) 31, No. 3 (2001) 31, No. 2 (2001) 31, No. 1 (2001) 30, No. 15 (2000) 30, No. 14 (2000) 30, No. 13 (2000) 30, No. 12 (2000) 30, No. 11 (2000) 30, No. 7 (2000) 30, No. 6 (2000) 30, No. 5 (2000) 30, No. 4 (2000) 28, No. 9 (1998) 26, No. 5, Suppl. (1997) 24, No. 10 (1994) 24, No. 4 (1994) 19, No. 7 (1989) 19, No. 6 (1989) 19, No. 1 (1989) 18, No. 12 (1988) 18, No. 11 (1988) 18, No. 10 (1988) 18, No. 7 (1988) 18, No. 4 (1988) 18, No. 1 (1988) 17 (1987) 16 (1986) 15 (1985) 14 (1984) 13 (1983) 12 (1982) 11 (1981) 10 (1980) 9 (1979) 8 (1978) 7 (1977) 6 (1976) 5 (1975) 4 (1974) 3 (1973) 2 (1972) 1 (1971) all top 5 Authors 12 Brinch Hansen, Per 7 Wirth, Niklaus 6 Hanson, David R. 4 Atkinson, Laurence V. 4 Frank, G. R. 4 Perrott, Ronald H. 4 Theaker, C. J. 4 Wichmann, Brian A. 3 Atkinson, Malcolm P. 3 Bae, Doo-Hwan 3 Buyya, Rajkumar 3 Crookes, Danny 3 de Lucena, Carlos José Pereira 3 Deorowicz, Sebastian 3 Dromey, R. Geoff 3 Fenwick, Peter 3 Gehani, Narain H. 3 Gentleman, W. Morven 3 Hutt, Andrew T. F. 3 Katzenelson, Jacob 3 Kernighan, Brian W. 3 Knuth, Donald Ervin 3 Larmouth, John 3 Pyle, I. C. 3 Rohl, Jeffrey S. 3 Sale, Arthur H. J. 3 Schach, Stephen Ronald 3 Schonfelder, J. L. 3 Waite, William M. 3 Wu, Pei-Chi 2 Ancilotti, Paolo 2 Ancona, Massimo 2 Andrews, Gregory R. 2 Anido, Luis 2 Bailes, Paul A. 2 Bell, Tim 2 Bishop, Judy M. 2 Bulmer, A. R. 2 Cargill, T. A. 2 Chae, Heung Seok 2 Chuang, Tyng-Ruey 2 Clint, Maurice 2 Cohen, Jacques 2 Comer, Douglas E. 2 Cowan, Donald D. 2 Cunningham, R. J. 2 Daley, Nigel 2 Dandamudi, Sivarama P. 2 Di Battista, Giuseppe 2 Dodero, Gabriella 2 Ellis, T. M. R. 2 Fayad, Mohamed E. 2 Fellows, David M. 2 Fernandez, Manuel Jose 2 Fraser, Christopher W. 2 Gannon, John D. 2 Gansner, Emden R. 2 Griswold, Ralph E. 2 Gujar, Uday G. 2 Hać, Anna 2 Hague, Stephen J. 2 Harland, David M. 2 Hennessy, John LeRoy 2 Hoare, C. A. R. Tony 2 Hoffman, Daniel 2 Horspool, R. Nigel 2 Hull, M. Elizabeth C. 2 Ince, Darrel C. 2 Kawai, Satoru 2 Kourie, Derrick G. 2 Kwon, Yong Rae 2 Lauesen, Soren 2 Lecarme, Olivier 2 Lister, Andrew M. 2 Liu, Mengchi 2 Llamas, Martín 2 Luk, Robert W. P. 2 Magnenat-Thalmann, Nadia 2 Mamrak, Sandra A. 2 McGregor, James J. 2 McKeag, R. M. 2 Neely, Peter M. 2 North, Stephen C. 2 Pagan, Frank G. 2 Palme, Jacob 2 Parsons, I. T. 2 Purser, W. F. C. 2 Rafal, Marshall 2 Ravn, Anders P. 2 Richards, Martin 2 Roome, William D. 2 Scowen, R. S. 2 Shave, M. J. R. 2 Sorenson, Paul G. 2 Tennent, Robert D. 2 Thalmann, Daniel 2 Van Wyk, Christopher J. 2 Vaucher, Jean G. 2 Wand, I. C. 2 Watt, David Anthony ...and 905 more Authors all top 5 Fields 651 Computer science (68-XX) 6 Numerical analysis (65-XX) 3 General and overarching topics; collections (00-XX) 2 Combinatorics (05-XX) 2 Operations research, mathematical programming (90-XX) 2 Biology and other natural sciences (92-XX) 1 Mathematical logic and foundations (03-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Partial differential equations (35-XX) 1 Differential geometry (53-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 144 Publications have been cited 615 times in 554 Documents Cited by ▼ Year ▼ A new implementation technique for applicative languages. Zbl 0386.68009Turner, D. A. 60 1979 An open graph visualization system and its applications to software engineering. Zbl 1147.68782Gansner, Emden R.; North, Stephen C. 35 2000 The ABACUS system for branch-and-cut-and-price algorithms in integer programming and combinatorial optimization. Zbl 1147.90416Jünger, Michael; Thienel, Stefan 30 2000 On the design of CGAL a computational geometry algorithms library. Zbl 1147.68781Fabri, Andreas; Giezeman, Geert-Jan; Kettner, Lutz; Schirra, Stefan; Schönherr, Sven 22 2000 An empirical study of FORTRAN programs. Zbl 0243.68003Knuth, Donald E. 18 1971 A taxonomy and survey of grid resource management systems for distributed computing. Zbl 0987.68786Krauter, Klaus; Buyya, Rajkumar; Maheswaran, Muthucumaru 17 2002 Backtrack search algorithms and the maximal common subgraph problem. Zbl 0466.68053McGregor, James J. 15 1982 DAG - a program that draws directed graphs. Zbl 0661.68067Gansner, E. R.; North, S. C.; Vo, K. P. 10 1988 Pretty-printing of trees. Zbl 0431.68040Vaucher, Jean G. 10 1980 NR-grep: A fast and flexible pattern-matching tool. Zbl 1008.68028Navarro, Gonzalo 9 2001 Modula: a language for modular multiprogramming. Zbl 0346.68012Wirth, N. 9 1977 Breaking paragraphs into lines. Zbl 0471.68021Knuth, Donald E.; Plass, Michael F. 9 1981 Developing multi-agent systems with a FIPA-compliant agent framework. Zbl 0963.68668Bellifemine, Fabio; Poggi, Agostino; Rimassa, Giovanni 8 2001 Exploiting partial order with Quicksort. Zbl 0537.68058Dromey, R. Geoff 8 1984 Klava: a Java package for distributed and mobile applications. Zbl 1009.68933Bettini, Lorenzo; De Nicola, Rocco; Pugliese, Rosario 7 2002 A comparison of three string matching algorithms. Zbl 0466.68050de V. Smit, G. 7 1982 On the generation and use of space-filling curves. Zbl 0511.68085Witten, Ian H.; Wyvill, Brian 6 1983 Bytecode verification on Java smart cards. Zbl 1009.68891Leroy, Xavier 6 2002 Grids and Grid technologies for wide-area distributed computing. Zbl 1009.68937Baker, Mark; Buyya, Rajkumar; Laforenza, Domenico 6 2002 Approximate string matching using within-word parallelism. Zbl 0942.68787Wright, Alden H. 6 1994 The programming language Oberon. Zbl 0646.68012Wirth, N. 6 1988 A new algorithm for generating Hilbert curves. Zbl 0593.65014Fisher, A. J. 5 1986 Unrolling loops in FORTRAN. Zbl 0393.68011Dongarra, J. J.; Hinds, A. R. 5 1979 Second step algorithms in the Burrows-Wheeler compression algorithm. Zbl 0987.68789Deorowicz, Sebastian 5 2002 How to squeeze a lexicon. Zbl 0987.68782Ciura, Marcin G.; Deorowicz, Sebastian 5 2001 Drawing database schemas. Zbl 1009.68921Di Battista, Giuseppe; Didimo, Walter; Patrignani, Maurizio; Pizzonia, Maurizio 5 2002 D’Agents: Applications and performance of a mobile-agent system. Zbl 1009.68902Gray, Robert S.; Cybenko, George; Kotz, David; Peterson, Ronald A.; Rus, Daniela 5 2002 The production of special function routines for a multi-machine library. Zbl 0317.68024Schonfelder, J. L. 5 1976 DAVE - a validation error detection and documentation system for Fortran programs. Zbl 0329.68011Osterweil, Leon J.; Fosdick, Lloyd D. 5 1976 Implementation of an interpreter for abstract equations. Zbl 0591.68010Hoffmann, Christoph M.; O’Donnell, Michael; Strandh, Robert I. 4 1985 Graphlet: design and implementation of a graph editor. Zbl 1147.68784Himsolt, Michael 4 2000 Alias burying: Unique variables without destructive reads. Zbl 1009.68878Boyland, John 4 2001 Improvements to Burrows-Wheeler compression algorithm. Zbl 1060.68595Deorowicz, Sebastian 4 2000 The design of a PASCAL compiler. Zbl 0232.68005Wirth, N. 4 1971 Debugging tools for high level languages. Zbl 0236.68003Satterthwaite, E. 4 1972 The PFORT verifier. Zbl 0291.68008Ryder, B. G. 4 1974 An algorithm for displaying a class of space-filling curves. Zbl 0589.68071Griffiths, J. G. 3 1986 Algorithms for pattern matching. Zbl 0592.68057Davies, G.; Bowsher, S. 3 1986 Queueing network software for systems modelling. Zbl 0395.68088Sauer, C. H.; Macnair, E. A. 3 1979 Logic programming and compiler writing. Zbl 0428.68015Warren, David H. D. 3 1980 Specification methodology: An integrated relational approach. Zbl 0602.68015Mili, Ali; Wang, Xiao-Yang; Yu, Qing 3 1986 Burrows-Wheeler compression with variable length integer codes. Zbl 1009.68927Fenwick, Peter 3 2002 Semi-automatic grammar recovery. Zbl 1009.68889Lämmel, R.; Verhoef, C. 3 2001 A stable quicksort. Zbl 0457.68055Motzkin, Dalia 3 1981 Some perils of performance prediction: A case study on pattern matching. Zbl 0987.68930Fenwick, Peter 2 2001 Parallel assignment revisited. Zbl 0519.68009Welch, P. H. 2 1983 DTL: A language for the design and implementation of concurrent programs as structured networks. Zbl 0519.68030Hughes, J. W.; Powell, M. S. 2 1983 Make - a program for maintaining computer programs. Zbl 0393.68015Feldman, Stuart I. 2 1979 Yacc in Sasl - an exercise in functional programming. Zbl 0566.68006Jones, Simon L. Peyton 2 1985 Triplex: a system for interval arithmetic. Zbl 0479.68032Cole, A. J.; Morrison, R. 2 1982 Introspective sorting and selection revisited. Zbl 1147.68472Valois, John D. 2 2000 Automatic parallel control structures in SequenceL. Zbl 1009.68864Cooke, Daniel E.; Andersen, Per 2 2000 Confined types in Java. Zbl 1009.68879Vitek, Jan; Bokowski, Boris 2 2001 MOLE: A mobile agent system. Zbl 1009.68903Baumann, J.; Hohl, F.; Rothermel, K.; Strasser, M.; Theilmann, W. 2 2002 A cohesion measure for object-oriented classes. Zbl 1009.68858Chae, Heung Seok; Kwon, Yong Rae; Bae, Doo Hwan 2 2000 The use of ghost variables and virtual programming in the documentation and verification of programs. Zbl 0544.68006Clint, M.; Vicent, C. 2 1984 A debugger for concurrent programs. Zbl 0559.68044Gait, Jason 2 1985 Design and implementation of modula. Zbl 0347.68007Wirth, N. 2 1977 ASAB: A Chinese screen reader. Zbl 1010.68972Luk, R. W. P.; Yeung, D. S.; Lu, Q.; Leung, H. L.; Li, S. Y.; Leung, F. 2 2003 The Lambda Library: Unnamed functions in C++. Zbl 1010.68973Järvi, Jaakko; Powell, Gary; Lumsdaine, Andrew 2 2003 Eliminating recursion from combinatoric procedures. Zbl 0459.68034Rohl, J. S. 2 1981 Generalized non-recursive traversal of binary trees. Zbl 0466.68054Kilgour, A. C. 2 1981 Converting a class of recursive procedures into non-recursive ones. Zbl 0348.68031Rohl, J. S. 2 1977 An extension of FORTRAN containing finite difference operators. Zbl 0245.65054Gary, John; Helgason, Richard 2 1972 On evaluating Boolean expressions. Zbl 0272.68036Gudes, E.; Reiter, A. 2 1973 An evaluation of the effectivences of symbolic testing. Zbl 0376.68024Howden, William E. 2 1978 A multiprocessor implementation of Joyce. Zbl 0825.68280Brinch Hansen, Per 1 1989 Numeric ActiveX components. Zbl 0963.68670Levy, G. F. 1 2001 A Java/CORBA virtual machine architecture for remote execution of optimization solvers in heterogeneous networks. Zbl 0963.68666González-Castaño, F. J.; Anido-Rifón, L.; Pousada-Carballo, J. M.; Rodríguez-Hernández, P. S.; López-Gómez, R. 1 2001 Enhancing CLP branch and bound techniques for scheduling problems. Zbl 0963.68664Bosi, F.; Milano, M. 1 2001 Java Native Interface idioms for C++ class hierarchies. Zbl 0971.68661Parson, Dale; Zhu, Zhenyu 1 2000 BOX: Browsing objects in XML. Zbl 0971.68660Nentwich, Christian; Emmerich, Wolfgang; Finkelstein, Anthony; Zisman, Andrea 1 2000 Self-adjusting trees in preactice for large text collections. Zbl 0990.68562Williams, Hugh E.; Zobel, Justin; Heinz, Steffen 1 2001 Fast string matching for multiple searches. Zbl 0986.68925Fenwick, Peter 1 2001 Developing WWW-based highly interactive and collaborative applications using software components. Zbl 0987.68932Anido, Luis; Llamas, Martin; Fernández, Manuel J. 1 2001 An execution profiler for modular programs. Zbl 0515.68007Graham, Susan L.; Kessler, Peter B.; Mckusick, Marshall K. 1 1983 Awk - A pattern scanning and processing language. Zbl 0393.68012Aho, Alfred V.; Kernighan, Brian W.; Weinberger, Peter J. 1 1979 Arbitrary precision arithmetic in Algol 68. Zbl 0394.68027Schonfelder, J. L.; Thomason, J. T. 1 1979 A draft description of Pascal. Zbl 0399.68007Addyman, A. M.; Brewer, R.; Burnett-Hall, D. G.; De Morgan, R. M.; Findlay, W.; Jackson, M. I.; Joslin, D. A.; Rees, M. J.; Watt, D. A.; Welsh, J.; Wichmann, B. A. 1 1979 Pascal-Plus - another language for modular multiprogramming. Zbl 0411.68025Welsh, J.; Bustard, D. W. 1 1979 An analysis of Pascal programs in compiler writing. Zbl 0428.68016Shimasaki, Masaaki; Fukaya, Shigeru; Ikeda, Katsuo; Kiyono, Takeshi 1 1980 Concurrent \(C++:\) Concurrent programming with class(es). Zbl 0661.68006Gehani, N. H.; Roome, W. D. 1 1988 A method of program transformation between variable sharing and message passing. Zbl 0563.68009Hikita, Teruo; Ishihata, Kiyoshi 1 1985 Specifications and an implementation of the type-ambiguity problem in Pascal. Zbl 0575.68007Partridge, Derek 1 1985 Executable semantic descriptions. Zbl 0575.68017Watt, David A. 1 1986 Concurrent C. Zbl 0599.68028Gehani, N. H.; Roome, W. D. 1 1986 Joyce - A programming language for distributed systems. Zbl 0601.68011Brinch Hansen, Per 1 1987 AIDA - a dynamic data flow anomaly detection system for Pascal programs. Zbl 0607.68008Chan, Fun Ting; Chen, Tsong Yueh 1 1987 Generalizations of the Sethi-Ullman algorithm for register allocation. Zbl 0617.68031Appel, Andrew W.; Supowit, Kenneth J. 1 1987 Optimizing two-state case statements in Pascal. Zbl 0481.68006Atkinson, L. V. 1 1982 Compilation of the Pascal case statement. Zbl 0488.68012Hennessy, John L.; Mendelsohn, Noah 1 1982 A robust distributed solution to the dining philosophers problem. Zbl 0489.68020Cargill, T. A. 1 1982 Experimental studies on graph drawing algorithms. Zbl 1147.68785Vismara, Luca; Di Battista, Giuseppe; Garg, Ashim; Liotta, Giuseppe; Tamassia, Roberto; Vargiu, Francesco 1 2000 Java threads and SugarCubes. Zbl 1147.68451Boussinot, Frédéric; Susini, Jean-Ferdy 1 2000 Java 3D, 3D graphical environments and behaviour. Zbl 1009.68892Burrows, Anthony L.; England, David 1 2002 Virtual-machine-based heterogeneous checkpointing. Zbl 1009.68926Agbaria, Adnan; Friedman, Roy 1 2002 Coping with aliasing in the GNU Eiffel compiler implementation. Zbl 1009.68880Zendra, Olivier; Colnet, Dominique 1 2001 J3DV: A Java-based 3D database visualization tool. Zbl 1009.68898Fang, Xiang; Miller, John A.; Arnold, Jonathan 1 2002 Application and programming experience with the Ara mobile agent system. Zbl 1009.68901Peine, Holger 1 2002 Maintaining traceability links during object-oriented software evolution. Zbl 1009.68870Antoniol, G.; Canfora, G.; Casazza, G.; De Lucia, A. 1 2001 ASAB: A Chinese screen reader. Zbl 1010.68972Luk, R. W. P.; Yeung, D. S.; Lu, Q.; Leung, H. L.; Li, S. Y.; Leung, F. 2 2003 The Lambda Library: Unnamed functions in C++. Zbl 1010.68973Järvi, Jaakko; Powell, Gary; Lumsdaine, Andrew 2 2003 \(\text{P}\sup{3}\): a code and design conventions preprocessor for Java. Zbl 1005.68746Depradine, Colin; Chaudhuri, Pranay 1 2003 A music notation construction engine for optical music recognition. Zbl 1010.68968Bainbridge, David; Bell, Tim 1 2003 A taxonomy and survey of grid resource management systems for distributed computing. Zbl 0987.68786Krauter, Klaus; Buyya, Rajkumar; Maheswaran, Muthucumaru 17 2002 Klava: a Java package for distributed and mobile applications. Zbl 1009.68933Bettini, Lorenzo; De Nicola, Rocco; Pugliese, Rosario 7 2002 Bytecode verification on Java smart cards. Zbl 1009.68891Leroy, Xavier 6 2002 Grids and Grid technologies for wide-area distributed computing. Zbl 1009.68937Baker, Mark; Buyya, Rajkumar; Laforenza, Domenico 6 2002 Second step algorithms in the Burrows-Wheeler compression algorithm. Zbl 0987.68789Deorowicz, Sebastian 5 2002 Drawing database schemas. Zbl 1009.68921Di Battista, Giuseppe; Didimo, Walter; Patrignani, Maurizio; Pizzonia, Maurizio 5 2002 D’Agents: Applications and performance of a mobile-agent system. Zbl 1009.68902Gray, Robert S.; Cybenko, George; Kotz, David; Peterson, Ronald A.; Rus, Daniela 5 2002 Burrows-Wheeler compression with variable length integer codes. Zbl 1009.68927Fenwick, Peter 3 2002 MOLE: A mobile agent system. Zbl 1009.68903Baumann, J.; Hohl, F.; Rothermel, K.; Strasser, M.; Theilmann, W. 2 2002 Java 3D, 3D graphical environments and behaviour. Zbl 1009.68892Burrows, Anthony L.; England, David 1 2002 Virtual-machine-based heterogeneous checkpointing. Zbl 1009.68926Agbaria, Adnan; Friedman, Roy 1 2002 J3DV: A Java-based 3D database visualization tool. Zbl 1009.68898Fang, Xiang; Miller, John A.; Arnold, Jonathan 1 2002 Application and programming experience with the Ara mobile agent system. Zbl 1009.68901Peine, Holger 1 2002 NR-grep: A fast and flexible pattern-matching tool. Zbl 1008.68028Navarro, Gonzalo 9 2001 Developing multi-agent systems with a FIPA-compliant agent framework. Zbl 0963.68668Bellifemine, Fabio; Poggi, Agostino; Rimassa, Giovanni 8 2001 How to squeeze a lexicon. Zbl 0987.68782Ciura, Marcin G.; Deorowicz, Sebastian 5 2001 Alias burying: Unique variables without destructive reads. Zbl 1009.68878Boyland, John 4 2001 Semi-automatic grammar recovery. Zbl 1009.68889Lämmel, R.; Verhoef, C. 3 2001 Some perils of performance prediction: A case study on pattern matching. Zbl 0987.68930Fenwick, Peter 2 2001 Confined types in Java. Zbl 1009.68879Vitek, Jan; Bokowski, Boris 2 2001 Numeric ActiveX components. Zbl 0963.68670Levy, G. F. 1 2001 A Java/CORBA virtual machine architecture for remote execution of optimization solvers in heterogeneous networks. Zbl 0963.68666González-Castaño, F. J.; Anido-Rifón, L.; Pousada-Carballo, J. M.; Rodríguez-Hernández, P. S.; López-Gómez, R. 1 2001 Enhancing CLP branch and bound techniques for scheduling problems. Zbl 0963.68664Bosi, F.; Milano, M. 1 2001 Self-adjusting trees in preactice for large text collections. Zbl 0990.68562Williams, Hugh E.; Zobel, Justin; Heinz, Steffen 1 2001 Fast string matching for multiple searches. Zbl 0986.68925Fenwick, Peter 1 2001 Developing WWW-based highly interactive and collaborative applications using software components. Zbl 0987.68932Anido, Luis; Llamas, Martin; Fernández, Manuel J. 1 2001 Coping with aliasing in the GNU Eiffel compiler implementation. Zbl 1009.68880Zendra, Olivier; Colnet, Dominique 1 2001 Maintaining traceability links during object-oriented software evolution. Zbl 1009.68870Antoniol, G.; Canfora, G.; Casazza, G.; De Lucia, A. 1 2001 An open graph visualization system and its applications to software engineering. Zbl 1147.68782Gansner, Emden R.; North, Stephen C. 35 2000 The ABACUS system for branch-and-cut-and-price algorithms in integer programming and combinatorial optimization. Zbl 1147.90416Jünger, Michael; Thienel, Stefan 30 2000 On the design of CGAL a computational geometry algorithms library. Zbl 1147.68781Fabri, Andreas; Giezeman, Geert-Jan; Kettner, Lutz; Schirra, Stefan; Schönherr, Sven 22 2000 Graphlet: design and implementation of a graph editor. Zbl 1147.68784Himsolt, Michael 4 2000 Improvements to Burrows-Wheeler compression algorithm. Zbl 1060.68595Deorowicz, Sebastian 4 2000 Introspective sorting and selection revisited. Zbl 1147.68472Valois, John D. 2 2000 Automatic parallel control structures in SequenceL. Zbl 1009.68864Cooke, Daniel E.; Andersen, Per 2 2000 A cohesion measure for object-oriented classes. Zbl 1009.68858Chae, Heung Seok; Kwon, Yong Rae; Bae, Doo Hwan 2 2000 Java Native Interface idioms for C++ class hierarchies. Zbl 0971.68661Parson, Dale; Zhu, Zhenyu 1 2000 BOX: Browsing objects in XML. Zbl 0971.68660Nentwich, Christian; Emmerich, Wolfgang; Finkelstein, Anthony; Zisman, Andrea 1 2000 Experimental studies on graph drawing algorithms. Zbl 1147.68785Vismara, Luca; Di Battista, Giuseppe; Garg, Ashim; Liotta, Giuseppe; Tamassia, Roberto; Vargiu, Francesco 1 2000 Java threads and SugarCubes. Zbl 1147.68451Boussinot, Frédéric; Susini, Jean-Ferdy 1 2000 BRISK: a portable and flexible distributed instrumentation system. Zbl 1009.68860Bakić, Aleksandar; Mutka, Matt W.; Rover, Diane T. 1 2000 Transition from national standards to unicode: multilingual support in operating systems and programming languages. Zbl 1009.68857Wu, Pei-Chi 1 2000 A static analyzer for finding dynamic programming errors. Zbl 1009.68852Bush, William R.; Pincus, Jonathan D.; Sielaff, David J. 1 2000 Software product lines: a case study. Zbl 1009.68856Ardis, Mark; Daley, Nigel; Hoffman, Daniel; Siy, Harvey; Weiss, David 1 2000 Implementation of automated fine-granularity locking in a persistent programming language. Zbl 1008.68783Daynès, L. 1 2000 Approximate string matching using within-word parallelism. Zbl 0942.68787Wright, Alden H. 6 1994 A multiprocessor implementation of Joyce. Zbl 0825.68280Brinch Hansen, Per 1 1989 DAG - a program that draws directed graphs. Zbl 0661.68067Gansner, E. R.; North, S. C.; Vo, K. P. 10 1988 The programming language Oberon. Zbl 0646.68012Wirth, N. 6 1988 Concurrent \(C++:\) Concurrent programming with class(es). Zbl 0661.68006Gehani, N. H.; Roome, W. D. 1 1988 Joyce - A programming language for distributed systems. Zbl 0601.68011Brinch Hansen, Per 1 1987 AIDA - a dynamic data flow anomaly detection system for Pascal programs. Zbl 0607.68008Chan, Fun Ting; Chen, Tsong Yueh 1 1987 Generalizations of the Sethi-Ullman algorithm for register allocation. Zbl 0617.68031Appel, Andrew W.; Supowit, Kenneth J. 1 1987 A new algorithm for generating Hilbert curves. Zbl 0593.65014Fisher, A. J. 5 1986 An algorithm for displaying a class of space-filling curves. Zbl 0589.68071Griffiths, J. G. 3 1986 Algorithms for pattern matching. Zbl 0592.68057Davies, G.; Bowsher, S. 3 1986 Specification methodology: An integrated relational approach. Zbl 0602.68015Mili, Ali; Wang, Xiao-Yang; Yu, Qing 3 1986 Executable semantic descriptions. Zbl 0575.68017Watt, David A. 1 1986 Concurrent C. Zbl 0599.68028Gehani, N. H.; Roome, W. D. 1 1986 Implementation of an interpreter for abstract equations. Zbl 0591.68010Hoffmann, Christoph M.; O’Donnell, Michael; Strandh, Robert I. 4 1985 Yacc in Sasl - an exercise in functional programming. Zbl 0566.68006Jones, Simon L. Peyton 2 1985 A debugger for concurrent programs. Zbl 0559.68044Gait, Jason 2 1985 A method of program transformation between variable sharing and message passing. Zbl 0563.68009Hikita, Teruo; Ishihata, Kiyoshi 1 1985 Specifications and an implementation of the type-ambiguity problem in Pascal. Zbl 0575.68007Partridge, Derek 1 1985 Forced termination of loops. Zbl 0547.68016Dromey, R. Geoff 1 1985 Exploiting partial order with Quicksort. Zbl 0537.68058Dromey, R. Geoff 8 1984 The use of ghost variables and virtual programming in the documentation and verification of programs. Zbl 0544.68006Clint, M.; Vicent, C. 2 1984 Concurrent programming in the Ada language: The polling bias. Zbl 0536.68014Gehani, N. H.; Cargill, T. A. 1 1984 An experiment in language design for distributed systems. Zbl 0542.68019Crookes, D.; Elder, J. W. G. 1 1984 On the generation and use of space-filling curves. Zbl 0511.68085Witten, Ian H.; Wyvill, Brian 6 1983 Parallel assignment revisited. Zbl 0519.68009Welch, P. H. 2 1983 DTL: A language for the design and implementation of concurrent programs as structured networks. Zbl 0519.68030Hughes, J. W.; Powell, M. S. 2 1983 An execution profiler for modular programs. Zbl 0515.68007Graham, Susan L.; Kessler, Peter B.; Mckusick, Marshall K. 1 1983 Backtrack search algorithms and the maximal common subgraph problem. Zbl 0466.68053McGregor, James J. 15 1982 A comparison of three string matching algorithms. Zbl 0466.68050de V. Smit, G. 7 1982 Triplex: a system for interval arithmetic. Zbl 0479.68032Cole, A. J.; Morrison, R. 2 1982 Optimizing two-state case statements in Pascal. Zbl 0481.68006Atkinson, L. V. 1 1982 Compilation of the Pascal case statement. Zbl 0488.68012Hennessy, John L.; Mendelsohn, Noah 1 1982 A robust distributed solution to the dining philosophers problem. Zbl 0489.68020Cargill, T. A. 1 1982 Breaking paragraphs into lines. Zbl 0471.68021Knuth, Donald E.; Plass, Michael F. 9 1981 A stable quicksort. Zbl 0457.68055Motzkin, Dalia 3 1981 Eliminating recursion from combinatoric procedures. Zbl 0459.68034Rohl, J. S. 2 1981 Generalized non-recursive traversal of binary trees. Zbl 0466.68054Kilgour, A. C. 2 1981 Edison - a multiprocessor language. Zbl 0452.68028Brinch Hansen, Per 1 1981 The design of Edison. Zbl 0452.68029Brinch Hansen, Per 1 1981 A portable LISP compiler. Zbl 0467.68024Griss, Martin L.; Hearn, Anthony C. 1 1981 Message passing between sequential processes: the reply primitive and the administrator concept. Zbl 0467.68027Gentleman, W. Morven 1 1981 Modular programming with Pascal. Zbl 0471.68004Steensgaard-Madsen, J. 1 1981 Compiling short-circuit boolean expressions in one pass. Zbl 0471.68015Logothetis, George; Mishra, Prateek 1 1981 Pretty-printing of trees. Zbl 0431.68040Vaucher, Jean G. 10 1980 Logic programming and compiler writing. Zbl 0428.68015Warren, David H. D. 3 1980 An analysis of Pascal programs in compiler writing. Zbl 0428.68016Shimasaki, Masaaki; Fukaya, Shigeru; Ikeda, Katsuo; Kiyono, Takeshi 1 1980 Axioms for user-defined operators. Zbl 0429.68017Pyle, I. C. 1 1980 Infinite power series. Zbl 0441.68042Harrington, Steven 1 1980 An overview of Ada. Zbl 0442.68004Barnes, I. G. P. 1 1980 Transportable package software. Zbl 0442.68017Hamlet, R. G.; Haralick, R. M. 1 1980 ...and 44 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,111 Authors 7 Jünger, Michael 5 Halperin, Dan 5 Liotta, Giuseppe 5 Navarro, Gonzalo 4 Daciuk, Jan 4 Di Battista, Giuseppe 4 Eades, Peter 4 Kettner, Lutz 4 Petersson, Ola 4 Tamassia, Roberto 3 Chimani, Markus 3 de Moor, Oege 3 Di Gaspero, Luca 3 Didimo, Walter 3 Fenwick, Peter 3 Fogel, Efi 3 Gutwenger, Carsten 3 Klop, Jan Willem 3 Martini, Luca 3 Mehlhorn, Kurt 3 Moffat, Alistair 3 Mutzel, Petra 3 Nielson, Flemming 3 Pugliese, Rosario 3 Riis Nielson, Hanne 3 Schaerf, Andrea 3 Shibata, Masahiro 3 Tarhio, Jorma 3 Tennent, Robert D. 3 Tollis, Ioannis G. 3 Yaman, Hande 2 Agrawal, Gagan 2 Baeza-Yates, Ricardo A. 2 Barendregt, Hendrik Pieter 2 Barthe, Gilles 2 Berberich, Eric 2 Bernardini, Giulia 2 Bille, Philip 2 Bird, Richard S. 2 Bolshakov, Igor A. 2 Borzemski, Leszek 2 Boudriga, Noureddine A. 2 Brand, Sebastian 2 Buchheim, Christoph 2 Bunke, Horst 2 Carlsson, Svante 2 Carrasco, Rafael C. 2 Chen, Fati 2 Chen, Jingsen 2 Cole, A. J. 2 Crainic, Teodor Gabriel 2 Damas, Luís 2 De Francesco, Nicoletta 2 De Nicola, Rocco 2 Deorowicz, Sebastian 2 Douence, Rémi 2 Estivill-Castro, Vladimir 2 Fluet, Matthew T. 2 Gagie, Travis 2 Garg, Ashim 2 Gawrychowski, Paweł 2 Giachino, Elena 2 Giannini, Paola 2 Gorla, Daniele 2 Hamlet, Richard G. 2 Hanniel, Iddo 2 Hikita, Teruo 2 Hofmann, Heike 2 Hu, Yefa 2 Järvi, Jaakko 2 Kakugawa, Hirotsugu 2 Kallehauge, Brian 2 Kaut, Michal 2 Kennaway, J. R. 2 Kennedy, Ken 2 Keßler, Christoph W. 2 Kim, Deok-Soo 2 Kluge, Werner E. 2 Knuth, Donald Ervin 2 Labbé, Martine V. 2 Laguna, Manuel 2 Lämmel, Ralf 2 Lanza, Michele 2 Lee, Mokwon 2 Lettieri, Giuseppe 2 Levcopoulos, Christos 2 Liers, Frauke 2 Lins, Rafael Dueire 2 Liu, Xian 2 Lluch Lafuente, Alberto 2 MacLeod, Allan J. 2 Mankowski, Michal 2 Manzini, Giovanni 2 Marenco, Javier L. 2 Margaritis, Konstantinos G. 2 Martí, Rafael 2 Masuzawa, Toshimitsu 2 Méndez-Díaz, Isabel 2 Michailidis, Panagiotis D. 2 Milano, Michela ...and 1,011 more Authors all top 5 Cited in 147 Journals 45 Theoretical Computer Science 36 Information Processing Letters 25 Acta Informatica 17 Software. Practice & Experience 17 Journal of Functional Programming 11 Discrete Applied Mathematics 10 Science of Computer Programming 9 Computational Geometry 9 Theory and Practice of Logic Programming 8 New Generation Computing 8 Algorithmica 8 Real-Time Systems 8 BIT. Nordisk Tidskrift for Informationsbehandling 7 Information and Computation 7 Annals of Operations Research 7 International Journal of Computer Mathematics 6 Applied Mathematics and Computation 6 Journal of Computational and Applied Mathematics 6 Journal of Computer and System Sciences 6 Journal of Soviet Mathematics 6 Computers & Operations Research 6 Formal Aspects of Computing 6 European Journal of Operational Research 5 Information Sciences 5 MSCS. Mathematical Structures in Computer Science 5 Formal Methods in System Design 5 Higher-Order and Symbolic Computation 5 Computer Languages, Systems & Structures 5 Mathematics in Computer Science 4 Computers & Mathematics with Applications 4 BIT 4 Computing 4 Journal of Symbolic Computation 4 International Journal of Parallel Programming 4 Journal of Automated Reasoning 4 International Journal of Foundations of Computer Science 4 Mathematical Programming. Series A. Series B 4 Journal of Scheduling 4 Journal of Discrete Algorithms 3 International Journal of Computer & Information Sciences 3 The Journal of Symbolic Logic 3 Mathematics and Computers in Simulation 3 International Journal of Production Research 3 Applied Numerical Mathematics 3 Journal of Computer Science and Technology 3 Mathematical and Computer Modelling 3 Computational Statistics 3 Cybernetics and Systems Analysis 3 Discrete Optimization 3 3 Science China. Information Sciences 3 Journal of Logical and Algebraic Methods in Programming 2 Artificial Intelligence 2 Mathematics of Computation 2 Programming and Computer Software 2 2 Cybernetics 2 Cybernetics and Systems 2 Random Structures & Algorithms 2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 2 International Journal of Computational Geometry & Applications 2 Pattern Recognition 2 Annals of Mathematics and Artificial Intelligence 2 Journal of Graph Algorithms and Applications 2 RAIRO. Theoretical Informatics and Applications 2 The Journal of Logic and Algebraic Programming 2 JMMA. Journal of Mathematical Modelling and Algorithms 2 4OR 1 ACM Computing Surveys 1 The Canadian Journal of Statistics 1 Computer Methods in Applied Mechanics and Engineering 1 Computer Physics Communications 1 Discrete Mathematics 1 General Relativity and Gravitation 1 International Journal of General Systems 1 Physics Letters. A 1 ACM Transactions on Mathematical Software 1 Automatica 1 Biometrics 1 Calcolo 1 International Journal for Numerical Methods in Engineering 1 Kybernetika 1 Notre Dame Journal of Formal Logic 1 SIAM Journal on Computing 1 Statistica 1 OR Spektrum 1 Operations Research Letters 1 Computer Aided Geometric Design 1 RAIRO. Modélisation Mathématique et Analyse Numérique 1 Applied Mathematics Letters 1 Journal of Scientific Computing 1 Concurrency: Practice and Experience 1 Journal of Global Optimization 1 Discrete Event Dynamic Systems 1 Applied Intelligence 1 RAIRO. Informatique Théorique et Applications 1 Computational Optimization and Applications 1 Journal of Logic, Language and Information 1 Journal of Computer and Systems Sciences International 1 Applied Mathematics. Series B (English Edition) ...and 47 more Journals all top 5 Cited in 38 Fields 444 Computer science (68-XX) 77 Operations research, mathematical programming (90-XX) 41 Numerical analysis (65-XX) 39 Combinatorics (05-XX) 37 Mathematical logic and foundations (03-XX) 14 Information and communication theory, circuits (94-XX) 12 Biology and other natural sciences (92-XX) 10 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 8 Statistics (62-XX) 5 Probability theory and stochastic processes (60-XX) 5 Quantum theory (81-XX) 5 Systems theory; control (93-XX) 4 Category theory; homological algebra (18-XX) 4 Special functions (33-XX) 3 General and overarching topics; collections (00-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 Algebraic geometry (14-XX) 3 Approximations and expansions (41-XX) 2 Real functions (26-XX) 2 Ordinary differential equations (34-XX) 2 Partial differential equations (35-XX) 2 Convex and discrete geometry (52-XX) 2 Mechanics of deformable solids (74-XX) 2 Fluid mechanics (76-XX) 1 History and biography (01-XX) 1 General algebraic systems (08-XX) 1 Number theory (11-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Group theory and generalizations (20-XX) 1 Measure and integration (28-XX) 1 Functions of a complex variable (30-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Differential geometry (53-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Astronomy and astrophysics (85-XX) 1 Geophysics (86-XX) 1 Mathematics education (97-XX) Citations by Year