default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJ.UCS, Volume 6
Volume 6, Number 1, January 2000
- Cristian Calude, Gheorghe Stefanescu:
Automata, Logic, and Computability: J.UCS Special Issue Dedicated to Professor Sergiu Rudeanu Festschrift. 1-2 - Solomon Marcus:
Under the Sign of Boole. 3-4 - Virgil Emil Cazanescu, Grigore Rosu:
Weak Inclusion Systems: Part Two. 5-21 - Rodica Ceterchi:
The Lattice Structure of Pseudo-Wajsberg Algebras. 22-38 - Gabriel Ciobanu, Mihai Rotaru:
A Pi-calculus Machine. 39-59 - Dana Cristofor, Laurentiu Cristofor, Dan A. Simovici:
Galois Connections and Data Mining. 60-73 - Razvan Diaconescu, Kokichi Futatsugi:
Behavioural Coherence in Object-Oriented Algebraic Specification. 74-96 - Stephan Foldes, Peter L. Hammer:
Monotone, Horn and Quadratic Pseudo-Boolean Functions. 97-104 - George Georgescu, Ioana Leustean:
A Representation Theorem for Monadic Pavelka Algebras. 105-111 - Radu Grosu, Dorel Lucanu, Gheorghe Stefanescu:
Mixed Relations as Enriched Semiringal Categories. 112-129 - Cristian Grozea:
Free-Extendible Prefix-Free Sets and an Extension of the Kraft-Chaitin Theorem. 130-135 - Frank Harary:
The Automorphism Group of a Hypercube. 136-138 - Afrodita Iorgulescu:
Connections Between MVn Algebras and n-valued Lukasiewicz-Moisil Algebras - IV. 139-154 - Hajime Ishihara:
A Canonical Model Construction for Substructural Logics. 155-168 - Marjo Lipponen:
Computational Complementarity and Shift Spaces. 169-177 - Gheorghe Paun, Takashi Yokomori:
Simulating H Systems by P Systems. 178-193 - Grigore Rosu, Joseph A. Goguen:
On Equational Craig Interpolation. 194-200 - Dragos Vaida:
Notes on Partially-Ordered Structures in Computer Science: I. PA-Ordered Semirings and Some Related Structures. 201-211 - Kundi Xue, Marius Zimand:
Extractors for the Real World. 212-225
Volume 6, Number 2, February 2000
- Hermann A. Maurer:
Managing Editor's Column. 226 - Florent de Dinechin:
The Price of Routing in FPGAs. 227-239 - Alan Roberts, Antonios Symvonis:
Potential-function-based Analysis of an off-line Heap Construction Algorithm. 240-255
Volume 6, Number 3, March 2000
- Patricia A. Carlson:
Wonders of the Invisible Workplace: IT and Process Reinvention. 256-271 - Ioannis Antoniou, Mike Reeve, Vic Stenning:
The Information Society as a Complex System. 272-288 - William D. Schindel, Gloria M. Rogers:
Methodologies and Tools For Continuous Improvement of Systems. 289-323 - Stefanie Thies:
Coffein: Construction and Presentation of Design Knowledge. 324-344 - Rita K. Hessley, Daniel L. Morris Jr., Michael R. Mueller:
Integrated Applications of Electronic Structure Computations in the Undergraduate Chemistry Curriculum. 345-355 - Dieter W. Fellner
, Marco Zens:
Electronic Submission, Managing and Approval of Grant Proposals at the German Research Foundation based on Standard Internet and Office Tools. 356-366 - Jessie Lennertz:
Perceptions about Internet Use by Teaching Faculty at Small Christian Colleges and Universities. 367-404
Volume 6, Number 4, April 2000
- Paul E. Dunne, Alan Gibbons:
J.UCS Special Issue on BCTCS. 405-406 - Meurig Beynon, Jaratsri Rungrattanaubol, Jane E. Sinclair:
Formal Specification from an Observation-oriented Perspective. 407-421 - Craig Eldershaw, Stephen Cameron:
Using Genetic Algorithms to Solve the Motion Planning Problem. 422-432 - Silvija Seres, J. Michael Spivey:
Functional Reading of Logic Programs. 433-446 - Michael B. Smyth:
Region-based Discrete Geometry. 447-459 - L. J. Steggles:
Specifying and Verifying Real-Time Systems using Second-Order Algebraic Methods: A Case Study of the Railroad Crossing Controller. 460-473 - Alastair J. Telford, David Turner:
Ensuring Termination in ESFP. 474-488
Volume 6, Number 5, May 2000
- Hermann A. Maurer:
Managing Editor's Column. 489 - Horia Georgescu, Cristina Vertan:
A New Approach to Communicating X-Machine Systems. 490-502 - David B. Skillicorn:
Treeworld: A Conceptual Model for Large-Scale Hypermedia. 503-516 - Klaus Tochtermann, Hermann A. Maurer:
Knowledge Management and Environmental Informatics. 517-536
Volume 6, Number 6, June 2000
- Hermann A. Maurer:
Managing Editor's Column. 537 - Stathes Hadjiefthymiades, Ioannis Varouxis, Drakoulis Martakos:
Performance of RDBMS-WWW Interfaces under Heavy Workload. 538-559 - William E. Hart, Sorin Istrail:
Invariant Patterns in Crystal Lattices: Implications for Protein Folding Algorithms. 560-579
Volume 6, Number 7, July 2000
- Egon Börger, Reinhard Gotzhein:
Requirements Engineering - The Light Control Case Study. 580-581 - Egon Börger, Reinhard Gotzhein:
The Light Control Case Study: A Synopsis. 582-585 - Stefan Queins, Gerhard Zimmermann, Martin Becker, Martin Kronenburg, Christian Peper, Rolf Merz, Jürgen Schäfer:
The Light Control Case Study: Problem Description. 586-596 - Egon Börger, Elvinia Riccobene, Joachim Schmid:
Capturing Requirements by Abstract State Machines: The Light Control Case Study. 597-620 - Adriaan de Groot, Jozef Hooman:
Analyzing the Light Control System with PVS. 621-649 - Constance L. Heitmeyer, Ramesh Bharadwaj:
Applying the SCR Requirements Method to the Light Control Case Study. 650-678 - Martin Kronenburg, Christian Peper:
Application of the FOREST Approach to the Light Control Case Study. 679-703 - Graeme Smith, Colin J. Fidge:
Incremental Development of Real-Time Requirements: The Light Control Case Study. 704-730 - Jeffrey M. Thompson, Michael W. Whalen, Mats Per Erik Heimdahl:
Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study. 731-757
Volume 6, Number 8, August 2000
- Hermann A. Maurer:
Managing Editor's Column. 758 - Sandra Fontani:
Efficient Identification of Classes of P-Time Functions. 759-780 - J. Gerard Wolff:
Syntax, Parsing and Production of Natural Language in a Framework of Information Compression by Multiple Alignment, Unification and Search. 781-829 - Yuliang Zheng, Xian-Mo Zhang:
The kth-Order Nonhomomorphicity of S-Boxes. 830-848
Volume 6, Number 9, September 2000
- Hermann A. Maurer:
Managing Editor's Column. 849 - Carlos Martín-Vide, Victor Mitrana:
Uniquely Parsable Accepting Grammar Systems. 850-860 - Stefan Ratschan:
Uncertainty Propagation in Heterogeneous Algebras for Approximate Quantified Constraint Solving. 861-880 - Yuzuru Sato, Takashi Ikegami:
Nonlinear Computation with Switching Map Systems. 881-905
Volume 6, Number 10, October 2000
- Jörg Keller, Theo Ungerer:
J.UCS Special Issue on Multithreaded Processors and Chip-Multiprocessors. 906-907 - Lucian Codrescu, D. Scott Wills:
On Dynamic Speculative Thread Partitioning and the MEM-Slicing Algorithm. 908-927 - K. Gopinath, M. K. Krishna Narasimhan:
Performance of Switch Blocking on Multithreaded Architectures. 928-947 - Krishna M. Kavi, Joseph Arul, Roberto Giorgi:
Execution and Cache Performance of the Scheduled Dataflow Architecture. 948-967 - Kristof Beyls, Erik H. D'Hollander:
Compiler Generated Multithreading to Alleviate Memory Latency. 968-993 - Wing Ning Li, Jing-Fu Jenq:
On the Thread Scheduling Problem. 994-1014 - Paraskevas Evripidou, Costas Kyriacou:
Data Driven Network of Workstations D2NOW). 1015-1033 - Alexander Metzner, Jürgen Niehaus:
MSparc: Multithreading in Real-Time Architectures. 1034-1051
Volume 6, Number 11, November 2000
- Vaclav Dvorak:
J.UCS Special Issue on Formal Specifications of Computer-Based Systems. 1052-1053 - John Mullins:
Nondeterministic Admissible Interference. 1054-1070 - Robert G. Clark, Ana M. D. Moreira:
Use of E-LOTOS in Adding Formality to UML. 1071-1087 - Issa Traoré:
An Outline of PVS Semantics for UML Statecharts. 1088-1108 - Laurent Allain, Pascal Yim:
Modeling Information System Behavior with Dynamic Relations Nets. 1109-1130 - Gabor Karsai, Greg Nordstrom, Ákos Lédeczi, Janos Sztipanovits:
Towards Two-Level Formal Modeling of Computer-Based Systems. 1131-1144 - Savi Maharaj, Carron Shankland:
A Survey of Formal Methods Applied to Leader Election in IEEE 1394. 1145-1163
Volume 6, Number 12, December 2000
- Hermann A. Maurer:
Managing Editor's Column. 1164 - Henning Bordihn, Markus Holzer:
Grammar Systems with Negated Conditions in their Cooperation Protocols. 1165-1184 - Salvatore Caporaso, Giovanni Pani, Emanuele Covino:
Incompleteness in Linear Time. 1185-1196 - Eva Heinrich, Hermann A. Maurer:
Active Documents: Concept, Implementation and Applications. 1197-1202 - Anthony MacDonald, David A. Carrington:
Some Elements of Z Specification Style: Structuring Techniques. 1203-1225 - Maurice Margenstern:
New Tools for Cellular Automata in the Hyperbolic Plane. 1226-1252
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 2025-12-05 22:23 CET 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:
