 | 2009 |
|---|
| 123 |       | Chien-Liang Fok,
Gruia-Catalin Roman,
Chenyang Lu:
Enhanced Coordination in Sensor Networks through Flexible Service Provisioning.
COORDINATION 2009: 66-85 |
| 122 | | Vasanth Rajamani,
Christine Julien,
Jamie Payton,
Gruia-Catalin Roman:
Inquiry and Introspection for Non-deterministic Queries in Mobile Networks.
FASE 2009: 401-416 |
| 121 | | Vasanth Rajamani,
Christine Julien,
Jamie Payton,
Gruia-Catalin Roman:
PAQ: Persistent Adaptive Query Middleware for Dynamic Environments.
Middleware 2009: 226-246 |
| 120 | | Louis Thomas,
Justin Wilson,
Gruia-Catalin Roman,
Christopher D. Gill:
Achieving Coordination through Dynamic Construction of Open Workflows.
Middleware 2009: 268-287 |
| 119 | | Chien-Liang Fok,
Gruia-Catalin Roman,
Chenyang Lu:
Agilla: A mobile agent middleware for self-adaptive wireless sensor networks.
TAAS 4(3): (2009) |
| 2008 |
|---|
| 118 | | Rohan Sen,
Gruia-Catalin Roman,
Christopher D. Gill:
CiAN: A Workflow Engine for MANETs.
COORDINATION 2008: 280-295 |
| 117 | | Sangeeta Bhattacharya,
Chien-Liang Fok,
Chenyang Lu,
Gruia-Catalin Roman:
MLDS: A flexible location directory service for tiered sensor networks.
Computer Communications 31(6): 1160-1172 (2008) |
| 116 | | Christine Julien,
Gruia-Catalin Roman,
Qingfeng Huang:
SICC: Source-Initiated Context Construction in Mobile Ad Hoc Networks.
IEEE Trans. Mob. Comput. 7(4): 401-415 (2008) |
| 2007 |
|---|
| 115 | | Rohan Sen,
Gregory Hackmann,
Mart Haitjema,
Gruia-Catalin Roman,
Christopher D. Gill:
Coordinating Workflow Allocation and Execution in Mobile Environments.
COORDINATION 2007: 249-267 |
| 114 | | Davide Frey,
Gruia-Catalin Roman:
Context-Aware Publish Subscribe in Mobile Ad Hoc Networks.
COORDINATION 2007: 37-55 |
| 113 | | Sangeeta Bhattacharya,
Chien-Liang Fok,
Chenyang Lu,
Gruia-Catalin Roman:
Design and Implementation of a Flexible Location Directory Service for Tiered Sensor Networks.
DCOSS 2007: 158-173 |
| 112 | | Jamie Payton,
Christine Julien,
Gruia-Catalin Roman:
Automatic consistency assessment for query results in dynamic environments.
ESEC/SIGSOFT FSE 2007: 245-254 |
| 111 | | Fei Sun,
Chien-Liang Fok,
Gruia-Catalin Roman:
sChat: a group communication service over wireless sensor networks.
IPSN 2007: 543-544 |
| 110 | | Octav Chipara,
Chenyang Lu,
Gruia-Catalin Roman:
Real-Time Query Scheduling for Wireless Sensor Networks.
RTSS 2007: 389-399 |
| 109 | | Rohan Sen,
Radu Handorean,
Gruia-Catalin Roman,
Gregory Hackmann,
Christopher D. Gill:
Knowledge-Driven Interactions across Mobile Ad Hoc Networks.
Int. J. Cooperative Inf. Syst. 16(1): 123-153 (2007) |
| 108 | | Gruia-Catalin Roman,
Christine Julien,
Jamie Payton:
Modeling adaptive behaviors in Context UNITY.
Theor. Comput. Sci. 376(3): 185-204 (2007) |
| 2006 |
|---|
| 107 |  | Sergio F. Ochoa,
Gruia-Catalin Roman:
IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, Expanding the Frontiers of Software Technology, August 25, 2006, Santiago, Chile
Springer 2006 |
| 106 | | Daniel Massaguer,
Chien-Liang Fok,
Nalini Venkatasubramanian,
Gruia-Catalin Roman,
Chenyang Lu:
Exploring sensor networks using mobile agents.
AAMAS 2006: 323-325 |
| 105 | | Gruia-Catalin Roman,
Radu Handorean,
Rohan Sen:
Tuple Space Coordination Across Space and Time.
COORDINATION 2006: 266-280 |
| 104 | | Gregory Hackmann,
Chien-Liang Fok,
Gruia-Catalin Roman,
Chenyang Lu:
Agimone: Middleware Support for Seamless Integration of Sensor and IP Networks.
DCOSS 2006: 101-118 |
| 103 | | Sangeeta Bhattacharya,
Nuzhet Atay,
Gazihan Alankus,
Chenyang Lu,
O. Burçhan Bayazit,
Gruia-Catalin Roman:
Roadmap Query for Sensor Network Assisted Navigation in Dynamic Environments.
DCOSS 2006: 17-36 |
| 102 | | Gregory Hackmann,
Mart Haitjema,
Christopher D. Gill,
Gruia-Catalin Roman:
Sliver: A BPEL Workflow Process Execution Engine for Mobile Devices.
ICSOC 2006: 503-508 |
| 101 | | Gian Pietro Picco,
Matteo Migliavacca,
Amy L. Murphy,
Gruia-Catalin Roman:
Distributed Abstract Data Types.
OTM Conferences (2) 2006: 1594-1612 |
| 100 | | Sangeeta Bhattacharya,
Chien-Liang Fok,
Chenyang Lu,
Gruia-Catalin Roman:
A hierarchical location directory service across sensor and IP networks.
SenSys 2006: 365-366 |
| 99 | | Amy L. Murphy,
Gian Pietro Picco,
Gruia-Catalin Roman:
LIME: A coordination model and middleware supporting mobility of hosts and agents.
ACM Trans. Softw. Eng. Methodol. 15(3): 279-328 (2006) |
| 98 | | Christine Julien,
Gruia-Catalin Roman:
EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications.
IEEE Trans. Software Eng. 32(5): 281-298 (2006) |
| 97 | | Radu Handorean,
Rohan Sen,
Gregory Hackmann,
Gruia-Catalin Roman:
Supporting Predictable Service Provision in MANETs Via Context-Aware Session Management.
Int. J. Web Service Res. 3(3): 1-26 (2006) |
| 2005 |
|---|
| 96 | | Gruia-Catalin Roman,
William G. Griswold,
Bashar Nuseibeh:
27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA
ACM 2005 |
| 95 | | Octav Chipara,
Chenyang Lu,
Gruia-Catalin Roman:
Efficient Power Management Based on Application Timing Semantics for Wireless Sensor Networks.
ICDCS 2005: 361-370 |
| 94 | | Chien-Liang Fok,
Gruia-Catalin Roman,
Chenyang Lu:
Rapid Development and Flexible Deployment of Adaptive Wireless Sensor Network Applications.
ICDCS 2005: 653-662 |
| 93 | | Radu Handorean,
Rohan Sen,
Gregory Hackmann,
Gruia-Catalin Roman:
Context Aware Session Management for Services in Ad Hoc Networks.
IEEE SCC 2005: 113-120 |
| 92 | | Sangeeta Bhattacharya,
Guoliang Xing,
Chenyang Lu,
Gruia-Catalin Roman,
Octav Chipara,
Brandon Harris:
Dynamic wake-up and topology maintenance protocols with spatiotemporal guarantees.
IPSN 2005: 28-34 |
| 91 | | Chien-Liang Fok,
Gruia-Catalin Roman,
Chenyang Lu:
Mobile agent middleware for sensor networks: an application case study.
IPSN 2005: 382-387 |
| 90 | | Gregory Hackmann,
Chien-Liang Fok,
Gruia-Catalin Roman,
Chenyang Lu,
Christopher K. Zuver,
Kent English,
John Meier:
Agile cargo tracking using mobile agents.
SenSys 2005: 303 |
| 89 | | Rohan Sen,
Gregory Hackmann,
Gruia-Catalin Roman,
Christopher D. Gill:
Opportunistic exploitation of knowledge to increase predictability of agent interactions in MANETs.
ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005) |
| 88 | | Gruia-Catalin Roman,
Jamie Payton:
A Termination Detection Protocol for Use in Mobile Ad Hoc Networks.
Autom. Softw. Eng. 12(1): 81-99 (2005) |
| 87 | | Qingfeng Huang,
Sangeeta Bhattacharya,
Chenyang Lu,
Gruia-Catalin Roman:
FAR: Face-aware routing for mobicast in large-scale sensor networks.
TOSN 1(2): 240-271 (2005) |
| 86 | | Gruia-Catalin Roman,
Jamie Payton:
A principled exploration of coordination models.
Theor. Comput. Sci. 336(2-3): 367-401 (2005) |
| 2004 |
|---|
| 85 | | Chien-Liang Fok,
Gruia-Catalin Roman,
Gregory Hackmann:
A Lightweight Coordination Middleware for Mobile Computing.
COORDINATION 2004: 135-151 |
| 84 | | Christine Julien,
Gruia-Catalin Roman:
Active Coordination in Ad Hoc Networks.
COORDINATION 2004: 199-215 |
| 83 | | Christine Julien,
Gruia-Catalin Roman:
Supporting Context-Aware Interaction in Dynamic Multi-agent Systems.
E4MAS 2004: 168-189 |
| 82 | | Gruia-Catalin Roman,
Christine Julien,
Jamie Payton:
A Formal Treatment of Context-Awareness.
FASE 2004: 12-36 |
| 81 | | Rohan Sen,
Radu Handorean,
Gruia-Catalin Roman,
Gregory Hackmann:
Knowledge-driven interactions with services across ad hoc networks.
ICSOC 2004: 222-231 |
| 80 | | Qingfeng Huang,
Chenyang Lu,
Gruia-Catalin Roman:
Reliable Mobicast via Face-Aware Routing.
INFOCOM 2004 |
| 79 | | Rohan Sen,
Radu Handorean,
Gregory Hackmann,
Gruia-Catalin Roman:
An Architecture Supporting Run-Time Upgrade of Proxy-Based Services in Ad Hoc Networks.
International Conference on Wireless Networks 2004: 689-695 |
| 78 | | Radu Handorean,
Christopher D. Gill,
Gruia-Catalin Roman:
Accommodating Transient Connectivity in Ad Hoc and Mobile Settings.
Pervasive 2004: 305-322 |
| 77 | | Christine Julien,
Jamie Payton,
Gruia-Catalin Roman:
Adaptive Access Control in Coordination-Based Mobile Agent Systems.
SELMAS 2004: 254-271 |
| 76 | | Gregory Hackmann,
Christine Julien,
Jamie Payton,
Gruia-Catalin Roman:
Supporting Generalized Context Interactions.
SEM 2004: 91-106 |
| 75 | | Cecilia Mascolo,
Gian Pietro Picco,
Gruia-Catalin Roman:
CODEWEAVE: Exploring Fine-Grained Mobility of Code.
Autom. Softw. Eng. 11(3): 207-243 (2004) |
| 74 | | Christine Julien,
Jamie Payton,
Gruia-Catalin Roman:
Reasoning About Context-Awareness in the Presence of Mobility.
Electr. Notes Theor. Comput. Sci. 97: 259-276 (2004) |
| 73 | | Qingfeng Huang,
Christine Julien,
Gruia-Catalin Roman:
Relying on Safe Distance to Achieve Strong Partitionable Group Membership in Ad Hoc Networks.
IEEE Trans. Mob. Comput. 3(2): 192-205 (2004) |
| 72 | | Qingfeng Huang,
Chenyang Lu,
Gruia-Catalin Roman:
Design and Analysis of Spatiotemporal Multicast Protocols for Wireless Sensor Networks.
Telecommunication Systems 26(2-4): 129-160 (2004) |
| 2003 |
|---|
| 71 | | Gruia-Catalin Roman,
Jamie Payton:
Mobile UNITY Schemas for Agent Coordination.
Abstract State Machines 2003: 126-150 |
| 70 | | Radu Handorean,
Jamie Payton,
Christine Julien,
Gruia-Catalin Roman:
Coordination Middleware Supporting Rapid Deployment of Ad Hoc Mobile System.
ICDCS Workshops 2003: 362-368 |
| 69 | | Radu Handorean,
Gruia-Catalin Roman:
Secure Service Provision in Ad Hoc Networks.
ICSOC 2003: 367-383 |
| 68 | | Qingfeng Huang,
Chenyang Lu,
Gruia-Catalin Roman:
Mobicast: Just-in-Time Multicast for Sensor Networks under Spatiotemporal Constraints.
IPSN 2003: 442-457 |
| 67 | | Amy L. Murphy,
Gian Pietro Picco,
Gruia-Catalin Roman:
Software Architecture for Mobile Computing.
SFM 2003: 182-206 |
| 66 | | Qingfeng Huang,
Chenyang Lu,
Gruia-Catalin Roman:
Spatiotemporal multicast in sensor networks.
SenSys 2003: 205-217 |
| 65 | | Radu Handorean,
Gruia-Catalin Roman:
Secure Sharing of Tuple Spaces in Ad Hoc Settings.
Electr. Notes Theor. Comput. Sci. 85(3): (2003) |
| 2002 |
|---|
| 64 | | Radu Handorean,
Gruia-Catalin Roman:
Service Provision in Ad Hoc Networks.
COORDINATION 2002: 207-219 |
| 63 | | Gruia-Catalin Roman,
Christine Julien,
Qingfeng Huang:
Network abstractions for context-aware mobile computing.
ICSE 2002: 363-373 |
| 62 | | Gruia-Catalin Roman,
Christine Julien,
Qingfeng Huang:
Formal Specification and Design of Mobile Systems.
IPDPS 2002 |
| 61 | | Gruia-Catalin Roman,
Christine Julien,
Amy L. Murphy:
A Declarative Approach to Agent-Centered Context-Aware Computing in Ad Hoc Wireless Environments.
SELMAS 2002: 94-109 |
| 60 | | Christine Julien,
Gruia-Catalin Roman:
Egocentric context-aware programming in ad hoc mobile environments.
SIGSOFT FSE 2002: 21-30 |
| 59 | | Gruia-Catalin Roman,
Amy L. Murphy:
Guest Editorial: Software Engineering for Mobility.
Autom. Softw. Eng. 9(2): 135-136 (2002) |
| 58 | | Gruia-Catalin Roman,
Peter J. McCann:
A Notation and Logic for Mobile Computing.
Formal Methods in System Design 20(1): 47-68 (2002) |
| 57 | | Amy L. Murphy,
Gruia-Catalin Roman,
George Varghese:
Tracking Mobile Units for Dependable Message Delivery.
IEEE Trans. Software Eng. 28(5): 433-448 (2002) |
| 2001 |
|---|
| 56 | | Amy L. Murphy,
Gian Pietro Picco,
Gruia-Catalin Roman:
LIME: A Middleware for Physical and Logical Mobility.
ICDCS 2001: 524-533 |
| 55 | | Gruia-Catalin Roman,
Qingfeng Huang,
Ali Hazemi:
Consistent Group Membership in Ad Hoc Networks.
ICSE 2001: 381-388 |
| 54 | | Gruia-Catalin Roman,
Gian Pietro Picco:
Workshop on Software Engineering and Mobility.
ICSE 2001: 756-757 |
| 53 | | Gruia-Catalin Roman,
Amy L. Murphy,
Gian Pietro Picco:
Coordination and Mobility.
Coordination of Internet Agents: Models, Technologies, and Applications 2001: 253-273 |
| 52 | | Gian Pietro Picco,
Gruia-Catalin Roman,
Peter J. McCann:
Reasoning about code mobility with mobile UNITY.
ACM Trans. Softw. Eng. Methodol. 10(3): 338-395 (2001) |
| 2000 |
|---|
| 51 | | António Porto,
Gruia-Catalin Roman:
Coordination Languages and Models, 4th International Conference, COORDINATION 2000, Limassol, Cyprus, September 11-13, 2000, Proceedings
Springer 2000 |
| 50 | | Gian Pietro Picco,
Amy L. Murphy,
Gruia-Catalin Roman:
Developing mobile computing applications with LIME.
ICSE 2000: 766-769 |
| 49 | | Gruia-Catalin Roman,
Gian Pietro Picco,
Amy L. Murphy:
Software engineering for mobility: a roadmap.
ICSE - Future of SE Track 2000: 241-258 |
| 48 | | Mihail Eduard Tudoreanu,
Delbert Hart,
Gruia-Catalin Roman:
Reshapeable Visualizations.
ISMSE 2000: 245-252 |
| 1999 |
|---|
| 47 | | Cecilia Mascolo,
Gian Pietro Picco,
Gruia-Catalin Roman:
A Fine-Grained Model for Code Mobility.
ESEC / SIGSOFT FSE 1999: 39-56 |
| 46 | | Gian Pietro Picco,
Amy L. Murphy,
Gruia-Catalin Roman:
LIME: Linda Meets Mobility.
ICSE 1999: 368-377 |
| 45 | | Peter J. McCann,
Gruia-Catalin Roman:
Modeling Mobile IP in Mobile UNITY.
ACM Trans. Softw. Eng. Methodol. 8(2): 115-146 (1999) |
| 1998 |
|---|
| 44 | | Gruia-Catalin Roman,
Peter J. McCann:
An Introduction to Mobile UNITY.
IPPS/SPDP Workshops 1998: 871-880 |
| 43 | | Gruia-Catalin Roman,
James C. Hu:
Plastic transformations: A method for building dependable distributed Applications.
IEE Proceedings - Software 145(2-3): 51-60 (1998) |
| 42 | | Peter J. McCann,
Gruia-Catalin Roman:
Compositional Programming Abstractions for Mobile Computing.
IEEE Trans. Software Eng. 24(2): 97-110 (1998) |
| 1997 |
|---|
| 41 | | Peter J. McCann,
Gruia-Catalin Roman:
Mobile UNITY Coordination Constructs Applied to Packet Forwarding for Mobile Hosts.
COORDINATION 1997: 338-354 |
| 40 | | Gian Pietro Picco,
Gruia-Catalin Roman,
Peter J. McCann:
Expressing Code Mobility in Mobile UNITY.
ESEC / SIGSOFT FSE 1997: 500-518 |
| 39 | | Amy L. Murphy,
Gruia-Catalin Roman,
George Varghese:
An Algorithm for Message Delivery to Mobile Units.
PODC 1997: 292 |
| 38 | | Gruia-Catalin Roman,
Peter J. McCann,
Jerome Y. Plun:
Mobile UNITY: Reasoning and Specification in Mobile Computing.
ACM Trans. Softw. Eng. Methodol. 6(3): 250-282 (1997) |
| 1996 |
|---|
| 37 | | Gruia-Catalin Roman,
Peter J. McCann,
Jerome Y. Plun:
Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing.
ICSE 1996: 155-164 |
| 36 | | C. Donald Wilcox,
Gruia-Catalin Roman:
Reasoning About Places, Times, and Actions in the Presence of Mobility.
IEEE Trans. Software Eng. 22(4): 225-247 (1996) |
| 1995 |
|---|
| 35 | | Gruia-Catalin Roman:
Panelists: Software Visualization through Active Presentation.
SEKE 1995: 292 |
| 1994 |
|---|
| 34 | | Christian Creveuil,
Gruia-Catalin Roman:
Formal Specification and Designof a Message Router.
ACM Trans. Softw. Eng. Methodol. 3(4): 271-307 (1994) |
| 33 | | Gruia-Catalin Roman,
C. Donald Wilcox:
Architecture-Directed Refinement.
IEEE Trans. Software Eng. 20(4): 239-258 (1994) |
| 32 | | Kenneth C. Cox,
Gruia-Catalin Roman:
A Characterization of the Computational Power of Rule-based Visualization.
J. Vis. Lang. Comput. 5(1): 5-27 (1994) |
| 1993 |
|---|
| 31 | | Gruia-Catalin Roman,
Kenneth C. Cox:
A Taxonomy of Program Visualization Systems.
IEEE Computer 26(12): 11-24 (1993) |
| 30 | | Gruia-Catalin Roman,
Jerome Y. Plun,
C. Donald Wilcox:
Dynamic Synchrony Among Atomic Actions.
IEEE Trans. Parallel Distrib. Syst. 4(6): 677-685 (1993) |
| 29 | | Gruia-Catalin Roman,
Rose F. Gamble,
William E. Ball:
Formal Derivation of Rule-Based Programs.
IEEE Trans. Software Eng. 19(3): 277-296 (1993) |
| 28 | | Carlo Ghezzi,
Gruia-Catalin Roman:
Guest Editors' Remarks: Selected Papers of the Sixth International Workshop on Software Specification and Design.
Sci. Comput. Program. 20(1-2): 1-2 (1993) |
| 1992 |
|---|
| 27 | | Gruia-Catalin Roman,
C. Donald Wilcox,
Jerome Y. Plun:
On Deriving Distributed Programs from Formal Specifications of Functional Requirements and Architectural Constraints.
ICDCS 1992: 494-501 |
| 26 | | Gruia-Catalin Roman,
Rose F. Gamble,
William E. Ball:
Seeking Concurrency in Rule-Based Programming.
ICSE 1992: 225-234 |
| 25 | | Gruia-Catalin Roman,
Kenneth C. Cox:
Program Visualization: The Art of Mapping Programs to Pictures.
ICSE 1992: 412-420 |
| 24 | | Kenneth C. Cox,
Gruia-Catalin Roman:
Abstraction in Algorithm Animation.
VL 1992: 18-24 |
| 1991 |
|---|
| 23 | | Rose F. Gamble,
Gruia-Catalin Roman,
William E. Ball:
Formal Verification of Pure Production System Programs.
AAAI 1991: 329-334 |
| 22 | | Gruia-Catalin Roman,
H. Conrad Cunningham:
Reasoning About Synchronic Groups.
Research Directions in High-Level Parallel Programming Languages 1991: 21-38 |
| 21 | | Kenneth C. Cox,
Gruia-Catalin Roman:
Visualizing Concurrent Computations.
VL 1991: 18-24 |
| 1990 |
|---|
| 20 | | Gruia-Catalin Roman,
H. Conrad Cunningham:
The Synchronic Group: A Concurrent Programming Concept and Its Proof Logic.
ICDCS 1990: 142-149 |
| 19 | | Gruia-Catalin Roman:
Formal Specification of Geographic Data Processing Requirements.
IEEE Trans. Knowl. Data Eng. 2(4): 370-380 (1990) |
| 18 | | H. Conrad Cunningham,
Gruia-Catalin Roman:
A UNITY-Style Programming Logic for Shared Dataspace Programs.
IEEE Trans. Parallel Distrib. Syst. 1(3): 365-376 (1990) |
| 17 | | Gruia-Catalin Roman,
H. Conrad Cunningham:
Mixed Programming Mataphors in a Shared Dataspace Model of Concurrency.
IEEE Trans. Software Eng. 16(12): 1361-1373 (1990) |
| 1989 |
|---|
| 16 | | Gruia-Catalin Roman,
Kenneth C. Cox:
Declarative Visualization in the Shared Dataspace Paradigm.
ICSE 1989: 34-43 |
| 15 | | Gruia-Catalin Roman,
Kenneth C. Cox:
A Declarative Approach to Visualizing Concurrent Computations.
IEEE Computer 22(10): 25-36 (1989) |
| 1988 |
|---|
| 14 | | Gruia-Catalin Roman,
H. Conrad Cunningham,
Michael E. Ehlers:
A Shared Dataspace Language Supporting Large-Scale Concurrency.
ICDCS 1988: 265-272 |
| 13 | | Gruia-Catalin Roman:
Language and Visualization Support for Large-Scale Concurrency.
ICSE 1988: 296-308 |
| 1987 |
|---|
| 12 | | Gruia-Catalin Roman,
Michael E. Ehlers,
H. Conrad Cunningham,
R. H. Lykins:
Toward Comprehensive Specification of Distributed Systems.
ICDCS 1987: 282-291 |
| 11 | | Gruia-Catalin Roman:
Data Engineering in Software Development Environments.
ICDE 1987: 85-86 |
| 10 | | Gruia-Catalin Roman:
Specifying Software/Hardware Interactions in Distributed Systems.
ICSE 1987: 126-141 |
| 1986 |
|---|
| 9 | | Gruia-Catalin Roman:
Formal Specification of Geographic Data Processing Requirements.
ICDE 1986: 434-446 |
| 1985 |
|---|
| 8 | | Gruia-Catalin Roman:
A Taxonomy of Current Issues in Requirements Engineering.
IEEE Computer 18(4): 14-23 (1985) |
| 1984 |
|---|
| 7 | | Gruia-Catalin Roman,
Mark S. Day:
Multifaceted Distributed Systems Specification Using Processes and Event Synchronization.
ICSE 1984: 44-55 |
| 1983 |
|---|
| 6 | | Gruia-Catalin Roman,
Robert K. Israel:
Functional Specification of Distributed Systems.
ICPP 1983: 503-505 |
| 1980 |
|---|
| 5 | | Gruia-Catalin Roman:
Concurrency coordination in a locally distributed database system.
AFIPS National Computer Conference 1980: 269-273 |
| 1978 |
|---|
| 4 | | M. J. Stucki,
Jerome R. Cox Jr.,
Gruia-Catalin Roman,
P. N. Turcu:
Coordinating Concurrent Access in a Distributed Database Architecture.
Computer Architecture for Non-Numeric Processing 1978: 60-64 |
| 1977 |
|---|
| 3 | | Gruia-Catalin Roman:
A two-step approach to the validation of software engineering methodologies.
AFIPS National Computer Conference 1977: 539-544 |
| 2 | | Gruia-Catalin Roman:
An Argument in Favor of Mechanized Software Production.
IEEE Trans. Software Eng. 3(6): 406-415 (1977) |
| 1976 |
|---|
| 1 | | Gruia-Catalin Roman,
David Garfinkel,
Carl B. Marbach:
Memory conserving efficient methods for solving large sets of stiff differential equations.
AFIPS National Computer Conference 1976: 973-978 |
