Stem preliminari$ (all stems)

324 papers:

ITiCSE-2015-KafuraBC #design

Design and Preliminary Results From a Computational Thinking Course (DGK, ACB, BC), pp. 63–68.

DUXU-IXD-2015-BevilacquaFMGKC #usability

Robot-Era Project: Preliminary Results on the System Usability (RB, EF, FM, SG, SK, IC, RE, FC, PD), pp. 553–561.

HCI-IT-2015-HuhJIKKP #case study #comparison #interactive

Preliminary Study to Determine a “User-Friendly” Bending Method: Comparison Between Bending and Touch Interaction (BH, HJ, SI, HSK, GK, JP), pp. 175–183.

SPLC-2015-McVoy #product line

Preliminary product line support in BitKeeper (LM), pp. 245–252.

ECSA-2014-LewisLP #architecture #bibliography #perspective

Architecture Strategies for Cyber-Foraging: Preliminary Results from a Systematic Literature Review (GAL, PL, GP), pp. 154–169.

MSR-2014-BloemenAKO #analysis #database #dependence #open source

Innovation diffusion in open source software: preliminary analysis of dependency changes in the gentoo portage package database (RB, CA, SK, GOM), pp. 316–319.

CHI-2014-JacobsCM #mobile

My journey compass: a preliminary investigation of a mobile tool for cancer patients (MLJ, JC, EDM), pp. 663–672.

CHI-2014-ZaczynskiW #design #game studies #guidelines #interactive

Establishing design guidelines in interactive exercise gaming: preliminary data from two posing studies (MZ, ADW), pp. 1875–1884.

HCI-AS-2014-NakanoTA #case study #experience #html #induction #set #user interface

A Preliminary Study of Relation Induction between HTML Tag Set and User Experience (AN, AT, MA), pp. 49–56.

LCT-NLE-2014-MeskeSVRO #case study #education

Cloud Storage Services in Higher Education — Results of a Preliminary Study in the Context of the Sync&Share-Project in Germany (CM, SS, RV, DR, AÖ), pp. 161–171.

ICPR-2014-IslamCK #case study #forensics #geometry

A Preliminary Study of Lower Leg Geometry as a Soft Biometric Trait for Forensic Investigation (MRI, FKSC, AWKK), pp. 427–431.

SAC-2014-ChenML #case study #education #research #testing

Combining research and education of software testing: a preliminary study (ZC, AM, BL), pp. 1179–1180.

SAC-2014-MesmoudiH #declarative #framework #query #scalability

A test framework for large scale declarative queries: preliminary results (AM, MSH), pp. 858–859.

SAC-2014-ParkY #multi #network #simulation #smarttech

Encountering smartphones in network simulation: a preliminary result on multi-radio multicast (YP, WY), pp. 1727–1728.

SAC-2014-Silva #approach #automation #bibliography #quality #requirements #specification #validation

Quality of requirements specifications: a preliminary overview of an automatic validation approach (ARdS), pp. 1021–1022.

ECSA-2013-AnvaariCJ #architecture #case study #enterprise #industrial

Architectural Decision-Making in Enterprises: Preliminary Findings from an Exploratory Study in Norwegian Electricity Industry (MA, RC, LJ), pp. 162–175.

ITiCSE-WGR-2013-ShumbaFSTFTSABH #recommendation #women

Cybersecurity, women and minorities: findings and recommendations from a preliminary investigation (RS, KFB, ES, CT, GF, CT, CS, GA, RB, LH), pp. 1–14.

CSMR-2013-KochharBLJ #case study #open source #testing

Adoption of Software Testing in Open Source Projects — A Preliminary Study on 50,000 Projects (PSK, TFB, DL, LJ), pp. 353–356.

MSR-2013-AlaliBNM #detection #distance #metric #using

A preliminary investigation of using age and distance measures in the detection of evolutionary couplings (AA, BB, CDN, JIM), pp. 169–172.

CHI-2013-LeeKYHP #adaptation #video

A preliminary investigation of human adaptations for various virtual eyes in video see-through HMDS (JHL, SYK, HCY, BKH, JHP), pp. 309–312.

CSCW-2013-NovA #design

Personality-targeted design: theory, experimental procedure, and preliminary results (ON, OA), pp. 977–984.

DUXU-CXC-2013-MirandaHPB #game studies #interactive

Exploring Adjustable Interactive Rings in Game Playing: Preliminary Results (LCdM, HHH, RP, MCCB), pp. 518–527.

HCI-III-2013-AnKK #development #interface #usability #using

Development of a Virtual Keyboard System Using a Bio-signal Interface and Preliminary Usability Test (KOA, DHK, JK), pp. 3–9.

HCI-IMT-2013-HwangK #design

Preliminary Design of Haptic Icons from Users (WH, DK), pp. 587–593.

HIMI-HSM-2013-OConnorRZKLDJBVS #empirical

Pre-study Walkthrough with a Commercial Pilot for a Preliminary Single Pilot Operations Experiment (RO, ZR, JZ, RWK, JL, AQVD, WWJ, VB, KPLV, TZS), pp. 136–142.

KEOD-2013-LabadieFR #personalisation #semantics

Personalized Semantic Resources — The SemComp Project Presentation and Preliminary Works (AL, SF, TR), pp. 164–169.

SAC-2013-CastorSS #assessment #haskell #memory management #transaction

A preliminary assessment of Haskell’s software transactional memory constructs (FC, FSN, ALMS), pp. 1696–1697.

ASE-2012-Shang0X #analysis #experience #incremental #performance #points-to #precise #summary

Fast and precise points-to analysis with incremental CFL-reachability summarisation: preliminary experience (LS, YL, JX), pp. 270–273.

KDIR-2012-ArmanoGV #case study #effectiveness

Are Related Links Effective for Contextual Advertising? — A Preliminary Study (GA, AG, EV), pp. 221–226.

KR-2012-GebserGKOSS #programming #reasoning #set

Stream Reasoning with Answer Set Programming: Preliminary Report (MG, TG, RK, PO, OS, TS).

SIGIR-2012-LarsenLFS #case study #metadata #retrieval

Preliminary study of technical terminology for the retrieval of scientific book metadata records (BL, CL, IF, HS), pp. 1131–1132.

SIGIR-2012-MishneL #case study #twitter

Twanchor text: a preliminary study of the value of tweets as anchor text (GM, JL), pp. 1159–1160.

ICLP-2012-BaralVL #how #knowledge base #why

Answering Why and How questions with respect to a frame-based knowledge base: a preliminary report (CB, NHV, SL), pp. 26–36.

ICLP-2012-LeeM #modelling #quantifier

Stable Models of Formulas with Generalized Quantifiers (Preliminary Report) (JL, YM), pp. 61–71.

ASE-2011-FilieriGLM #adaptation #approach #reliability #requirements #self

Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements (AF, CG, AL, MM), pp. 283–292.

CASE-2011-KaoCW #case study

Preliminary study of run-to-run control utilizing virtual metrology with reliance index (CAK, FTC, WMW), pp. 256–261.

WCRE-2011-DaviesRW #debugging #dependence #evaluation

A Preliminary Evaluation of Text-based and Dependency-based Techniques for Determining the Origins of Bugs (SD, MR, MW), pp. 201–210.

CSCW-2011-McGillCJCBL #elicitation #game studies #online

Eliciting risk perceptions with an online game: preliminary results (WLM, YC, MJ, JJC, SB, GL), pp. 681–684.

DHM-2011-HowardY #case study #predict

Predicting Support Reaction Forces for Standing and Seated Tasks with Given Postures-A Preliminary Study (BH, J(Y), pp. 89–98.

DHM-2011-LuximonL #case study

Preliminary Study on Dynamic Foot Model (AL, YL), pp. 321–327.

DUXU-v2-2011-DahlS #case study #composition #interface #smarttech #usability

End-User Composition Interfaces for Smart Environments: A Preliminary Study of Usability Factors (YD, RMS), pp. 118–127.

HCI-ITE-2011-MorieCB #case study #using

Report on a Preliminary Study Using Breath Control and a Virtual Jogging Scenario as Biofeedback for Resilience Training (JFM, EC, JGB), pp. 474–480.

HIMI-v2-2011-RorieKMBMMVSB #order #tool support

A Preliminary Investigation of Training Order for Introducing NextGen Tools (RCR, AK, CAM, SB, GM, KM, KPLV, TZS, VB), pp. 526–533.

ICEIS-v3-2011-LiuL #rule-based

The Preliminary Investigation of Salary Management System Rule-based Rules Engine (YL, BL), pp. 472–475.

KEOD-2011-MendesR #enterprise #ontology

Enterprise Ontologies in Healthcare a Preliminary Inception Contribution (DM, IPR), pp. 557–561.

SIGIR-2011-ShouCCZMZ #cyber-physical #named

What-you-retrieve-is-what-you-see: a preliminary cyber-physical search engine (LS, KC, GC, CZ, YM, XZ), pp. 1273–1274.

SIGIR-2011-WangA #analysis #semantics

Temporal latent semantic analysis for collaboratively generated content: preliminary results (YW, EA), pp. 1145–1146.

PLATEAU-2011-KleinschmagerH #case study #how #programming #self

How to rate programming skills in programming experiments?: a preliminary, exploratory, study based on university marks, pretests, and self-estimation (SK, SH), pp. 15–24.

ICSE-2011-BoehmV #challenge #estimation #research

Impact of software resource estimation research on practice: a preliminary report on achievements, synergies, and challenges (BWB, RV), pp. 1057–1065.

ICSE-2011-CadarGKPSTV #assessment #execution #symbolic computation #testing

Symbolic execution for software testing in practice: preliminary assessment (CC, PG, SK, CSP, KS, NT, WV), pp. 1066–1071.

AdaEurope-2010-SaezC #ada #linux #multi

Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems (SS, AC), pp. 68–82.

ICEIS-ISAS-2010-ScannielloGT #bibliography #industrial #maintenance #modelling #uml

Investigating the Role of UML in the Software Modeling and Maintenance — A Preliminary Industrial Survey (GS, CG, GT), pp. 141–148.

ICPR-2010-WhitelamJB #case study #detection #multi

Multispectral Eye Detection: A Preliminary Study (CW, ZJ, TB), pp. 209–212.

CSMR-2009-AversanoT #empirical #maintenance

Business Process-Aware Maintenance Task: A Preliminary Empirical Study (LA, MT), pp. 233–236.

HCD-2009-SaavedraTFS #evaluation #usability

A Preliminary Usability Evaluation of Hemo@Care: A Web-Based Application for Managing Clinical Information in Hemophilia Care (VS, LT, CF, BSS), pp. 785–794.

HCI-NIMT-2009-Ito #case study

Preliminary Study on Vibrotactile Messaging for Sharing Brief Information (TI), pp. 451–460.

OCSC-2009-ChakrabortyHDN #usability #user interface

Preliminary Findings from a Cross Cultural Usability Study on the Internationalization of User Interfaces (JC, LH, DAD, AFN), pp. 162–171.

SIGIR-2009-TomsF #analysis #behaviour #predict

Predicting stopping behaviour: a preliminary analysis (EGT, LF), pp. 750–751.

PPoPP-2009-HaTA #parallel #programming

Preliminary results on nb-feb, a synchronization primitive for parallel programming (PHH, PT, OJA), pp. 295–296.

CSMR-2008-MarchettoRT #empirical #maintenance #web

Comparing “Traditional” and Web Specific Fit Tables in Maintenance Tasks: A Preliminary Empirical Study (AM, FR, MT), pp. 284–288.

MSR-2008-LaymanNGBB #analysis #mining #visual notation

Mining software effort data: preliminary analysis of visual studio team system data (LL, NN, SG, JB, AB), pp. 43–46.

MSR-2008-PattisonBD

Talk and work: a preliminary report (DSP, CB, PTD), pp. 113–116.

ICEIS-HCI-2008-IbrahimNM #trust #web

Wisdom on the Web: On Trust, Institution and Symbolisms — A Preliminary Investigation (ENMI, NLMN, SM), pp. 13–20.

ICEIS-J-2008-VlaanderenVP08a #modelling #research #web

Model-Driven Web Engineering in the CMS Domain: A Preliminary Research Applying SME (KV, FV, OP), pp. 226–237.

SAC-2008-AiresSM #using

Optical flow using color information: preliminary results (KRTA, AMS, AADM), pp. 1607–1611.

ICSE-2008-VieiraSMSTH #case study #experience #modelling #testing

Applying model-based testing to healthcare products: preliminary experiences (MV, XS, GM, SS, RT, WMH), pp. 669–672.

ICLP-2008-LeeLP #modelling

Safe Formulas in the General Theory of Stable Models (Preliminary Report) (JL, VL, RP), pp. 672–676.

ICDAR-2007-LemaitreGP #2d #analysis #approach #layout #markov

Preliminary experiments in layout analysis of handwritten letters based on textural and spatial information and a 2D Markovian approach (ML, EG, FJP), pp. 1023–1027.

FASE-2007-BurdyHP #behaviour #bytecode #design #interface #java #specification

Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode (LB, MH, MP), pp. 215–229.

MSR-2007-RigbyH #analysis #developer #what

What Can OSS Mailing Lists Tell Us? A Preliminary Psychometric Text Analysis of the Apache Developer Mailing List (PCR, AEH), p. 23.

CHI-2007-PietrigaAB #evaluation #multi

Pointing and beyond: an operationalization and preliminary evaluation of multi-scale searching (EP, CA, MBL), pp. 1215–1224.

HIMI-IIE-2007-KohL #case study #distance #education #effectiveness #scalability

The Effectiveness of Educational Technology: A Preliminary Study of Learners from Small and Large Power Distance Cultures (EK, JL), pp. 384–393.

ICEIS-J-2007-KustersHJ07a #enterprise #implementation

ERP Implementation Costs: A Preliminary Investigation (RJK, FJH, AJ), pp. 95–107.

SAC-2007-LiebrockMBPCSU #analysis #design #forensics #set

A preliminary design for digital forensics analysis of terabyte size data sets (LML, NM, DPB, RP, EC, MS, VU), pp. 190–191.

DocEng-2006-WongCWS #design #information management

Knowledge engineering from frontline support to preliminary design (SCW, RMC, GBW, NRS), pp. 44–52.

SOFTVIS-2006-HundhausenBF #algorithm #design #pointer #visualisation

Adding procedures and pointers to the ALVIS algorithm visualization software: a preliminary design (CDH, JLB, SF), pp. 155–156.

SAC-2006-Fasli #on the

On the relationship between roles and power: preliminary report (MF), pp. 313–318.

SAC-2006-NooriM #adaptation #embedded #evaluation #performance

Preliminary performance evaluation of an adaptive dynamic extensible processor for embedded applications (HN, KM), pp. 937–938.

ICSE-2006-BabarKG #architecture #assessment #distributed #evaluation #process #towards

Towards a distributed software architecture evaluation process: a preliminary assessment (MAB, BK, IG), pp. 845–848.

SAT-2006-Gelder #metric #proving

Preliminary Report on Input Cover Number as a Metric for Propositional Resolution Proofs (AVG), pp. 48–53.

CSMR-2005-MendoF #case study #evolution #web

A Preliminary Study of the Evolution of SMEs Web Sites in the UK (FAM, GF), pp. 375–384.

FM-2005-EislerSJSS #case study #model checking

Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications (SE, CS, BJ, GS, JS), pp. 533–536.

SEKE-2005-BeydounGLH #metamodelling #multi #towards #validation

Towards Method Engineering for Multi-Agent Systems: A preliminary validation of a Generic MAS Metamodel (GB, CGP, GL, BHS), pp. 51–56.

PODS-2004-Bonatti #datalog #decidability #on the #query #recursion

On the Decidability of Containment of Recursive Datalog Queries — Preliminary report (PAB), pp. 297–306.

CSEET-2004-Milewski #human-computer #learning

Software Engineers and HCI Practitioners Learning to Work Together: A Preliminary Look at Expectations (AEM), pp. 45–49.

ITiCSE-2004-SimonAHS #case study #experience #learning #tablet

Preliminary experiences with a tablet PC based system to support active learning in computer science courses (BS, REA, CH, JS), pp. 213–217.

ICEIS-v3-2004-Reijers #empirical #performance #workflow

Performance Improvement by Workflow Management Systems: Preliminary Results from an Empirical Study (HAR), pp. 359–366.

ITiCSE-2003-GeorgiopoulosCWDGGKM #case study #experience #machine learning

CRCD in machine learning at the University of Central Florida preliminary experiences (MG, JC, ASW, RFD, EG, AJG, MKK, MM), p. 249.

CIAA-2003-NgassamWK #automaton #finite

Preliminary Experiments in Hardcoding Finite Automata (EKN, BWW, DGK), pp. 299–300.

ESEC-FSE-2003-HerbslebM #coordination #empirical #re-engineering

Formulation and preliminary test of an empirical theory of coordination in software engineering (JDH, AM), pp. 138–137.

SCAM-2002-Ghosh #concurrent #fault #metric #object-oriented #source code #testing #towards #using

Towards Measurement of Testability of Concurrent Object-Oriented Programs Using Fault Insertion: A Preliminary Investigation (SG), pp. 17–25.

FLOPS-2002-SimeonW #xml

The Essence of XML (Preliminary Version) (JS, PW), pp. 21–46.

ICEIS-2002-FloresG #algorithm #case study #estimation #fuzzy #learning #problem

Applicability of Estimation of Distribution Algorithms to the Fuzzy Rule Learning Problem: A Preliminary Study (MJF, JAG), pp. 350–357.

ICLP-2002-PearceSSTW #logic programming #polynomial #source code

A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report (DP, VS, TS, HT, SW), pp. 405–420.

CSEET-2001-Tilley #case study #estimation

Preliminary Results from a Case Study of Effort Estimation for Net-Centric Applications at the Undergraduate Level (SRT), p. 56–?.

SCAM-2001-BiemanM #web

Finding Code on the World Wibe Web: A Preliminary Investigation (JMB, VM), pp. 75–80.

ICEIS-v1-2001-RobardetV #case study #classification

A Preliminary Study of a New Classification to Build Homogeneous Patient’s Groups in Home-Based Care (CR, CV), pp. 397–403.

SAT-2001-AmirM #composition #problem #satisfiability #using

Solving Satisfiability using Decomposition and the Most Constrained Subproblem (Preliminary Report) (EA, SM), pp. 329–343.

SAT-2001-HorvitzRGKSC #approach #problem

A Bayesian Approach to Tackling Hard Computational Problems (Preliminary Report) (EH, YR, CPG, HAK, BS, DMC), pp. 376–391.

SAT-2001-KautzRAGSS #problem #satisfiability

Balance and Filtering in Structured Satisfiable Problems (Preliminary Report) (HAK, YR, DA, CPG, BS, MES), pp. 2–18.

SAT-2001-McllraithA #proving #theorem proving

Theorem Proving with Structured Theories (Preliminary Report)* (SM, EA), pp. 311–328.

HT-2000-HalseyA #hypermedia

XLink and open hypermedia systems: a preliminary investigation (BH, KMA), pp. 212–213.

ITiCSE-2000-Scanlan #multi #student

Student preference for multimedia-based lectures (poster session): a preliminary report (DAS), p. 192.

STOC-2000-FeigenbaumPS #cost analysis #low cost

Sharing the cost of muliticast transmissions (preliminary version) (JF, CHP, SS), pp. 218–227.

ICPR-v4-2000-HuynhCT #automation #evaluation #linear #metric #re-engineering #self

Semi-Automatic Metric Reconstruction of Buildings from Self-Calibration: Preliminary Results on the Evaluation of a Linear Camera Self-Calibration Method (DQH, YSC, HTT), pp. 4599–4602.

KR-2000-BesnardS

Significant Inferences : Preliminary Report (PB, TS), pp. 401–410.

SAC-1999-JacksonTW #artificial reality #collaboration #education #multi

Peer Collaboration and Virtual Environments: A Preliminary Investigation of Multi-Participant Virtual Reality Applied in Science Education (RLJ, WT, WW), pp. 121–125.

ICLP-1999-LauO #logic programming #modelling #source code

Isoinitial Models for Logic Programs: Some Preliminary Results (KKL, MO), p. 611.

ITiCSE-1998-Hollinworth #bibliography #design #multi

The design of multimedia courseware (poster): preliminary survey results (NDPH), p. 283.

PASTE-1998-DorRS #analysis #detection #experience #fault #memory management #pointer

Detecting Memory Errors via Static Pointer Analysis (Preliminary Experience) (ND, MR, SS), pp. 27–34.

WCRE-1998-Balmas #c #roadmap

Outlining C Loops: Preliminary Results and Trends (FB), pp. 115–124.

STOC-1998-CanettiGH #random

The Random Oracle Methodology, Revisited (Preliminary Version) (RC, OG, SH), pp. 209–218.

STOC-1998-CanettiMR #probability

Perfectly One-Way Probabilistic Hash Functions (Preliminary Version) (RC, DM, OR), pp. 131–140.

KDD-1998-MacskassyBDH #case study #clustering #performance #web

Human Performance on Clustering Web Pages: A Preliminary Study (SAM, AB, BDD, HH), pp. 264–268.

KR-1998-Lin #on the #quality

On Measuring Plan Quality (A Preliminary Report) (FL), pp. 224–233.

OOPSLA-1998-JacobsBHB #java #reasoning

Reasoning about Java Classes (Preliminary Report) (BJ, JvdB, MH, MvB), pp. 329–340.

ICDAR-1997-HurstD #layout

Layout and Language: Preliminary Investigations in Recognizing the Structure of Tables (MH, SD), pp. 1043–1047.

STOC-1997-BroderFU #approach #graph #random

Static and Dynamic Path Selection on Expander Graphs: A Random Walk Approach (Preliminary Version) (AZB, AMF, EU), pp. 531–539.

CIKM-1997-OsbornSM #database #documentation #retrieval

Evaluating Document Retrieval in Patent Database: A Preliminary Report (MO, TS, MM), pp. 216–221.

STOC-1996-BroderU #array

Dynamic Deflection Routing on Arrays (Preliminary Version) (AZB, EU), pp. 348–355.

STOC-1996-DeyG #algorithm

Algorithms for Manifolds and Simplicial Complexes in Euclidean 3-Space (Preliminary Version) (TKD, SG), pp. 398–407.

STOC-1996-DworkLN #self

Digital Signets: Self-Enforcing Protection of Digital Information (Preliminary Version) (CD, JBL, MN), pp. 489–498.

STOC-1996-Feige #approximate #set

A Threshold of ln n for Approximating Set Cover (Preliminary Version) (UF), pp. 314–318.

STOC-1996-Goodrich #parallel #sorting

Communication-Efficient Parallel Sorting (Preliminary Version) (MTG), pp. 247–256.

ICPR-1996-SziranyiC #network #segmentation

Picture segmentation with introducing an anisotropic preliminary step to an MRF model with cellular neural networks (TS, LC), pp. 366–370.

KR-1996-BaaderS #logic #strict

Number Restrictions on Complex Roles in Description Logics: A Preliminary Report (FB, US), pp. 328–339.

KR-1996-MonteiroW #logic #multi

Preferential Multi-Agent Nonmonotonic Logics: Preliminary Report (AMM, JW), pp. 446–452.

LOPSTR-1996-LauO #case study #logic #specification

Forms of Logic Specifications: A Preliminary Study (KKL, MO), pp. 295–312.

LICS-1996-Ong #category theory #proving #semantics

A Semantic View of Classical Proofs: Type-Theoretic, Categorical, and Denotational Characterizations (Preliminary Extended Abstract) (CHLO), pp. 230–241.

SAS-1995-Schmidt #abstract interpretation #semantics

Natural-Semantics-Based Abstract Interpretation (Preliminary Version) (DAS), pp. 1–18.

STOC-1995-AdlerCMR #parallel #random

Parallel randomized load balancing (Preliminary Version) (MA, SC, MM, LER), pp. 238–247.

STOC-1995-AmatoGR

Computing faces in segment and simplex arrangements (Preliminary Version) (NMA, MTG, EAR), pp. 672–682.

CHI-1995-AltmannLJ #memory management #navigation

Display Navigation by an Expert Programmer: A Preliminary Model of Memory (EMA, JHL, BEJ), pp. 3–10.

CAiSE-1995-SiauWB #concept

A Psychological Study on the Use of Relationship Concept — Some Preliminary Findings (KS, YW, IB), pp. 341–354.

KDD-1995-ZaianeH #design #empirical #information management

Resource and Knowledge Discovery in Global Information Systems: A Preliminary Design and Experiment (ORZ, JH), pp. 331–336.

SEKE-1995-Cooke #migration #process

Preliminary Thoughts Concerning The Interphase Activity of Requirement Migration (DEC), pp. 166–172.

SIGMOD-1994-WangCMSSZ #combinator

Combinatorial Pattern Discovery for Scientific Data: Some Preliminary Results (JTLW, GWC, TGM, BAS, DS, KZ), pp. 115–125.

STOC-1994-AlonK #graph #random

A spectral technique for coloring random 3-colorable graphs (preliminary version) (NA, NK), pp. 346–355.

STOC-1994-AroraRV #polynomial #simulation

Simulating quadratic dynamical systems is PSPACE-complete (preliminary version) (SA, YR, UVV), pp. 459–467.

STOC-1994-ChungY #algorithm

A near optimal algorithm for edge separators (preliminary version) (FRKC, STY), pp. 1–8.

STOC-1994-CondonHPW #automaton #finite #nondeterminism #on the #power of #probability

On the power of finite automata with both nondeterministic and probabilistic states (preliminary version) (AC, LH, SP, AW), pp. 676–685.

STOC-1994-GoldreichW #product line #random #trade-off

Tiny families of functions with random properties (preliminary version): a quality-size trade-off for hashing (OG, AW), pp. 574–584.

STOC-1994-Kosaraju #pattern matching #realtime

Real-time pattern matching and quasi-real-time construction of suffix trees (preliminary version) (SRK), pp. 310–316.

STOC-1994-MaratheHSR #approximate #problem #specification

Approximation schemes for PSPACE-complete problems for succinct specifications (preliminary version) (MVM, HBHI, RES, VR), pp. 468–477.

STOC-1994-Poutre #incremental #testing

Alpha-algorithms for incremental planarity testing (preliminary version) (JALP), pp. 706–715.

CHI-1994-Newman94a #analysis #human-computer #research #using

A Preliminary Analysis of the Products of HCI Research, Using Pro Forma Abstracts (WN), pp. 278–284.

KR-1994-KarthaL

Actions with Indirect Effects (Preliminary Report) (GNK, VL), pp. 341–350.

KR-1994-Meyden

Mutual Belief Revision (Preliminary Report) (RvdM), pp. 595–606.

ICDAR-1993-AbeMNK #comparison #detection

Comparison of methods for detecting corner points from digital curves-a preliminary report (KA, RM, KN, TK), pp. 854–857.

ICALP-1993-JategaonkarM #concurrent #finite

Deciding True Concurrency Equivalences on Finite Sate Nets (Preliminary Report) (LJ, ARM), pp. 519–531.

HCI-ACS-1993-CarayonH

A Diary Study of Computer Use and Worker Stress: Preliminary Results (PC, CH), pp. 715–720.

HCI-SHI-1993-Karsenty #case study

Task-Dependent Descriptions: A Preliminary Study (LK), pp. 897–902.

HCI-SHI-1993-PayneWC #comprehension #hypermedia #synthesis

Cognitive Processing and Hypermedia Comprehension: A Preliminary Synthesis (DGP, MJW, MSC), pp. 633–638.

HCI-SHI-1993-TakedaSKO #distributed #empirical #network

Preliminary Experiment with a Distributed and Networking Card-Handling Tool Named KJ-Editor (NT, AS, KK, HO), pp. 273–278.

ICML-1993-Kaelbling #learning #probability

Hierarchical Learning in Stochastic Domains: Preliminary Results (LPK), pp. 167–173.

RTA-1993-Field #approach #graph #incremental #reduction #term rewriting

A Graph Reduction Approach to Incremental Term Rewriting (Preliminary Report) (JF), pp. 259–273.

PEPM-1992-AndersenG #analysis #partial evaluation

Speedup Analysis in Partial Evaluation: Preliminary Results (LOA, CKG), pp. 1–7.

STOC-1992-CallahanK #composition #multi #nearest neighbour

A Decomposition of Multi-Dimensional Point-Sets with Applications to k-Nearest-Neighbors and n-Body Potential Fields (Preliminary Version) (PBC, SRK), pp. 546–556.

STOC-1992-Goodrich #parallel

Planar Separators and Parallel Polygon Triangulation (Preliminary Version) (MTG), pp. 507–516.

STOC-1992-KedemPRR #parallel #performance #program transformation

Efficient Program Transformations for Resilient Parallel Computation via Randomization (Preliminary Version) (ZMK, KVP, MOR, AR), pp. 306–317.

STOC-1992-Paturi #approximate #on the #symmetry

On the Degree of Polynomials that Approximate Symmetric Boolean Functions (Preliminary Version) (RP), pp. 468–474.

KR-1992-LifschitzW #reasoning #set

Answer Sets in General Nonmonotonic Reasoning (Preliminary Report) (VL, TYCW), pp. 603–614.

KR-1992-Poesio

Conversational Events and Discourse State Change: A Preliminary Report (MP), pp. 369–380.

KR-1992-ShohamT #multi

Emergent Conventions in Multi-Agent Systems: Initial Experimental Results and Observations (Preliminary Report) (YS, MT), pp. 225–231.

OOPSLA-1992-Walsh #c++ #development #fault #scalability

Preliminary Defect Data from the Iterative Development of a Large C++ Program (JFW), pp. 178–183.

CADE-1992-DershowitzMS #convergence #decidability

Decidable Matching for Convergent Systems (Preliminary Version) (ND, SM, GS), pp. 589–602.

STOC-1991-BlumRS #geometry #navigation

Navigating in Unfamiliar Geometric Terrain (Preliminary Version) (AB, PR, BS), pp. 494–504.

STOC-1991-BorodinIRS #locality

Competitive Paging with Locality of Reference (Preliminary Version) (AB, SI, PR, BS), pp. 249–259.

STOC-1991-DengM #game studies #infinity #online #problem

Infinite Games, Randomization, Computability, and Applications to Online Problems (Preliminary Version) (XD, SM), pp. 289–298.

STOC-1991-GoodrichT

Dynamic Trees and Dynamic Point Location (Preliminary Version) (MTG, RT), pp. 523–533.

CAiSE-1991-ConradiM #design #implementation #transaction

Cooperating Transactions and Workspaces in EPOS: Design and Preliminary Implementation (RC, CCM), pp. 375–392.

KR-1991-Gardenfors

Nonmonotonic Inferences Based on Expectations: A Preliminary Report (PG), pp. 585–590.

STOC-1990-BorodinT #decidability #on the #polynomial

On the Decidability of Sparse Univariate Polynomial Interpolation (Preliminary Version) (AB, PT), pp. 535–545.

STOC-1990-CoppersmithDRS #algorithm #graph #online #random

Random Walks on Weighted Graphs, and Applications to On-line Algorithms (Preliminary Version) (DC, PD, PR, MS), pp. 369–378.

STOC-1990-FeigePRU

Computing with Unreliable Information (Preliminary Version) (UF, DP, PR, EU), pp. 128–137.

STOC-1990-GilHW #constant

Not All Keys Can Be Hashed in Constant Time (Preliminary Version) (JYG, FMadH, AW), pp. 244–253.

STOC-1990-KfouryTU #problem

The Undecidability of the Semi-Unification Problem (Preliminary Report) (AJK, JT, PU), pp. 468–476.

ICALP-1990-ColeGO #diagrams #parallel #performance

Merging Free Trees in Parallel for Efficient Voronoi Diagram Construction (Preliminary Version) (RC, MTG, CÓ), pp. 432–445.

ICALP-1990-GoodrichAO #trade-off

An Input-Size/Output-Size Trade-Off in the Time-Complexity of Rectilinear Hidden Surface Removal (Preliminary Version) (MTG, MJA, MHO), pp. 689–702.

ICALP-1990-Riecke #call-by #decidability #proving

A Complete and Decidable Proof System for Call-by-Value Equalities (Preliminary Report) (JGR), pp. 20–31.

LFP-1990-HannanM #automaton #semantics

From Operational Semantics to Abstract Machines: Preliminary Results (JH, DM), pp. 323–332.

LICS-1990-HarelRV #bound #concurrent #on the #power of #reasoning #source code

On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report) (DH, RR, MYV), pp. 478–488.

LICS-1990-Kolaitis #ambiguity #finite

Implicit Definability on Finite Structures and Unambiguous Computations (Preliminary Report) (PGK), pp. 168–180.

LICS-1990-KolaitisV #logic

0-1 Laws for Infinitary Logics (Preliminary Report) (PGK, MYV), pp. 156–167.

STOC-1989-AggarwalAK #graph #parallel

Parallel Depth-First Search in General Directed Graphs (Preliminary Version) (AA, RJA, MYK), pp. 297–308.

STOC-1989-CohenM #algorithm #detection #graph #polynomial

Strongly Polynomial-Time and NC Algorithms for Detecting Cycles in Dynamic Graphs (Preliminary Version) (EC, NM), pp. 523–534.

STOC-1989-GrahamY #on the

On the Improbability of Reaching Byzantine Agreements (Preliminary Version) (RLG, ACCY), pp. 467–478.

STOC-1989-KaoS #order

Local Reorientation, Global Order, and Planar Topology (Preliminary Version) (MYK, GES), pp. 286–296.

STOC-1989-SafraV #automaton #logic #on the

On ω-Automata and Temporal Logic (Preliminary Report) (SS, MYV), pp. 127–137.

STOC-1989-Upfal

An O(log N) Deterministic Packet Routing Scheme (Preliminary Version) (EU), pp. 241–250.

ICALP-1989-Allender

Limitations of the Upward Separation Technique (Preliminary Version) (EA), pp. 18–30.

ICALP-1989-DershowitzKP #infinity #normalisation

Infinite Normal Forms (Preliminary Version) (ND, SK, DAP), pp. 249–262.

ICALP-1989-LiV #concurrent #how

How to Share Concurrent Asynchronous Wait-Free Variables (Preliminary Version) (ML, PMBV), pp. 488–505.

ICALP-1989-LiV89a #approach #complexity #formal method

A New Approach to Formal Language Theory by Kolmogorov Complexity (Preliminary Version) (ML, PMBV), pp. 506–520.

ICSE-1989-HumphreyKK #re-engineering

The State of Software Engineering Practice: A Preliminary Report (WSH, DHK, TCK), pp. 277–288.

LICS-1989-Breazu-TannenCGS #inheritance

Inheritance and Explicit Coercion (Preliminary Report) (VT, TC, CAG, AS), pp. 112–129.

RTA-1989-HofbauerL #proving #termination

Termination Proofs and the Length of Derivations (Preliminary Version) (DH, CL), pp. 167–177.

RTA-1989-ToyamaKB #linear #term rewriting #termination

Termination for the Direct Sum of left-Linear Term Rewriting Systems -Preliminary Draft- (YT, JWK, HPB), pp. 477–491.

TAV-1989-Gerhart #assessment #formal method #summary

Preliminary Summary: FM89 Assessment of Formal Methods for Trustworthy Computer Systems (SLG), pp. 152–155.

TAV-1989-RowlandZ #comparison

Experimental Comparison of Three System Test Strategies Preliminary Report (JHR, YZ), pp. 141–149.

STOC-1988-AggarwalC #algorithm #memory management

Virtual Memory Algorithms (Preliminary Version) (AA, AKC), pp. 173–185.

STOC-1988-AggarwalCR #energy

Energy Consumption in VLSI Circuits (Preliminary Version) (AA, AKC, PR), pp. 205–216.

STOC-1988-BermanS #fault tolerance #network

Investigations of Fault-Tolerant Networks of Computers (Preliminary Version) (PB, JS), pp. 66–77.

STOC-1988-BhattCHLR #network #simulation

Optimal Simulations by Butterfly Networks (Preliminary Version) (SNB, FRKC, JWH, FTL, ALR), pp. 192–204.

STOC-1988-CosmadakisGKV #database #decidability #logic programming #optimisation #problem #source code

Decidable Optimization Problems for Database Logic Programs (Preliminary Report) (SSC, HG, PCK, MYV), pp. 477–490.

STOC-1988-HalpernMT #analysis #knowledge-based

A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report) (JYH, YM, MRT), pp. 132–147.

STOC-1988-JerrumS #agile #approximate #markov

Conductance and the Rapid Mixing Property for Markov Chains: the Approximation of the Permanent Resolved (Preliminary Version) (MJ, AS), pp. 235–244.

STOC-1988-KosarajuS #detection #graph #polynomial

Detecting Cycles in Dynamic Graphs in Polynomial Time (Preliminary Version) (SRK, GFS), pp. 398–406.

ICALP-1988-AggarwalC #communication #complexity

Communication Complexity of PRAMs (Preliminary Version) (AA, AKC), pp. 1–17.

LFP-1988-GoldmanG #implementation

Preliminary Results with the Initial Implementation of Qlisp (RG, RPG), pp. 143–152.

SIGIR-1988-CroftLC #case study #documentation

Retrieving Documents by Plausible Inference: A Preliminary Study (WBC, TJL, PRC), pp. 481–494.

JICSCP-1988-AlshawiM88 #delphi

The Delphi Model and Some Preliminary Experiments (HA, DBM), pp. 1578–1589.

LICS-1988-Bloom #modelling #λ-calculus

Can LCF Be Topped? Flat Lattice models of Typed λ Calculus (Preliminary Report) (BB), pp. 282–295.

DAC-1987-OlukotunM #parallel

A Preliminary Investigation into Parallel Routing on a Hypercube Computer (KO, TNM), pp. 814–820.

STOC-1987-Furer #communication #complexity #power of

The Power of Randomness for Communication Complexity (Preliminary Version) (MF), pp. 178–181.

LICS-1987-Breazu-TannenM #morphism #polymorphism

Polymorphism is conservative over simple types (Preliminary Report) (VT, ARM), pp. 7–17.

VLDB-1986-RoussopoulosK #architecture #database #design

Preliminary Design of ADMS±: A Workstation-Mainframe Integrated Architecture for Database Management Systems (NR, HK), pp. 355–364.

STOC-1986-DworkPPU #bound #fault tolerance #network

Fault Tolerance in Networks of Bounded Degree (Preliminary Version) (CD, DP, NP, EU), pp. 370–379.

STOC-1986-FeldmanFP #network

Non-Blocking Networks (Preliminary Version) (PF, JF, NP), pp. 247–254.

STOC-1986-KarlinU #implementation #memory management #parallel #performance

Parallel Hashing-An Efficient Implementation of Shared Memory (Preliminary Version) (ARK, EU), pp. 160–168.

STOC-1986-KosarajuA #array #simulation

Optimal Simulations between Mesh-Connected Arrays of Processors (Preliminary Version) (SRK, MJA), pp. 264–272.

STOC-1986-LuekerMR #difference #linear #programming

Linear Programming with Two Variables per Inequality in Poly-Log Time (Preliminary Version) (GSL, NM, VR), pp. 196–205.

LICS-1986-KapurM #induction #reasoning #specification

Inductive Reasoning with Incomplete Specifications (Preliminary Report) (DK, DRM), pp. 367–377.

LICS-1986-Meyer #hoare #logic #semantics

Floyd-Hoare Logic Defines Semantics: Preliminary Version (ARM), pp. 44–48.

LICS-1986-VardiW #approach #automation #verification

An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report) (MYV, PW), pp. 332–344.

SIGMOD-1985-KuperV #logic #on the #power of

On the Expressive Power of the Logical Data Model (Preliminary Report) (GMK, MYV), pp. 180–187.

STOC-1985-BruceL #equation #modelling #morphism

Provable Isomorphisms and Domain Equations in Models of Typed Languages (Preliminary Version) (KBB, GL), pp. 263–272.

STOC-1985-CarterSW #backtracking #complexity

The Complexity of Backtrack Searches (Preliminary Version) (LC, LJS, MNW), pp. 449–457.

STOC-1985-CoanDDS #distributed #problem

The Distributed Firing Squad Problem (Preliminary Version) (BAC, DD, CD, LJS), pp. 335–345.

STOC-1985-FaginV #logic #semantics

An Internal Semantics for Modal Logic: Preliminary Report (RF, MYV), pp. 305–315.

STOC-1985-HalpernMM #nondeterminism #precise

Optimal Precision in the Presence of Uncertainty (Preliminary Version) (JYH, NM, AAM), pp. 346–355.

STOC-1985-JimboM

Expanders Obtained from Affine Transformations (Preliminary Version) (SJ, AM), pp. 88–97.

STOC-1985-VardiS #bound #logic #source code

Improved Upper and Lower Bounds for Modal Logics of Programs: Preliminary Report (MYV, LJS), pp. 240–251.

ICALP-1985-Hrbacek #algebra

Powerdomains as Algebraic Lattices (Preliminary Report) (KH), pp. 281–289.

ICALP-1985-KurtzM #algorithm #analysis #distributed #probability #set

A Probabilistic Distributed Algorithm for Set Intersection and Its Analysis (Preliminary Version) (TGK, UM), pp. 356–362.

ICALP-1985-LubyR #algorithm #behaviour #bidirectional

A Bidirectional Shortest-Path Algorithm With Good Average-Case Behavior (Preliminary Version) (ML, PR), pp. 394–403.

SIGIR-1985-Stubbs #taxonomy

The New English Oxford English Dictionary and its Potential Users: Some Preliminary Comments (JOS), pp. 78–81.

VLDB-1984-AbiteboulV #database #relational #transaction

Transactions in Relational Databases (Preliminary Report) (SA, VV), pp. 46–56.

STOC-1984-Ben-OrKR #algebra #complexity #geometry

The Complexity of Elementary Algebra and Geometry (Preliminary Abstract) (MBO, DK, JHR), pp. 457–464.

STOC-1984-FredericksonS #data type #online

Data Structures for On-Line Updating of Matroid Intersection Solutions (Preliminary Version) (GNF, MAS), pp. 383–390.

STOC-1984-Harel #infinity

A General Result on Infinite Trees and Its Applications (Preliminary Report) (DH), pp. 418–427.

STOC-1984-KlawePPY #on the #strict

On Monotone Formulae with Restricted Depth (Preliminary Version) (MMK, WJP, NP, MY), pp. 480–487.

STOC-1984-Manber #concurrent #information management #maintenance #on the

On Maintaining Dynamic Information in a Concurrent Environment (Preliminary Version) (UM), pp. 273–278.

STOC-1984-Upfal #modelling #parallel #probability

A Probabilistic Relation between Desirable and Feasible Models of Parallel Computation (A Preliminary Version) (EU), pp. 258–265.

STOC-1984-Vitanyi #distributed

Distributed Elections in an Archimedean Ring of Processors (Preliminary Version) (PMBV), pp. 542–547.

STOC-1984-Willard #protocol

Log-Logarithmic Protocols for Resolving Ethernet and Semaphore Conflicts (Preliminary Report) (DEW), pp. 512–521.

ICALP-1984-Vitanyi #realtime

The Simple Roots of Real-Time Computation Hierarchies (Preliminary Version) (PMBV), pp. 486–489.

STOC-1983-Ben-Or #algebra #bound

Lower Bounds for Algebraic Computation Trees (Preliminary Report) (MBO), pp. 80–86.

STOC-1983-DolevDPW

Superconcentrators, Generalizers and Generalized Connectors with Limited Depth (Preliminary Version) (DD, CD, NP, AW), pp. 42–51.

STOC-1983-Frederickson #data type #online

Data Structures for On-Line Updating of Minimum Spanning Trees (Preliminary Version) (GNF), pp. 252–257.

STOC-1983-Immerman #complexity

Languages Which Capture Complexity Classes (Preliminary Report) (NI), pp. 347–354.

STOC-1983-Myers #random

The Random Access Hierarchy (Preliminary Report) (DM), pp. 355–364.

STOC-1983-Stockmeyer #approximate #complexity

The Complexity of Approximate Counting (Preliminary Version) (LJS), pp. 118–126.

STOC-1982-AtallahK #array #graph #problem

Graph Problems on a Mesh-Connected Processor Array (Preliminary Version) (MJA, SRK), pp. 345–353.

STOC-1982-Greenberg #communication #complexity #on the

On the Time Complexity of Broadcast Communication Schemes (Preliminary Version) (AGG), pp. 354–364.

STOC-1982-HongS #network

Notes on Merging Networks (Preliminary Version) (ZH, RS), pp. 296–302.

STOC-1982-Kosaraju #decidability #reachability

Decidability of Reachability in Vector Addition Systems (Preliminary Version) (SRK), pp. 267–281.

STOC-1982-Pippenger #probability #simulation

Probabilistic Simulations (Preliminary Version) (NP), pp. 17–26.

STOC-1982-RivestS #how #memory management #reuse

How to Reuse a “Write-Once” Memory (Preliminary Version) (RLR, AS), pp. 105–113.

ICALP-1982-Pippenger #roadmap

Advances in Pebbling (Preliminary Version) (NP), pp. 407–417.

SIGMOD-1981-BrownCS

The Cedar DBMS: A Preliminary Report (MRB, RGGC, NS), pp. 205–211.

STOC-1981-DurisG #automaton

Fooling a Two-Way Automaton or One Pushdown Store Is Better Than One Counter for Two Way Machines (Preliminary Version) (PD, ZG), pp. 177–188.

STOC-1981-GonnetM #analysis #linear

A Linear Probing Sort and its Analysis (Preliminary Draft) (GHG, JIM), pp. 90–95.

STOC-1981-HongR #graph

Graphs that Are Almost Binary Trees (Preliminary Version) (JWH, ALR), pp. 334–341.

STOC-1981-JosephY #modelling #performance #polynomial #source code

Fast Programs for Initial Segments and Polynomial Time Computation in Weak Models of Arithmetic (Preliminary Abstract) (DJ, PY), pp. 55–61.

STOC-1981-Simon #bound #complexity #probability #turing machine

Space-Bounded Probabilistic Turing Machine Complexity Classes Are Closed under Complement (Preliminary Version) (JS), pp. 158–167.

ICALP-1981-Dershowitz #linear #term rewriting #termination

Termination of Linear Rewriting Systems (Preliminary Version) (ND), pp. 448–458.

ICALP-1981-HongMR #graph #trade-off

Cost Tradeoffs in Graph Embeddings, with Applications (Preliminary Version) (JWH, KM, ALR), pp. 41–55.

ICALP-1981-Jones #analysis

Flow Analysis of λ Expressions (Preliminary Version) (NDJ), pp. 114–128.

STOC-1980-FischerP #layout

Optimal Tree Layout (Preliminary Version) (MJF, MP), pp. 177–189.

STOC-1980-FredericksonJ #ranking

Generalized Selection and Ranking (Preliminary Version) (GNF, DBJ), pp. 420–428.

STOC-1980-JosephY #independence

Independence Results in Computer Science? (Preliminary Version) (DJ, PY), pp. 58–69.

STOC-1980-PaulSS #approach #bound #online

An Information-Theoretic Approach to Time Bounds for On-Line Computation (Preliminary Version) (WJP, JIS, JS), pp. 357–367.

STOC-1980-Pippenger #comparative

Comparative Schematology and Pebbling with Auxiliary Pushdowns (Preliminary Version) (NP), pp. 351–356.

STOC-1980-Tompa #problem

An Optimal Solution to a Wire-Routing Problem (Preliminary Version) (MT), pp. 161–176.

STOC-1979-ChandraH #database #query #relational

Computable Queries for Relational Data Bases (Preliminary Report) (AKC, DH), pp. 309–318.

STOC-1979-Kosaraju #multi #on the #problem

On a Multidimensional Search Problem (Preliminary Version) (SRK), pp. 67–73.

STOC-1979-Kosaraju79a #algorithm #array #graph #parallel #performance #problem

Fast Parallel Processing Array Algorithms for some Graph Problems (Preliminary Version) (SRK), pp. 231–236.

STOC-1979-Kosaraju79aa #realtime #simulation

Real-Time Simulation of Concatenable Double-Ended Queues by Double-Ended Queues (Preliminary Version) (SRK), pp. 346–351.

STOC-1979-MeyerW #logic #on the #power of

On the Expressive Power of Dynamic Logic (Preliminary Report) (ARM, KW), pp. 167–175.

STOC-1979-MunroS #data type

Implicit Data Structures (Preliminary Draft) (JIM, HS), pp. 108–117.

STOC-1979-Yao #complexity

Some Complexity Questions Related to Distributive Computing (Preliminary Report) (ACCY), pp. 209–213.

ICALP-1979-BookB #complexity #representation #set #similarity

Representing Complexity Classes by Equality Sets (Preliminary Report) (RVB, FJB), pp. 49–57.

ICALP-1979-CremersH #requirements

Arbitration and Queuing Under Limited Shared Storage Requirements (Preliminary Report) (ABC, TNH), pp. 147–160.

ICALP-1979-Nijholt #recursion

Structure Preserving Transformations on Non-Left-Recursive Grammars (Preliminary Version) (AN), pp. 446–459.

STOC-1978-Dowd #proving #representation

Propositional Representation of Arithmetic Proofs (Preliminary Version) (MD), pp. 246–252.

STOC-1978-Miller #morphism #on the

On the n^log n Isomorphism Technique: A Preliminary Report (GLM), pp. 51–58.

STOC-1978-Pratt #logic

A Practical Decision Method for Propositional Dynamic Logic: Preliminary Report (VRP), pp. 326–337.

STOC-1978-RivestMKWS #fault

Coping with Errors in Binary Search Procedures (Preliminary Report) (RLR, ARM, DJK, KW, JS), pp. 227–232.

ICALP-1978-Biskup #metric #turing machine

Path Measures of Turing Machine Computations (Preliminary Report) (JB), pp. 90–104.

ICALP-1978-BookGW

Comparisons and Reset Machines (Preliminary Report) (RVB, SAG, CW), pp. 113–124.

ICALP-1978-Savitch #complexity #nondeterminism #parallel

Parallel and Nondeterministic Time Complexity Classes (Preliminary Report) (WJS), pp. 411–424.

ICSE-1978-Fisher #design #higher-order #interactive #requirements

The Interaction Between the Preliminary Designs and the Technical Requirements for the DoD Common High Order Language (DAF), pp. 82–83.

STOC-1977-HarelMP #logic #source code

Computability and Completeness in Logics of Programs (Preliminary Report) (DH, ARM, VRP), pp. 261–268.

STOC-1977-Hartmanis #complexity #proving

Relations Between Diagonalization, Proof Systems, and Complexity Gaps (Preliminary Version) (JH), pp. 223–227.

STOC-1977-LynchB #performance #programming

Efficient Reducibility Between Programming Systems: Preliminary Report (NAL, EKB), pp. 228–238.

STOC-1977-SacerdoteT #decidability #problem #reachability

The Decidability of the Reachability Problem for Vector Addition Systems (Preliminary Version) (GSS, RLT), pp. 61–76.

STOC-1977-Simon #on the

On Feasible Numbers (Preliminary Version) (JS), pp. 195–207.

ICALP-1977-Simon #difference #on the

On the Difference Between One and Many (Preliminary Version) (JS), pp. 480–491.

STOC-1976-CardozaLM #commutative #exponential #petri net #problem

Exponential Space Complete Problems for Petri Nets and Commutative Semigroups: Preliminary Report (EC, RJL, ARM), pp. 50–54.

STOC-1976-Kosaraju #on the

On Structuring Flowcharts (Preliminary Version) (SRK), pp. 101–111.

STOC-1976-Pippenger

The Realization of Monotone Boolean Functions (Preliminary Version) (NP), pp. 204–210.

STOC-1976-Valiant

Universal Circuits (Preliminary Report) (LGV), pp. 196–203.

ICSE-1976-DreyfusK #design #development

The Preliminary Design as a Key to Successful Software Development (JMD, PJK), pp. 206–213.

SIGMOD-1975-Gerritsen #data type #design

A Preliminary System for the Design of DBTG Data Structures (Abstract) (RG), p. 166.

STOC-1975-Cook #calculus #proving

Feasibly Constructive Proofs and the Propositional Calculus (Preliminary Version) (SAC), pp. 83–97.

STOC-1975-FischerMP #bound

Lower Bounds on the Size of Boolean Formulas: Preliminary Report (MJF, ARM, MP), pp. 37–44.

STOC-1975-Yao #on the #polynomial

On Computing the Minima of Quadratic Forms (Preliminary Report) (ACCY), pp. 23–26.

DAC-1974-Tipping #automation #design

Design automation in preliminary design (DET), pp. 347–351.

STOC-1974-BorodinC #on the

On the Number of Additions to Compute Specific Polynomials (Preliminary Version) (AB, SAC), pp. 342–347.

STOC-1974-CookR #calculus #on the #proving

On the Lengths of Proofs in the Propositional Calculus (Preliminary Version) (SAC, RAR), pp. 135–148.

STOC-1974-HopcroftW #algorithm #graph #linear #morphism

Linear Time Algorithm for Isomorphism of Planar Graphs (Preliminary Report) (JEH, JKW), pp. 172–184.

STOC-1974-Rackoff #complexity #on the

On the Complexity of the Theories of Weak Direct Products: A Preliminary Report (CR), pp. 149–160.

DAC-1973-TaylorC #automation #design

The CAMS preliminary missile design automation program (RJT, ERC), pp. 233–239.

STOC-1973-StockmeyerM #exponential #problem #word

Word Problems Requiring Exponential Time: Preliminary Report (LJS, ARM), pp. 1–9.

STOC-1972-MeyerB

Program Size and Economy of Descriptions: Preliminary Report (ARM, AB), pp. 183–186.

STOC-1971-Robertson #complexity #recursion

Complexity Classes of Partial Recursive Functions (Preliminary Version) (ELR), pp. 258–266.

SIGFIDET-1970-SibleyT

Preliminary Discussion of a General Data to Storage Structure Mapping Language (EHS, RWT), pp. 368–380.

STOC-1970-AhoU

Transformations on Straight Line Programs-Preliminary Version (AVA, JDU), pp. 136–148.

STOC-1970-BassY #complexity #set

Hierarchies Based on Computational Complexity and Irregularities of Class Determining Measured Sets (Preliminary Report) (LJB, PRY), pp. 37–40.

STOC-1970-LandweberR #complexity #recursion

Recursive Properties of Abstract Complexity Classes (Preliminary Version) (LHL, ELR), pp. 31–36.

DAC-1969-JeglicSM #automation #design

Automation of re-entry vehicles’ preliminary design (JMJ, RFS, CDM), pp. 61–70.

STOC-1969-McCreightM #bound

Classes of Computable Functions Defined by Bounds on Computation: Preliminary Report (EMM, ARM), pp. 79–88.

STOC-1969-Young #order #set

Speed-Ups by Changing the Order in Which Sets are Enumerated (Preliminary Version) (PRY), pp. 89–92.