default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDValdis Berzins
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2000 – 2009
- 2008
[c36]Valdis Berzins, Luqi, Peter M. Musial:
Formal Reasoning about Software Object Translations. Monterey Workshop 2008: 43-58- 2007
- [c35]Valdis Berzins, Craig H. Martell, Luqi, Paige Adams:
Innovations in Natural Language Document Processing for Requirements Engineering. Monterey Workshop 2007: 125-146 - 2006
- [j28]Ying Qiao, Hongan Wang, Luqi, Valdis Berzins:
An Admission Control Method for Dynamic Software Reconfiguration in Complex Embedded Systems. Int. J. Comput. Their Appl. 13(1): 28-38 (2006) - [c34]Luqi, Valdis Berzins, Peter M. Musial:
Reliability Properties of Models for Flexible Design and Run-Time Analysis. Monterey Workshop 2006: 207-219 - 2005
- [c33]Ying Qiao, Valdis Berzins, Luqi:
FCD: A Framework for Compositional Development in Open Embedded Systems. ITCC (2) 2005: 479-484 - [c32]Luqi, Valdis Berzins, William H. Roof:
Nautical Predictive Routing Protocol (NPRP) for the Dynamic Ad-Hoc Nautical Network (DANN). Monterey Workshop 2005: 106-120 - 2004
- [j27]Luqi, Zhiwei Guan, Valdis Berzins, Lynn Zhang, David L. Floodeen, Vedat Coskun
, Joseph Puett, Michael Brown:
Requirements-document-based prototyping of CARA software. Int. J. Softw. Tools Technol. Transf. 5(4): 370-390 (2004) - [j26]Luqi, Lin Zhang, Valdis Berzins, Ying Qiao:
Documentation Driven Development for Complex Real-Time Systems. IEEE Trans. Software Eng. 30(12): 936-952 (2004) - 2003
- [j25]Sheldon X. Liang, Valdis Berzins, Luqi:
Quantifiable architecting of dependable systems of embedded systems. ACM SIGSOFT Softw. Eng. Notes 28(6): 7 (2003) - [c31]Luqi, Xianzhong Liang, Lynn Zhang, Valdis Berzins:
Software Documentation-Driven Manufacturin. COMPSAC 2003: 472- - [c30]Paul Young, Nabendu Chaki, Valdis Berzins, Luqi:
Evaluation of Middleware Architectures in Achieving System Interoperability. IEEE International Workshop on Rapid System Prototyping 2003: 108-116 - [c29]Luqi, Man-tak Shing, Joseph Puett, Valdis Berzins, Zhiwei Guan, Ying Qiao, Lynn Zhang, Nabendu Chaki, Xianzhong Liang, Bill Ray, Michael Brown, David L. Floodeen:
Comparative Rapid Prototyping, A Case Study. IEEE International Workshop on Rapid System Prototyping 2003: 210-217 - 2002
- [j24]Nader Nada, Man-tak Shing, Valdis Berzins, Luqi:
Automated prototyping tool-kit (APT). Inf. Sci. 140(3-4): 241-253 (2002) - [j23]Valdis Berzins:
Lightweight inference for automation efficiency. Sci. Comput. Program. 42(1): 61-74 (2002) - [c28]Paul Young, Valdis Berzins, Jun Ge, Luqi:
Using an object oriented model for resolving representational differences between heterogeneous systems. SAC 2002: 976-983 - [c27]William J. Ray, Luqi, Valdis Berzins:
Optimizing systems by work schedules: (a stochastic approach). Workshop on Software and Performance 2002: 75-82 - 2001
- [c26]Jun Ge, Boon Kwang Kin, Valdis Berzins:
A Software Agent Framework for Distributed Applications. PDCS 2001: 136-141 - [c25]Luqi, Valdis Berzins, Jun Ge, Man-tak Shing, Mikhail Auguston, Barrett R. Bryant, Boon Kwang Kin:
DCAPS - Architecture for Distributed Computer Aided Prototyping System. IEEE International Workshop on Rapid System Prototyping 2001: 103-109 - 2000
- [j22]Valdis Berzins, Man-tak Shing, Luqi, Michael Saluto, Julian Williams:
Architectural Re-engineering of Janus using Object Modeling and Rapid Prototyping. Des. Autom. Embed. Syst. 5(3-4): 251-263 (2000) - [c24]Ngom Cheng, Valdis Berzins, Luqi, Swapan Bhattacharya:
Interoperability with Distributed Objects through Java Wrapper. COMPSAC 2000: 479-485 - [c23]Ngom Cheng, Valdis Berzins, Luqi, Swapan Bhattacharya:
JAVA Wrappers for Automated Interoperability. DNIS 2000: 45-64 - [c22]Luqi, Valdis Berzins, Man-tak Shing, Richard D. Riehle, J. Nogueira:
Evolutionary Computer Aided Prototyping System (CAPS). TOOLS (34) 2000: 363-372
1990 – 1999
- 1999
- [c21]M. Harn, Valdis Berzins, Luqi:
Software Evolution via Reusable Architecture. ECBS 1999: 11-17 - [c20]Man-tak Shing, Luqi, Valdis Berzins, Michael Saluto, Julian Williams:
Architectural Re-Engineering of Janus Using Object Modeling and Rapid Prototyping. IEEE International Workshop on Rapid System Prototyping 1999: 216-221 - 1998
- [j21]Valdis Berzins:
Recombining changes to software specifications. J. Syst. Softw. 42(2): 165-174 (1998) - [j20]Normunds Licis, Jan van Duin, Zita Balklava, Valdis Berzins:
Long-range translational coupling in single-stranded RNA bacteriophages: an evolutionary analysis. Nucleic Acids Res. 26(13): 3242-3246 (1998) - [c19]Man-tak Shing, Luqi, Valdis Berzins, Michael Saluto, Julian Williams, Jiang Guo, B. Shultes:
The Story of Re-engineering 350,000 Lines of FORTRAN Code. Monterey Workshop 1998: 111-120 - 1997
- [c18]T. Leonard, Valdis Berzins, Luqi, M. J. Holden:
Gathering Requirements from Remote Users. ICTAI 1997: 462- - [c17]Valdis Berzins:
Merging Changes to Software Specifications. Requirements Targeting Software and Systems Engineering 1997: 121-131 - 1996
- [j19]Joseph A. Goguen, Doan Nguyen, José Meseguer, Luqi, Du Zhang, Valdis Berzins:
Software Component Search. J. Syst. Integr. 6(1/2): 93-134 (1996) - [j18]Valdis Berzins, David A. Dampier:
Software Merge: Combining Changes to Decompositions. J. Syst. Integr. 6(1/2): 135-150 (1996) - [c16]Valdis Berzins:
Recombining Changes to Software Specifications. SEKE 1996: 136-144 - 1995
- [b2]Valdis Berzins:
Software merging and slicing. IEEE 1995, ISBN 978-0-8186-6792-3, pp. I-IX, 1-233 - [c15]Valdis Berzins, Luqi, Man-tak Shing:
Computer Aided Prototyping System. SEKE 1995: 499 - 1994
- [j17]David A. Dampier, Luqi, Valdis Berzins:
Automated merging of software prototypes. J. Syst. Integr. 4(1): 33-49 (1994) - [j16]Valdis Berzins:
Software Merge: Semantics of Combining Changes to Programs. ACM Trans. Program. Lang. Syst. 16(6): 1875-1903 (1994) - [c14]Valdis Berzins:
Software merge: models and properties. SEKE 1994: 225-232 - 1993
- [j15]Valdis Berzins, Luqi, Amiram Yehudai:
Using Transformations in Specification-Based Prototyping. IEEE Trans. Software Eng. 19(5): 436-452 (1993) - [j14]Bernd J. Krämer, Luqi, Valdis Berzins:
Compositional Semantics of a Real-Time Prototyping Language. IEEE Trans. Software Eng. 19(5): 543-477 (1993) - [c13]David A. Dampier, Luqi, Valdis Berzins:
Automated Merging of Software Prototypes. SEKE 1993: 604-611 - 1991
- [b1]Valdis Berzins, Luqi:
Software engineering with abstractions. Addison-Wesley 1991, ISBN 978-0-201-08004-9, pp. I-XV, 1-624 - [j13]Valdis Berzins:
Black-Box Specification in Spec. Comput. Lang. 16(2): 113-127 (1991) - [j12]Valdis Berzins:
Software merge: Models and methods for combining changes to programs. J. Syst. Integr. 1(2): 121-141 (1991) - [c12]Valdis Berzins:
Software Merge: Models and Methods for Combining Changes to Programs. ESEC 1991: 229-250 - [c11]Robert Steigerwald, Gary Hughes, Valdis Berzins:
CAPS as a requirements engineering tool. TRI-Ada 1991: 75-83 - [c10]Robert Steigerwald, Valdis Berzins:
Normal forms for algebraic specifications of reusable Ada packages. TRI-Ada 1991: 248-256 - 1990
- [j11]Valdis Berzins, Luqi:
An Introduction to the Specification Language Spec. IEEE Softw. 7(2): 74-84 (1990)
1980 – 1989
- 1989
- [c9]Valdis Berzins, Yuh-Jeng Lee:
Generating displays for specifications using attribute grammars. COMPSAC 1989: 596-602 - 1988
- [j10]Mohammad A. Ketabchi, Valdis Berzins, Salvatore T. March:
An object-oriented semantic data model for CAD applications. Inf. Sci. 46(1-2): 109-139 (1988) - [j9]Luqi, Valdis Berzins:
Rapidly Prototyping Real-Time Systems. IEEE Softw. 5(5): 25-36 (1988) - [j8]Mohammad A. Ketabchi, Valdis Berzins:
Mathematical Model of Composite Objects and Its Application for Organizing Engineering Databases. IEEE Trans. Software Eng. 14(1): 71-84 (1988) - [j7]Robert M. Herndon Jr., Valdis Berzins:
The Realizable Benefits of a Language Prototyping Language. IEEE Trans. Software Eng. 14(6): 803-809 (1988) - [j6]Luqi, Valdis Berzins, Raymond T. Yeh:
A Prototyping Language for Real-Time Software. IEEE Trans. Software Eng. 14(10): 1409-1423 (1988) - [c8]Valdis Berzins:
Object-oriented techniques based on specifications. COMPSAC 1988: 437-438 - [c7]Valdis Berzins:
The design of software interfaces in Spec. ICCL 1988: 266-270 - [c6]Luqi, Valdis Berzins:
Execution of a High Level Real-Time Language. RTSS 1988: 69-76 - [c5]Valdis Berzins, Luqi:
Semantics of a Real-Time Language. RTSS 1988: 106-110 - 1987
- [j5]Mohammad A. Ketabchi, Valdis Berzins:
Modeling and Managing CAD Databases. Computer 20(2): 93-102 (1987) - 1986
- [j4]Valdis Berzins:
On Merging Software Extensions. Acta Informatica 23(6): 607-619 (1986) - [j3]Valdis Berzins, Michael Gray, J. David Naumann:
Abstraction-Based Software Development. Commun. ACM 29(5): 402-415 (1986) - [c4]Mohammad A. Ketabchi, Valdis Berzins, Salvatore T. March:
ODM: an object oriented data model for design databases. ACM Conference on Computer Science 1986: 261-269 - [c3]Mohammad A. Ketabchi, Valdis Berzins:
Component Aggregation: A Mechanism for Organizing Efficient Engineering Databases. ICDE 1986: 407-408 - 1985
- [j2]William B. Thompson, Kathleen M. Mutch, Valdis Berzins:
Dynamic Occlusion Analysis in Optical Flow Fields. IEEE Trans. Pattern Anal. Mach. Intell. 7(4): 374-383 (1985) - [j1]Valdis Berzins, Michael Gray:
Analysis and Design in MSG.84: Formalizing Functional Specifications. IEEE Trans. Software Eng. 11(8): 657-670 (1985) - [c2]Mohammad A. Ketabchi, Valdis Berzins, Kurt Maly:
Generalization Per Category: Theory And Application. ICIS 1985: 16 - 1982
- [c1]William B. Thompson, Kathleen M. Mutch, Valdis Berzins:
Edge Detection in Optical Flow Fields. AAAI 1982: 26-29
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:55 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:
