J.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 MV_n 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 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 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 Fu Jenq:
  On the Thread Scheduling Problem. 994-1014
  
• Paraskevas Evripidou, Costas Kyriacou:
  Data Driven Network of Workstations D²NOW). 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
  

Last update Thu May 23 15:14:28 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page