2009 | ||
---|---|---|
130 | Sanmay Das, Michael Ostrovsky, David Pennock, Boleslaw K. Szymanski: Auctions, Market Mechanisms and Their Applications, First International ICST Conference, AMMA 2009, Boston, MA, USA, May 8-9, 2009, Revised Selected Papers Springer 2009 | |
129 | Josep Lluís de la Rosa, Joan Batlle, Elisabet Batlle, Boleslaw K. Szymanski, Mukkai Krishnamoorthy: A Design of Complementary Community Currencies for Education. CSEDU (1) 2009: 410-414 | |
128 | Juong-Sik Lee, Boleslaw K. Szymanski: A Participation Incentive Market Mechanism for Allocating Heterogeneous Network Services. GLOBECOM 2009: 1-6 | |
127 | Zijian Wang, Eyuphan Bulut, Boleslaw K. Szymanski: Distributed Target Tracking with Directional Binary Sensor Networks. GLOBECOM 2009: 1-6 | |
126 | Eyuphan Bulut, Zijian Wang, Boleslaw K. Szymanski: Impact of Social Networks on Delay Tolerant Routing. GLOBECOM 2009: 1-6 | |
125 | Zijian Wang, Eyuphan Bulut, Boleslaw K. Szymanski: Energy Efficient Collision Aware Multipath Routing for Wireless Sensor Networks. ICC 2009: 1-5 | |
124 | Sahin Cem Geyik, Boleslaw K. Szymanski: Event Recognition in Sensor Networks by Means of Grammatical Inference. INFOCOM 2009: 900-908 | |
123 | Thomas A. Babbitt, Christopher Morrell, Boleslaw K. Szymanski: Self-Selecting Reliable Path Routing in diverse Wireless Sensor Network environments. ISCC 2009: 1-7 | |
122 | Lei Chen, Boleslaw K. Szymanski, Joel W. Branch: Auction-Based Congestion Management for Target Tracking in Wireless Sensor Networks. PerCom 2009: 1-10 | |
121 | Joel W. Branch, Chris Giannella, Boleslaw K. Szymanski, Ran Wolff, Hillol Kargupta: In-Network Outlier Detection in Wireless Sensor Networks CoRR abs/0909.0685: (2009) | |
120 | Kaoutar El Maghraoui, Travis J. Desell, Boleslaw K. Szymanski, Carlos A. Varela: Malleable iterative MPI applications. Concurrency and Computation: Practice and Experience 21(3): 393-413 (2009) | |
2008 | ||
119 | Vineet Chaoji, Apirak Hoonlor, Boleslaw K. Szymanski: Recursive data mining for role identification. CSTST 2008: 218-225 | |
118 | Travis J. Desell, Boleslaw K. Szymanski, Carlos A. Varela: An asynchronous hybrid genetic-simplex search for modeling the Milky Way galaxy using volunteer computing. GECCO 2008: 921-928 | |
117 | Zijian Wang, Eyuphan Bulut, Boleslaw K. Szymanski: Distributed Target Tracking with Imperfect Binary Sensor Networks. GLOBECOM 2008: 282-286 | |
116 | Eyuphan Bulut, Zijian Wang, Boleslaw K. Szymanski: Time Dependent Message Spraying for Routing in Intermittently Connected Networks. GLOBECOM 2008: 5373-5378 | |
115 | Travis J. Desell, Boleslaw K. Szymanski, Carlos A. Varela: Asynchronous genetic search for scientific modeling on large-scale heterogeneous environments. IPDPS 2008: 1-12 | |
114 | Boleslaw K. Szymanski, Gilbert Chen: Computing with Time: From Neural Networks to Sensor Networks. Comput. J. 51(4): 511-522 (2008) | |
113 | Scott E. Coull, Boleslaw K. Szymanski: Sequence alignment for masquerade detection. Computational Statistics & Data Analysis 52(8): 4116-4131 (2008) | |
112 | Thomas A. Babbitt, Christopher Morrell, Boleslaw K. Szymanski, Joel W. Branch: Self-selecting reliable paths for wireless sensor network routing. Computer Communications 31(16): 3799-3809 (2008) | |
2007 | ||
111 | Boleslaw K. Szymanski, Christopher Morrell, Sahin Cem Geyik, Thomas A. Babbitt: Biologically Inspired Self Selective Routing with Preferred Path Selection. BIOWIRE 2007: 229-240 | |
110 | Kaoutar El Maghraoui, Travis J. Desell, Boleslaw K. Szymanski, Carlos A. Varela: Dynamic Malleability in Iterative MPI Applications. CCGRID 2007: 591-598 | |
109 | Scott E. Coull, Boleslaw K. Szymanski: On the Development of an Internetwork-Centric Defense for Scanning Worms. HICSS 2007: 144 | |
108 | Paul F. Evangelista, Mark J. Embrechts, Boleslaw K. Szymanski: Some Properties of the Gaussian Kernel for One Class Learning. ICANN (1) 2007: 269-278 | |
107 | Josep Lluís de la Rosa, Boleslaw K. Szymanski: Citation auctions as a method to improve selection of scientific papers. ICDIM 2007: 479-486 | |
106 | Boleslaw K. Szymanski, Travis J. Desell, Carlos A. Varela: The Effects of Heterogeneity on Asynchronous Panmictic Genetic Search. PPAM 2007: 457-468 | |
105 | Travis J. Desell, Nathan Cole, Malik Magdon-Ismail, Heidi Jo Newberg, Boleslaw K. Szymanski, Carlos A. Varela: Distributed and Generic Maximum Likelihood Evaluation. eScience 2007: 337-344 | |
104 | Houda Lamehamedi, Boleslaw K. Szymanski: Decentralized data management framework for Data Grids. Future Generation Comp. Syst. 23(1): 109-115 (2007) | |
103 | Josep Lluís de la Rosa, Boleslaw K. Szymanski: Selecting Scientific Papers for Publication via Citation Auctions. IEEE Intelligent Systems 22(6): 16-20 (2007) | |
102 | Boleslaw K. Szymanski: Fortran programming language and Scientific Programming: 50 Years of mutual growth. Scientific Programming 15(1): 1-2 (2007) | |
101 | Charles D. Norton, Viktor K. Decyk, Boleslaw K. Szymanski, Henry J. Gardner: The transition and adoption to modern programming concepts for scientific computing in Fortran. Scientific Programming 15(1): 27-44 (2007) | |
2006 | ||
100 | Long Han, Mark J. Embrechts, Boleslaw K. Szymanski, Karsten Sternickel, Alexander Ross: Random Forests Feature Selection with K-PLS: Detecting Ischemia from Magnetocardiograms. ESANN 2006: 221-226 | |
99 | Joel W. Branch, Boleslaw K. Szymanski, Chris Giannella, Ran Wolff, Hillol Kargupta: In-Network Outlier Detection in Wireless Sensor Networks. ICDCS 2006: 51 | |
98 | Sibel Adali, Bouchra Bouqata, Adam Marcus, Frank S. Spear, Boleslaw K. Szymanski: A Day in the Life of a Metamorphic Petrologist. ICDE Workshops 2006: 59 | |
97 | Paul F. Evangelista, Mark J. Embrechts, Boleslaw K. Szymanski: Data Fusion for Outlier Detection through Pseudo-ROC Curves and Rank Distributions. IJCNN 2006: 2166-2173 | |
96 | Bouchra Bouqata, Christopher D. Carothers, Boleslaw K. Szymanski, Mohammed Javeed Zaki: VOGUE: A Novel Variable Order-Gap State Machine for Modeling Sequences. PKDD 2006: 42-54 | |
95 | Wei-Jen Wang, Kaoutar El Maghraoui, John Cummings, Jim Napolitano, Boleslaw K. Szymanski, Carlos A. Varela: A Middleware Framework for Maximum Likelihood Evaluation over Dynamic Grids. e-Science 2006: 105 | |
94 | Qiming Lu, Gyorgy Korniss, Boleslaw K. Szymanski: Naming Games in Spatially-Embedded Random Networks CoRR abs/cs/0604075: (2006) | |
93 | Qiming Lu, Gyorgy Korniss, Boleslaw K. Szymanski: Threshold-Controlled Global Cascading in Wireless Sensor Networks CoRR abs/cs/0606054: (2006) | |
92 | Yu Liu, Boleslaw K. Szymanski, Adnan Saifee: Genesis: A scalable distributed system for large-scale parallel network simulation. Computer Networks 50(12): 2028-2053 (2006) | |
91 | Kaoutar El Maghraoui, Travis J. Desell, Boleslaw K. Szymanski, Carlos A. Varela: The Internet Operating System: Middleware for Adaptive Distributed Computing. IJHPCA 20(4): 467-480 (2006) | |
90 | Gilbert Chen, Joel W. Branch, Boleslaw K. Szymanski: A Self-selection Technique for Flooding and Routing in Wireless Ad-hoc Networks. J. Network Syst. Manage. 14(3): 359-380 (2006) | |
2005 | ||
89 | Juong-Sik Lee, Boleslaw K. Szymanski: A Novel Auction Mechanism for Selling Time-Sensitive E-Services. CEC 2005: 75-82 | |
88 | Paul F. Evangelista, Piero P. Bonissone, Mark J. Embrechts, Boleslaw K. Szymanski: unsupervised fuzzy ensembles and their use in intrusion detection. ESANN 2005: 345-350 | |
87 | Jacek Kitowski, Andrzej M. Goscinski, Boleslaw K. Szymanski, Filomena D. d'Almeida: Topic 10 Parallel Numerical Algorithms. Euro-Par 2005: 793 | |
86 | Joel W. Branch, Gilbert Chen, Boleslaw K. Szymanski: ESCORT: Energy-Efficient Sensor Network Communal Routing Topology Using Signal Quality Metrics. ICN (1) 2005: 438-448 | |
85 | Gilbert Chen, Joel W. Branch, Boleslaw K. Szymanski: Local Leader Election, Signal Strength Aware Flooding, and Routeless Routing. IPDPS 2005 | |
84 | Juong-Sik Lee, Boleslaw K. Szymanski: Stabilizing markets via a novel auction based pricing mechanism for short-term contracts for network services. Integrated Network Management 2005: 367-380 | |
83 | Lijuan Zhu, Gilbert Chen, Boleslaw K. Szymanski, Carl Tropper, Tong Zhang: Parallel Logic Simulation of Million-Gate VLSI Circuits. MASCOTS 2005: 521-524 | |
82 | Kaoutar El Maghraoui, Boleslaw K. Szymanski, Carlos A. Varela: An Architecture for Reconfigurable Iterative MPI Applications in Dynamic Environments. PPAM 2005: 258-271 | |
81 | Gilbert Chen, Boleslaw K. Szymanski: DSIM: scaling time warp to 1, 033 processors. Winter Simulation Conference 2005: 346-355 | |
2004 | ||
80 | Paul F. Evangelista, Mark J. Embrechts, Boleslaw K. Szymanski: Taming the Curse of Dimensionality in Kernels and Novelty Detection. WSC 2004: 425-438 | |
79 | Alan Bivens, Rashim Gupta, Ingo McLean, Boleslaw K. Szymanski, Jerome White: Scalability and performance of an agent-based network management middleware. Int. Journal of Network Management 14(2): 131-146 (2004) | |
2003 | ||
78 | Scott E. Coull, Joel W. Branch, Boleslaw K. Szymanski, Eric Breimer: Intrusion Detection: A Bioinformatics Approach. ACSAC 2003: 24-33 | |
77 | Jacek Kitowski, Andrzej M. Goscinski, Boleslaw K. Szymanski, Peter Luksch: Topic Introduction. Euro-Par 2003: 431 | |
76 | Ingo McLean, Boleslaw K. Szymanski, Alan Bivens: Methodology of Risk Assessment in Mobile Agent System Design. IAW 2003: 35-42 | |
75 | Houda Lamehamedi, Zujun Shentu, Boleslaw K. Szymanski, Ewa Deelman: Simulation of Dynamic Data Replication Strategies in Data Grids. IPDPS 2003: 100 | |
74 | Karlton Sequeira, Mohammed Javeed Zaki, Boleslaw K. Szymanski, Christopher D. Carothers: Improving spatial locality of programs via data mining. KDD 2003: 649-654 | |
73 | Gilbert Chen, Boleslaw K. Szymanski: Four Types of Lookback. PADS 2003: 3-10 | |
72 | Boleslaw K. Szymanski, Yu Liu, Rashim Gupta: Parallel Network Simulation under Distributed Genesis. PADS 2003: 61-68 | |
71 | Kaoutar El Maghraoui, Joseph E. Flaherty, Boleslaw K. Szymanski, James D. Teresco, Carlos A. Varela: Adaptive Computation over Dynamic and Heterogeneous Networks. PPAM 2003: 1083-1090 | |
70 | Boleslaw K. Szymanski, Carlos A. Varela, John Cummings, Jim Napolitano: Dynamically Reconfigurable Scientific Computing on Large-Scale Heterogeneous Grids. PPAM 2003: 419-430 | |
69 | Boleslaw K. Szymanski, Yu Liu: Simulation of large scale networks III: loosely-coordinated, distributed, packet-level simulation of large-scale networks. Winter Simulation Conference 2003: 712-720 | |
2002 | ||
68 | Christopher D. Carothers, Boleslaw K. Szymanski, Mohammed Javeed Zaki: Performance Mining of Large-Scale Data-Intensive Applications. IPDPS 2002 | |
67 | Gilbert Chen, Boleslaw K. Szymanski: Lookback: a new way of exploiting parallelism in discrete event simulation. PADS 2002: 153-162 | |
66 | Boleslaw K. Szymanski, Adnan Saifee, Anand Sastry, Yu Liu, Kiran Madnani: Genesis: a system for large-scale parallel network simulation. PADS 2002: 89-96 | |
65 | William Maniatty, Boleslaw K. Szymanski: Editorial message: special track on applications of spatial simulation of discrete entities. SAC 2002: 120-121 | |
64 | Gilbert Chen, Boleslaw K. Szymanski: Reusing simulation components: cost: a component-oriented discrete event simulator. Winter Simulation Conference 2002: 776-782 | |
63 | Ewa Deelman, Boleslaw K. Szymanski: Simulating Spatially Explicit Problems on High Performance Architectures. J. Parallel Distrib. Comput. 62(3): 446-467 (2002) | |
62 | Jeffrey Nesheiwat, Boleslaw K. Szymanski: Instrumentation database system for performance analysis of parallel scientific applications. Parallel Computing 28(10): 1409-1449 (2002) | |
2001 | ||
61 | Boleslaw K. Szymanski, Yu Liu, Anand Sastry, Kiran Madnani: Real-Time On-Line Network Simulation. DS-RT 2001: 22-29 | |
60 | Boleslaw K. Szymanski, Gilbert Chen: A Component Model for Discrete Event Simulation. PPAM 2001: 580-594 | |
59 | William Maniatty, Thomas Caraco, Niles Lehman, Boleslaw K. Szymanski: Spatial Models of Persistence in RNA Worlds: Exploring the Origins of Life. PPAM 2001: 896-903 | |
58 | Gilbert Chen, Boleslaw K. Szymanski: Object-oriented paradigm: component-oriented simulation architecture: toward interoperability and interchangeability. Winter Simulation Conference 2001: 495-501 | |
57 | Sven Koenig, Boleslaw K. Szymanski, Yaxin Liu: Efficient and inefficient ant coverage methods. Ann. Math. Artif. Intell. 31(1-4): 41-76 (2001) | |
56 | John A. Miller, Paul A. Fishwick, Simon J. E. Taylor, Perakath C. Benjamin, Boleslaw K. Szymanski: Research and commercial opportunities in Web-Based Simulation. Simul. Pr. Theory 9(1-2): 55-72 (2001) | |
2000 | ||
55 | Gilbert Chen, Boleslaw K. Szymanski, Thomas Caraco: Multiparadigm simulation in modeling spread of Lyme disease. ESM 2000: 631-638 | |
54 | Selim Gurun, Boleslaw K. Szymanski: Automating Internet Routing Behavior Analysis Using Public WWW Traceroute Services. MMNS 2000: 47-59 | |
53 | Boleslaw K. Szymanski, Gilbert Chen: Simulation using software agents I: linking spatially explicit parallel continuous and discrete models. Winter Simulation Conference 2000: 1705-1712 | |
1999 | ||
52 | Sven Koenig, Boleslaw K. Szymanski: Value-Update Rules for Real-Time Search. AAAI/IAAI 1999: 718-724 | |
51 | William Maniatty, Boleslaw K. Szymanski, Thomas Caraco: High-Performance Computing Tools for Modeling Evolution in Epidemics. HICSS 1999 | |
50 | David R. O'Hallaron, Boleslaw K. Szymanski: Software systems for scalable computers. Scientific Programming 7(3-4): 191-193 (1999) | |
1998 | ||
49 | P. H. Fry, Jeffrey Nesheiwat, Boleslaw K. Szymanski: Computing Twin Primes and Brun's Constant: A Distributed Approach. HPDC 1998: 42- | |
48 | Mohan V. Nibhanupudi, Boleslaw K. Szymanski: Runtime Support for Virtual BSP Computer. IPPS/SPDP Workshops 1998: 147-158 | |
47 | Jeffrey Nesheiwat, Boleslaw K. Szymanski: Instrumentation Database for Performance Analysis of Parallel Scientific Applications. LCR 1998: 229-242 | |
46 | William Maniatty, Boleslaw K. Szymanski, Thomas Caraco: High-Performance Simulation of Evolutionary Aspects of Epidemics. PARA 1998: 322-331 | |
45 | Ewa Deelman, Boleslaw K. Szymanski: Dynamic Load Balancing in Parallel Discrete Event Simulation for Spatially Explicit Problems. Workshop on Parallel and Distributed Simulation 1998: 46-53 | |
1997 | ||
44 | Ewa Deelman, Boleslaw K. Szymanski: Continuously Monitored Global Virtual Time. PDPTA 1997: 1-10 | |
43 | Joseph E. Flaherty, R. M. Loy, Mark S. Shephard, Boleslaw K. Szymanski, James D. Teresco, Louis H. Ziantz: Predictive Load Balancing for Parallel Adaptive Finite Element Computation. PDPTA 1997: 460-469 | |
42 | Charles D. Norton, Viktor K. Decyk, Boleslaw K. Szymanski: High-Performance Object-Oriented Scientific Programming in Fortran 90. PPSC 1997 | |
41 | Joseph E. Flaherty, R. M. Loy, P. C. Scully, Mark S. Shephard, Boleslaw K. Szymanski, James D. Teresco, Louis H. Ziantz: Load Balancing and Communication Optimization for Parallel Adaptive Finite Element Methods (Invited Paper). SCCC 1997: 246-255 | |
40 | Ewa Deelman, Boleslaw K. Szymanski: Breadth-First Rollback in Spatially Explicit Simulations. Workshop on Parallel and Distributed Simulation 1997: 124-131 | |
39 | Joseph E. Flaherty, R. M. Loy, Mark S. Shephard, Boleslaw K. Szymanski, James D. Teresco, Louis H. Ziantz: Adaptive Local Refinement with Octree Load Balancing for the Parallel Solution of Three-Dimensional Conservation Laws. J. Parallel Distrib. Comput. 47(2): 139-152 (1997) | |
38 | Balaram Sinharoy, Boleslaw K. Szymanski: Introduction: Special Issue on Optimising Compilers for Parallel Languages. Parallel Algorithms Appl. 12(1-3): 1-4 (1997) | |
37 | Balaram Sinharoy, Boleslaw K. Szymanski: Parallelising Compilers and Systems. Parallel Algorithms Appl. 12(1-3): 5-20 (1997) | |
36 | Wesley K. Kaplow, Boleslaw K. Szymanski: Compile-Time Cache Performance Prediction and its Application to Tiling. Parallel Processing Letters 7(4): 393-407 (1997) | |
35 | Boleslaw K. Szymanski: Paradigms and Compilers for Parallel Processing: Guest Editor's Introduction. Scientific Programming 6(2): 159-162 (1997) | |
34 | Viktor K. Decyk, Charles D. Norton, Boleslaw K. Szymanski: How to Express C++ Concepts in Fortran90 . Scientific Programming 6(4): 363-390 (1997) | |
1996 | ||
33 | Mohan V. Nibhanupudi, Boleslaw K. Szymanski: Adaptive Parallelism in the Bulk-Synchronous Parallel Model. Euro-Par, Vol. II 1996: 311-318 | |
32 | Ewa Deelman, Boleslaw K. Szymanski, Thomas Caraco: Simulating Lyme disease using parallel discrete event simulation. Winter Simulation Conference 1996: 1191-1198 | |
31 | Wesley K. Kaplow, Boleslaw K. Szymanski: Program Optimization Based on Compile-Time Cache Performance Prediction. Parallel Processing Letters 6(1): 173-184 (1996) | |
1995 | ||
30 | Wesley K. Kaplow, William Maniatty, Boleslaw K. Szymanski: Impact of memory hierarchy on program partitioning and scheduling. HICSS (2) 1995: 93-102 | |
29 | Mohan V. Nibhanupudi, Charles D. Norton, Boleslaw K. Szymanski: Plasma Simulation on Networks of Workstations using the Bulk-Synchronous Parallel Model. PDPTA 1995: 13-22 | |
28 | Charles D. Norton, Boleslaw K. Szymanski, Viktor K. Decyk: Parallel Object Oriented Implementation of a 2D Bounded Electrostatic Plasma PIC Simulation. PPSC 1995: 207-212 | |
27 | Charles D. Norton, Boleslaw K. Szymanski, Viktor K. Decyk: Object-Oriented Parallel Computation for Plasma Simulation. Commun. ACM 38(10): 88-100 (1995) | |
26 | Balaram Sinharoy, Boleslaw K. Szymanski: Announcement of a Special Issue of the Journal of Parallel Algorithms and Applications on Optimising Compilers for Parallel Languages. Parallel Algorithms Appl. 7(3-4): 313 (1995) | |
25 | Boleslaw K. Szymanski, William Maniatty, Balaram Sinharoy: Simultaneous Parallel Reduction on SIMD Machines. Parallel Processing Letters 5: 437-449 (1995) | |
1994 | ||
24 | William Maniatty, Boleslaw K. Szymanski, Thomas Caraco: Implementation and Performance of the Parallel Ecological Simulations. Applications in Parallel and Distributed Computing 1994: 93-102 | |
23 | Boleslaw K. Szymanski, John Feo, J. Hicks, J. Jagannathan, Vivek Sarkar, David B. Skillicorn: Is there a future for functional languages in parallel programming? ICCL 1994: 299-304 | |
22 | Boleslaw K. Szymanski, José M. Vidal: Automatic Verification of a Class of Symmetric Parallel Programs. IFIP Congress (1) 1994: 571-576 | |
21 | Louis H. Ziantz, Can C. Özturan, Boleslaw K. Szymanski: Run-Time Optimization of Sparse Matrix-Vector Multiplication on SIMD Machines. PARLE 1994: 313-322 | |
20 | Balaram Sinharoy, Boleslaw K. Szymanski: Data and Task Alignment in Distributed Memory Architectures. J. Parallel Distrib. Comput. 21(1): 61-74 (1994) | |
19 | Balaram Sinharoy, Boleslaw K. Szymanski: Finding Optimum Wavefront of Parallel Computation. Parallel Algorithms Appl. 2(1-2): 5-26 (1994) | |
18 | Can C. Özturan, Balaram Sinharoy, Boleslaw K. Szymanski: Compiler Technology for Parallel Scientific Computation. Scientific Programming 3(3): 201-225 (1994) | |
1992 | ||
17 | William Maniatty, Boleslaw K. Szymanski, Balaram Sinharoy: Efficiency of Data Alignment on Maspar. SIGPLAN Workshop 1992: 48-51 | |
16 | Boleslaw K. Szymanski, Balaram Sinharoy: Complexity of the Closest Vector Problem in a Lattice Generated by (0, 1)-Matrix. Inf. Process. Lett. 42(3): 121-126 (1992) | |
15 | Boleslaw K. Szymanski, Balaram Sinharoy: Corrigenda: Complexity of the Closest Vector Problem in a Lattice Generated by (0, 1)-Matrix. Inf. Process. Lett. 43(3): 167 (1992) | |
14 | Bruce McKenney, Boleslaw K. Szymanski: Generating Parallel Code for SIMD Machines. LOPLAS 1(1): 59-73 (1992) | |
1990 | ||
13 | Kevin L. Spier, Boleslaw K. Szymanski: Interprocess Analysis and Optimization in the Equational Language Compiler. CONPAR 1990: 324-335 | |
1988 | ||
12 | Boleslaw K. Szymanski: A simple solution to Lamport's concurrent programming problem with linear wait. ICS 1988: 621-626 | |
11 | Boleslaw K. Szymanski, Noah S. Prywes: Efficient Handling of Data Structures in Definitional Languages. Sci. Comput. Program. 10(3): 221-245 (1988) | |
1987 | ||
10 | Yuan Shi, Noah S. Prywes, Boleslaw K. Szymanski, Amir Pnueli: Very High Level Concurrent Programming. IEEE Trans. Software Eng. 13(9): 1038-1046 (1987) | |
1986 | ||
9 | Insup Lee, Noah S. Prywes, Boleslaw K. Szymanski: Partitioning of Massive/Real-Time Programs for Parallel Processing. Advances in Computers 25: 215-275 (1986) | |
8 | Noah S. Prywes, Yuan Shi, Boleslaw K. Szymanski, Jine S. Tseng: Supersystem Programming with Model. IEEE Computer 19(2): 50-60 (1986) | |
7 | Jine S. Tseng, Boleslaw K. Szymanski, Yuan Shi, Noah S. Prywes: Real-Time Software Life Cycle with the Model System. IEEE Trans. Software Eng. 12(2): 358-373 (1986) | |
1985 | ||
6 | Boleslaw K. Szymanski, Yuan Shi, Noah S. Prywes: Terminating Iterative Solution of Simultaneous Equations in Distributed Message Passing Systems. PODC 1985: 287-292 | |
5 | Boleslaw K. Szymanski, Yuan Shi, Noah S. Prywes: Synchronized Distributed Termination. IEEE Trans. Software Eng. 11(10): 1136-1140 (1985) | |
1984 | ||
4 | Boleslaw K. Szymanski, Noah S. Prywes, Evan D. Lock, Amir Pnueli: On the scope of static checking in definitional languages. ACM Conference on Computer Science 1984: 197-207 | |
3 | Evan D. Lock, Boleslaw K. Szymanski, Noah S. Prywes: Use of Model VHLL in Software Development and Maintenance. COMPCON 1984: 316-320 | |
1981 | ||
2 | Henryk Rybinski, Boleslaw K. Szymanski: Multilevel information system-- Towards more flexible information retrieval systems. Inf. Process. Manage. 17(5): 277-290 (1981) | |
1 | Jaroslaw Dobosz, Boleslaw K. Szymanski: An implementation of relational interface to an information retrieval system. Inf. Syst. 6(3): 219-228 (1981) |