journals/jsyml/Sioson64:::F. M. Sioson:::Equational Bases of Boolean Algebras.
journals/jsyml/Blass72a:::Andreas Blass:::Theories without Countable Models.
journals/jsyml/Selivanov95:::Victor L. Selivanov:::Fine Hierarchies and Boolean Terms.
journals/jsyml/Leggett78:::Anne Leggett:::alpha-Degrees of Maximal a-R.E. Sets.
journals/jsyml/Lopez-Escobar81a:::E. G. K. López-Escobar:::Equivalence Between Semantics for Intuitionism. I.
journals/jsyml/Andrews72a:::Peter B. Andrews:::General Models and Extensionality.
journals/jsyml/Poizat99:::Bruno Poizat:::Le Carre De L'Egalite.
journals/jsyml/CuckerM99:::Felipe Cucker::Klaus Meer:::Logics Which Capture Complexity Classes Over The Reals.
journals/jsyml/Adamowicz91:::Zofia Adamowicz:::On Maximal Theories.
journals/jsyml/Ahmad91:::Seema Ahmad:::Embedding the Diamond in the Sigma<sub>2</sub> Enumeration Degrees.
journals/jsyml/Tzouvaras92:::Athanassios Tzouvaras:::On Expandability of Models of Peano Arithmetic to Models of the Alternative Set Theory.
journals/jsyml/Kleinberg70a:::E. M. Kleinberg:::Recursion Theory and Formal Deducibility.
journals/jsyml/KleinbergS71:::E. M. Kleinberg::Richard A. Shore:::On Large Cardinals and Partition Relations.
journals/jsyml/KleinbergS72:::E. M. Kleinberg::Richard A. Shore:::Weak Compactness and Square Bracket Partition Relations.
journals/login/Hromkovic01:::Juraj Hromkovic:::Zufall und zufallsgesteuerte Algorithmen.
journals/login/Ahrens96:::V. Ahrens:::Panorama: ITG in Bremen.
journals/login/LacherV01:::Hansjörg Lacher::Manfred Vollmost:::PONKs erobern Brandenburg.
journals/login/Baumann98:::Rüdeger Baumann:::Projekte im Mathematikunterricht - geht denn das? Was der Mathematik- vom Informatikunterricht lernen kann.
journals/login/Baumann99:::Rüdeger Baumann:::Digitale Unterschrift - Sichere Rechtsgeschäfte im Internet (Teil 1).
journals/login/Wagner96b:::Ernst Wagner:::Panorama: Zwischen ITB und Medienerziehung.
journals/login/Behnke99:::Wolfgang Behnke:::Teleheimarbeit als Thema in der Schule.
journals/login/Schubert00:::Sigrid E. Schubert:::Bezahlen im Internet.
journals/login/NeupertF97:::Heiko Neupert::Steffen Friedrich:::Lernen mit Netzen - Lernen über Netze.
journals/login/Schartner99:::Christian Schartner:::Offline in die Online-Welt ? Das Intranet als Lernort für das Internet.
journals/login/Schaufelberger98:::Urs Schaufelberger:::Von der Landkarte zum 3-D-Computermodell - Anregungen zur Integrierten Geographie im Geographieunterricht.
journals/login/Weiss99:::Hans-Dieter Weiß:::Erfreuliche Erfahrungen eines Projektleiters.
journals/login/Kiupel99:::Michael Kiupel:::Simulation von Erdumlaufbahnen - Mit "Delphi" ins Weltall.
journals/login/Otto02:::Thorsten Otto:::Projektunterricht - elektronisch unterstützt.
journals/login/Lehmann96:::Eberhard Lehmann:::Komplexe Systeme - Teil 2: Komplexe Systeme auf Schulniveau reduzieren.
journals/login/Schwarz97:::Dieter Schwarz:::Datenbanken und Visual-BASIC.
journals/login/Wikarski97b:::Dietmar Wikarski:::Netze - Wie man über sie und mit ihrer Hilfe kommunizieren kann (Teil 3 und Schluß).
journals/login/Koerber98:::Bernhard Koerber:::Automatisierung - Neue Verfahren in der Realität und im Unterricht.
journals/login/Peters96a:::Ingo-Rüdiger Peters:::Computerspiele - Pro und Kontra (Teil 1).
journals/login/Neupert96:::Heiko Neupert:::Schulen ans Netz - was nun?
journals/login/Voss03:::Sieglinde Voß:::Informatik in der 6. Jahrgangsstufe - Informatik als Pflichtfach an bayerischen Gymnasien.
journals/login/Baumann99b:::Rüdeger Baumann:::Digitale Unterschrift - Sichere Rechtsgeschäfte im Internet (Teil 2).
journals/login/Wegener97:::Ingo Wegener:::Bundeswettbewerb Informatik - Die Aufgaben der Endrunden 1996 und 1997.
journals/login/Rechenberg99:::Peter Rechenberg:::Mythen und Fetische des Computerzeitalters.
journals/login/Doberkat00:::Ernst-Erich Doberkat:::Agenten - Ein kleiner Überblick.
journals/login/Tulodziecki00:::Gerhard Tulodziecki:::Computerbasierte Medien - Anforderungen an die Schule.
journals/login/Grussing97:::W. Grüßing:::Hardware &amp; Software: Die Schule auf CD-ROM - Die CD-ROM als Medium für Multimedia-Projekte in der Schule.
journals/login/Hedrich97:::Holger Hedrich:::Videodigitalisierung im Sportunterricht.
journals/login/Weinreich97d:::G. Weinreich:::Geschichte: Eine Rechenmaschine für Kaiser Karl (Antonius Braun).
journals/login/Homberg99:::Gerd Homberg:::Das Internet für das Intranet der Schule - Unterrichtsmaterial aus dem WWW.
journals/login/Koerber97d:::Bernhard Koerber:::Online: Dissertationen im Internet.
journals/login/KoerberM96:::Bernhard Koerber::Jürgen Müller:::Online: Spezielle Bildungsserver.
journals/login/HuberHL96:::Peter Huber::Rita Huber::Mike Lincoln:::Multimediale Patientensimulationen.
journals/login/WittenLS99:::Helmut Witten::Irmgard Letzner::Ralph-Hardo Schulz:::RSA &amp; Co. in der Schule - Teil 3: Flußchiffren, perfekte Sicherheit und Zufall per Computer.
journals/login/Peters98:::Ingo-Rüdiger Peters:::Der Euro kommt - Eine Unterrichtseinheit zur informationstechnischen Grundbildung (Teil 1).
journals/login/Kunzell98b:::Stefan Künzell:::Werkstatt: Binnendifferenzierung im Informatikunterricht (Teil 3: Unterrichtsverlauf).
journals/login/FreyHHSV01:::Elke Frey::Peter Hubwieser::Ludger Humbert::Sigrid E. Schubert::Siglinde Voß:::Informatik-Anfangsunterricht - Erste Ergebnisse aus dem Informatik-Anfangsunterricht in den bayerischen Schulversuchen.
journals/login/BeckerB96:::Klaus-Cl. Becker::Albrecht Beutelspacher:::Datenverschlüsselung.
journals/login/KaderaliSS98:::Firoz Kaderali::Sonja Schaup::Gerd Steinkamp:::Virtuelle Universität - Neue Medien in der Lehre.
journals/login/NatrupH99:::Ursula Meyer zu Natrup::Hanns-Wilhelm Heibey:::Datenschutz und informationstechnische Sicherheit im Internet - Eine Übersicht.
journals/login/HeinrichO98:::Frank Heinrich::Klaus Otto:::Gezieltes Suchen.
journals/login/Boszormenyi01:::László Böszörményi:::JAVA für Anfänger? - Warum JAVA nicht meine Lieblingssprache für einen Anfängerkurs ist.
journals/login/Fothe01:::Michael Fothe:::Problemlösen mit OBERON - Konzeption und Einsatz eines elektronischen Lehrbuchs.
journals/login/Munz97a:::Stefan Münz:::Aktuelles Lexikon: JAVA-Script.
journals/login/Fischbacher97:::Thomas Fischbacher:::Funktionale Programmierung.
journals/login/EidenFR00:::Markus Eiden::Timo Fischer::Matthias Rosenkranz:::Mit dem LeoPART ins Internet - Realisierung eines virtuellen Labors.
journals/login/Heidler96:::Klaus Heidler:::Virtuelle Methoden mit Lauftabellen.
journals/login/Muller02:::Jürgen Müller:::Akzeptanz von E-Learning.
journals/micro/Draber00:::Silke Draber:::Optimizing Fault Tolerance in Embedded Distributed Systems.
journals/micro/Kirrmann01:::Hubert D. Kirrmann:::Letter.
journals/micro/GiacconeSP02:::Paolo Giaccone::Devavrat Shah::Balaji Prabhakar:::An Implementable Parallel Scheduler for Input-Queued Switches.
journals/micro/BiswasHMDSASU00:::Prasenjit Biswas::Atsushi Hasegawa::Srinivas Mandaville::Mark Debbage::Andy Sturges::Fumio Arakawa::Yasuhiko Saito::Kunio Uchiyama:::SH-5: The 64-Bit SuperH Architecture.
journals/micro/Greenstein00a:::Shane M. Greenstein:::A Revolution? How Do You Know?
journals/micro/Greenstein00c:::Shane M. Greenstein:::Hung up on AT&amp;T.
journals/micro/Stern00c:::Richard H. Stern:::Napster: A Walking Copyright Infringement?
journals/micro/Robinson00:::Gary S. Robinson:::Standards Intellectual Property Licensing.
journals/micro/Robinson01:::Gary S. Robinson:::Informal Standards Groups.
journals/micro/BensoCP01:::Alfredo Benso::Silvia Chiusano::Paolo Prinetto:::A Self-Repairing Execution Unit for Microprogrammed Processors.
journals/micro/EickenBB95:::Thorsten von Eicken::Anindya Basu::Vineet Buch:::Low-Latency Communication Over ATM Networks Using Active Messages.
journals/micro/Sakamura00e:::Ken Sakamura:::Guest Editor's Introduction: Stepping Into the Future.
journals/micro/Sakamura01a:::Ken Sakamura:::A New Challenge (EIC Message).
journals/micro/Sakamura02a:::Ken Sakamura:::A New Definition for High-Performance Computing.
journals/micro/Ibbett00:::Roland N. Ibbett:::HASE DLX Simulation Model.
journals/micro/PerkowskiFCAJ02:::Marek A. Perkowski::David Foote::Qihong Chen::Anas Al-Rabadi::Lech Józwiak:::Learning Hardware Using Multiple-Valued Logic, Part 1: Introduction and Approach.
journals/micro/KirrmannZ01:::Hubert D. Kirrmann::Pierre A. Zuber:::The IEC/IEEE Train Communication Network.
journals/micro/Sakamura02:::Ken Sakamura:::The Next Challenge.
journals/ndjfl/McCarty91:::David Charles McCarty:::Incompleteness in Intuitionistic Metamathematics.
journals/ndjfl/Schindler94:::Ralf-Dieter Schindler:::A Dilemma in the Philosophy of Set Theory.
journals/ndjfl/Antonelli94a:::Gian Aldo Antonelli:::A Revision-Theoretic Analysis of the Arithmetical Hierarchy.
journals/ndjfl/Heck97:::Richard G. Heck Jr.:::Grundgesetz der Arithmetik I §§29-32.
journals/ndjfl/Peruzzi89:::Alberto Peruzzi:::The Theory of Descriptions Revisited.
journals/ndjfl/CarnesP91:::Robert D. Carnes::Philip L. Peterson:::Intermediate Quantifiers Versus Percentages.
journals/ndjfl/HoriOS94:::R. Hori::H. Ono::Harold Schellinx:::Extending Intutionistic Linear Logic with Knotted Structural Rules.
journals/ndjfl/Hinnion94:::Roland Hinnion:::Naive Set Theory with Extensionality in Partial Logic and in Paradoxical Logic.
journals/ndjfl/Hartonas97:::Chrysafis Hartonas:::An Algebraic Theory of Structured Objects.
journals/ndjfl/Murphree97:::Wallace A. Murphree:::The Numerical Syllogism and Existential Presupposition.
journals/ndjfl/KossakS95:::Roman Kossak::James H. Schmerl:::Arithmetically Saturated Models of Arithmetic.
journals/ndjfl/Brunner90:::Norbert Brunner:::The Fraenkel-Mostowski Method, Revisited.
journals/ndjfl/Purdy96:::William C. Purdy:::Decidability of Fluted Logic with Identity.
journals/ndjfl/BaumgartnerST93:::James E. Baumgartner::Saharon Shelah::Simon Thomas:::Maximal Subsets of Infinite Symmetric Groups.
journals/ndjfl/Sereny93:::György Serény:::Isomorphisms of Finite Cylindrical Set Algebras of Characteristic Zero.
journals/ndjfl/BiacinoG91:::Loredana Biacino::Giangiacomo Gerla:::Connection Structures.
journals/ndjfl/DudekK89:::Józef Dudek::Andrzej Kisielewicz:::On Finite Models of Regular Identities.
journals/ndjfl/Damnjanovic94:::Zlatan Damnjanovic:::Elementary Functions and Loop Programs.
journals/ndjfl/PianesiV96:::Fabio Pianesi::Achille C. Varzi:::Refining Temporal Reference in Event Structures.
journals/ndjfl/Rensink96:::Arend Rensink:::Algebra and Theory of Order-Deterministic Pomsets.
journals/ndjfl/Sorbi91:::Andrea Sorbi:::Embedding Brouwer Algebras in the Medvedev Lattice.
journals/ndjfl/Newelski91:::Ludomir Newelski:::On Type Definable Subgroups of a Stable Group.
journals/ndjfl/ChowdhuryH97:::Ambar Chowdhury::Bradd Hart:::An Unclassifiable Unidimensional Theory without OTOP.
journals/ndjfl/Sommers93:::Fred Sommers:::The World, the Facts, and Primary Logic.
journals/monet/WuQ03:::Hongyi Wu::Chunming Qiao:::Modeling iCAR via Multi-Dimensional Markov Chains.
journals/monet/LeeL97:::William C. Y. Lee::Yi-Bing Lin:::Personal Communications Services - Editorial.
journals/monet/ZervasKM01:::Evangelos Zervas::Alexandros Kaloxylos::Lazaros F. Merakos:::An Efficient Location Management Protocol for Wireless ATM Customer Premises Networks.
journals/monet/VillateIP02:::Yolanda Villate::Arantza Illarramendi::Evaggelia Pitoura:::Keep Your Data Safe and Available While Roaming.
journals/monet/RamakrishnaH98:::Sudhir Ramakrishna::Jack M. Holtzman:::Interaction of TCP and Data Access Control in an Integrated Voice/Data CDMA System.
journals/monet/ShekDZBG00:::Eddie C. Shek::Son K. Dao::Yongguang Zhang::Darrel J. Van Buer::Giovanni Giuffrida:::Intelligent information dissemination services in hybrid satellite-wireless networks.
journals/monet/CaceresCJ01:::Ramón Cáceres::Li-Fung Chang::R. Jain:::ACM/Kluwer Special Issue on Wireless Internet and Intranet Access.
journals/monet/WuCHM01:::Jon Chiung-Shien Wu::Chieh-Wen Cheng::Nen-Fu Huang::Gin-Kou Ma:::Intelligent Handoff for Mobile Wireless Internet.
journals/monet/EnderesKSS02:::Thomas Enderes::Swee Chern Khoo::Clare A. Somerville::Kostas Samaras:::Impact of Statistical Multiplexing on Voice Quality in Cellular Networks.
journals/monet/AkyildizUB99:::Ian F. Akyildiz::Hüseyin Uzunalioglu::Michael D. Bender:::Handover Management in Low Earth Orbit (LEO) Satellite Networks.
journals/monet/MarsanMMM00:::Marco Ajmone Marsan::Salvatore Marano::C. Mastroianni::Michela Meo:::Performance analysis of cellular mobile communication networks supporting multimedia services.
journals/monet/Kante03:::Theo G. Kante:::Going Wireless, Enabling an Adaptive and Extensible Environment.
journals/monet/DrashanskyWJWH96:::Tzvetan T. Drashansky::Sanjiva Weerawarana::Anupam Joshi::Ranjeewa A. Weerasinghe::Elias N. Houstis:::Software Architecture of Ubiquitous Scientific Computing Environments for Mobile Platforms.
journals/monet/Mitola01:::Joseph Mitola III:::Cognitive Radio for Flexible Mobile Multimedia Communications.
journals/monet/SchlagerRBW01:::Morten Schläger::Berthold Rathke::S. Bodenstein::Adam Wolisz:::Advocating a Remote Socket Architecture for Internet Access Using Wireless LANs.
journals/monet/GuerlainLKRRN99:::Stephanie Guerlain::Jim Lee::Troy Kopischke::Tom Romanko::Peter Reutiman::Scott Nelson:::Supporting Collaborative Field Operations with Personal Information Processing Systems.
journals/monet/SethiF01:::Adarshpal S. Sethi::Metin Feridun:::Guest Editorial Management of Mobility in Distributed Systems.
journals/monet/Al-HammadiS00:::Emad Al-Hammadi::Mohammad Mehdi Shahsavari:::Engineering ATM networks for congestion avoidance.
journals/monet/PassasMSBMD98:::Nikos Passas::Lazaros F. Merakos::Dimitris Skyrianoglou::Frédéric J. Bauchot::Gérard Marmigère::Stéphane Decrauzat:::MAC Protocol and Traffic Scheduling for Wireless ATM Networks.
journals/monet/ThaiWSR03:::Binh Thai::Rachel Wan::Aruna Seneviratne::Thierry Rakotoarivelo:::Integrated Personal Mobility Architecture: A Complete Personal Mobility Solution.
journals/monet/RoseS96:::Christopher Rose::Ramesh K. Sitaraman:::Editorial: Mobility Management.
journals/monet/ShihS02:::Gary Shih::Simon S. Y. Shim:::A Service Management Framework for M-Commerce Applications.
journals/monet/HelalB00:::Abdelsalam Helal::Eric A. Brewer:::Editorial.
journals/monet/KadobayashiT96:::Rieko Kadobayashi::Masahiko Tsukamoto:::Traffic-Based Performance Comparison of Mobile Support Strategies.
journals/monet/PaskalisKZM03:::Sarantis Paskalis::Alexandros Kaloxylos::Evangelos Zervas::Lazaros F. Merakos:::An Efficient RSVP-Mobile IP Interworking Scheme.
journals/monet/ZarubaCD02:::Gergely V. Záruba::Imrich Chlamtac::Sajal K. Das:::A Prioritized Real-Time Wireless Call Degradation Framework for Optimal Call Mix Selection.
journals/monet/RamanathanS98:::Ram Ramanathan::Martha Steenstrup:::Hierarchically-Organized, Multihop Mobile Wireless Networks for Quality-of-Service Support.
journals/monet/CorsonFS99:::M. Scott Corson::James A. Freebersyser::Ambatipudi Sastry:::Mobile Ad Hoc Networking - Editorial.
journals/monet/ZacharyB03:::John Zachary::Richard Brooks:::Bidirectional Mobile Code Trust Management Using Tamper Resistant Hardware.
journals/monet/PaganiR99:::Elena Pagani::Gian Paolo Rossi:::Providing Reliable and Fault Tolerant Broadcast Delivery in Mobile Ad-hoc Networks.
journals/monet/MuirG98:::Andrew Muir::J. J. Garcia-Luna-Aceves:::An Efficient Packet Sensing MAC Protocol for Wireless Networks.
journals/monet/MurthyG96:::Shree Murthy::J. J. Garcia-Luna-Aceves:::An Efficient Routing Protocol for Wireless Networks.
journals/monet/ChangH00:::Yu-Liang Chang::Ching-Chi Hsu:::Routing in wireless/mobile ad-hoc networks via dynamic group construction.
journals/grammars/Kelemenova99:::Alica Kelemenová:::Determinism in Eco-Grammar Systems.
journals/grammars/Zakharov99:::Vladimir A. Zakharov:::On the Decidability of the Equivalence Problem for Orthogonal Sequential Programs.
journals/grammars/Dunges00:::Petra Dünges:::Eventualities in Time.
journals/grammars/Wartena99:::Christian Wartena:::On the Concatenation of One-Turn Pushdowns.
journals/grammars/Sosik03:::Petr Sosík:::The Power of Catalysts and Priorities in Membrane Systems.
journals/grammars/Sosik99:::Petr Sosík:::On the Hierarchy of Extended Conditional Tabled Eco-Grammar Systems.
journals/grammars/Okhotin02a:::Alexander Okhotin:::LR Parsing for Conjunctive Grammars.
journals/grammars/KollerNS00:::Alexander Koller::Joachim Niehren::Kristina Striegnitz:::Relaxing Underspecified Semantic Representations for Reinterpretation.
journals/grammars/LeeMAI00:::Jia Lee::Kenichi Morita::Hiroki Asou::Katsunobu Imai:::Uniquely Parsable Unification Grammars and Their Parser Implemented in Prolog.
journals/oopsm/ColemanJ93:::Derek Coleman::Paul Jeremaes:::Integrating analysis and design methods (abstract).
journals/oopsm/Romanovsky95:::Alexander B. Romanovsky:::How to make a recoverable server by synchronization code inheriting.
journals/oopsm/Ibrahim93:::Mamdouh H. Ibrahim:::Reflection and metalevel architectures in object-oriented programming.
journals/oopsm/Meseguer91:::José Meseguer:::Rewriting as a unified model of concurrency.
journals/oopsm/KafuraL91:::Dennis G. Kafura::R. Greg Lavender:::Recent progress in combining actor-based concurrency with object-oriented programming.
journals/oopsm/Olander93:::Glenn Olander:::Chembench: redesign of a large commercial application using object-oriented techniques.
journals/oopsm/Malloy94:::Mary Ann Malloy:::Post-mortem assessment of interface changes for an evolving, object-oriented, "not-so-rapid" prototype.
journals/oopsm/Ege93:::Raimund K. Ege:::Concepts of object-oriented programming (abstract).
journals/oopsm/Pollari94:::Kevin Pollari:::Mission-critical objects.
journals/oopsm/WuW93:::Pei-Chi Wu::Feng-Jian Wang:::Applying classification and inheritance into compiling.
journals/oopsm/CoplienHM93:::James Coplien::Susana Hutz::Brent Marykuca:::Iterative development/OO: the bottom line.
journals/oopsm/AoreiraW95:::Dilvan de Abreu Moreira::Les T. Walczowski:::A Leaf-Cell Generator for Silicon Compilers.
journals/oopsm/Guimaraes95:::José de Oliveira Guimarães:::The object oriented model and its advantages.
journals/oopsm/HuniM93:::Hermann Hüni::Igor Metz:::Teaching object-oriented software architecture by example: the games factory.
journals/oopsm/BarclayJ94:::Peter J. Barclay::Stephen J. Jackson:::Object-oriented programming transition strategies.
journals/oopsm/White93:::Jon L. White:::Advanced CLOS and meta-object protocols (abstract).
journals/oopsm/Heliotis93:::James Heliotis:::Summary of educators' symposium.
journals/oopsm/BotsD92:::Pieter W. G. Bots::Remko C. J. Dur:::Dynamic modelling of organizations: report on ECOOP '91 workshop W2.
journals/oopsm/Leavens91:::Gary T. Leavens:::Introduction to the literature on object-oriented design, programming, and languages.
journals/oopsm/Neusius92:::Christian Neusius:::Adapting synchronization counters to the requirements of inheritance.
journals/oopsm/Yates95:::Barbara Yates:::Testing Smalltalk applications.
journals/oopsm/HarrisonOSU94:::William Harrison::Harold Ossher::Randall B. Smith::David Ungar:::Subjectivity in object-oriented systems.
journals/oopsm/GustafssonPMB96:::Jan Gustafsson::Kjell Post::Jukka Mäki-Turja::Ellus Brorsson:::Benefits of type inference for an object-oriented real-time language.
journals/oopsm/YamashiroNYS94:::Akihiro Yamashiro::Hiroko Nakano::Kazuki Yoshida::Etsuo Saito:::Comparison of OOA and real-time SA-from the experiment of analyzing an image filing system.
journals/oopsm/Strong93:::Steve Strong:::Introduction to OOP: teaching object-oriented programming concepts and skills using multi-media, computer-assisted instructions (abstract).
journals/oopsm/McKim93:::James C. McKim Jr.:::Teaching object-oriented programming and design (abstract).
journals/oopsm/WeitzenfeldA91:::Alfredo Weitzenfeld::Michael A. Arbib:::A concurrent object-oriented framework for the simulation of neural networks.
journals/oopsm/FraserC94:::Steven Fraser::Bill Caster:::How do teams shape objects? - How do objects shape teams?
journals/oopsm/DonyPW92:::Christophe Dony::Jan A. Purchase::Russel L. Winder:::Exception handling in object-oriented systems.
journals/oopsm/Nilsen96:::Kelvin D. Nilsen:::High-level dynamic memory management for object-oriented real-time systems.
journals/oopsm/KafuraLS95:::Dennis G. Kafura::R. Greg Lavender::Douglas C. Schmidt:::Workshop on design patterns for concurrent, parallel, and distributed object-oriented system.
journals/oopsm/LaffraB91a:::Chris Laffra::Jan van den Bos:::Propagators and concurrent constraints.
journals/oopsm/LaffraMM94:::Chris Laffra::Ashok Malhotra::Vicki de Mey:::Advanced techniques for understanding, profiling, and debugging object oriented systems.
journals/oopsm/Simmel92:::Sergiu S. Simmel:::Object-based visual programming languages.
journals/oopsm/TiwaryRLB95:::Ashutosh Tiwary::Rajendra K. Raj::Doug Lea::Christopher J. Bosch:::Building large distributed software systems using objects.
journals/oopsm/PalsbergS92:::Jens Palsberg::Michael I. Schwartzbach:::Three discussions on object-oriented typing.
journals/pieee/YusteP03:::A. Perez Yuste::M. Salazar Palma:::The introduction of automatic telephone service in Madrid.
journals/queue/WhitneyN03:::Telle Whitney::George Neville-Nei:::SoC: Software, Hardware, Nightmare, Bliss.
journals/queue/Burner03:::Mike Burner:::The Deliberate Revolution: Transforming Integration With XML Web Services.
journals/sigir/Perlman93:::Gary Perlman:::The HCI Bibliography Project.
journals/sigir/Fox94a:::Christopher J. Fox:::Editor's Message.
journals/sigir/GeyC89:::Fredric C. Gey::Wingkei Chan:::Comparing Vector Space Retrieval with the RUBRIC Expert System.
journals/sigir/Fox93:::Edward A. Fox:::Chairman's Message.
journals/sigir/Callan00:::James P. Callan:::SIGIR Announces Member Plus Program.
journals/sigir/Lesk84:::Michael Lesk:::Chairman's Message.
journals/sigir/Marcus94:::Richard S. Marcus:::The RIAO 94 Conference and the Status of Information Retrieval: A Personal View.
journals/sigir/Harman93:::Donna Harman:::Report on TREC-2 (Text REtrieval Conference) 30 August - 2 September, Gaithersburg, USA.
journals/sigir/Berra77c:::P. Bruce Berra:::Chairman's Message.
journals/sigir/Williamson86a:::Donna Williamson:::The IRX Project.
journals/sigir/WongKY96:::Jacqueline W. T. Wong::Wing-Kay Kan::Gilbert H. Young:::ACTION: Automatic Classification For Full-Text Documents.
journals/sigir/HersheyE72:::William R. Hershey::Carol H. Easthope:::A Set Theoretic Data Structure and Retrieval Language.
journals/sigir/Frakes90:::William B. Frakes:::From the Editor.
journals/sigir/Tars76:::Arvo Tars:::Stemming as a System Design Consideration.
journals/sigir/GallantHCQCS92:::Stephen I. Gallant::Robert Hecht-Nielsen::William R. Caid::Kent Pu Qing::Joel Carleton::David Sudbeck:::HNC's MatchPlus System.
