## 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.