Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Barry K. Rosen
@article{DBLP:journals/expert/ApteGPRTW99,
author = {Chidanand Apt{\'{e}} and
Edna Grossman and
Edwin P. D. Pednault and
Barry K. Rosen and
Fateh Tipu and
Brian F. White},
title = {Probabilistic estimation-based data mining for discovering insurance
risks},
journal = {{IEEE} Intell. Syst.},
volume = {14},
number = {6},
pages = {49--58},
year = {1999},
url = {https://doi.org/10.1109/5254.809568},
doi = {10.1109/5254.809568},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/expert/ApteGPRTW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ida/ApteHHLPR98,
author = {Chidanand Apt{\'{e}} and
Se June Hong and
Jonathan R. M. Hosking and
Jorge Lepre and
Edwin P. D. Pednault and
Barry K. Rosen},
title = {Decomposition of Heterogeneous Classification Problems},
journal = {Intell. Data Anal.},
volume = {2},
number = {1-4},
pages = {81--96},
year = {1998},
url = {https://doi.org/10.1016/S1088-467X(98)00017-1},
doi = {10.1016/S1088-467X(98)00017-1},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ida/ApteHHLPR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ida/ApteHHLPR97,
author = {Chidanand Apt{\'{e}} and
Se June Hong and
Jonathan R. M. Hosking and
Jorge Lepre and
Edwin P. D. Pednault and
Barry K. Rosen},
editor = {Xiaohui Liu and
Paul R. Cohen and
Michael R. Berthold},
title = {Decomposition of Heterogeneous Classification Problems},
booktitle = {Advances in Intelligent Data Analysis, Reasoning about Data, Second
International Symposium, IDA-97, London, UK, August 4-6, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1280},
pages = {17--28},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0052826},
doi = {10.1007/BFB0052826},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ida/ApteHHLPR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvlsi/ChandraIJJNRMYAGW95,
author = {Ashok K. Chandra and
Vijay S. Iyengar and
D. Jameson and
R. V. Jawalekar and
Indira Nair and
Barry K. Rosen and
Michael P. Mullen and
J. Yoon and
R. Armoni and
Daniel Geist and
Yaron Wolfsthal},
title = {{AVPGEN-A} test generator for architecture verification},
journal = {{IEEE} Trans. Very Large Scale Integr. Syst.},
volume = {3},
number = {2},
pages = {188--200},
year = {1995},
url = {https://doi.org/10.1109/92.386220},
doi = {10.1109/92.386220},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tvlsi/ChandraIJJNRMYAGW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/ChandraIJMNR94,
author = {Ashok K. Chandra and
Vijay S. Iyengar and
R. V. Jawalekar and
Michael P. Mullen and
Indira Nair and
Barry K. Rosen},
title = {Architectural Verification of Processors Using Symbolic Instruction
Graphs},
booktitle = {Proceedings 1994 {IEEE} International Conference on Computer Design:
{VLSI} in Computer {\&} Processors, {ICCD} '94, Cambridge, MA,
USA, October 10-12, 1994},
pages = {454--459},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/ICCD.1994.331949},
doi = {10.1109/ICCD.1994.331949},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/ChandraIJMNR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itc/AizenbudCLSKIR92,
author = {Yaron Aizenbud and
Paul Chang and
Moshe Leibowitz and
Dave Smith and
Bernd K{\"{o}}nemann and
Vijay S. Iyengar and
Barry K. Rosen},
title = {{AC} Test Quality: Beyond Transition Fault Coverage},
booktitle = {Proceedings {IEEE} International Test Conference 1992, Discover the
New World of Test and Design, Baltimore, Maryland, USA, September
20-24, 1992},
pages = {568--577},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/TEST.1992.527877},
doi = {10.1109/TEST.1992.527877},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itc/AizenbudCLSKIR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itc/KonemannBCGGKMTIRW92,
author = {Bernd K{\"{o}}nemann and
J. Barlow and
Paul Chang and
R. Gabrielson and
C. Goertz and
Brion L. Keller and
Kevin McCauley and
J. Tischer and
Vijay S. Iyengar and
Barry K. Rosen and
T. Williams},
title = {Delay Test: The Next Frontier for {LSSD} Test Systems},
booktitle = {Proceedings {IEEE} International Test Conference 1992, Discover the
New World of Test and Design, Baltimore, Maryland, USA, September
20-24, 1992},
pages = {578--587},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/TEST.1992.527878},
doi = {10.1109/TEST.1992.527878},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itc/KonemannBCGGKMTIRW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DhamdhereRZ92,
author = {Dhananjay M. Dhamdhere and
Barry K. Rosen and
F. Kenneth Zadeck},
editor = {Stuart I. Feldman and
Richard L. Wexelblat},
title = {How to Analyze Large Programs Efficiently and Informatively},
booktitle = {Proceedings of the {ACM} SIGPLAN'92 Conference on Programming Language
Design and Implementation (PLDI), San Francisco, California, USA,
June 17-19, 1992},
pages = {212--223},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/143095.143135},
doi = {10.1145/143095.143135},
timestamp = {Fri, 09 Jul 2021 14:03:46 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DhamdhereRZ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/CytronFRWZ91,
author = {Ron Cytron and
Jeanne Ferrante and
Barry K. Rosen and
Mark N. Wegman and
F. Kenneth Zadeck},
title = {Efficiently Computing Static Single Assignment Form and the Control
Dependence Graph},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {13},
number = {4},
pages = {451--490},
year = {1991},
url = {https://doi.org/10.1145/115372.115320},
doi = {10.1145/115372.115320},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/CytronFRWZ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/IyengarRW90,
author = {Vijay S. Iyengar and
Barry K. Rosen and
John A. Waicukauski},
title = {On computing the sizes of detected delay faults},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {9},
number = {3},
pages = {299--312},
year = {1990},
url = {https://doi.org/10.1109/43.46805},
doi = {10.1109/43.46805},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/IyengarRW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/AlpernHRSZ90,
author = {Bowen Alpern and
Roger Hoover and
Barry K. Rosen and
Peter F. Sweeney and
F. Kenneth Zadeck},
editor = {David S. Johnson},
title = {Incremental Evaluation of Computational Circuits},
booktitle = {Proceedings of the First Annual {ACM-SIAM} Symposium on Discrete Algorithms,
22-24 January 1990, San Francisco, California, {USA}},
pages = {32--42},
publisher = {{SIAM}},
year = {1990},
url = {http://dl.acm.org/citation.cfm?id=320176.320180},
timestamp = {Thu, 05 Jul 2018 07:28:50 +0200},
biburl = {https://dblp.org/rec/conf/soda/AlpernHRSZ90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/CarterRSP89,
author = {J. Lawrence Carter and
Barry K. Rosen and
Gordon L. Smith and
Vijay Pitchumani},
title = {Restricted symbolic evaluation is fast and useful},
booktitle = {1989 {IEEE} International Conference on Computer-Aided Design, {ICCAD}
1989, Santa Clara, CA, USA, November 5-9, 1989. Digest of Technical
Papers},
pages = {38--41},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/ICCAD.1989.76900},
doi = {10.1109/ICCAD.1989.76900},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/CarterRSP89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CytronFRWZ89,
author = {Ron Cytron and
Jeanne Ferrante and
Barry K. Rosen and
Mark N. Wegman and
F. Kenneth Zadeck},
title = {An Efficient Method of Computing Static Single Assignment Form},
booktitle = {Conference Record of the Sixteenth Annual {ACM} Symposium on Principles
of Programming Languages, Austin, Texas, USA, January 11-13, 1989},
pages = {25--35},
publisher = {{ACM} Press},
year = {1989},
url = {https://doi.org/10.1145/75277.75280},
doi = {10.1145/75277.75280},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/CytronFRWZ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itc/IyengarRS88,
author = {Vijay S. Iyengar and
Barry K. Rosen and
Ilan Y. Spillinger},
title = {Delay Test Generation 1: Concepts and Coverage Metrics},
booktitle = {Proceedings International Test Conference 1988, Washington, D.C.,
USA, September 1988},
pages = {857--866},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {https://doi.org/10.1109/TEST.1988.207873},
doi = {10.1109/TEST.1988.207873},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/itc/IyengarRS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itc/IyengarRS88a,
author = {Vijay S. Iyengar and
Barry K. Rosen and
Ilan Y. Spillinger},
title = {Delay Test Generation 2: Algebra and Algorithms},
booktitle = {Proceedings International Test Conference 1988, Washington, D.C.,
USA, September 1988},
pages = {867--876},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {https://doi.org/10.1109/TEST.1988.207874},
doi = {10.1109/TEST.1988.207874},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itc/IyengarRS88a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/RosenWZ88,
author = {Barry K. Rosen and
Mark N. Wegman and
F. Kenneth Zadeck},
editor = {Jeanne Ferrante and
Peter Mager},
title = {Global Value Numbers and Redundant Computations},
booktitle = {Conference Record of the Fifteenth Annual {ACM} Symposium on Principles
of Programming Languages, San Diego, California, USA, January 10-13,
1988},
pages = {12--27},
publisher = {{ACM} Press},
year = {1988},
url = {https://doi.org/10.1145/73560.73562},
doi = {10.1145/73560.73562},
timestamp = {Thu, 16 Sep 2021 11:02:28 +0200},
biburl = {https://dblp.org/rec/conf/popl/RosenWZ88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sde/AlpernCRSZ88,
author = {Bowen Alpern and
Alan Carle and
Barry K. Rosen and
Peter F. Sweeney and
F. Kenneth Zadeck},
editor = {Peter B. Henderson},
title = {Graph Attribution as a Specification Paradigm},
booktitle = {Proceedings of the {ACM} {SIGSOFT/SIGPLAN} Software Engineering Symposium
on Practical Software Development Environments, Boston, Massachusetts,
USA, November 28-30, 1988},
pages = {121--129},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/64135.65015},
doi = {10.1145/64135.65015},
timestamp = {Fri, 09 Jul 2021 14:03:46 +0200},
biburl = {https://dblp.org/rec/conf/sde/AlpernCRSZ88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/WaicukauskiLRI87,
author = {John A. Waicukauski and
Eric Lindbloom and
Barry K. Rosen and
Vijay S. Iyengar},
title = {Transition Fault Simulation},
journal = {{IEEE} Des. Test},
volume = {4},
number = {2},
pages = {32--38},
year = {1987},
url = {https://doi.org/10.1109/MDT.1987.295104},
doi = {10.1109/MDT.1987.295104},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dt/WaicukauskiLRI87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/BarzilaiCRR87,
author = {Zeev Barzilai and
J. Lawrence Carter and
Barry K. Rosen and
Joe D. Rutledge},
title = {{HSS--A} High-Speed Simulator},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {6},
number = {4},
pages = {601--617},
year = {1987},
url = {https://doi.org/10.1109/TCAD.1987.1270308},
doi = {10.1109/TCAD.1987.1270308},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/BarzilaiCRR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itc/BarzilaiCINRRS86,
author = {Zeev Barzilai and
J. Lawrence Carter and
Vijay S. Iyengar and
Indira Nair and
Barry K. Rosen and
Joe D. Rutledge and
Gabriel M. Silberman},
title = {Efficient Fault Simulation of {CMOS} Circuits with Accurate Models},
booktitle = {Proceedings International Test Conference 1986, Washington, D.C.,
USA, September 1986},
pages = {520--529},
publisher = {{IEEE} Computer Society},
year = {1986},
timestamp = {Tue, 11 Jul 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itc/BarzilaiCINRRS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itc/WaicukauskiLIR86,
author = {John A. Waicukauski and
Eric Lindbloom and
Vijay S. Iyengar and
Barry K. Rosen},
title = {Transition Fault Simulation by Parallel Pattern Single Fault Propagation},
booktitle = {Proceedings International Test Conference 1986, Washington, D.C.,
USA, September 1986},
pages = {542--551},
publisher = {{IEEE} Computer Society},
year = {1986},
timestamp = {Tue, 22 Oct 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itc/WaicukauskiLIR86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itc/BarzilaiIRS85,
author = {Zeev Barzilai and
Vijay S. Iyengar and
Barry K. Rosen and
Gabriel M. Silberman},
title = {Accurate Fault Modeling and Efficient Simulation of Differential {CVS}
Circuits},
booktitle = {Proceedings International Test Conference 1985, Philadelphia, PA,
USA, November 1985},
pages = {722--731},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Mon, 11 Nov 2002 15:59:32 +0100},
biburl = {https://dblp.org/rec/conf/itc/BarzilaiIRS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itc/BarzilaiR83,
author = {Zeev Barzilai and
Barry K. Rosen},
title = {Comparison of {AC} Self-Testing Procedures},
booktitle = {Proceedings International Test Conference 1983, Philadelphia, PA,
USA, October 1983},
pages = {89--94},
publisher = {{IEEE} Computer Society},
year = {1983},
timestamp = {Tue, 05 Nov 2002 15:16:27 +0100},
biburl = {https://dblp.org/rec/conf/itc/BarzilaiR83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jal/Rosen82,
author = {Barry K. Rosen},
title = {Robust Linear Algorithms for Cutsets},
journal = {J. Algorithms},
volume = {3},
number = {3},
pages = {205--217},
year = {1982},
url = {https://doi.org/10.1016/0196-6774(82)90020-7},
doi = {10.1016/0196-6774(82)90020-7},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jal/Rosen82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/Rosen82,
author = {Barry K. Rosen},
title = {A Lubricant for Data Flow Analysis},
journal = {{SIAM} J. Comput.},
volume = {11},
number = {3},
pages = {493--511},
year = {1982},
url = {https://doi.org/10.1137/0211039},
doi = {10.1137/0211039},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/Rosen82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/EhrigKMRW81,
author = {Hartmut Ehrig and
Hans{-}J{\"{o}}rg Kreowski and
Andrea Maggiolo{-}Schettini and
Barry K. Rosen and
J{\'{o}}zef Winkowski},
title = {Transformations of Structures: an Algebraic Approach},
journal = {Math. Syst. Theory},
volume = {14},
pages = {305--334},
year = {1981},
url = {https://doi.org/10.1007/BF01752403},
doi = {10.1007/BF01752403},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/EhrigKMRW81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HolleyR81,
author = {L. Howard Holley and
Barry K. Rosen},
title = {Qualified Data Flow Problems},
journal = {{IEEE} Trans. Software Eng.},
volume = {7},
number = {1},
pages = {60--78},
year = {1981},
url = {https://doi.org/10.1109/TSE.1981.234509},
doi = {10.1109/TSE.1981.234509},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/HolleyR81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Rosen81,
author = {Barry K. Rosen},
editor = {John White and
Richard J. Lipton and
Patricia C. Goldberg},
title = {Linear Cost is Sometimes Quadratic},
booktitle = {Conference Record of the Eighth Annual {ACM} Symposium on Principles
of Programming Languages, Williamsburg, Virginia, USA, January 1981},
pages = {117--124},
publisher = {{ACM} Press},
year = {1981},
url = {https://doi.org/10.1145/567532.567545},
doi = {10.1145/567532.567545},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Rosen81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/Rosen80,
author = {Barry K. Rosen},
title = {Monoids for Rapid Data Flow Analysis},
journal = {{SIAM} J. Comput.},
volume = {9},
number = {1},
pages = {159--196},
year = {1980},
url = {https://doi.org/10.1137/0209015},
doi = {10.1137/0209015},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/Rosen80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/EhrigR80,
author = {Hartmut Ehrig and
Barry K. Rosen},
title = {The Mathematics of Record Handling},
journal = {{SIAM} J. Comput.},
volume = {9},
number = {3},
pages = {441--469},
year = {1980},
url = {https://doi.org/10.1137/0209034},
doi = {10.1137/0209034},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/EhrigR80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Rosen80,
author = {Barry K. Rosen},
title = {How practical is POPL?},
journal = {{ACM} {SIGPLAN} Notices},
volume = {15},
number = {1},
pages = {115--116},
year = {1980},
url = {https://doi.org/10.1145/954127.954140},
doi = {10.1145/954127.954140},
timestamp = {Wed, 04 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Rosen80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/EhrigR80,
author = {Hartmut Ehrig and
Barry K. Rosen},
title = {Parallelism and Concurrency of Graph Manipulations},
journal = {Theor. Comput. Sci.},
volume = {11},
pages = {247--275},
year = {1980},
url = {https://doi.org/10.1016/0304-3975(80)90016-X},
doi = {10.1016/0304-3975(80)90016-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/EhrigR80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HolleyR80,
author = {L. Howard Holley and
Barry K. Rosen},
editor = {Paul W. Abrahams and
Richard J. Lipton and
Stephen R. Bourne},
title = {Qualified Data Flow Problems},
booktitle = {Conference Record of the Seventh Annual {ACM} Symposium on Principles
of Programming Languages, Las Vegas, Nevada, USA, January 1980},
pages = {68--82},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/567446.567454},
doi = {10.1145/567446.567454},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/HolleyR80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Rosen79,
author = {Barry K. Rosen},
title = {Data Flow Analysis for Procedural Languages},
journal = {J. {ACM}},
volume = {26},
number = {2},
pages = {322--344},
year = {1979},
url = {https://doi.org/10.1145/322123.322135},
doi = {10.1145/322123.322135},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Rosen79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Rosen79,
author = {Barry K. Rosen},
title = {Stickiness and liveness},
journal = {{ACM} {SIGPLAN} Notices},
volume = {14},
number = {2},
pages = {44--45},
year = {1979},
url = {https://doi.org/10.1145/954063.954068},
doi = {10.1145/954063.954068},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Rosen79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/79,
editor = {Alfred V. Aho and
Stephen N. Zilles and
Barry K. Rosen},
title = {Conference Record of the Sixth Annual {ACM} Symposium on Principles
of Programming Languages, San Antonio, Texas, USA, January 1979},
publisher = {{ACM} Press},
year = {1979},
url = {http://dl.acm.org/citation.cfm?id=567752},
timestamp = {Mon, 21 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Rosen78,
author = {Barry K. Rosen},
title = {The Toy Language Syndrome},
journal = {{IEEE} Trans. Software Eng.},
volume = {4},
number = {1},
pages = {76--77},
year = {1978},
url = {https://doi.org/10.1109/TSE.1978.231471},
doi = {10.1109/TSE.1978.231471},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Rosen78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/EhrigR78,
author = {Hartmut Ehrig and
Barry K. Rosen},
editor = {Volker Claus and
Hartmut Ehrig and
Grzegorz Rozenberg},
title = {Decomposition of Graph Grammar Productions and Derivations},
booktitle = {Graph-Grammars and Their Application to Computer Science and Biology,
International Workshop, Bad Honnef, Germany, October 30 - November
3, 1978},
series = {Lecture Notes in Computer Science},
volume = {73},
pages = {192--205},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/BFb0025721},
doi = {10.1007/BFB0025721},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/EhrigR78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/EhrigR78,
author = {Hartmut Ehrig and
Barry K. Rosen},
editor = {J{\'{o}}zef Winkowski},
title = {Concurrency of Manipulations in Multidimensional Information Structures},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {165--176},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_65},
doi = {10.1007/3-540-08921-7\_65},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/EhrigR78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/EhrigKMW78,
author = {Hartmut Ehrig and
Hans{-}J{\"{o}}rg Kreowski and
Andrea Maggiolo{-}Schettini and
Barry K. Rosen and
J{\'{o}}zef Winkowski},
editor = {J{\'{o}}zef Winkowski},
title = {Deriving Structures from Structures},
booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
Symposium, Zakopane, Poland, September 4-8, 1978},
series = {Lecture Notes in Computer Science},
volume = {64},
pages = {177--190},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08921-7\_66},
doi = {10.1007/3-540-08921-7\_66},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/EhrigKMW78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Rosen78,
author = {Barry K. Rosen},
editor = {Alfred V. Aho and
Stephen N. Zilles and
Thomas G. Szymanski},
title = {Monoids for Rapid Data Flow Analysis},
booktitle = {Conference Record of the Fifth Annual {ACM} Symposium on Principles
of Programming Languages, Tucson, Arizona, USA, January 1978},
pages = {47--59},
publisher = {{ACM} Press},
year = {1978},
url = {https://doi.org/10.1145/512760.512767},
doi = {10.1145/512760.512767},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Rosen78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Rosen77,
author = {Barry K. Rosen},
title = {High-Level Data Flow Analysis},
journal = {Commun. {ACM}},
volume = {20},
number = {10},
pages = {712--724},
year = {1977},
url = {https://doi.org/10.1145/359842.359849},
doi = {10.1145/359842.359849},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Rosen77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Rosen77,
author = {Barry K. Rosen},
title = {Arcs in graphs are {NOT} pairs of nodes},
journal = {{SIGACT} News},
volume = {9},
number = {3},
pages = {25--27},
year = {1977},
url = {https://doi.org/10.1145/1008361.1008364},
doi = {10.1145/1008361.1008364},
timestamp = {Tue, 03 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/Rosen77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/EhrigR77,
author = {Hartmut Ehrig and
Barry K. Rosen},
editor = {Arto Salomaa and
Magnus Steinby},
title = {The Mathematics of Record Handling},
booktitle = {Automata, Languages and Programming, Fourth Colloquium, University
of Turku, Finland, July 18-22, 1977, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {52},
pages = {206--220},
publisher = {Springer},
year = {1977},
url = {https://doi.org/10.1007/3-540-08342-1\_16},
doi = {10.1007/3-540-08342-1\_16},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/EhrigR77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Rosen77,
author = {Barry K. Rosen},
editor = {Robert M. Graham and
Michael A. Harrison and
Ravi Sethi},
title = {Applications of High-Level Control Flow},
booktitle = {Conference Record of the Fourth {ACM} Symposium on Principles of Programming
Languages, Los Angeles, California, USA, January 1977},
pages = {38--47},
publisher = {{ACM}},
year = {1977},
url = {https://doi.org/10.1145/512950.512955},
doi = {10.1145/512950.512955},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Rosen77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Rosen76,
author = {Barry K. Rosen},
title = {Correctness of Parallel Programs: The Church-Rosser Approach},
journal = {Theor. Comput. Sci.},
volume = {2},
number = {2},
pages = {183--207},
year = {1976},
url = {https://doi.org/10.1016/0304-3975(76)90032-3},
doi = {10.1016/0304-3975(76)90032-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Rosen76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Rosen75,
author = {Barry K. Rosen},
title = {Program Equivalence and Context-Free Grammars},
journal = {J. Comput. Syst. Sci.},
volume = {11},
number = {3},
pages = {358--374},
year = {1975},
url = {https://doi.org/10.1016/S0022-0000(75)80057-2},
doi = {10.1016/S0022-0000(75)80057-2},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Rosen75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Rosen75,
author = {Barry K. Rosen},
title = {A Church-Rosser theorem for graph grammars},
journal = {{SIGACT} News},
volume = {7},
number = {3},
pages = {26--31},
year = {1975},
url = {https://doi.org/10.1145/1008343.1008344},
doi = {10.1145/1008343.1008344},
timestamp = {Wed, 04 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/Rosen75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/MarkowskyR75,
author = {George Markowsky and
Barry K. Rosen},
title = {Bases for Chain-Complete Posets},
booktitle = {16th Annual Symposium on Foundations of Computer Science, Berkeley,
California, USA, October 13-15, 1975},
pages = {34--47},
publisher = {{IEEE} Computer Society},
year = {1975},
url = {https://doi.org/10.1109/SFCS.1975.7},
doi = {10.1109/SFCS.1975.7},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/MarkowskyR75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Rosen74,
author = {Barry K. Rosen},
title = {Deriving Graphs from Graphs by Applying a Production},
journal = {Acta Informatica},
volume = {4},
pages = {337--357},
year = {1974},
url = {https://doi.org/10.1007/BF00289616},
doi = {10.1007/BF00289616},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Rosen74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Rosen74,
author = {Barry K. Rosen},
title = {Syntactic Complexity},
journal = {Inf. Control.},
volume = {24},
number = {4},
pages = {305--335},
year = {1974},
url = {https://doi.org/10.1016/S0019-9958(74)80058-6},
doi = {10.1016/S0019-9958(74)80058-6},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Rosen74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Rosen74,
author = {Barry K. Rosen},
title = {Note on semantics and optimization},
journal = {{ACM} {SIGPLAN} Notices},
volume = {9},
number = {11},
pages = {6--10},
year = {1974},
url = {https://doi.org/10.1145/986913.986916},
doi = {10.1145/986913.986916},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigplan/Rosen74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Rosen73,
author = {Barry K. Rosen},
title = {Tree-Manipulating Systems and Church-Rosser Theorems},
journal = {J. {ACM}},
volume = {20},
number = {1},
pages = {160--187},
year = {1973},
url = {https://doi.org/10.1145/321738.321750},
doi = {10.1145/321738.321750},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Rosen73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/LewisR73,
author = {Clayton H. Lewis and
Barry K. Rosen},
editor = {Patrick C. Fischer and
Jeffrey D. Ullman},
title = {Recursively Defined Data Types},
booktitle = {Conference Record of the {ACM} Symposium on Principles of Programming
Languages, Boston, Massachusetts, USA, October 1973},
pages = {125--138},
publisher = {{ACM} Press},
year = {1973},
url = {https://doi.org/10.1145/512927.512939},
doi = {10.1145/512927.512939},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/LewisR73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Maggiolo-SchettiniRS73,
author = {Andrea Maggiolo{-}Schettini and
Barry K. Rosen and
H. Raymond Strong},
editor = {Patrick C. Fischer and
Jeffrey D. Ullman},
title = {Procedure Linkage Optimization},
booktitle = {Conference Record of the {ACM} Symposium on Principles of Programming
Languages, Boston, Massachusetts, USA, October 1973},
pages = {183--193},
publisher = {{ACM} Press},
year = {1973},
url = {https://doi.org/10.1145/512927.512944},
doi = {10.1145/512927.512944},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Maggiolo-SchettiniRS73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Rosen72,
author = {Barry K. Rosen},
title = {Program Equivalence and Context-Free Grammars},
booktitle = {13th Annual Symposium on Switching and Automata Theory, College Park,
Maryland, USA, October 25-27, 1972},
pages = {7--18},
publisher = {{IEEE} Computer Society},
year = {1972},
url = {https://doi.org/10.1109/SWAT.1972.18},
doi = {10.1109/SWAT.1972.18},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/Rosen72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:books/daglib/0071574,
author = {Barry K. Rosen},
title = {Subtree replacement systems},
school = {Harvard University},
year = {1971},
timestamp = {Tue, 09 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0071574.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Rosen70,
author = {Barry K. Rosen},
editor = {Patrick C. Fischer and
Robert Fabian and
Jeffrey D. Ullman and
Richard M. Karp},
title = {Tree-Manipulating Systems and Church-Rosser Theorems},
booktitle = {Proceedings of the 2nd Annual {ACM} Symposium on Theory of Computing,
May 4-6, 1970, Northampton, Massachusetts, {USA}},
pages = {117--127},
publisher = {{ACM}},
year = {1970},
url = {https://doi.org/10.1145/800161.805157},
doi = {10.1145/800161.805157},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Rosen70.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
