×

zbMATH — the first resource for mathematics

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: No longer indexed
Documents Indexed: 652 Publications (1971–2005)
References Indexed: 632 Publications with 10,706 References.
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 Butler, Greg
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.
...and 903 more Authors

Publications by Year

Citations contained in zbMATH Open

146 Publications have been cited 476 times in 524 Documents Cited by Year
A new implementation technique for applicative languages. Zbl 0386.68009
Turner, D. A.
56
1979
The ABACUS system for branch-and-cut-and-price algorithms in integer programming and combinatorial optimization. Zbl 1147.90416
Jünger, Michael; Thienel, Stefan
27
2000
An open graph visualization system and its applications to software engineering. Zbl 1147.68782
Gansner, Emden R.; North, Stephen C.
26
2000
On the design of CGAL a computational geometry algorithms library. Zbl 1147.68781
Fabri, Andreas; Giezeman, Geert-Jan; Kettner, Lutz; Schirra, Stefan; Schönherr, Sven
18
2000
An empirical study of FORTRAN programs. Zbl 0243.68003
Knuth, Donald E.
18
1971
Backtrack search algorithms and the maximal common subgraph problem. Zbl 0466.68053
McGregor, James J.
14
1982
A taxonomy and survey of grid resource management systems for distributed computing. Zbl 0987.68786
Krauter, Klaus; Buyya, Rajkumar; Maheswaran, Muthucumaru
14
2002
DAG - a program that draws directed graphs. Zbl 0661.68067
Gansner, E. R.; North, S. C.; Vo, K. P.
10
1988
Breaking paragraphs into lines. Zbl 0471.68021
Knuth, Donald E.; Plass, Michael F.
9
1981
Modula: a language for modular multiprogramming. Zbl 0346.68012
Wirth, N.
9
1977
Pretty-printing of trees. Zbl 0431.68040
Vaucher, Jean G.
8
1980
Developing multi-agent systems with a FIPA-compliant agent framework. Zbl 0963.68668
Bellifemine, Fabio; Poggi, Agostino; Rimassa, Giovanni
8
2001
A comparison of three string matching algorithms. Zbl 0466.68050
de V. Smit, G.
7
1982
Klava: a Java package for distributed and mobile applications. Zbl 1009.68933
Bettini, Lorenzo; De Nicola, Rocco; Pugliese, Rosario
7
2002
The programming language Oberon. Zbl 0646.68012
Wirth, N.
6
1988
On the generation and use of space-filling curves. Zbl 0511.68085
Witten, Ian H.; Wyvill, Brian
6
1983
Exploiting partial order with Quicksort. Zbl 0537.68058
Dromey, R. Geoff
6
1984
Bytecode verification on Java smart cards. Zbl 1009.68891
Leroy, Xavier
6
2002
NR-grep: A fast and flexible pattern-matching tool. Zbl 1008.68028
Navarro, Gonzalo
6
2001
A new algorithm for generating Hilbert curves. Zbl 0593.65014
Fisher, A. J.
5
1986
Grids and Grid technologies for wide-area distributed computing. Zbl 1009.68937
Baker, Mark; Buyya, Rajkumar; Laforenza, Domenico
5
2002
Second step algorithms in the Burrows-Wheeler compression algorithm. Zbl 0987.68789
Deorowicz, Sebastian
5
2002
How to squeeze a lexicon. Zbl 0987.68782
Ciura, Marcin G.; Deorowicz, Sebastian
5
2001
Approximate string matching using within-word parallelism. Zbl 0942.68787
Wright, Alden H.
5
1994
The production of special function routines for a multi-machine library. Zbl 0317.68024
Schonfelder, J. L.
5
1976
Implementation of an interpreter for abstract equations. Zbl 0591.68010
Hoffmann, Christoph M.; O’Donnell, Michael; Strandh, Robert I.
4
1985
D’Agents: Applications and performance of a mobile-agent system. Zbl 1009.68902
Gray, Robert S.; Cybenko, George; Kotz, David; Peterson, Ronald A.; Rus, Daniela
4
2002
Improvements to Burrows-Wheeler compression algorithm. Zbl 1060.68595
Deorowicz, Sebastian
4
2000
The PFORT verifier. Zbl 0291.68008
Ryder, B. G.
4
1974
The design of a PASCAL compiler. Zbl 0232.68005
Wirth, N.
4
1971
Debugging tools for high level languages. Zbl 0236.68003
Satterthwaite, E.
4
1972
Unrolling loops in FORTRAN. Zbl 0393.68011
Dongarra, J. J.; Hinds, A. R.
4
1979
An algorithm for displaying a class of space-filling curves. Zbl 0589.68071
Griffiths, J. G.
3
1986
Algorithms for pattern matching. Zbl 0592.68057
Davies, G.; Bowsher, S.
3
1986
Specification methodology: An integrated relational approach. Zbl 0602.68015
Mili, Ali; Wang, Xiao-Yang; Yu, Qing
3
1986
Graphlet: design and implementation of a graph editor. Zbl 1147.68784
Himsolt, Michael
3
2000
Drawing database schemas. Zbl 1009.68921
Di Battista, Giuseppe; Didimo, Walter; Patrignani, Maurizio; Pizzonia, Maurizio
3
2002
Burrows-Wheeler compression with variable length integer codes. Zbl 1009.68927
Fenwick, Peter
3
2002
Alias burying: Unique variables without destructive reads. Zbl 1009.68878
Boyland, John
3
2001
Semi-automatic grammar recovery. Zbl 1009.68889
Lämmel, R.; Verhoef, C.
3
2001
Queueing network software for systems modelling. Zbl 0395.68088
Sauer, C. H.; Macnair, E. A.
3
1979
A stable quicksort. Zbl 0457.68055
Motzkin, Dalia
3
1981
A debugger for concurrent programs. Zbl 0559.68044
Gait, Jason
2
1985
Yacc in Sasl - an exercise in functional programming. Zbl 0566.68006
Jones, Simon L. Peyton
2
1985
Generalized non-recursive traversal of binary trees. Zbl 0466.68054
Kilgour, A. C.
2
1981
Parallel assignment revisited. Zbl 0519.68009
Welch, P. H.
2
1983
DTL: A language for the design and implementation of concurrent programs as structured networks. Zbl 0519.68030
Hughes, J. W.; Powell, M. S.
2
1983
The use of ghost variables and virtual programming in the documentation and verification of programs. Zbl 0544.68006
Clint, M.; Vicent, C.
2
1984
Introspective sorting and selection revisited. Zbl 1147.68472
Valois, John D.
2
2000
Automatic parallel control structures in SequenceL. Zbl 1009.68864
Cooke, Daniel E.; Andersen, Per
2
2000
Confined types in Java. Zbl 1009.68879
Vitek, Jan; Bokowski, Boris
2
2001
A cohesion measure for object-oriented classes. Zbl 1009.68858
Chae, Heung Seok; Kwon, Yong Rae; Bae, Doo Hwan
2
2000
ASAB: A Chinese screen reader. Zbl 1010.68972
Luk, 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.68973
Järvi, Jaakko; Powell, Gary; Lumsdaine, Andrew
2
2003
Logic programming and compiler writing. Zbl 0428.68015
Warren, David H. D.
2
1980
Some perils of performance prediction: A case study on pattern matching. Zbl 0987.68930
Fenwick, Peter
2
2001
A Java/CORBA virtual machine architecture for remote execution of optimization solvers in heterogeneous networks. Zbl 0963.68666
González-Castaño, F. J.; Anido-Rifón, L.; Pousada-Carballo, J. M.; Rodríguez-Hernández, P. S.; López-Gómez, R.
2
2001
An extension of FORTRAN containing finite difference operators. Zbl 0245.65054
Gary, John; Helgason, Richard
2
1972
On evaluating Boolean expressions. Zbl 0272.68036
Gudes, E.; Reiter, A.
2
1973
DAVE - a validation error detection and documentation system for Fortran programs. Zbl 0329.68011
Osterweil, Leon J.; Fosdick, Lloyd D.
2
1976
Design and implementation of modula. Zbl 0347.68007
Wirth, N.
2
1977
Converting a class of recursive procedures into non-recursive ones. Zbl 0348.68031
Rohl, J. S.
2
1977
An evaluation of the effectivences of symbolic testing. Zbl 0376.68024
Howden, William E.
2
1978
Make - a program for maintaining computer programs. Zbl 0393.68015
Feldman, Stuart I.
2
1979
Eliminating recursion from combinatoric procedures. Zbl 0459.68034
Rohl, J. S.
2
1981
A multiprocessor implementation of Joyce. Zbl 0825.68280
Brinch Hansen, Per
1
1989
A method of program transformation between variable sharing and message passing. Zbl 0563.68009
Hikita, Teruo; Ishihata, Kiyoshi
1
1985
Specifications and an implementation of the type-ambiguity problem in Pascal. Zbl 0575.68007
Partridge, Derek
1
1985
Executable semantic descriptions. Zbl 0575.68017
Watt, David A.
1
1986
Concurrent C. Zbl 0599.68028
Gehani, N. H.; Roome, W. D.
1
1986
Joyce - A programming language for distributed systems. Zbl 0601.68011
Brinch Hansen, Per
1
1987
AIDA - a dynamic data flow anomaly detection system for Pascal programs. Zbl 0607.68008
Chan, Fun Ting; Chen, Tsong Yueh
1
1987
Concurrent \(C++:\) Concurrent programming with class(es). Zbl 0661.68006
Gehani, N. H.; Roome, W. D.
1
1988
The errors of TEX. Zbl 0677.68003
Knuth, Donald E.
1
1989
A portable LISP compiler. Zbl 0467.68024
Griss, Martin L.; Hearn, Anthony C.
1
1981
Message passing between sequential processes: the reply primitive and the administrator concept. Zbl 0467.68027
Gentleman, W. Morven
1
1981
Modular programming with Pascal. Zbl 0471.68004
Steensgaard-Madsen, J.
1
1981
Compiling short-circuit boolean expressions in one pass. Zbl 0471.68015
Logothetis, George; Mishra, Prateek
1
1981
Triplex: a system for interval arithmetic. Zbl 0479.68032
Cole, A. J.; Morrison, R.
1
1982
Optimizing two-state case statements in Pascal. Zbl 0481.68006
Atkinson, L. V.
1
1982
Compilation of the Pascal case statement. Zbl 0488.68012
Hennessy, John L.; Mendelsohn, Noah
1
1982
A robust distributed solution to the dining philosophers problem. Zbl 0489.68020
Cargill, T. A.
1
1982
An execution profiler for modular programs. Zbl 0515.68007
Graham, Susan L.; Kessler, Peter B.; Mckusick, Marshall K.
1
1983
Concurrent programming in the Ada language: The polling bias. Zbl 0536.68014
Gehani, N. H.; Cargill, T. A.
1
1984
An experiment in language design for distributed systems. Zbl 0542.68019
Crookes, D.; Elder, J. W. G.
1
1984
Forced termination of loops. Zbl 0547.68016
Dromey, R. Geoff
1
1985
Experimental studies on graph drawing algorithms. Zbl 1147.68785
Vismara, Luca; Di Battista, Giuseppe; Garg, Ashim; Liotta, Giuseppe; Tamassia, Roberto; Vargiu, Francesco
1
2000
Java threads and SugarCubes. Zbl 1147.68451
Boussinot, Frédéric; Susini, Jean-Ferdy
1
2000
Java 3D, 3D graphical environments and behaviour. Zbl 1009.68892
Burrows, Anthony L.; England, David
1
2002
Virtual-machine-based heterogeneous checkpointing. Zbl 1009.68926
Agbaria, Adnan; Friedman, Roy
1
2002
Coping with aliasing in the GNU Eiffel compiler implementation. Zbl 1009.68880
Zendra, Olivier; Colnet, Dominique
1
2001
J3DV: A Java-based 3D database visualization tool. Zbl 1009.68898
Fang, Xiang; Miller, John A.; Arnold, Jonathan
1
2002
Application and programming experience with the Ara mobile agent system. Zbl 1009.68901
Peine, Holger
1
2002
MOLE: A mobile agent system. Zbl 1009.68903
Baumann, J.; Hohl, F.; Rothermel, K.; Strasser, M.; Theilmann, W.
1
2002
Maintaining traceability links during object-oriented software evolution. Zbl 1009.68870
Antoniol, G.; Canfora, G.; Casazza, G.; De Lucia, A.
1
2001
Shimba – an environment for reverse engineering Java software systems. Zbl 1009.68872
Systä, Tarja; Koskimies, Kai; Müller, Hausi
1
2001
BRISK: a portable and flexible distributed instrumentation system. Zbl 1009.68860
Bakić, 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.68857
Wu, Pei-Chi
1
2000
A static analyzer for finding dynamic programming errors. Zbl 1009.68852
Bush, William R.; Pincus, Jonathan D.; Sielaff, David J.
1
2000
Software product lines: a case study. Zbl 1009.68856
Ardis, Mark; Daley, Nigel; Hoffman, Daniel; Siy, Harvey; Weiss, David
1
2000
ASAB: A Chinese screen reader. Zbl 1010.68972
Luk, 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.68973
Järvi, Jaakko; Powell, Gary; Lumsdaine, Andrew
2
2003
\(\text{P}\sup{3}\): a code and design conventions preprocessor for Java. Zbl 1005.68746
Depradine, Colin; Chaudhuri, Pranay
1
2003
A music notation construction engine for optical music recognition. Zbl 1010.68968
Bainbridge, David; Bell, Tim
1
2003
A taxonomy and survey of grid resource management systems for distributed computing. Zbl 0987.68786
Krauter, Klaus; Buyya, Rajkumar; Maheswaran, Muthucumaru
14
2002
Klava: a Java package for distributed and mobile applications. Zbl 1009.68933
Bettini, Lorenzo; De Nicola, Rocco; Pugliese, Rosario
7
2002
Bytecode verification on Java smart cards. Zbl 1009.68891
Leroy, Xavier
6
2002
Grids and Grid technologies for wide-area distributed computing. Zbl 1009.68937
Baker, Mark; Buyya, Rajkumar; Laforenza, Domenico
5
2002
Second step algorithms in the Burrows-Wheeler compression algorithm. Zbl 0987.68789
Deorowicz, Sebastian
5
2002
D’Agents: Applications and performance of a mobile-agent system. Zbl 1009.68902
Gray, Robert S.; Cybenko, George; Kotz, David; Peterson, Ronald A.; Rus, Daniela
4
2002
Drawing database schemas. Zbl 1009.68921
Di Battista, Giuseppe; Didimo, Walter; Patrignani, Maurizio; Pizzonia, Maurizio
3
2002
Burrows-Wheeler compression with variable length integer codes. Zbl 1009.68927
Fenwick, Peter
3
2002
Java 3D, 3D graphical environments and behaviour. Zbl 1009.68892
Burrows, Anthony L.; England, David
1
2002
Virtual-machine-based heterogeneous checkpointing. Zbl 1009.68926
Agbaria, Adnan; Friedman, Roy
1
2002
J3DV: A Java-based 3D database visualization tool. Zbl 1009.68898
Fang, Xiang; Miller, John A.; Arnold, Jonathan
1
2002
Application and programming experience with the Ara mobile agent system. Zbl 1009.68901
Peine, Holger
1
2002
MOLE: A mobile agent system. Zbl 1009.68903
Baumann, J.; Hohl, F.; Rothermel, K.; Strasser, M.; Theilmann, W.
1
2002
Developing multi-agent systems with a FIPA-compliant agent framework. Zbl 0963.68668
Bellifemine, Fabio; Poggi, Agostino; Rimassa, Giovanni
8
2001
NR-grep: A fast and flexible pattern-matching tool. Zbl 1008.68028
Navarro, Gonzalo
6
2001
How to squeeze a lexicon. Zbl 0987.68782
Ciura, Marcin G.; Deorowicz, Sebastian
5
2001
Alias burying: Unique variables without destructive reads. Zbl 1009.68878
Boyland, John
3
2001
Semi-automatic grammar recovery. Zbl 1009.68889
Lämmel, R.; Verhoef, C.
3
2001
Confined types in Java. Zbl 1009.68879
Vitek, Jan; Bokowski, Boris
2
2001
Some perils of performance prediction: A case study on pattern matching. Zbl 0987.68930
Fenwick, Peter
2
2001
A Java/CORBA virtual machine architecture for remote execution of optimization solvers in heterogeneous networks. Zbl 0963.68666
González-Castaño, F. J.; Anido-Rifón, L.; Pousada-Carballo, J. M.; Rodríguez-Hernández, P. S.; López-Gómez, R.
2
2001
Coping with aliasing in the GNU Eiffel compiler implementation. Zbl 1009.68880
Zendra, Olivier; Colnet, Dominique
1
2001
Maintaining traceability links during object-oriented software evolution. Zbl 1009.68870
Antoniol, G.; Canfora, G.; Casazza, G.; De Lucia, A.
1
2001
Shimba – an environment for reverse engineering Java software systems. Zbl 1009.68872
Systä, Tarja; Koskimies, Kai; Müller, Hausi
1
2001
Self-adjusting trees in preactice for large text collections. Zbl 0990.68562
Williams, Hugh E.; Zobel, Justin; Heinz, Steffen
1
2001
Fast string matching for multiple searches. Zbl 0986.68925
Fenwick, Peter
1
2001
Developing WWW-based highly interactive and collaborative applications using software components. Zbl 0987.68932
Anido, Luis; Llamas, Martin; Fernández, Manuel J.
1
2001
Numeric ActiveX components. Zbl 0963.68670
Levy, G. F.
1
2001
Enhancing CLP branch and bound techniques for scheduling problems. Zbl 0963.68664
Bosi, F.; Milano, M.
1
2001
The ABACUS system for branch-and-cut-and-price algorithms in integer programming and combinatorial optimization. Zbl 1147.90416
Jünger, Michael; Thienel, Stefan
27
2000
An open graph visualization system and its applications to software engineering. Zbl 1147.68782
Gansner, Emden R.; North, Stephen C.
26
2000
On the design of CGAL a computational geometry algorithms library. Zbl 1147.68781
Fabri, Andreas; Giezeman, Geert-Jan; Kettner, Lutz; Schirra, Stefan; Schönherr, Sven
18
2000
Improvements to Burrows-Wheeler compression algorithm. Zbl 1060.68595
Deorowicz, Sebastian
4
2000
Graphlet: design and implementation of a graph editor. Zbl 1147.68784
Himsolt, Michael
3
2000
Introspective sorting and selection revisited. Zbl 1147.68472
Valois, John D.
2
2000
Automatic parallel control structures in SequenceL. Zbl 1009.68864
Cooke, Daniel E.; Andersen, Per
2
2000
A cohesion measure for object-oriented classes. Zbl 1009.68858
Chae, Heung Seok; Kwon, Yong Rae; Bae, Doo Hwan
2
2000
Experimental studies on graph drawing algorithms. Zbl 1147.68785
Vismara, Luca; Di Battista, Giuseppe; Garg, Ashim; Liotta, Giuseppe; Tamassia, Roberto; Vargiu, Francesco
1
2000
Java threads and SugarCubes. Zbl 1147.68451
Boussinot, Frédéric; Susini, Jean-Ferdy
1
2000
BRISK: a portable and flexible distributed instrumentation system. Zbl 1009.68860
Bakić, 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.68857
Wu, Pei-Chi
1
2000
A static analyzer for finding dynamic programming errors. Zbl 1009.68852
Bush, William R.; Pincus, Jonathan D.; Sielaff, David J.
1
2000
Software product lines: a case study. Zbl 1009.68856
Ardis, Mark; Daley, Nigel; Hoffman, Daniel; Siy, Harvey; Weiss, David
1
2000
Implementation of automated fine-granularity locking in a persistent programming language. Zbl 1008.68783
Daynès, L.
1
2000
Java Native Interface idioms for C++ class hierarchies. Zbl 0971.68661
Parson, Dale; Zhu, Zhenyu
1
2000
BOX: Browsing objects in XML. Zbl 0971.68660
Nentwich, Christian; Emmerich, Wolfgang; Finkelstein, Anthony; Zisman, Andrea
1
2000
Approximate string matching using within-word parallelism. Zbl 0942.68787
Wright, Alden H.
5
1994
A multiprocessor implementation of Joyce. Zbl 0825.68280
Brinch Hansen, Per
1
1989
The errors of TEX. Zbl 0677.68003
Knuth, Donald E.
1
1989
DAG - a program that draws directed graphs. Zbl 0661.68067
Gansner, E. R.; North, S. C.; Vo, K. P.
10
1988
The programming language Oberon. Zbl 0646.68012
Wirth, N.
6
1988
Concurrent \(C++:\) Concurrent programming with class(es). Zbl 0661.68006
Gehani, N. H.; Roome, W. D.
1
1988
Joyce - A programming language for distributed systems. Zbl 0601.68011
Brinch Hansen, Per
1
1987
AIDA - a dynamic data flow anomaly detection system for Pascal programs. Zbl 0607.68008
Chan, Fun Ting; Chen, Tsong Yueh
1
1987
Generalizations of the Sethi-Ullman algorithm for register allocation. Zbl 0617.68031
Appel, Andrew W.; Supowit, Kenneth J.
1
1987
A new algorithm for generating Hilbert curves. Zbl 0593.65014
Fisher, A. J.
5
1986
An algorithm for displaying a class of space-filling curves. Zbl 0589.68071
Griffiths, J. G.
3
1986
Algorithms for pattern matching. Zbl 0592.68057
Davies, G.; Bowsher, S.
3
1986
Specification methodology: An integrated relational approach. Zbl 0602.68015
Mili, Ali; Wang, Xiao-Yang; Yu, Qing
3
1986
Executable semantic descriptions. Zbl 0575.68017
Watt, David A.
1
1986
Concurrent C. Zbl 0599.68028
Gehani, N. H.; Roome, W. D.
1
1986
Implementation of an interpreter for abstract equations. Zbl 0591.68010
Hoffmann, Christoph M.; O’Donnell, Michael; Strandh, Robert I.
4
1985
A debugger for concurrent programs. Zbl 0559.68044
Gait, Jason
2
1985
Yacc in Sasl - an exercise in functional programming. Zbl 0566.68006
Jones, Simon L. Peyton
2
1985
A method of program transformation between variable sharing and message passing. Zbl 0563.68009
Hikita, Teruo; Ishihata, Kiyoshi
1
1985
Specifications and an implementation of the type-ambiguity problem in Pascal. Zbl 0575.68007
Partridge, Derek
1
1985
Forced termination of loops. Zbl 0547.68016
Dromey, R. Geoff
1
1985
Exploiting partial order with Quicksort. Zbl 0537.68058
Dromey, R. Geoff
6
1984
The use of ghost variables and virtual programming in the documentation and verification of programs. Zbl 0544.68006
Clint, M.; Vicent, C.
2
1984
Concurrent programming in the Ada language: The polling bias. Zbl 0536.68014
Gehani, N. H.; Cargill, T. A.
1
1984
An experiment in language design for distributed systems. Zbl 0542.68019
Crookes, D.; Elder, J. W. G.
1
1984
On the generation and use of space-filling curves. Zbl 0511.68085
Witten, Ian H.; Wyvill, Brian
6
1983
Parallel assignment revisited. Zbl 0519.68009
Welch, P. H.
2
1983
DTL: A language for the design and implementation of concurrent programs as structured networks. Zbl 0519.68030
Hughes, J. W.; Powell, M. S.
2
1983
An execution profiler for modular programs. Zbl 0515.68007
Graham, Susan L.; Kessler, Peter B.; Mckusick, Marshall K.
1
1983
Backtrack search algorithms and the maximal common subgraph problem. Zbl 0466.68053
McGregor, James J.
14
1982
A comparison of three string matching algorithms. Zbl 0466.68050
de V. Smit, G.
7
1982
Triplex: a system for interval arithmetic. Zbl 0479.68032
Cole, A. J.; Morrison, R.
1
1982
Optimizing two-state case statements in Pascal. Zbl 0481.68006
Atkinson, L. V.
1
1982
Compilation of the Pascal case statement. Zbl 0488.68012
Hennessy, John L.; Mendelsohn, Noah
1
1982
A robust distributed solution to the dining philosophers problem. Zbl 0489.68020
Cargill, T. A.
1
1982
Breaking paragraphs into lines. Zbl 0471.68021
Knuth, Donald E.; Plass, Michael F.
9
1981
A stable quicksort. Zbl 0457.68055
Motzkin, Dalia
3
1981
Generalized non-recursive traversal of binary trees. Zbl 0466.68054
Kilgour, A. C.
2
1981
Eliminating recursion from combinatoric procedures. Zbl 0459.68034
Rohl, J. S.
2
1981
A portable LISP compiler. Zbl 0467.68024
Griss, Martin L.; Hearn, Anthony C.
1
1981
Message passing between sequential processes: the reply primitive and the administrator concept. Zbl 0467.68027
Gentleman, W. Morven
1
1981
Modular programming with Pascal. Zbl 0471.68004
Steensgaard-Madsen, J.
1
1981
Compiling short-circuit boolean expressions in one pass. Zbl 0471.68015
Logothetis, George; Mishra, Prateek
1
1981
Edison - a multiprocessor language. Zbl 0452.68028
Brinch Hansen, Per
1
1981
The design of Edison. Zbl 0452.68029
Brinch Hansen, Per
1
1981
Pretty-printing of trees. Zbl 0431.68040
Vaucher, Jean G.
8
1980
Logic programming and compiler writing. Zbl 0428.68015
Warren, David H. D.
2
1980
Infinite power series. Zbl 0441.68042
Harrington, Steven
1
1980
An overview of Ada. Zbl 0442.68004
Barnes, I. G. P.
1
1980
Transportable package software. Zbl 0442.68017
Hamlet, R. G.; Haralick, R. M.
1
1980
...and 46 more Documents
all top 5

Cited by 1,058 Authors

6 Jünger, Michael
5 Halperin, Dan
4 Daciuk, Jan
4 Di Battista, Giuseppe
4 Eades, Peter
4 Kettner, Lutz
4 Liotta, Giuseppe
4 Navarro, Gonzalo
4 Tamassia, Roberto
3 de Moor, Oege
3 Di Gaspero, Luca
3 Didimo, Walter
3 Fenwick, Peter
3 Fogel, Efi
3 Klop, Jan Willem
3 Martini, Luca
3 Mehlhorn, Kurt
3 Nielson, Flemming
3 Pugliese, Rosario
3 Riis Nielson, Hanne
3 Schaerf, Andrea
3 Tennent, Robert D.
3 Yaman, Hande
2 Agrawal, Gagan
2 Barendregt, Hendrik Pieter
2 Barthe, Gilles
2 Berberich, Eric
2 Bille, Philip
2 Bird, Richard S.
2 Bolshakov, Igor A.
2 Borzemski, Leszek
2 Boudriga, Noureddine A.
2 Buchheim, Christoph
2 Bunke, Horst
2 Carlsson, Svante
2 Carrasco, Rafael C.
2 Chen, Jingsen
2 Chimani, Markus
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 Giachino, Elena
2 Gorla, Daniele
2 Grossi, Roberto
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 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 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
2 Mili, Ali
2 Moffat, Alistair
2 Moshkov, Mikhail Ju.
2 Noshita, Kohei
2 Paredes, Rodrigo
2 Peltola, Hannu
2 Petersson, Ola
2 Pion, Sylvain
2 Piperno, Adolfo
2 Poizat, Pascal
2 Qiu, Zongyan
2 Rainey, Mike
2 Reinelt, Gerhard
2 Reppy, John H.
...and 958 more Authors
all top 5

Cited in 140 Journals

45 Theoretical Computer Science
36 Information Processing Letters
24 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 Annals of Operations Research
7 International Journal of Computer Mathematics
6 Applied Mathematics and Computation
6 Journal of Soviet Mathematics
6 Information and Computation
6 Computers & Operations Research
6 Formal Aspects of Computing
6 European Journal of Operational Research
5 Information Sciences
5 Journal of Computational and Applied Mathematics
5 Journal of Computer and System 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 Constraints
3 ACM Journal of Experimental Algorithmics
3 Discrete Optimization
3
3 Journal of Logical and Algebraic Methods in Programming
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
2 Science China. Information Sciences
1 ACM Computing Surveys
1 Artificial Intelligence
1 The Canadian Journal of Statistics
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 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 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 Combinatorics, Probability and Computing
1 Top
1 The Bulletin of Symbolic Logic
...and 40 more Journals
all top 5

Cited in 36 Fields

420 Computer science (68-XX)
75 Operations research, mathematical programming (90-XX)
41 Numerical analysis (65-XX)
36 Combinatorics (05-XX)
34 Mathematical logic and foundations (03-XX)
13 Information and communication theory, circuits (94-XX)
10 Biology and other natural sciences (92-XX)
9 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
6 Statistics (62-XX)
5 Probability theory and stochastic processes (60-XX)
4 Category theory; homological algebra (18-XX)
4 Special functions (33-XX)
4 Quantum theory (81-XX)
4 Systems theory; control (93-XX)
3 Order, lattices, ordered algebraic structures (06-XX)
3 Algebraic geometry (14-XX)
3 Approximations and expansions (41-XX)
2 General and overarching topics; collections (00-XX)
2 Linear and multilinear algebra; matrix theory (15-XX)
2 Real functions (26-XX)
2 Ordinary differential equations (34-XX)
2 Convex and discrete geometry (52-XX)
2 Fluid mechanics (76-XX)
1 History and biography (01-XX)
1 General algebraic systems (08-XX)
1 Number theory (11-XX)
1 Group theory and generalizations (20-XX)
1 Measure and integration (28-XX)
1 Functions of a complex variable (30-XX)
1 Partial differential equations (35-XX)
1 Harmonic analysis on Euclidean spaces (42-XX)
1 Calculus of variations and optimal control; optimization (49-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