journals/jfp/Spivey00:::J. Michael Spivey:::Combinators for breadth-first search.
journals/jfp/AharoniBR97:::Gad Aharoni::Amnon Barak::Amir Ronen:::A Competitive Algorithm for Managing Sharing in the Distributed Execution of Functional Programs.
journals/jfp/Mackie94:::Ian Mackie:::Lilac: A Functional Programming Language Based on Linear Logic.
journals/isa/Turowski99:::Klaus Turowski:::Architekturkonzept zur Realisierung flexibel erweiterbarer Fachkomponenten.
journals/isa/Sinz99:::Elmar J. Sinz:::Editorial.
journals/isa/Turowski99a:::Klaus Turowski:::Bericht zum 1. Workshop Komponentenorientierte betriebliche Anwendungssysteme (WKBA 1), 30.03.1999 in Magdeburg).
journals/isa/Ferstl99:::Otto K. Ferstl:::Abschlußbericht des GI-Arbeitskreises 5.2.1.1. Wiederverwendbare Modelle betrieblicher Informationssysteme.
journals/isb/Feng02:::Zhi-Ping Feng:::An overview on predicting the subcellular location of a protein.
journals/isb/NishikawaOKISYWOSSI01:::Tetsuo Nishikawa::Toshio Ota::Yuri Kawai::Shizuko Ishii::Kaoru Saito::Jun-ichi Yamamoto::Ai Wakamatsu::Masashi Ozawa::Yutaka Suzuki::Sumio Sugano::Takao Isogai:::Database and analysis system for cDNA clones obtained from full-length enriched cDNA libraries.
journals/isb/Pham00:::Daphne Q.-D. Pham:::Molecular modeling of insect ferritins.
journals/isb/KazakovVGOO03:::Alexei E. Kazakov::Olga Vassieva::Mikhail S. Gelfand::Andrei Osterman::Ross A. Overbeek:::Bioinformatics classification and functional analysis of PhoH homologs.
journals/isb/KozlovMPSR02:::Konstantin Kozlov::Ekaterina Myasnikova::Andrei Pisarev::Maria Samsonova::John Reinitz:::A method for two-dimensional registration and construction of the two-dimensional atlas of gene expression patterns in situ.
journals/isb/HorngHHYC02:::Jorng-Tzong Horng::Hsien-Da Huang::Shir-Ly Huang::Ueng-Cheng Yang::Yu-Chang Chang:::Mining putative regulatory elements in gene promoter regions of Saccharomyces cerevisiae.
journals/isb/KolchanovNALPRSPIM02:::Nikolay A. Kolchanov::Eugenia A. Nedosekina::Elena A. Ananko::Vitaly A. Likhoshvai::Nikolay L. Podkolodny::Alexander V. Ratushny::Irina L. Stepanenko::Olga A. Podkolodnaya::Elena V. Ignatieva::Yury G. Matushkin:::GeneNet database: description and modeling of gene networks.
journals/isb/DavidsonS00:::Susan B. Davidson::Christian J. Stoeckert Jr.:::In Memory of Chris Overton.
journals/isb/CooperCPH02:::Mark Cooper::Scott C. Chapman::Dean W. Podlich::Graeme L. Hammer:::The GP problem: Quantifying gene-to-phenotype relationships.
journals/isb/LaoOS02:::Demelo Madrazo Lao::Toshikatsu Okuno::Toshio Shimizu:::Evaluating transmembrane topology prediction methods for the effect of signal peptide in topology prediction.
journals/isb/KohlerS02:::Jacob Köhler::Steffen Schulze-Kremer:::The Semantic Metadatabase (SEMEDA): Ontology Based Integration of Federated Molecular Biological Data Sources.
journals/isb/GabrielianLB99:::Andrei E. Gabrielian::David Landsman::Alexander Bolshoy:::Curved DNA in promoter sequences.
journals/isb/WiezerM03:::Arnim Wiezer::Rainer Merkl:::secureBLAST.
journals/isb/IkedaALS01:::Masami Ikeda::Masafumi Arai::Demelo Madrazo Lao::Toshio Shimizu:::Transmembrane topology prediction methods: A re-assessment and improvement by a consensus method using a dataset of experimentally-characterized transmembrane topology .
journals/isb/Werner02:::Thomas Werner:::Finding and decrypting of promoters contributes to the elucidation of gene function.
journals/isb/FreierHL03:::Andreas Freier::Ralf Hofestädt::Matthias Lange:::IIUDB: An object-oriented system for modelling, integration and analysis of gene controlled metabolic networks.
journals/ita/MahmoudMS95:::Hosam M. Mahmoud::Reza Modarres::Robert T. Smythe:::Analysis of Quickselect: An Algorithm for Order Statistics.
journals/ita/Greibach75:::Sheila A. Greibach:::A Note on the Recognition of One Counter Languages.
journals/ita/Greibach77:::Sheila A. Greibach:::A Note on NSPACE(log<sub>2</sub> <i>n</i>) and Substitution.
journals/ita/ChottinC82:::Laurent Chottin::Robert Cori:::Une Preuve Combinatiore de la Rationalité d'une Série Génératrice Associée aux Arbres.
journals/ita/Blanchet-Sadri97:::Francine Blanchet-Sadri:::On the Semidirect Product of the Pseudovariety of Semilattices by a Locally Finite Pseudovariety of Groups.
journals/ita/AvenhausM81:::Jürgen Avenhaus::Klaus Madlener:::An Algorithm for the Word Problem in <i>HNN</i> Extensions and the Dependence of Its Complexity on the Group Representation.
journals/ita/Monien80:::Burkhard Monien:::Two-Way Multihead Automata Over a One-Letter Alphabet.
journals/ita/BarcucciBR00:::Elena Barcucci::Sara Brunetti::Francesco Del Ristoro:::Succession rules and deco polyominoes.
journals/ita/Orgun96:::Mehmet A. Orgun:::Incorporating an Implicit Time Dimension Into the Relational Model and Algebra.
journals/ita/Mohr75:::R. Mohr:::Generalisation de la Notion de Langage a Contexte Libre. Application a l'Analyse Syntaxique de Figures.
journals/ita/GeserZ99:::Alfons Geser::Hans Zantema:::Non-looping string rewriting.
journals/ita/SegerB94:::Carl-Johan H. Seger::Janusz A. Brzozowski:::Generalized Ternary Simulation of Sequential Circuits.
journals/ita/BockenhauerS00:::Hans-Joachim Böckenhauer::Sebastian Seibert:::Improved lower bounds on the approximability of the Traveling Salesman Problem.
journals/ita/MascariP93:::Gianfranco Mascari::F. Pucci:::Autonomous Posets and Quantales.
journals/ita/Wrathall77:::Celia Wrathall:::Characterizations of the Dyck Sets.
journals/ita/SernaX99:::Maria J. Serna::Fatos Xhafa:::On the Average Case Complexity of Some P-complete Problems.
journals/ita/Cramer96:::Michael Cramer:::A Note Concerning the Limit Distribution of the Quicksort Algorithm.
journals/ita/Sakarovitch83:::Jacques Sakarovitch:::Deux Remarques sur un Théorème de S. Eilenberg.
journals/ita/RossW82:::Rockford J. Ross::Karl Winklmann:::Repetitive Strings are not Context-Free.
journals/ita/BarthPRR95:::Dominique Barth::François Pellegrini::André Raspaud::Jean Roman:::On Bandwidth, Cutwidth, and Quotient Graphs.
journals/ita/KariMPS95:::Lila Kari::Alexandru Mateescu::Gheorghe Paun::Arto Salomaa:::On Parallel Deletions Applied to a Word.
journals/ita/Enjalbert81:::Patrice Enjalbert:::Systèmes de Déduction pour les Arbres et les Schémas de Programme (II).
journals/ita/KatajainenLP93:::Jyrki Katajainen::Christos Levcopoulos::Ola Petersson:::Space-Efficient Parallel Merging.
journals/ita/Guesnet00:::Yannick Guesnet:::On codes with finite interpreting delay: A defect theorem.
journals/ita/Honkala99:::Juha Honkala:::On sequences defined by D0L power series.
journals/ita/Salle80a:::Patrick Sallé:::Une Généralisation de la Théorie des Types en lambda-Calcul (II).
journals/ita/BatiniD83:::Carlo Batini::Alessandro D'Atri:::Relational Data Base Design Using Refinement Rules.
journals/ita/MeinelT99:::Christoph Meinel::Thorsten Theobald:::On the Influence of the State Encoding on OBDD-Representations of Finite State Machines.
journals/ita/Gouyou-Beauchamps75:::Dominique Gouyou-Beauchamps:::Deux Proprietes Combinatoires du Langage de Lukasiewicz.
journals/ita/PrellerD99:::Anne Preller::P. Duroux:::Normalisation of the Theory T of Cartesian Closed Categories and Conservativity of Extensions T[x] of T.
journals/ita/Finance76a:::Jean-Pierre Finance:::Une Formalisation de la Sémantique des Langages de Programmation.
journals/ita/FarkhN97:::Samir Farkh::Karim Nour:::Résultats de complétude pour des classes de types du système <i>AF</i>2.
journals/iwc/Bernsen94:::Niels Ole Bernsen:::Foundations of Multimodal Representations: A Taxonomy of Representational Modalities.
journals/iwc/KristoffersenL98:::Steinar Kristoffersen::Fredrik Ljungberg:::MobiCom: networking dispersed groups.
journals/iwc/BrownP00:::Barry A. T. Brown::Mark Perry:::Why don't telephones have off switches? Understanding the use of everyday technologies.
journals/iwc/Bench-CaponM89a:::Trevor J. M. Bench-Capon::A. M. McEnery:::Modelling Devices and Modelling Speakers.
journals/iwc/Johnson96:::Chris Johnson:::Documenting the Design of Safety-Critical, User Interfaces.
journals/iwc/Griffith98:::Terri L. Griffith:::Cross-Cultural and Cognitive Issues in the Implementation of New Technology: Focus on Group Support Systems and Bulgaria.
journals/iwc/Holden90:::Peter D. Holden:::Human-Centered Expert Systems: A Response to Taylorism and the Scientific Paradigm.
journals/iwc/IsenhourRC01:::Philip L. Isenhour::Mary Beth Rosson::John M. Carroll:::Supporting interactive collaboration on the Web with CORK.
journals/iwc/SeabrookS89:::Richard H. C. Seabrook::Ben Shneiderman:::The User Interface in a Hypertext, Multiwindow Program Browser.
journals/iwc/UkelsonM92:::Jacob P. Ukelson::Johann A. Makowsky:::Formal Interactive Menu Design.
journals/iwc/LehikoinenR01:::Juha Lehikoinen::Mika Röykkee:::N-fingers: a finger-based interaction technique for wearable computers.
journals/iwc/ChanW96:::Hock Chuan Chan::Kwok Kee Wei:::Effect of Grading Schemes on Outcomes in Query Writing Experiments.
journals/iwc/Bench-CaponM89:::Trevor J. M. Bench-Capon::A. M. McEnery:::People Interact Through Computers Not With Them.
journals/iwc/WolfsonC00:::S. Wolfson::G. Case:::The effects of sound and colour on responses to a computer game.
journals/iwc/KrapichlerHLSSE99:::Christian Krapichler::Michael Haubner::Andreas Lösch::Dietrich Schuhmann::Marcus Seemann::Karl-Hans Englmeier:::Physicians in virtual environments multimodal human-computer interaction.
journals/iwc/BrooksV89:::A. Brooks::P. Vezza:::Inductive Analysis Applied to the Evaluation of a CAL Tutorial.
journals/iwc/DixFH98:::Alan J. Dix::John Fabre::Steve Howard:::Introduction to the Special Issue on Temporal Aspects of Usability.
journals/iwc/WiedenbeckRSC99:::Susan Wiedenbeck::Vennila Ramalingam::Suseela Sarasamma::Cynthia L. Corritore:::A comparison of the comprehension of object-oriented and procedural programs by novice programmers.
journals/iwc/SpenceT98:::Robert Spence::Lisa Tweedie:::The Attribute Explorer: information synthesis via exploration.
journals/iwc/Balter02:::Olle Bälter:::A longitudinal study of attitude changes in a medical service organisation after an email introduction.
journals/iwc/MarkopoulosRJ97:::Panos Markopoulos::Jon Rowson::Peter Johnson:::Composition and Synthesis with a Formal Interactor Model.
journals/iwc/Vicente99:::Kim J. Vicente:::Wanted: psychologically relevant, device- and event-independent work analysis techniques.
journals/iwc/Roast98:::Chris Roast:::Designing for delay in interactive information retrieval.
journals/iwc/BenyonM00:::David Benyon::Dianne Murray:::Special issue on intelligent interface technology: editor's introduction.
journals/iwc/Phillips95:::Chris Phillips:::Lean Cuisine+: An Executable Graphical Notation for Describing Direct Manipulation Interfaces.
journals/iwc/McAndrewFM96:::Patrick McAndrew::Sandra P. Foubister::J. Terry Mayes:::Videoconferencing in a Language Learning Application.
journals/iwc/MengLW02:::Helen M. Meng::Steven Lee::Carmen Wai:::Intelligent speech for information systems: towards biliteracy and trilingualism.
journals/iwc/MiahA00:::Tunu Miah::James L. Alty:::Vanishing Windows - a technique for adaptive window management.
journals/iwc/MonkW91:::Andrew F. Monk::Peter C. Wright:::Observations and Inventions: New Approaches to the Study of Human-Computer Interaction.
journals/iwc/ChambersCB99:::C. Chambers::Peter R. Croll::M. Bowell:::A study of incidents involving programmable electronic safety-related systems.
journals/iwc/Pullinger89:::David J. Pullinger:::Moral Judgements in Designing Better Systems.
journals/iwc/PreeceK91:::Jenny Preece::Laurie S. Keller:::Teaching the Practitioners: Developing a Distance Learning Postgraduate HCI Course.
journals/iwc/RodaANR03:::Claudia Roda::Albert A. Angehrn::Thierry Nabeth::Liana Razmerita:::Using conversational agents to support the adoption of knowledge sharing practices.
journals/iwc/Mizzaro98:::Stefano Mizzaro:::How many relevances in information retrieval?
journals/iwc/AgahT00:::Arvin Agah::Kazuo Tanie:::Intelligent graphical user interface design utilizing multiple fuzzy agents.
journals/iwc/Welbank90:::Margaret Welbank:::An Overview of Knowledge Acquisition Methods.
journals/iwc/Green94:::Alison J. K. Green:::Interacting Cognitive Subsystems: A Framework for Considering the Relationships between Performance and Knowledge Representations.
journals/iwc/MarquesGS91:::José Alves Marques::Nuno Guimarães::L. Pinto Simoes:::IMAGES: A User Interface Development System.
journals/ivs/Wong03:::Pak Chung Wong:::Guest Editor's Introduction: Special issue on Selected InfoVis 2002 Papers.
journals/ivs/Shneiderman02:::Ben Shneiderman:::Inventing discovery tools: combining information visualization with data mining?
journals/ivs/BartramW02:::Lyn Bartram::Colin Ware:::Filtering and brushing with motion.
journals/jlp/MinkerP85:::Jack Minker::Donald Perlis:::Computing Protected Circumscription.
journals/jlp/Le85:::Van Tu Le:::General Failure of Logic Programs.
journals/jlp/Dahl94:::Verónica Dahl:::Natural Language Processing and Logic Programming.
journals/jlp/Dahl95:::Verónica Dahl:::Special Issue: Computational Linguistics and Logic Programming.
journals/jlp/Dart91:::Philip W. Dart:::On Derived Dependencies and Connected Databases.
journals/jlp/Elbl99:::Birgit Elbl:::A Declarative Semantics for Depth-First Logic Programs.
journals/jlp/SmolkaT94:::Gert Smolka::Ralf Treinen:::Records for Logic Programming.
journals/jlp/SchreyeDJLMS00:::Danny De Schreye::Robert Glück::Jesper Jørgensen::Michael Leuschel::Bern Martens::Morten Heine Sørensen:::Erratum to: "Conjunctive Partial Deduction: Foundations, Control, Algorithms and Experiments".
journals/jlp/Gelder90:::Allen Van Gelder:::Modeling Simultaneous Events with Default Reasoning and Tight Derivations.
journals/jlp/Paulson86:::Lawrence C. Paulson:::Natural Deduction as Higher-Order Resolution.
journals/jlp/Hung90:::Chan Kwok Hung:::Equivalent Logic Programs.
journals/jlp/CholewinskiT99:::Pawel Cholewinski::Miroslaw Truszczynski:::Extremal Problems in Logic Programming and Stable Model Computation.
journals/jlp/LiZPLZZ02:::Xuandong Li::Jianhua Zhao::Yu Pei::Yong Li::Tao Zheng::Guoliang Zheng:::Positive loop-closed automata: a decidable class of hybrid systems.
journals/jlp/KoMN93:::Hai-Ping Ko::David A. McAllester::Mark E. Nadel:::Lower Bounds for the Lengths of Refutations.
journals/jlp/LauO97:::Kung-Kiu Lau::Mario Ornaghi:::The Relationship Between Logic Programs and Specifications - The Subset Example Revisited.
journals/jlp/Ramakrishnan91:::Raghu Ramakrishnan:::Magic Templates: A Spellbinding Approach To Logic Programs.
journals/jlp/Searls95:::David B. Searls:::String Variable Grammar: A Logic Grammar Formalism for the Biological Language of DNA.
journals/jlp/BenhamouO97:::Frédéric Benhamou::William J. Older:::Applying Interval Arithmetic to Real, Integer, and Boolean Constraints.
journals/jlp/ArbabB87:::Bijan Arbab::Daniel M. Berry:::Operational and Denotational Semantics of Prolog.
journals/jlp/GuptaC96a:::Gopal Gupta::Mats Carlsson:::Guest Editors' Introduction: High-Performance Implementations of Logic Programming Systems.
journals/jlp/Minker88:::Jack Minker:::Perspectives in Deductive Databases.
journals/jlp/MuthukumarBBH99:::Kalyan Muthukumar::Francisco Bueno::Maria J. García de la Banda::Manuel V. Hermenegildo:::Automatic Compile-Time Parallelization of Logic Programs for Restricted, Goal Level, Independent and Parallelism.
journals/jlp/MartensS95:::Bern Martens::Danny De Schreye:::Why Untyped Nonground Metaprogramming Is Not (Much Of) A Problem.
journals/jlp/HermenegildoR95:::Manuel V. Hermenegildo::Francesca Rossi:::Strict and Nonstrict Independent And-Parallelism in Logic Programs: Correctness, Efficiency, and Compile-Time Conditions.
journals/jlp/DartZ92:::Philip W. Dart::Justin Zobel:::Efficient Run-Time Type Checking of Typed Logic Programs.
journals/jlp/Shepherdson85:::John C. Shepherdson:::Negation as Failure II.
journals/jlp/Ebcioglu90:::Kemal Ebcioglu:::An Expert System for Harmonizing Chorales in the Style of J. S. Bach.
journals/jlp/BeierleM94:::Christoph Beierle::Gregor Meyer:::Run-Time Type Computations in the Warren Abstract Machine.
journals/jlp/Ben-Eliyahu-ZoharyPZ00:::Rachel Ben-Eliyahu-Zohary::Luigi Palopoli::Victoria Zemlyanker:::More on tractable disjunctive Datalog.
journals/jlp/ProvostW93:::Thierry Le Provost::Mark Wallace:::Generalized Constraint Propagation over the CLP Scheme.
journals/jlp/Elshiewy90:::Nabiel A. Elshiewy:::Logic Programming for Real-Time Control of Telecommunication Switching Systems.
journals/jlp/CortellessaG02:::Vittorio Cortellessa::Vincenzo Grassi:::A performance-based methodology to early evaluate the effectiveness of mobile software architectures.
journals/jlp/LakshmananSS97:::Laks V. S. Lakshmanan::Fereidoon Sadri::Iyer N. Subramanian:::Logic and Algebraic Languages for Interoperability in Multidatabase Systems.
journals/jlp/ClarkG85:::Keith L. Clark::Steve Gregory:::Notes on the Implementation of Parlog.
journals/jlp/MarchioriT99:::Elena Marchiori::Frank Teusink:::Termination of Logic Programs with Delay Declarations.
journals/jlp/YouYG00:::Jia-Huai You::Li-Yan Yuan::Randy Goebel:::An abductive approach to disjunctive logic programming.
journals/jlp/BornscheuerT97:::Sven-Erik Bornscheuer::Michael Thielscher:::Explicit and Implicit Indeterminism: Reasoning About Uncertain and Contradictory Specifications of Dynamic Systems.
journals/jlp/Fages97:::François Fages:::Constructive Negation by Pruning.
journals/jlp/GiacobazziDL95:::Roberto Giacobazzi::Saumya K. Debray::Giorgio Levi:::Generalized Semantics and Abstract Interpretation for Constraint Logic Programs.
journals/jlp/Hentenryck96:::Pascal Van Hentenryck:::In Memoriam: Paris C. Kanellakis.
journals/jlp/Yamamoto92:::Akihiro Yamamoto:::Short Note: Procedural Semantics and Negative Information of Elementary Formal System.
journals/jlp/LillyB92:::H. Albert Lilly::Barrett R. Bryant:::A Prescribed Cut for Prolog that Ensures Soundness.
journals/jlp/BossiD99:::Annalisa Bossi::Yves Deville:::Guest Editors' Introduction Special Issue: Synthesis, Transformation and Analysis of Logic Rrograms 2.
journals/jlp/Kanamori93:::Tadashi Kanamori:::Abstract Interpretation Based on Alexander Templates.
journals/jlp/Ait-KaciPG97:::Hassan Aït-Kaci::Andreas Podelski::Seth Copen Goldstein:::Order Sorted Feature Theory Unification.
journals/jlp/AntoniouMB00:::Grigoris Antoniou::Michael J. Maher::David Billington:::Defeasible Logic versus Logic Programming without Negation as Failure.
journals/jlp/JayaramanD99:::Bharat Jayaraman::Jana Devashis:::Set Constructors, Finite Sets, and Logical Semantics.
journals/jlp/Sterling90:::Leon Sterling:::Guest Editor's Introduction.
journals/jlp/Spoto00:::Fausto Spoto:::Operational and Goal-Independent Denotational Semantics for Prolog with Cut.
journals/jlp/JosephsonD89:::Alan Josephson::Nachum Dershowitz:::An Implementation of Narrowing.
journals/jlp/BoscoGMP91:::Pier Giorgio Bosco::Elio Giovannetti::Corrado Moiso::Catuscia Palamidessi:::Comments on "Logic-Programming with Equations".
journals/jlp/TuckerZ92:::J. V. Tucker::Jeffery I. Zucker:::Deterministic and Nondeterministic Computation and Horn Programs, on Abstract Data Types.
journals/jlp/Mills89:::J. W. Mills:::A High-Performance Low Risc Machine for Logic Programming.
journals/jlp/HermenegildoWD92:::Manuel V. Hermenegildo::Richard Warren::Saumya K. Debray:::Global Flow Analysis as a Practical Compilation Tool.
journals/jlp/Nardi89:::Daniele Nardi:::Formal Synthesis of a Unification Algorithm by the Deductive-Tableau Method.
journals/jlp/Clocksin87:::W. F. Clocksin:::Logic Programming and Digital Circuit Analysis.
journals/jlp/CodognetD96:::Philippe Codognet::Daniel Diaz:::Compiling Constraints in clp(FD).
journals/jlp/GelderS93:::Allen Van Gelder::John S. Schlipf:::Commonsense Axiomatizations for Logic Programs.
journals/jlp/KahleS01:::Reinhard Kahle::Thomas Studer:::Formalizing non-termination of recursive programs.
journals/jlp/GabbayGMOS00:::Dov M. Gabbay::Laura Giordano::Alberto Martelli::Nicola Olivetti::Maria Luisa Sapino:::Conditional reasoning in logic programming.
journals/jlp/DebrayR94:::Saumya K. Debray::Raghu Ramakrishnan:::Abstract Interpretation of Logic Programs using Magic Transformations.
journals/jlp/DekhtyarS00:::Alex Dekhtyar::V. S. Subrahmanian:::Hybrid Probabilistic Programs.
journals/jlp/MesnardHM98:::Frédéric Mesnard::Sébastien Hoarau::Alexandra Maillard:::CLP(chi) for Automatically Proving Program Properties.
journals/jlp/Hanus94:::Michael Hanus:::The Integration of Functions into Logic Programming: From Theory to Practice.
journals/jlp/DArgenioB03:::Pedro R. D'Argenio::Jos C. M. Baeten:::Guest editors' introduction: Special issue on Probabilistic Techniques for the Design and Analysis of Systems.
journals/jlp/KiferS92:::Michael Kifer::V. S. Subrahmanian:::Theory of Generalized Annotated Logic Programming and its Applications.
journals/jlp/Middelburg03:::C. A. Middelburg:::An alternative formulation of operational conservativity with binding terms.
journals/kbs/BaupinZ00:::N. Baupin::K. Zreik:::Remote decision support system: a distributed information management system.
journals/kbs/TsuiGS00:::Eric Tsui::Brian J. Garner::Steffen Staab:::The role of artificial intelligence in knowledge management.
journals/kbs/LiZS00:::Y. Li::C. Zhang::J. R. Swan:::An information filtering model on the Web and its application in JobAgent.
journals/kbs/AylettPCCE00:::Ruth Aylett::Gary J. Petley::Paul W. H. Chung::B. Chen::David William Edwards:::AI planning: solutions for real world problems.
journals/joc/HirtM00:::Martin Hirt::Ueli M. Maurer:::Player Simulation and General Adversary Structures in Perfect Multiparty Computation.
journals/joc/BlundoSSV95:::Carlo Blundo::Alfredo De Santis::Douglas R. Stinson::Ugo Vaccaro:::Graph Decompositions and Secret Sharing Schemes.
journals/joc/Pei95:::Dingyi Pei:::Information-Theoretic Bounds for Authentication Codes and Block Designs.
journals/joc/QuV94:::Minghua Qu::Scott A. Vanstone:::Factorizations in the Elementary Abelian p-Group and Their Cryptographic Significance.
journals/joc/Biham94:::Eli Biham:::New Types of Cryptanalytic Attacks Using Related Keys.
journals/joc/Lenstra91:::Hendrik W. Lenstra Jr.:::On the Chor-Rivest Knapsack Cryptosystem.
journals/joc/Chaum88:::David Chaum:::The Dining Cryptographers Problem: Unconditional Sender and Recipient Untraceability.
journals/joc/MicaliR02:::Silvio Micali::Leonid Reyzin:::Improving the Exact Security of Digital Signature Schemes.
journals/joc/MicaliS91:::Silvio Micali::Claus-Peter Schnorr:::Efficient, Perfect Polynomial Random Number Generators.
journals/joc/ChorK93:::Benny Chor::Eyal Kushilevitz:::Secret Sharing Over Infinite Domains.
journals/joc/VanstoneZ95:::Scott A. Vanstone::Robert J. Zuccherato:::Short RSA Keys and Their Generation.
journals/joc/BeaucheminB88:::Pierre Beauchemin::Gilles Brassard:::A Generalization of Hellman's Extension to Shannon's Approach to Cryptography.
journals/joc/ZbindenGHMT00:::H. Zbinden::Nicolas Gisin::B. Huttner::A. Muller::W. Tittel:::Practical Aspects of Quantum Cryptographic Key Distribution.
journals/joc/Stinson90:::Douglas R. Stinson:::The Combinatorics of Authentication and Secrecy Codes.
journals/joc/Ben-OrG03:::Michael Ben-Or::Danny Gutfreund:::Trading Help for Interaction in Statistical Zero-Knowledge Proofs.
journals/joc/BihamK02:::Eli Biham::Lars R. Knudsen:::Cryptanalysis of the ANSI X9.52 CBCM Mode.
journals/joc/CachinM97:::Christian Cachin::Ueli M. Maurer:::Linking Information Reconciliation and Privacy Amplification.
journals/joc/Myers03:::Steven Myers:::Efficient Amplification of the Security of Weak Pseudo-Random Function Generators.
journals/joc/Beaver91:::Donald Beaver:::Secure Multiparty Protocols and Zero-Knowledge Proof Systems Tolerating a Faulty Minority.
journals/jot/Chou02:::Shih-Chien Chou:::A Process Modeling Language Consisting of High Level UML-based Diagrams and Low Level Process Language.
journals/jot/Filipe02:::Juliana Küster Filipe:::A logic-based formalization for component specification.
journals/jot/FernandezZW03:::George Fernandez::Liping Zhao::Inji Wijegunaratne:::Patterns for Federated Architecture.
journals/jot/Wiener02a:::Richard Wiener:::Dave Version 4.0.
journals/jot/Ashbacher02:::Charles Ashbacher:::"Writer's Workshop &amp; The Work of Making Things: Patterns, Poetry" by Richard P. Gabriel.
journals/jot/Goldberg02a:::Adele Goldberg:::Learning is a Community Experience.
journals/jot/Simons03:::Anthony J. H. Simons:::The Theory of Classification, 7: A Class is a Type Family.
journals/jql/Best94:::Karl-Heinz Best:::Word Class Frequencies in Contemporary German Short Prose Texts.
journals/jql/Kageura99:::Kyo Kageura:::Bigram Statistics Revisited: A Comparative Examination of Some Statistical Measures in Morphological Analysis of Japanese Kanji Sequences.
journals/jql/Schmidt96:::Natal'ja A. Schmidt:::Correlations between Derivational and Semantic Characteristics of English Causative Verbs.
journals/jql/LevickijR97:::V. V. Levickij::T. A. Romanova:::Use of Tenses of Verbs and Adverbs in the English Language: A Statistical Study.
journals/jql/Ziegler96:::Arne Ziegler:::Word Length Distribution in Brazilian-Portuguese Texts.
journals/jql/Ziegler98:::Arne Ziegler:::Word Length in Portuguese Texts.
journals/jql/Mikk95:::Jaan Mikk:::Methods for Determining Optimal Readability of Texts.
