BibSLEIGH — first stem

Used together with:

order (313)
logic (134)
class (86)
program (70)
model (37)

Stem first$ (all stems)

651 papers:

HT-2015-Graells-Garrido #bias #gender #wiki #women: First Women, Second Sex: Gender Bias in Wikipedia (EGG, ML, FM), pp. 165–174.
PODS-2015-BeameBGS #first-order #symmetry: Symmetric Weighted First-Order Model Counting (PB, GVdB, EG, DS), pp. 313–328.
SIGMOD-2015-ZhangYQS #performance: Divide & Conquer: I/O Efficient Depth-First Search (ZZ, JXY, LQ, ZS), pp. 445–458.
ITiCSE-2015-ButlerMSSFW: Initiatives to Increase Engagement in First-Year ICT (MB, MM, JS, S, KEF, AW), pp. 308–313.
ITiCSE-2015-Cukierman #learning #predict #process #student: Predicting Success in University First Year Computing Science Courses: The Role of Student Participation in Reflective Learning Activities and in I-clicker Activities (DC), pp. 248–253.
ITiCSE-2015-Harms15a #java #using: Using Personal Robots and Myro/Java in the First Computer Science Course (DEH), p. 332.
ITiCSE-2015-McDermottDC #metric #student: Perseverance Measures and Attainment in First Year Computing Science Students (RM, MD, ÅC), pp. 302–307.
ITiCSE-2015-Patitsas #approach #education #student: A Numpy-First Approach to Teaching CS1 to Natural Science Students (EP), p. 333.
FoSSaCS-2015-SchubertUZ #first-order #logic #on the: On the Mints Hierarchy in First-Order Intuitionistic Logic (AS, PU, KZ), pp. 451–465.
ICSME-2015-Tymchuk #quality: Treating software quality as a first-class entity (YT), pp. 594–597.
PEPM-2015-AsadaS0 #first-order #functional #refinement #relational #source code #verification: Verifying Relational Properties of Functional Programs by First-Order Refinement (KA, RS, NK), pp. 61–72.
PLDI-2015-SiekTW: Blame and coercion: together again for the first time (JGS, PT, PW), pp. 425–435.
FM-2015-SchmittU #axiom #first-order #logic: Axiomatization of Typed First-Order Logic (PHS, MU), pp. 470–486.
ICFP-2015-AvanziniLM #complexity #first-order #functional #higher-order #source code: Analysing the complexity of functional programs: higher-order meets first-order (MA, UDL, GM), pp. 152–164.
ICFP-2015-LeF #continuation #transaction: Partial aborts for transactions via first-class continuations (ML, MF), pp. 230–242.
ICFP-2015-Rossberg #ml #named: 1ML — core and modules united (F-ing first-class modules) (AR), pp. 35–47.
CHI-2015-DenisovaC #game studies #question: First Person vs. Third Person Perspective in Digital Games: Do Player Preferences Affect Immersion? (AD, PC), pp. 145–148.
CHI-2015-HarrisonRC #design: Infographic Aesthetics: Designing for the First Impression (LH, KR, RC), pp. 1187–1190.
CHI-2015-Vicencio-Moreira #game studies: Now You Can Compete With Anyone: Balancing Players of Different Skill Levels in a First-Person Shooter Game (RVM, RLM, CG), pp. 2255–2264.
CSCW-2015-SteinmacherCGR #open source #social: Social Barriers Faced by Newcomers Placing Their First Contribution in Open Source Software Projects (IS, TC, MAG, DFR), pp. 1379–1392.
HCI-IT-2015-MurataM #analysis #eye tracking #using: Nonlinear Dynamical Analysis of Eye Movement Characteristics Using Attractor Plot and First Lyapunov Exponent (AM, TM), pp. 78–85.
HCI-UC-2015-FrauCT #mobile #predict #probability #prototype #visualisation: Graphic Visualization of Probabilistic Traffic/Trajectory Predictions in Mobile Applications. A First Prototype and Evaluations for General Aviation Purposes (GF, FDC, DT), pp. 154–164.
ICML-2015-ZhouZS #analysis #bound #convergence #fault #first-order: ℓ₁_,p-Norm Regularization: Error Bounds and Convergence Rate Analysis of First-Order Methods (ZZ, QZ, AMCS), pp. 1501–1510.
GPCE-2015-ScherrC #domain-specific language #embedded #staged: Almost first-class language embedding: taming staged embedded DSLs (MS, SC), pp. 21–30.
ICSE-v2-2015-Jazayeri #case study #experience #learning #programming: Combining Mastery Learning with Project-Based Learning in a First Programming Course: An Experience Report (MJ), pp. 315–318.
CADE-2015-GorznyP #first-order #proving #towards: Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses (JG, BWP), pp. 356–366.
CADE-2015-Plaisted #automation #deduction #first-order: History and Prospects for First-Order Automated Deduction (DAP), pp. 3–28.
CSL-2015-BovaM #finite #first-order #query: First-Order Queries on Finite Abelian Groups (SB, BM), pp. 41–59.
CSL-2015-ClementeL #analysis #automaton #first-order #reachability: Reachability Analysis of First-order Definable Pushdown Systems (LC, SL), pp. 244–259.
CSL-2015-LehtinenQ: Deciding the First Levels of the Modal μ Alternation Hierarchy by Formula Construction (KL, SQ), pp. 457–471.
CSL-2015-MogaveroP #first-order #logic: Binding Forms in First-Order Logic (FM, GP), pp. 648–665.
CSL-2015-Paperman #first-order #logic: Finite-Degree Predicates and Two-Variable First-Order Logic (CP), pp. 616–630.
LICS-2015-GradelPSK #first-order #polynomial: Characterising Choiceless Polynomial Time with First-Order Interpretations (EG, WP, SS, LK), pp. 677–688.
DAC-2014-Rutenbar #automation #design #education: The First EDA MOOC: Teaching Design Automation to Planet Earth (RAR), p. 6.
DATE-2014-FrijnsASVGSC #analysis #graph: Timing analysis of First-Come First-Served scheduled interval-timed Directed Acyclic Graphs (RF, SA, SS, JV, MCWG, RRHS, HC), pp. 1–6.
PODS-2014-DurandSS #database #first-order #query: Enumerating answers to first-order queries over databases of low degree (AD, NS, LS), pp. 121–131.
VLDB-2014-PoessRC #benchmark #industrial #integration #metric #named: TPC-DI: The First Industry Benchmark for Data Integration (MP, TR, BC), pp. 1367–1378.
ITiCSE-2014-SchmolitzkyG: Guess my object: an “objects first” game on objects’ behavior and implementation with bluej (AS, TG), pp. 219–224.
TACAS-2014-Lowe #algorithm #concurrent: Concurrent Depth-First Search Algorithms (GL), pp. 202–216.
PLDI-2014-DeVitoRFAH #generative #runtime #using: First-class runtime generation of high-performance types using exotypes (ZD, DR, MF, AA, PH), p. 11.
STOC-2014-GroheKS #first-order #graph: Deciding first-order properties of nowhere dense graphs (MG, SK, SS), pp. 89–98.
DLT-2014-MarsaultS: Breadth-First Serialisation of Trees and Rational Languages — (Short Paper) (VM, JS), pp. 252–259.
ICALP-v2-2014-Jancar #bisimulation #equivalence #first-order: Bisimulation Equivalence of First-Order Grammars (PJ), pp. 232–243.
ICALP-v2-2014-JungLGS #first-order #logic #probability: Monodic Fragments of Probabilistic First-Order Logic (JCJ, CL, SG, LS), pp. 256–267.
ICALP-v2-2014-PlaceZ #first-order #quantifier #word: Going Higher in the First-Order Quantifier Alternation Hierarchy on Words (TP, MZ), pp. 342–353.
ICFP-2014-Winograd-CortH #first-order #how: Settable and non-interfering signal functions for FRP: how a first-order switch is more than enough (DWC, PH), pp. 213–225.
CHI-2014-Vicencio-MoreiraMGB #effectiveness #game studies: The effectiveness (or lack thereof) of aim-assist techniques in first-person shooter games (RVM, RLM, CG, SB), pp. 937–946.
HCI-AIMT-2014-KrogsagerSR #physics: Backchannel Head Nods in Danish First Meeting Encounters with a Humanoid Robot: The Role of Physical Embodiment (AK, NS, MR), pp. 651–662.
HCI-AS-2014-Fragoso #design #interface: Interface Design Strategies and Disruptions of Gameplay: Notes from a Qualitative Study with First-Person Gamers (SF), pp. 593–603.
LCT-NLE-2014-PaisT #deduction #first-order #logic #novel #proving: Novel Didactic Proof Assistant for First-Order Logic Natural Deduction (JP, AT), pp. 441–451.
ICEIS-v2-2014-Kupper #approach #research #social: Measuring the Success of Social CRM — First Approach and Future Research (TK), pp. 573–582.
CIKM-2014-BalogKS #ad hoc #evaluation: Head First: Living Labs for Ad-hoc Search Evaluation (KB, LK, AS), pp. 1815–1818.
ECIR-2014-GossenNN #user interface: My First Search User Interface (TG, MN, AN), pp. 746–749.
ICML-c1-2014-MeiZZ #first-order #logic #modelling #robust: Robust RegBayes: Selectively Incorporating First-Order Logic Domain Knowledge into Bayesian Models (SM, JZ, JZ), pp. 253–261.
ICPR-2014-AggarwalNJ #perspective: Estimating Floor Regions in Cluttered Indoor Scenes from First Person Camera View (SA, AMN, CVJ), pp. 4275–4280.
ICPR-2014-AllettoSCC #estimation: Head Pose Estimation in First-Person Camera Views (SA, GS, SC, RC), pp. 4188–4193.
ICPR-2014-IwashitaTKR #process #recognition: First-Person Animal Activity Recognition from Egocentric Videos (YI, AT, RK, MSR), pp. 4310–4315.
KMIS-2014-FredjLC #algorithm #guidelines: Characterizing Generalization Algorithms — First Guidelines for Data Publishers (FBF, NL, ICW), pp. 360–366.
KMIS-2014-Grim-Yefsah #case study #information management #process #requirements #using: A First Step in Improving the Requirements Engineering Process by Using the Knowledge Management Perspective — Case Study from French Public Institute (MGY), pp. 280–288.
KR-2014-AsuncionZZ #first-order #logic programming #semantics #source code: Logic Programs with Ordered Disjunction: First-Order Semantics and Expressiveness (VA, YZ, HZ).
KR-2014-BroeckMD #first-order: Skolemization for Weighted First-Order Model Counting (GVdB, WM, AD).
KR-2014-Lin #first-order #formal method #linear #logic #source code: A Formalization of Programs in First-Order Logic with a Discrete Linear Order (FL).
KR-2014-Lin14a #axiom #first-order #higher-order #induction #semantics: A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations (FL).
KR-2014-Zhou #first-order #logic #revisited: First-Order Default Logic Revisited (YZ).
SEKE-2014-ChenM #abstraction #evolution: Change and Role as First-Class Abstractions for Realising Dynamic Evolution (YC, XM), pp. 443–446.
SAC-2014-GomesACHS #agile #development #framework #game studies #using: Rapid development of first person serious games using the APEX platform: the asthma game (TG, TA, JCC, MDH, JLS), pp. 169–174.
SAC-2014-YooLB #memory management #policy: The least-dirty-first cache replacement policy for phase-change memory (SY, EL, HB), pp. 1449–1454.
ASPLOS-2014-BornholtMM #first-order #named #nondeterminism: Uncertain: a first-order type for uncertain data (JB, TM, KSM), pp. 51–66.
CC-2014-PrinzSA #compilation #process #towards: A First Step towards a Compiler for Business Processes (TMP, NS, WA), pp. 238–243.
CAV-2014-Voronkov #architecture #first-order #named #proving #theorem proving: AVATAR: The Architecture for First-Order Theorem Provers (AV), pp. 696–710.
IJCAR-2014-Otten #first-order #logic #named #proving: MleanCoP: A Connection Prover for First-Order Modal Logic (JO), pp. 269–276.
LICS-CSL-2014-Chen #first-order #query #set: The tractability frontier of graph-like first-order query sets (HC), p. 9.
LICS-CSL-2014-PlaceZ #first-order #logic #regular expression: Separating regular languages with first-order logic (TP, MZ), p. 10.
LICS-CSL-2014-Williams #first-order #graph #performance: Faster decision of first-order graph properties (RW), p. 6.
RTA-TLCA-2014-FuhsK #first-order: First-Order Formative Rules (CF, CK), pp. 240–256.
ASE-2013-WeimerFF #adaptation #equivalence #modelling #program repair: Leveraging program equivalence for adaptive program repair: Models and first results (WW, ZPF, SF), pp. 356–366.
DATE-2013-ChangWB #design: Process-variation-aware Iddq diagnosis for nano-scale CMOS designs — the first step (CLC, CHPW, JB), pp. 454–457.
DRR-2013-TaghvaPM #higher-order #markov #modelling: Post processing with first- and second-order hidden Markov models (KT, SP, SM).
PODS-2013-KazanaS #bound #first-order #query: Enumeration of first-order queries on classes of structures with bounded expansion (WK, LS), pp. 297–308.
CSEET-2013-Vallino #question #re-engineering #student #what: What should students learn in their first (and often only) software engineering course? (JV), pp. 335–337.
ITiCSE-2013-Buck #approach #reliability: First, do no harm: a curricular approach to reliability (DB), p. 319.
ITiCSE-2013-KyrilovN #assessment #automation #first-order #information management #logic #representation: Automatic formative assessment of exercises on knowledge representation in first-order logic (AK, DCN), p. 343.
TFPIE-2013-Tobin-HochstadtH: From Principles to Practice with Class in the First Year (STH, DVH), pp. 1–15.
WCRE-2013-MemonBNR #user interface: The first decade of GUI ripping: Extensions, applications, and broader impacts (AMM, IB, BNN, BR), pp. 11–20.
ICALP-v2-2013-HenzingerKN #maintenance #network: Sublinear-Time Maintenance of Breadth-First Spanning Tree in Partially Dynamic Networks (MH, SK, DN), pp. 607–619.
IFL-2013-VieraS #composition #semantics #syntax: First Class Syntax, Semantics, and Their Composition (MV, SDS), p. 73.
CHI-2013-ReineckeYMMZLG #complexity #predict #quantifier #visual notation: Predicting users’ first impressions of website aesthetics with a quantification of perceived visual complexity and colorfulness (KR, TY, LM, RM, YZ, JL, KZG), pp. 2049–2058.
HCI-IMT-2013-Jokinen #feedback #interactive #multimodal: Multimodal Feedback in First Encounter Interactions (KJ), pp. 262–271.
HIMI-D-2013-ShengLD #comprehension #eye tracking #using: Eyes Don’t Lie: Understanding Users’ First Impressions on Websites Using Eye Tracking (HS, NSL, SD), pp. 635–641.
ICEIS-J-2013-HarbuschP13a #exclamation #optimisation #smarttech #usability #user interface: Optimizing the User Interface of a First-Aid App: A “Realistic” Usability Study with the Smartphone Application “Defi Now!” (KH, JP), pp. 421–437.
ICEIS-v1-2013-KaddesABSA #policy: Enhancement of Generalized Earliest Deadline First Policy (MK, LA, AB, BS, MA), pp. 231–238.
ICEIS-v3-2013-HarbuschP #exclamation #smarttech #usability #user interface: The User Interface of a Medical First Aid Application — A Close-to-Realistic Usability Study with the Smartphone Application “Defi Now!” (KH, JP), pp. 91–98.
CIKM-2013-ChuklinSR #modelling: Modeling clicks beyond the first result page (AC, PS, MdR), pp. 1217–1220.
ICML-c3-2013-Mairal #first-order #optimisation: Optimization with First-Order Surrogate Functions (JM), pp. 783–791.
KDIR-KMIS-2013-SilvaPS #education: A Decision Support System for Portuguese Higher Education Course Selection — First Round (JPS, FP, MFS), pp. 360–367.
KDIR-KMIS-2013-VanthienenC #modelling #process #question: Modeling Business Decisions and Processes — Which Comes First? (JV, FC), pp. 451–456.
SEKE-2013-WangKWN #case study #feature model #first-order #metric #statistics: A Study on First Order Statistics-Based Feature Selection Techniques on Software Metric Data (HW, TMK, RW, AN), pp. 467–472.
TOOLS-EUROPE-J-2012-WernliLN13 #incremental: Incremental Dynamic Updates with First-class Contexts (EW, ML, ON), pp. 1–27.
OOPSLA-2013-AzimN #android #testing: Targeted and depth-first exploration for systematic testing of android apps (TA, IN), pp. 641–660.
ICSE-2013-KhooFH #debugging #named: Expositor: scriptable time-travel debugging with first-class traces (YPK, JSF, MH), pp. 352–361.
ICSE-2013-Rajlich #developer #education #re-engineering: Teaching developer skills in the first software engineering course (VR), pp. 1109–1116.
ISMM-2013-Musuvathi #approach #consistency #memory management #modelling: Safety-first approach to memory consistency models (MM), pp. 1–2.
LCTES-2013-BouakazT #data flow #graph #scheduling: Buffer minimization in earliest-deadline first scheduling of dataflow graphs (AB, JPT), pp. 133–142.
CADE-2013-BlanchetteP #first-order #morphism #named #polymorphism: TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism (JCB, AP), pp. 414–420.
CADE-2013-ChihaniMR #first-order #logic #proving: Foundational Proof Certificates in First-Order Logic (ZC, DM, FR), pp. 162–177.
CADE-2013-KersaniP #decidability #first-order: Completeness and Decidability Results for First-Order Clauses with Indices (AK, NP), pp. 58–75.
CAV-2013-KovacsV #first-order #proving #theorem proving: First-Order Theorem Proving and Vampire (LK, AV), pp. 1–35.
CSL-2013-HampsonK #first-order #linear #logic: One-variable first-order linear temporal logics with counting (CH, AK), pp. 348–362.
CSL-2013-HarwathS #first-order #invariant #locality #logic #on the #quantifier: On the locality of arb-invariant first-order logic with modulo counting quantifiers (FH, NS), pp. 363–379.
LICS-2013-EickmeyerKK #first-order #graph #invariant #logic #model checking: Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes (KE, KiK, SK), pp. 134–142.
LICS-2013-Halpern #first-order #logic #proving #security #using: From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic (JYH), pp. 2–3.
WICSA-ECSA-2012-ZhangUVZHC #architecture #modelling #named: Dedal-CDL: Modeling First-class Architectural Changes in Dedal (H(Z, CU, SV, LZ, MH, BC), pp. 272–276.
DocEng-2012-IorioPPV #approach #automation #documentation #recognition #xml: A first approach to the automatic recognition of structural patterns in XML documents (ADI, SP, FP, FV), pp. 85–94.
ITiCSE-2012-Aycock #named #programming: μPython: non-majors programming from the very first lecture (JA), pp. 345–350.
ITiCSE-2012-Kurmas #approach #design: The presenter first design approach (ZK), p. 379.
ITiCSE-2012-Rosenbloom #animation: Breadth first search (animation and obstacle avoidance) (AR), p. 375.
ESOP-2012-LeeOCY #first-order #framework #named: GMeta: A Generic Formal Metatheory Framework for First-Order Representations (GL, BCdSO, SC, KY), pp. 436–455.
FoSSaCS-2012-BoveDS #automation #first-order #functional #interactive #reasoning #source code: Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs (AB, PD, ASR), pp. 104–118.
FoSSaCS-2012-Kartzow #automaton #exponential #first-order #model checking: First-Order Model Checking on Nested Pushdown Trees is Complete for Doubly Exponential Alternating Time (AK), pp. 376–390.
ICALP-v2-2012-GavenciakKO #first-order: Deciding First Order Properties of Matroids (TG, DK, SiO), pp. 239–250.
FM-2012-NedunuriSC #algorithm #performance: Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms (SN, DRS, WRC), pp. 308–325.
CSCW-2012-TangMWRE #coordination #game studies: Verbal coordination in first person shooter games (AT, JM, NW, DFR, WKE), pp. 579–582.
ICPR-2012-KhalifaBGE #image #novel: A novel CAD system for analyzing cardiac first-pass MR images (FK, GMB, GLG, AEB), pp. 77–80.
KDD-2012-CosciaRGP #community #named: DEMON: a local-first discovery method for overlapping communities (MC, GR, FG, DP), pp. 615–623.
OOPSLA-2012-TakikawaSDTF #type system: Gradual typing for first-class classes (AT, TSS, CD, STH, MF), pp. 793–810.
TOOLS-EUROPE-2012-WernliLN #incremental: Incremental Dynamic Updates with First-Class Contexts (EW, ML, ON), pp. 304–319.
PPDP-2012-BacciCFV #automation #first-order #source code #specification #synthesis: Automatic synthesis of specifications for first order curry programs (GB, MC, MAF, AV), pp. 25–34.
SAC-2012-CosciaCMZ #approach #development #web #web service: An approach to improve code-first web services discoverability at development time (JLOC, MC, CM, AZ), pp. 638–643.
ICSE-2012-LemosFSG #agile #assessment #development #empirical #programming: Development of auxiliary functions: Should you be agile? An empirical assessment of pair programming and test-first programming (OALL, FCF, FFS, AG), pp. 529–539.
LDTA-2012-VieraSD: Grammar fragments fly first-class (MV, SDS, AD), p. 5.
LDTA-2012-VieraSM #attribute grammar #how: UUAG meets AspectAG: how to make attribute grammars first-class (MV, SDS, AM), p. 6.
PPoPP-2012-LiuAHLSZWT #gpu #implementation #named: FlexBFS: a parallelism-aware implementation of breadth-first search on GPU (GL, HA, WH, XL, TS, WZ, XW, XT), pp. 279–280.
CSL-2012-HetzlS #first-order #logic: Herbrand-Confluence for Cut Elimination in Classical First Order Logic (SH, LS), pp. 320–334.
CSL-2012-KuusistoMV #decidability #first-order #geometry: Undecidable First-Order Theories of Affine Geometries (AK, JM, JV), pp. 470–484.
ICST-2012-KintisPM #first-order #higher-order: Isolating First Order Equivalent Mutants via Second Order Mutation (MK, MP, NM), pp. 701–710.
IJCAR-2012-RathsO #first-order #library #logic #problem: The QMLTP Problem Library for First-Order Modal Logics (TR, JO), pp. 454–461.
ISSTA-2012-ZhangJWLZ #algorithm #detection #towards: A first step towards algorithm plagiarism detection (FZ, YcJ, DW, PL, SZ), pp. 111–121.
LICS-2012-ElberfeldGT #first-order #higher-order #logic #monad: Where First-Order and Monadic Second-Order Logic Coincide (ME, MG, TT), pp. 265–274.
LICS-2012-EngelmannKS #first-order #higher-order #model checking #monad: First-Order and Monadic Second-Order Model-Checking on Ordered Structures (VE, SK, SS), pp. 275–284.
LICS-2012-GollerJL #complexity #first-order: The Complexity of Decomposing Modal and First-Order Theories (SG, JCJ, ML), pp. 325–334.
LICS-2012-Jancar #decidability #equivalence #first-order: Decidability of DPDA Language Equivalence via First-Order Grammars (PJ), pp. 415–424.
LICS-2012-KieronskiMPT #equivalence #first-order #logic: Two-Variable First-Order Logic with Equivalence Closure (EK, JM, IPH, LT), pp. 431–440.
LICS-2012-KrebsS #first-order: Non-definability of Languages by Generalized First-order Formulas over (N, +) (AK, AVS), pp. 451–460.
LICS-2012-Schuster #algebra #case study #induction: Induction in Algebra: A First Case Study (PS), pp. 581–585.
TAP-2012-CarlierDG #constraints #design #testing: A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest (MC, CD, AG), pp. 35–50.
WICSA-2011-PetrovBN #analysis #architecture #design #enterprise #multi: The Need for a Multilevel Context-Aware Software Architecture Analysis and Design Method with Enterprise and System Architecture Concerns as First Class Entities (PP, UB, RLN), pp. 147–156.
CASE-2011-DotoliFI #first-order #hybrid #petri net: A freeway traffic control model by first order hybrid Petri nets (MD, MPF, GI), pp. 425–431.
DAC-2011-BayrakRBSI #analysis #automation #towards: A first step towards automatic application of power analysis countermeasures (AGB, FR, PB, FXS, PI), pp. 230–235.
DRR-2011-AwalFMV #database #online: First experiments on a new online handwritten flowchart database (AMA, GF, HM, CVG), pp. 1–10.
ICDAR-2011-GhorbelMLA #interactive #sketching: Interactive Competitive Breadth-First Exploration for Sketch Interpretation (AG, SM, AL, ÉA), pp. 1195–1199.
CSEET-2011-TabriziVD #case study #development #experience #re-engineering: Development of North Carolina’s first Software Engineering program: An experience report (MHNT, SV, JD), pp. 266–273.
ITiCSE-2011-Hijon-NeiraV11a #design #learning: A first step mapping IMS learning design and Merlin-Mo (RHN, JÁVI), p. 365.
ITiCSE-2011-Mirolo #recursion: Is iteration really easier to master than recursion: an investigation in a functional-first CS1 context (CM), p. 362.
ICALP-v2-2011-AndersonMSS #first-order #invariant #locality #logic #query: Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates (MA, DvM, NS, LS), pp. 368–379.
ICFP-2011-Mitchell #ecosystem #functional #modelling #programming: Functional programming through deep time: modeling the first complex ecosystems on earth (EGM), pp. 28–31.
ICFP-2011-VardoulakisS #analysis #automaton: Pushdown flow analysis of first-class control (DV, OS), pp. 69–80.
CHI-2011-KwakCM #online #twitter: Fragile online relationship: a first look at unfollow dynamics in twitter (HK, HC, SBM), pp. 1091–1100.
CSCW-2011-XuCSHG #comprehension #game studies #online #social: Sociable killers: understanding social relationships in an online first-person shooter game (YX, XC, AS, RH, TG), pp. 197–206.
DUXU-v2-2011-NemeryBK #design #persuasion #social #user interface #validation: First Validation of Persuasive Criteria for Designing and Evaluating the Social Influence of User Interfaces: Justification of a Guideline (AN, EB, SK), pp. 616–624.
HCD-2011-MirandaHB #empirical #interactive: Adjustable Interactive Rings for iDTV: First Results of an Experiment with End-Users (LCdM, HHH, MCCB), pp. 262–271.
HCI-DDA-2011-GodonFRT #design pattern #interactive #internet #library: The First Interaction Design Pattern Library for Internet of Things User Created Applications (MG, MAF, MR, LT), pp. 229–237.
HIMI-v2-2011-HashiguchiO: Proposal of the Kawaii Search System Based on the First Sight of Impression (KH, KO), pp. 21–30.
CIKM-2011-SantosMO #effectiveness: Effectiveness beyond the first crawl tier (RLTS, CM, IO), pp. 1937–1940.
KMIS-2011-BoughzalaV #collaboration #industrial #maturity: A First Application of a Collaboration Maturity Model in the Automotive Industry (IB, GJdV), pp. 28–37.
ECMFA-2011-BendraouLCG #modelling: Process-Centred Approaches for Model-Driven Engineering (PMDE) — First Edition (RB, RL, BC, MPG), pp. 383–384.
OOPSLA-2011-PuBS #algorithm #first-order #programming #synthesis: Synthesis of first-order dynamic programming algorithms (YP, RB, SS), pp. 83–98.
OOPSLA-2011-SunshineNSAT: First-class state change in plaid (JS, KN, SS, JA, ÉT), pp. 713–732.
ICSE-2011-Xiao #developer #generative #identification #problem #testing #towards: Problem identification for structural test generation: first step towards cooperative developer testing (XX), pp. 1179–1181.
SLE-2011-ErwigW #design #exclamation #process #semantics: Semantics First! — Rethinking the Language Design Process (ME, EW), pp. 243–262.
SLE-2011-Wojciechowski #communication #concurrent #scripting language: Typed First-Class Communication Channels and Mobility for Concurrent Scripting Languages (PTW), pp. 378–387.
CADE-2011-Claessen #automation #first-order #logic #reasoning: The Anatomy of Equinox — An Extensible Automated Reasoning Tool for First-Order Logic and Beyond — (Talk Abstract) (KC), pp. 1–3.
CADE-2011-ClaessenLS #first-order #logic: Sort It Out with Monotonicity — Translating between Many-Sorted and Unsorted First-Order Logic (KC, AL, NS), pp. 207–221.
CADE-2011-SchneiderS #automation #first-order #ontology #owl #proving #reasoning #theorem proving #using: Reasoning in the OWL 2 Full Ontology Language Using First-Order Automated Theorem Proving (MS, GS), pp. 461–475.
CSL-2011-Eickmeyer #first-order #logic #random: Non-Definability Results for Randomised First-Order Logic (KE), pp. 218–232.
LICS-2011-BarrasJSW #decidability #first-order #higher-order #named #type system: CoQMTU: A Higher-Order Type Theory with a Predicative Hierarchy of Universes Parametrized by a Decidable First-Order Theory (BB, JPJ, PYS, QW), pp. 143–151.
LICS-2011-BirkedalMSS: First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees (LB, REM, JS, KS), pp. 55–64.
LICS-2011-Krokhin #complexity #first-order: The Complexity of Evaluating First-Order Sentences over a Fixed Structure (AAK), p. 331.
LICS-2011-MadelaineM #first-order #logic #similarity: A Tetrachotomy for Positive First-Order Logic without Equality (FRM, BM), pp. 311–320.
RTA-2011-GasconMR #first-order #unification: First-Order Unification on Compressed Terms (AG, SM, LR), pp. 51–60.
ECSA-2010-Hock-koonO #approach: Many to Many Service Discovery: A First Approach (AAHk, MO), pp. 449–456.
QoSA-2010-BirkmeierO #architecture #development #diagrams #empirical #process #uml #usability: Is BPMN Really First Choice in Joint Architecture Development? An Empirical Study on the Usability of BPMN and UML Activity Diagrams for Business Users (DB, SO), pp. 119–134.
DAC-2010-LuoWH #effectiveness #gpu #implementation: An effective GPU implementation of breadth-first search (LL, MDFW, WmWH), pp. 52–55.
PODS-2010-Wijsen #database #first-order #nondeterminism #on the #query: On the first-order expressibility of computing certain answers to conjunctive queries over uncertain databases (JW), pp. 179–190.
ITiCSE-2010-BrindaH #case study #design #education #experience: A lecture about teaching informatics in secondary education: lecture design and first experiences (TB, PH), p. 320.
ITiCSE-2010-EhlertS #comparison #object-oriented: Comparison of OOP first and OOP later: first results regarding the role of comfort level (AE, CS), pp. 108–112.
ITiCSE-2010-GomesM #case study #performance #student: A study on student performance in first year CS courses (AJG, AJM), pp. 113–117.
ITiCSE-2010-McDermottBE #student #tool support: Developing tools to encourage reflection in first year students blogs (RM, GB, GE), pp. 147–151.
ESOP-2010-NaumannB #bound #first-order #higher-order #information management: Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions (DAN, AB), pp. 2–22.
LATA-2010-CabessaV #classification #first-order #network: A Hierarchical Classification of First-Order Recurrent Neural Networks (JC, AEPV), pp. 142–153.
LATA-2010-JordanZ #first-order #quantifier: Untestable Properties Expressible with Four First-Order Quantifiers (CJ, TZ), pp. 333–343.
IFL-2010-HerhutJSPG #case study #concurrent #experience: Concurrent Non-deferred Reference Counting on the Microgrid: First Experiences (SH, CJ, SBS, RP, CG), pp. 185–202.
CHI-2010-KuikkaniemiLTSKR #game studies: The influence of implicit and explicit biofeedback in first-person shooter games (KK, TL, MT, TS, IK, NR), pp. 859–868.
CIKM-2010-RaghavanI #probability #retrieval #theory and practice: Probabilistic first pass retrieval for search advertising: from theory to practice (HR, RI), pp. 1019–1028.
ICPR-2010-KamedaO #image #navigation #retrieval: Image Retrieval of First-Person Vision for Pedestrian Navigation in Urban Area (YK, YO), pp. 364–367.
KEOD-2010-KezadriP #ontology #towards #validation #verification: First Steps Toward a Verification and Validation Ontology (MK, MP), pp. 440–444.
KMIS-2010-FogliP #collaboration #development #web: End-user Development for Knowledge Sharing — A Collaborative Web Mapping Application in the First Aid Domain (DF, LPP), pp. 5–14.
KR-2010-BelardinelliL #first-order #interactive #logic #multi: Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems (FB, AL).
OOPSLA-2010-VerwaestBGLN #named: Pinocchio: bringing reflection to life with first-class interpreters (TV, CB, DG, AL, ON), pp. 774–789.
LOPSTR-2010-BacciC #first-order #functional #logic programming #source code: Abstract Diagnosis of First Order Functional Logic Programs (GB, MC), pp. 215–233.
LOPSTR-2010-CalvesF #first-order: The First-Order Nominal Link (CC, MF), pp. 234–248.
PADL-2010-Perera #first-order #interactive #programming: First-Order Interactive Programming (RP), pp. 186–200.
SAC-2010-KharaMS: An improved WLAN-first access scheme for UMTS/WLAN integrated system (SK, ISM, DS), pp. 630–634.
SAC-2010-Rooney #scheduling: Scheduling intense applications most “surprising” first (SR), pp. 2077–2084.
CAV-2010-BasinKM #first-order #logic #monitoring #policy: Policy Monitoring in First-Order Temporal Logic (DAB, FK, SM), pp. 1–18.
CSL-2010-MartinM #complexity #first-order #logic #similarity: The Complexity of Positive First-Order Logic without Equality II: The Four-Element Case (BM, JM), pp. 426–438.
ICTSS-2010-Gladisch #first-order #generative #logic #quantifier #source code #specification #testing: Test Data Generation for Programs with Quantified First-Order Logic Specifications (CG), pp. 158–173.
LICS-2010-He #finite #first-order #on the #quantifier #strict: On the Strictness of the First-Order Quantifier Structure Hierarchy over Finite Structures (YH), pp. 170–178.
TAP-2010-AhnD #axiom #first-order #logic #testing #verification: Testing First-Order Logic Axioms in Program Verification (KYA, ED), pp. 22–37.
ASE-2009-Maalej #integration #revisited #tool support: Task-First or Context-First? Tool Integration Revisited (WM), pp. 344–355.
ICDAR-2009-HamamuraAI09a #pattern matching #pattern recognition #recognition: Bayesian Best-First Search for Pattern Recognition — Application to Address Recognition (TH, TA, BI), pp. 461–465.
SIGMOD-2009-LiuJ #named: DataLens: making a good first impression (BL, HVJ), pp. 1115–1118.
CSEET-2009-Bass #quality: Making Quality Attributes First Class Entities (LB), p. 3.
CSEET-2009-MaramPMD: Sixteen Roles Performed by Software Engineers in First One Year (MM, PP, SM, ND), pp. 212–215.
ITiCSE-2009-Blaheta: Democracy in the classroom: an exercise for the first days of CS1 (DB), pp. 36–39.
ITiCSE-2009-DicksonAHA #case study #experience: First experiences with a classroom recording system (PED, WRA, ARH, DTA), pp. 298–302.
ITiCSE-2009-DoerschukLM #experience #lessons learnt: INSPIRED broadening participation: first year experience and lessons learned (PID, JL, JM), pp. 238–242.
ITiCSE-2009-Lasserre #adaptation #learning #programming: Adaptation of team-based learning on a first term programming class (PL), pp. 186–190.
ITiCSE-2009-Saeli #education #how #programming: How to teach programming in secondary education: first results of a PhD project (MS), p. 356.
ITiCSE-2009-SchluterB #education #empirical: The attributes of task difficulty in informatics in secondary education: first results of an empirical study (KS, TB), p. 357.
ITiCSE-2009-Seidman #3d #game studies #interactive #programming: Alice first: 3D interactive game programming (RHS), p. 345.
WRLA-2008-HolenJW09 #calculus #first-order #maude #proving: Proof Search for the First-Order Connection Calculus in Maude (BH, EBJ, AW), pp. 173–188.
ICPC-2009-LinsteadHLB #first-order #java #markov #modelling: Capturing Java naming conventions with first-order Markov models (EL, LH, CVL, PB), pp. 313–314.
ICFP-2009-RompfMO #continuation #implementation #polymorphism: Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform (TR, IM, MO), pp. 317–328.
ICFP-2009-VieraSS #aspect-oriented #attribute grammar #haskell #how #programming: Attribute grammars fly first-class: how to do aspect oriented programming in Haskell (MV, SDS, WS), pp. 245–256.
HCI-AUII-2009-BreuerKWPS: Love at First Encounter — Start-Up of New Applications (HB, MK, MW, NP, FS), pp. 585–594.
HCI-VAD-2009-Peters #experience #performance: Influence of Real-World Ten-Pin Bowling Experience on Performance during First-Time Nintendo Wii Bowling Practice (KAP), pp. 396–405.
HCI-VAD-2009-SaariTKKR #adaptation #game studies: Emotionally Adapted Games — An Example of a First Person Shooter (TS, MT, KK, IK, NR), pp. 406–415.
OCSC-2009-FalsteinR #multi: The First Two W’s: Fostering Multicultural Awareness in Children (NF, NR), pp. 462–470.
ICEIS-DISI-2009-AmiratO #architecture #first-order #metamodelling #named: C3: A Metamodel for Architecture Description Language based on First-order Connector Types (AA, MO), pp. 76–81.
ICEIS-DISI-2009-KleinschmagerH #aspect-oriented #programming: Is the Application of Aspect-oriented Programming Constructs Beneficial? — First Experimental Results (SK, SH), pp. 196–201.
CIKM-2009-NakataniJT #towards #web: Easiest-first search: towards comprehension-based web search (MN, AJ, KT), pp. 2057–2060.
ECIR-2009-FetterlyCV #effectiveness: Measuring the Search Effectiveness of a Breadth-First Crawl (DF, NC, VV), pp. 388–399.
POPL-2009-Leijen #flexibility #morphism #polymorphism #robust #type inference: Flexible types: robust type inference for first-class polymorphism (DL), pp. 66–77.
SAC-2009-FaggioliTC #algorithm #implementation #linux: An implementation of the earliest deadline first algorithm in Linux (DF, MT, FC), pp. 1984–1989.
SAC-2009-LeinoM #first-order #reasoning #smt: Reasoning about comprehensions with first-order SMT solvers (KRML, RM), pp. 615–622.
SAC-2009-NamakiBM #performance: Exhaustion dominated performance: a first attempt (NN, AdB, SMC), pp. 1011–1012.
SAC-2009-ZhangLZZZZ #first-order #linear #optimisation: Optimizing techniques for saturated arithmetic with first-order linear recurrence (WZ, LL, CZ, HZ, BZ, CZ), pp. 1883–1889.
HPCA-2009-ChenA #fine-grained #first-order #parallel #thread #throughput: A first-order fine-grained multithreaded throughput model (XEC, TMA), pp. 329–340.
CSL-2009-AdlerW #first-order: Tree-Width for First Order Formulae (IA, MW), pp. 71–85.
CSL-2009-Tatsuta #calculus #commutative #first-order: Non-Commutative First-Order Sequent Calculus (MT), pp. 470–484.
LICS-2009-KieronskiT #equivalence #finite #first-order #logic #on the #satisfiability: On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations (EK, LT), pp. 123–132.
LICS-2009-MadelaineM #complexity #first-order #logic #similarity: The Complexity of Positive First-order Logic without Equality (FRM, BM), pp. 429–438.
LICS-2009-Mimram #first-order: The Structure of First-Order Causality (SM), pp. 212–221.
CASE-2008-DotoliFM #automation #fault #first-order #hybrid #monitoring #petri net: Fault monitoring of automated manufacturing systems by first order hybrid Petri nets (MD, MPF, AMM), pp. 181–186.
VLDB-2008-FranklinHM #tutorial: A first tutorial on dataspaces (MJF, AYH, DM), pp. 1516–1517.
ITiCSE-2008-EscribanoGMS #multi: Multidisciplinary projects for first year engineering courses (CE, AG, ÁM, MAS), p. 366.
ITiCSE-2008-GoldwasserL08a #python: A python graphics package for the first day and beyond (MHG, DL), p. 326.
ITiCSE-2008-SandersL #programming language #python #student: Students’ perceptions of python as a first programming language at wits (IDS, SL), p. 365.
WCRE-2008-Ebraert #feature model #programming: First-Class Change Objects for Feature-Oriented Programming (PE), pp. 319–322.
DLT-J-2007-DiekertGK08 #bibliography #finite #first-order #logic #word: A Survey on Small Fragments of First-Order Logic over Finite Words (VD, PG, MK), pp. 513–548.
ICALP-B-2008-BojanczykS #first-order #logic #quantifier: Tree Languages Defined in First-Order Logic with One Quantifier Alternation (MB, LS), pp. 233–245.
ICFP-2008-Leijen #morphism #named #polymorphism #type inference: HMF: simple type inference for first-class polymorphism (DL), pp. 283–294.
ICFP-2008-VytiniotisWJ #haskell #morphism #named #polymorphism: FPH: first-class polymorphism for Haskell (DV, SW, SLPJ), pp. 295–306.
ECIR-2008-RitchieTR #information retrieval #using: Using Terms from Citations for IR: Some First Results (AR, ST, SR), pp. 211–221.
ICML-2008-KuzelkaZ #estimation #first-order #performance: Fast estimation of first-order clause coverage through randomization and maximum likelihood (OK, FZ), pp. 504–511.
KR-2008-BelardinelliL #first-order #logic: A Complete First-Order Logic of Knowledge and Time (FB, AL), pp. 705–714.
KR-2008-MichaelV: A First Experimental Demonstration of Massive Knowledge Infusion (LM, LGV), pp. 378–389.
KR-2008-VassosLL #first-order: First-Order Strong Progression for Local-Effect Basic Action Theories (SV, GL, HJL), pp. 662–672.
KR-2008-WittocxMD #approximate #first-order #logic #reasoning: Approximate Reasoning in First-Order Logic Theories (JW, MM, MD), pp. 103–112.
SEKE-2008-HondaCD #mobile #named: Mobile-FIRST: a Mobile Agent Based First Responder System (JH, HHC, DD), pp. 565–568.
SIGIR-2008-FetterlyCV #effectiveness: Search effectiveness with a breadth-first crawl (DF, NC, VV), pp. 755–756.
PADL-2008-FernandezFFGM #developer #ml #programming #tool support: A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers (MFF, KF, JNF, MG, YM), pp. 133–149.
POPL-2008-Pientka #higher-order #programming #syntax: A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions (BP), pp. 371–382.
SAC-2008-Djelloul #constraints #first-order: Combination of decomposability and propagation for solving first-order constraints in decomposable theories (KD), pp. 1728–1732.
HPCA-2008-Rattner: Intel’s Tera-scale Computing Project: The first five years, the next five years (JR), p. 1.
OSDI-2008-YangLBKM #named #operating system: Redline: First Class Support for Interactivity in Commodity Operating Systems (TY, TL, EDB, SFK, JEBM), pp. 73–86.
SMT-2007-BongioKLLM08 #encoding #first-order #proving #smt: Encoding First Order Proofs in SMT (JB, CK, HL, CL, REM), pp. 71–84.
ICLP-2008-NearBF #declarative #first-order #logic #named #proving #theorem proving: αleanTAP: A Declarative Theorem Prover for First-Order Classical Logic (JPN, WEB, DPF), pp. 238–252.
IJCAR-2008-Korovin #first-order #logic #named #proving #theorem proving: iProver — An Instantiation-Based Theorem Prover for First-Order Logic (System Description) (KK), pp. 292–298.
IJCAR-2008-SchmidtT #first-order #logic: A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments (RAS, DT), pp. 194–209.
LICS-2008-Burel #deduction #first-order #representation #type system #using: A First-Order Representation of Pure Type Systems Using Superdeduction (GB), pp. 253–263.
TAP-2008-Hennell #experience #verification: The First Thirty Years: Experience with Software Verification (MAH), pp. 1–3.
ECSA-2007-Kjaer #architecture #prototype: First Class Connectors for Prototyping Service Oriented Architectures (KEK), pp. 171–178.
DATE-2007-BrandenburgSHEE #algorithm #approach #design #novel #prototype: From algorithm to first 3.5G call in record time: a novel system design approach based on virtual prototyping and its consequences for interdisciplinary system design teams (MB, AS, SH, JE, TE), pp. 828–830.
ICDAR-2007-EspositoFMB #automation #documentation #first-order #incremental #learning #logic #web: Incremental Learning of First Order Logic Theories for the Automatic Annotations of Web Documents (FE, SF, NDM, TMAB), pp. 1093–1097.
ITiCSE-2007-DoddsAKL: Breadth-first CS 1 for scientists (ZD, CA, GK, RLH), pp. 23–27.
STOC-2007-BorgsCDR #analysis: First to market is not everything: an analysis of preferential attachment with fitness (CB, JTC, CD, SR), pp. 135–144.
DLT-2007-DiekertK #first-order #on the #word: On First-Order Fragments for Words and Mazurkiewicz Traces (VD, MK), pp. 1–19.
LATA-2007-Komendantskaya #deduction #first-order #network: First-order deduction in neural networks (EK), pp. 307–318.
AGTIVE-2007-BatzKG #evaluation #graph #pattern matching: A First Experimental Evaluation of Search Plan Driven Graph Pattern Matching (GVB, MK, RG), pp. 471–486.
HCI-AS-2007-LowryRH #trust: First Impressions with Websites: The Effect of the Familiarity and Credibility of Corporate Logos on Perceived Consumer Swift Trust of Websites (PBL, TLR, TH), pp. 77–85.
OCSC-2007-Bickmore #lessons learnt #smarttech #social #what: What Would Jiminy Cricket Do? Lessons from the First Social Wearable (TWB), pp. 12–21.
OCSC-2007-DuvalH #design #product line #ubiquitous: First Design of a Ubiquitous System for Affective Bonding and Support with Family and Friends (SD, HH), pp. 70–79.
ICEIS-HCI-2007-DeryckeC #flexibility #framework: A Flexible Infrastructure for P-Learning: A First Application in the Field of Professional Training (AD, VC), pp. 215–222.
ICEIS-SAIC-2007-PetrieLZ #bibliography #challenge #perspective: SWS Challenge — First Year Overview (CJP, HL, MZ), pp. 407–412.
SIGIR-2007-IrcingOH #speech: First experiments searching spontaneous Czech speech (PI, DWO, JH), pp. 835–836.
ECOOP-2007-DoorenS #abstraction #inheritance #using: A Higher Abstraction Level Using First-Class Inheritance Relations (MvD, ES), pp. 425–449.
POPL-2007-SiskindP #standard: First-class nonstandard interpretations by opening closures (JMS, BAP), pp. 71–76.
SAC-2007-DjelloulDF #constraints #finite #first-order #infinity #prolog #theorem proving #towards #unification #using: Toward a first-order extension of Prolog’s unification using CHR: a CHR first-order constraint solver over finite or infinite trees (KD, TBHD, TWF), pp. 58–64.
ESEC-FSE-2007-KimE #question: Which warnings should I fix first? (SK, MDE), pp. 45–54.
CADE-2007-DeshaneHJLLM #encoding #first-order #proving #satisfiability: Encoding First Order Proofs in SAT (TD, WH, PJ, HL, CL, REM), pp. 476–491.
CSL-2007-Dawar #automaton #first-order #locality #logic #model checking: Model-Checking First-Order Logic: Automata and Locality (AD), p. 6.
LICS-2007-AlurABEIL #first-order #logic #word: First-Order and Temporal Logics for Nested Words (RA, MA, PB, KE, NI, LL), pp. 151–160.
LICS-2007-CateBV #first-order #logic #theorem: Lindstrom theorems for fragments of first-order logic (BtC, JvB, JAV), pp. 280–292.
SAT-2007-JussilaBSKW #proving #towards: A First Step Towards a Unified Proof Checker for QBF (TJ, AB, CS, DK, CMW), pp. 201–214.
TLCA-2007-ShkaravskaKE #analysis #first-order #polynomial: Polynomial Size Analysis of First-Order Functions (OS, RvK, MCJDvE), pp. 351–365.
VMCAI-2007-BouillaguetKWZR #data type #first-order #proving #theorem proving #using #verification: Using First-Order Theorem Provers in the Jahob Data Structure Verification System (CB, VK, TW, KZ, MCR), pp. 74–88.
CSEET-2006-HendrixUC #case study #design #experience: Designing a First-Year Project Course to Engage Freshman Software Engineers: An Experience Report (TDH, DAU, JHCI), pp. 25–34.
CSEET-2006-LundqvistS #re-engineering: A First Course in Software Engineering for Aerospace Engineers (KL, JS), pp. 77–86.
ITiCSE-2006-BerginLOM #programming: The first programming course: ideas to end the enrollment decline (JB, RL, BBO, MFM), pp. 301–302.
ITiCSE-2006-HoltRS #education #python: Introducing python into the first year curriculum at wits (AH, SR, IDS), p. 335.
ITiCSE-2006-PecinovskyPP #approach: Let’s modify the objects-first approach into design-patterns-first (RP, JP, LP), pp. 188–192.
ITiCSE-2006-Radenski #python #quote: “Python first”: a lab-based digital introduction to computer science (AR), pp. 197–201.
ITiCSE-2006-RauchasSK #education #experience #programming: The effect of prior programming experience in a scheme-based breadth-first curriculum at wits (SR, IDS, BK), p. 326.
ITiCSE-2006-Snapp #approach: A Puzzles-First approach to computer science (RRS), p. 310.
ITiCSE-2006-WirthB #algorithm #research #student: New algorithms research for first year students (AW, MB), pp. 128–132.
FoSSaCS-2006-KuskeL #first-order: First-Order and Counting Theories of ω-Automatic Structures (DK, ML), pp. 322–336.
DLT-2006-Lakshmanan: End-Marked Maximal Depth-First Contextual Grammars (LK), pp. 339–350.
ICFP-2006-BlumeAC #programming: Extensible programming with first-class cases (MB, UAA, WC), pp. 239–250.
KR-2006-ChenLWZ #first-order #logic programming #source code: First-Order Loop Formulas for Normal Logic Programs (YC, FL, YW, MZ), pp. 298–307.
KR-2006-SannerM #calculus #first-order #hybrid #logic #reasoning: An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic (SS, SAM), pp. 100–111.
KR-2006-ZamanskyA #first-order #logic #nondeterminism #semantics: Non-Deterministic Semantics for First-Order Paraconsistent Logics (AZ, AA), pp. 431–439.
SIGIR-2006-CanKBKOV #information retrieval #scalability: First large-scale information retrieval experiments on turkish texts (FC, SK, EB, CK, HCO, OMV), pp. 627–628.
SAC-2006-CutelloNO #algorithm #analysis #heuristic: Analysis of an evolutionary algorithm with HyperMacromutation and stop at first constructive mutation heuristic for solving trap functions (VC, GN, PSO), pp. 945–949.
SAC-2006-DantsinWK #algorithm #constraints #problem #quantum #towards: Quantum versions of k-CSP algorithms: a first step towards quantum algorithms for interval-related constraint satisfaction problems (ED, AW, VK), pp. 1640–1644.
SAC-2006-DjelloulD #constraints #finite #first-order #formal method #infinity: Solving first-order constraints in the theory of finite or infinite trees: introduction to the decomposable theories (KD, TBHD), pp. 7–14.
SAC-2006-SasitornC #java #performance #virtual machine: Efficient first-class generics on stock Java virtual machines (JS, RC), pp. 1621–1628.
SAC-2006-ShiJQ #named #towards: ALTER: first step towards dependable grids (XS, HJ, WQ), pp. 805–806.
CSL-2006-DurandO #first-order #query: First-Order Queries over One Unary Function (AD, FO), pp. 334–348.
ICLP-2006-DaoD #constraints #first-order #formal method: Solving First-Order Constraints in the Theory of the Evaluated Trees (TBHD, KD), pp. 423–424.
IJCAR-2006-Rabe #dependent type #first-order #logic: First-Order Logic with Dependent Types (FR), pp. 377–391.
IJCAR-2006-TomanW #dependence #functional #logic #on the: On Keys and Functional Dependencies as First-Class Citizens in Description Logics (DT, GEW), pp. 647–661.
LICS-2006-ChaubardPS #composition #first-order: First Order Formulas with Modular Predicates (LC, JÉP, HS), pp. 211–220.
LICS-2006-DawarGKS #approximate #first-order #optimisation #problem: Approximation Schemes for First-Order Definable Optimisation Problems (AD, MG, SK, NS), pp. 411–420.
LICS-2006-LaroseLT #constraints #first-order #problem: A Characterisation of First-Order Constraint Satisfaction Problems (BL, CL, CT), pp. 201–210.
LICS-2006-Otto #bound #first-order #logic #monad #problem: The Boundedness Problem for Monadic Universal First-Order Logic (MO), pp. 37–48.
DATE-2005-Hughes #challenge: Striking a New Balance in the Nanometer Era: First-Time-Right and Time-to-Market Demands Versus Technology Challenges (GH), p. 3.
ITiCSE-2005-BerginW #tutorial: Test-first pair-programming tutorial (JB, EW), p. 416.
ITiCSE-2005-Christensen #design #education: Implications of perspective in teaching objects first and object design (HBC), pp. 94–98.
ITiCSE-2005-Fossum #interpreter: Classes as first class objects in an environment-passing interpreter (TVF), pp. 261–265.
ITiCSE-2005-Hovis #complexity #programming: Managing the complexity in first year programming (RAH), p. 394.
ITiCSE-2005-HurtadoV #learning: Learning UNIX in first year of computer engineering (MASH, CVP), p. 392.
ITiCSE-2005-MarreroS #programming #testing: Testing first: emphasizing testing in early programming courses (WM, AS), pp. 4–8.
ITiCSE-2005-MoritzWPB #multi: From objects-first to design-first with multimedia and intelligent tutoring (SHM, FW, SMP, GDB), pp. 99–103.
ESOP-2005-SecoC #component #polymorphism #type system: Subtyping First-Class Polymorphic Components (JCS, LC), pp. 342–356.
FoSSaCS-2005-CalcagnoGH #first-order #logic: From Separation Logic to First-Order Logic (CC, PG, MH), pp. 395–409.
PLDI-2005-AyersSMARW #control flow #distributed #fault #named #re-engineering: TraceBack: first fault diagnosis by reconstruction of distributed control flow (AA, RS, CM, AA, JR, EW), pp. 201–212.
STOC-2005-BasuPR #algebra #component #set: Computing the first Betti number and the connected components of semi-algebraic sets (SB, RP, MFR), pp. 304–312.
ICFP-2005-MakholmW #mixin #morphism #type inference: Type inference, principal typings, and let-polymorphism for first-class mixin modules (HM, JBW), pp. 156–167.
ICFP-2005-RingenburgG #named: AtomCaml: first-class atomicity via rollback (MFR, DG), pp. 92–104.
ICML-2005-DriessensD #first-order #learning #modelling: Combining model-based and instance-based learning for first order regression (KD, SD), pp. 193–200.
ICML-2005-NatarajanTADFR #first-order #learning #modelling #probability: Learning first-order probabilistic models with combining rules (SN, PT, EA, TGD, AF, ACR), pp. 609–616.
ECOOP-2005-BiermanW #object-oriented: First-Class Relationships in an Object-Oriented Language (GMB, AW), pp. 262–286.
PADL-2005-Ramsey #compilation #declarative: Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction (NR), pp. 1–4.
SAC-2005-BaresiCM #adaptation #case study #consistency #experience #modelling: First experiences on constraining consistency and adaptivity of W2000 models (LB, SC, LM), pp. 1674–1678.
SAC-2005-BartakR: Limited assignments: a new cutoff strategy for incomplete depth-first search (RB, HR), pp. 388–392.
SAC-2005-Bourgeois-RepubliqueVC #algorithm #interactive: An interactive evolutionary algorithm for cochlear implant fitting: first results (CBR, GV, PC), pp. 231–235.
SAC-2005-ShangS #database #mining #relational: Depth-first frequent itemset mining in relational databases (XS, KUS), pp. 1112–1117.
SPLC-2005-Krueger: Change is Good. You Go First (CWK), p. 135.
CADE-2005-CastelliniS #first-order #logic #proving #theorem proving: Proof Planning for First-Order Temporal Logic (CC, AS), pp. 235–249.
CADE-2005-ChaudhuriP #first-order #linear #logic #proving #theorem proving: A Focusing Inverse Method Theorem Prover for First-Order Linear Logic (KC, FP), pp. 69–83.
CADE-2005-ContejeanC #first-order #logic #proving #similarity: Reflecting Proofs in First-Order Logic with Equality (EC, PC), pp. 7–22.
CADE-2005-Lev-AmiIRSSY #data type #first-order #linked data #logic #open data #reachability #simulation #using #verification: Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures (TLA, NI, TWR, SS, SS, GY), pp. 99–115.
CADE-2005-ZhangSM #decidability #first-order: The Decidability of the First-Order Theory of Knuth-Bendix Order (TZ, HBS, ZM), pp. 131–148.
LICS-2005-KieronskiO #decidability #first-order #logic: Small Substructures and Decidability Issues for First-Order Logic with Two Variables (EK, MO), pp. 448–457.
DAC-2004-VisweswariahRKWN #analysis #first-order #incremental #statistics: First-order incremental block-based statistical timing analysis (CV, KR, KK, SGW, SN), pp. 331–336.
DATE-v1-2004-LegerR #first-order: A Digital Test for First-Order [Sigma-Delta] Modulators (GL, AR), pp. 708–709.
PODS-2004-BenediktLBW #first-order: A Characterization of First-Order Topological Properties of Planar Spatial Data (MB, CL, JVdB, TW), pp. 107–114.
PODS-2004-Marx #first-order #xpath: Conditional XPath, the First Order Complete XPath Dialect (MM), pp. 13–22.
PODS-2004-NashL #data access #first-order #query: Processing First-Order Queries under Limited Access Patterns (AN, BL), pp. 307–318.
ITiCSE-WGR-2004-JacobsonT #array #programming: It is time to emphasize arraylists over arrays in Java-based first programming courses (NJ, AT), pp. 88–92.
ITiCSE-WGR-2004-Pillay #programming #search-based: A first course in genetic programming (NP), pp. 93–96.
TACAS-2004-BeauquierCP #automation #first-order #logic #parametricity #protocol #state machine #verification: Automatic Parametric Verification of a Root Contention Protocol Based on Abstract State Machines and First Order Timed Logic (DB, TC, EP), pp. 372–387.
ICALP-2004-Meer #proving #theorem: Transparent Long Proofs: A First PCP Theorem for NPR (KM), pp. 959–970.
ICFP-2004-GauthierP #canonical #first-order #higher-order #matter #recursion: Numbering matters: first-order canonical forms for second-order recursive types (NG, FP), pp. 150–161.
ICGT-2004-Rensink #first-order #graph #logic #representation #using: Representing First-Order Logic Using Graphs (AR), pp. 319–335.
ICEIS-v1-2004-MagnussonNC #concept #enterprise #framework #implementation #towards: A Conceptual Framework for Forecasting ERP Implementation Success — A First Step Towards the Creation of an Implementation Support Tool (JM, AN, FC), pp. 447–453.
ICML-2004-NatteeSNO #first-order #learning #mining #multi: Learning first-order rules from data with multiple parts: applications on mining chemical compound data (CN, SS, MN, TO).
KR-2004-Davis #communication #first-order: A First-Order Theory of Communicating First-Order Formulas (ED), pp. 235–245.
KR-2004-HaarslevM #documentation #optimisation #owl #rdf: Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results (VH, RM), pp. 163–174.
KR-2004-ZhouH #heuristic: Breadth-First Heuristic Search (RZ, EAH), pp. 701–709.
SAC-2004-OBrienH #analysis #authoring: Training Needs Analysis: the first step in authoring e-learning content (EO, TH), pp. 935–939.
ISMM-2004-DetlefsFHP #garbage collection: Garbage-first garbage collection (DD, CHF, SH, TP), pp. 37–48.
CAV-2004-RayH #deduction #first-order #pipes and filters #quantifier #using #verification: Deductive Verification of Pipelined Machines Using First-Order Quantification (SR, WAHJ), pp. 31–43.
LICS-2004-DalmauKL #first-order #graph #problem #reflexive: First-Order Definable Retraction Problems for Posets and Reflexive Graph (VD, AAK, BL), pp. 232–241.
LICS-2004-GroheS #first-order #linear #logic: The Succinctness of First-Order Logic on Linear Orders (MG, NS), pp. 438–447.
ASE-2003-BarnatBC #ltl #model checking #parallel: Parallel Breadth-First Search LTL Model-Checking (JB, LB, JC), pp. 106–115.
DAC-2003-StittLV #approach #clustering #hardware: Dynamic hardware/software partitioning: a first approach (GS, RLL, FV), pp. 250–255.
DATE-2003-FornaciariMSZ #clustering #specification #towards #uml: A First Step Towards Hw/Sw Partitioning of UML Specifications (WF, PM, FS, LZ), pp. 10668–10673.
DATE-2003-KrsticWCLA #fault #modelling #statistics: Delay Defect Diagnosis Based Upon Statistical Timing Models — The First Step (AK, LCW, KTC, JJL, MSA), pp. 10328–10335.
WCRE-2003-FavreGW #metamodelling #reverse engineering: First International Workshop on Meta-Models and Schemas for Reverse Engineering — ateM 2003 (JMF, MWG, AW), pp. 366–367.
ICEIS-v3-2003-ColleSE #experience #framework: A Framework for Business Simulator: A First Experience (FC, KS, PE), pp. 540–543.
KDD-2003-ArgamonSS #mining #multi: Style mining of electronic messages for multiple authorship discrimination: first results (SA, MS, SSS), pp. 475–480.
MLDM-2003-KostersPP #analysis #complexity #implementation: Complexity Analysis of Depth First and FP-Growth Implementations of APRIORI (WAK, WP, VP), pp. 284–292.
OOPSLA-2003-AllenBC #approach: A first-class approach to genericity (EEA, JB, RC), pp. 96–114.
POPL-2003-HofmannJ #first-order #functional #predict #source code: Static prediction of heap space usage for first-order functional programs (MH, SJ), pp. 185–197.
CADE-2003-Nivelle #axiom #first-order #proving: Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms (HdN), pp. 365–379.
CADE-2003-SchmidtH #axiom #first-order: A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae (RAS, UH), pp. 412–426.
CSL-2003-Vermeulen #first-order #logic #semantics: More Computation Power for a Denotational Semantics for First Order Logic (KFMV), pp. 530–543.
ICLP-2003-Smaus #equation #first-order #question #semantics: Is There an Optimal Generic Semantics for First-Order Equations? (JGS), pp. 438–450.
RTA-2003-Comon-LundhC #decidability #encryption #first-order #logic #protocol: New Decidability Results for Fragments of First-Order Logic and Application to Cryptographic Protocols (HCL, VC), pp. 148–164.
DocEng-2002-AllierE #approach #image #using: Degraded character image restoration using active contours: a first approach (BA, HE), pp. 142–148.
CSEET-2002-ThomasR #re-engineering: Workshop 2: First Year Software Engineering (LT, MR), p. 262.
ITiCSE-2002-CarboneS #education #learning #question #student #what: A studio-based teaching and learning model in IT: what do first year students think? (AC, JS), pp. 213–217.
ITiCSE-2002-SheardDMMW #student: Cheating and plagiarism: perceptions and practices of first year IT students (JS, MD, SM, IM, MW), pp. 183–187.
FoSSaCS-2002-DanvyN #continuation #first-order: A First-Order One-Pass CPS Transformation (OD, LRN), pp. 98–113.
TACAS-2002-BornotMNZ #black box: Black Box Unfolding with Local First Search (SB, RM, PN, SZ), pp. 386–400.
SAS-2002-ManevichRFGS #first-order #representation #static analysis: Compactly Representing First-Order Structures for Static Analysis (RM, GR, JF, DG, SS), pp. 196–212.
ICALP-2002-Colcombet #decidability #first-order #graph #on the #product line #reachability: On Families of Graphs Having a Decidable First Order Theory with Reachability (TC), pp. 98–109.
ICFP-2002-HansenC #case study #garbage collection: An experimental study of renewal-older-first garbage collection (LTH, WDC), pp. 247–258.
CSCW-2002-Jouppi #mobile #towards: First steps towards mutually-immersive mobile telepresence (NPJ), pp. 354–363.
ICML-2002-MusleaMK02a #adaptation #automation #detection #towards #validation: Adaptive View Validation: A First Step Towards Automatic View Detection (IM, SM, CAK), pp. 443–450.
KR-2002-Lakemeyer #first-order #knowledge base #reasoning: Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases (GL), pp. 73–81.
KR-2002-Lutz #logic: Adding Numbers to the SHIQ Description Logic: First Results (CL), pp. 191–202.
SEKE-2002-DeshpandeCG #re-engineering #towards #web: Web site auditing: first step towards re-engineering (YD, AC, AG), pp. 731–737.
POPL-2002-SuANPT #constraints #first-order #type system: The first-order theory of subtyping constraints (ZS, AA, JN, TP, RT), pp. 203–216.
SPLC-2002-Mannion #first-order #logic #product line #using #validation: Using First-Order Logic for Product Line Model Validation (MM), pp. 176–187.
ASPLOS-2002-ZengELV #ecosystem #energy #named #operating system: ECOSystem: managing energy as a first class operating system resource (HZ, CSE, ARL, AV), pp. 123–132.
CADE-2002-Hurd #first-order #interface #logic: An LCF-Style Interface between HOL and First-Order Logic (JH), pp. 134–138.
CAV-2002-BarrettDS #first-order #incremental #satisfiability: Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT (CWB, DLD, AS), pp. 236–249.
LICS-2002-FrickG #complexity #first-order #higher-order #logic #monad #revisited: The Complexity of First-Order and Monadic Second-Order Logic Revisited (MF, MG), pp. 215–224.
LICS-2002-HodkinsonWZ #branch #decidability #first-order #logic: Decidable and Undecidable Fragments of First-Order Branching Temporal Logics (IMH, FW, MZ), pp. 393–402.
ICDAR-2001-BagdanovW #classification #documentation #fine-grained #first-order #graph #random #using: Fine-Grained Document Genre Classification Using First Order Random Graphs (ADB, MW), pp. 79–85.
ICDAR-2001-GatosMA #contest #segmentation: First International Newspaper Segmentation Contest (BG, SLM, AA), p. 1190–?.
CSEET-2001-RatcliffeTW #learning: A Learning Environment for First Year Software Engineers (MR, LT, JW), pp. 268–275.
ITiCSE-2001-Murtagh: Teacing breadth-first depth-first (TPM), pp. 37–40.
ITiCSE-2001-Stevens #case study #education #experience #re-engineering: Experiences teaching software engineering for the first time (KTS), pp. 77–80.
ITiCSE-2001-Velazquez-Iturbide #algorithm #problem: A first problem for the algorithms course (JÁVI), p. 187.
TACAS-2001-RuysLKLM #algebra #analysis #partial order #probability #process #using: First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders (TCR, RL, JPK, DL, MM), pp. 220–235.
FLOPS-2001-BozzanoDM #bottom-up #effectiveness #first-order #linear #logic programming #semantics #source code: An Effective Bottom-Up Semantics for First-Order Linear Logic Programs (MB, GD, MM), pp. 138–152.
FLOPS-2001-SatoSK #calculus: A Simply Typed Context Calculus with First-Class Environments (MS, TS, YK), pp. 359–374.
ICEIS-v1-2001-BettoniF #assessment: The First Tax Return Assessment Expert System in Switzerland (MCB, GF), pp. 391–396.
ICEIS-v2-2001-HikitaM #first-order #logic #modelling #ontology #process: Business Process Modeling Based on the Ontology and First-Order Logic (TH, MJM), pp. 717–723.
MLDM-2001-MalerbaELL #first-order #induction #recognition: First-Order Rule Induction for the Recognition of Morphological Patterns in Topographic Maps (DM, FE, AL, FAL), pp. 88–101.
SIGIR-2001-StokesC #classification #detection #documentation #semantics: Combining Semantic and Syntactic Document Classifiers to Improve First Story Detection (NS, JC), pp. 424–425.
ICSE-2001-ModesittBW #bibliography #re-engineering #source code #what: Academic Software Engineering: What Is and What Could Be? Results of the First Annual Survey for International SE Programs (KLM, DJB, LHW), pp. 643–652.
CC-2001-YunKM #control flow #pipes and filters #towards: A First Step Towards Time Optimal Software Pipelining of Loops with Control Flows (HSY, JK, SMM), pp. 182–199.
CSL-2001-Koriche #approximate #first-order #logic #reasoning: A Logic for Approximate First-Order Reasoning (FK), pp. 262–276.
IJCAR-2001-BeckertS #calculus #first-order #logic: A Sequent Calculus for First-Order Dynamic Logic with Trace Modalities (BB, SS), pp. 626–641.
IJCAR-2001-HodasT #agile #first-order #implementation #linear #logic #named #proving #theorem proving: lolliCop — A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic (JSH, NT), pp. 670–684.
LICS-2001-Avigad #first-order #logic: Eliminating Definitions and Skolem Functions in First-Order Logic (JA), pp. 139–146.
RTA-2001-BonelliKR #first-order #higher-order: From Higher-Order to First-Order Rewriting (EB, DK, AR), pp. 47–62.
RTA-2001-VestergaardB #confluence #first-order #proving #using #λ-calculus: A Formalised First-Order Confluence Proof for the λ-Calculus Using One-Sorted Variable Names (RV, JB), pp. 306–321.
TLCA-2001-Altenkirch #algebra #first-order: Representations of First Order Function Types as Terminal Coalgebras (TA), pp. 8–21.
CSEET-2000-Manderson #industrial #re-engineering: Graduate Software Engineering in Practice: First Industrial Contact (RM), p. 192.
ESOP-2000-Danvy #continuation #formal method #implementation: Formalizing Implementation Strategies for First-Class Continuations (OD), pp. 88–103.
ESOP-2000-Russo #ml #standard: First-Class Structures for Standard ML (CVR), pp. 336–350.
ESOP-2000-WellsV #equation #reasoning: Equational Reasoning for Linking with First-Class Primitive Modules (JBW, RV), pp. 412–428.
FoSSaCS-2000-Schubert #first-order #logic #type inference: Type Inference for First-Order Logic (AS), pp. 297–313.
PLDI-2000-WanH #functional #programming: Functional reactive programming from first principles (ZW, PH), pp. 242–252.
ICALP-2000-LugiezS #decidability #first-order #logic: Decidable First-Order Transition Logics for PA-Processes (DL, PS), pp. 342–353.
ICFP-2000-Okasaki #algorithm #design #lessons learnt: Breadth-first numbering: lessons from a small exercise in algorithm design (CO), pp. 131–136.
CSCW-2000-Bajesy #implementation #named: IT2: an information technology initiative for the twenty-first century — NSF plans for implementation (RB), p. 359.
CIKM-2000-AllanLJ #detection: First Story Detection In TDT Is Hard (JA, VL, HJ), pp. 374–381.
ICPR-v2-2000-DesvignesRCDRD #automation #image #towards: First Steps toward Automatic Location of Landmarks on X-Ray Images (MD, BR, RC, RD, MR, MJD), pp. 2275–2278.
ICPR-v4-2000-Lucas #graph #performance #taxonomy: Efficient Best-First Dictionary Search Given Graph-Based Input (SML), pp. 4434–4437.
KDD-2000-AgarwalAP #generative: Depth first generation of long patterns (RCA, CCA, VVVP), pp. 108–118.
KR-2000-Massacci #first-order #reduction: Reduction rules and universal variables for first order tableaux and DPLL (FM), pp. 186–197.
KR-2000-MontanariPS #automation #deduction #first-order #logic: Supporting automated deduction in first-order modal logics (AM, AP, MS), pp. 547–556.
PADL-2000-Tullsen: First Class Patterns (MT), pp. 1–15.
POPL-2000-Bawden #metaprogramming: First-Class Macros have Types (AB), pp. 133–141.
SAC-2000-ChongS: Back to the Basics: A first Class Chalkboard and More (NSTC, MS), pp. 131–136.
FSE-2000-Jackson #automation #first-order #logic #relational: Automating first-order relational logic (DJ), pp. 130–139.
CADE-2000-Baumgartner #first-order #named: FDPLL — A First Order Davis-Putnam-Longeman-Loveland Procedure (PB), pp. 200–219.
CAV-2000-Cohen #encryption #first-order #named #protocol #verification: TAPS: A First-Order Verifier for Cryptographic Protocols (EC), pp. 568–571.
CL-2000-Apt #first-order #logic #semantics: A Denotational Semantics for First-Order Logic (KRA), pp. 53–69.
CL-2000-Muller #constraints: Promoting Constraints to First-Class Status (TM), pp. 429–447.
LICS-2000-GroheS #first-order #on the #query: On First-Order Topological Queries (MG, LS), pp. 349–360.
LICS-2000-Kripke #algorithm #first-order #theorem: From the Church-Turing Thesis to the First-Order Algorithm Theorem (SK), p. 177.
LICS-2000-LindellW #decidability #finite #first-order: The Role of Decidability in First Order Separations over Classes of Finite Structures (SL, SW), pp. 45–50.
ASE-1999-FuchsST #first-order #logic #natural language: Controlled Natural Language Can Replace First-Order Logic (NEF, US, ST), pp. 295–298.
ICDAR-1999-DowntonLD #evaluation #lazy evaluation #recognition: Lazy Evaluation for Best-First Contextual Handwriting Recognition (ACD, SML, LD), pp. 589–592.
ICDAR-1999-NuijtG #probability #recognition #towards: A Probabilistic Model for Postcode Recognition: A First Step towards Probabilistic Address Interpretation (MRN, EvG), pp. 761–764.
ITiCSE-1999-EllisHSLDCRT #collaboration #education #java #programming: A collaborative strategy for developing shared Java teaching resources to support first year programming (AE, DH, JS, JL, WD, AC, JR, ST), pp. 84–87.
ICALP-1999-FrickG #first-order #graph: Deciding First-Order Properties of Locally Tree-Decomposalbe Graphs (MF, MG), pp. 331–340.
FM-v1-1999-Pavlovic #first-order #parametricity #semantics #specification: Semantics of First Order Parametric Specifications (DP), pp. 155–172.
FM-v2-1999-Martin #first-order #logic: Relating Z and First-Order Logic (AM), pp. 1266–1280.
AGTIVE-1999-MolE #prototype #proving: A Proof Tool Dedicated to Clean — The First Prototype (MdM, MCJDvE), pp. 271–278.
HCI-EI-1999-HertzumJ: The Evaluator Effect during First-Time Use of the Cognitive Walkthrough Technique (MH, NEJ), pp. 1063–1067.
ICML-1999-Pompe #induction #recursion: Noise-Tolerant Recursive Best-First Induction (UP), pp. 315–324.
UML-1999-DSouzaSB #uml: First-Class Extensibility for UML-Profiles, Stereotypes, Patterns (DD, AS, AB), pp. 265–277.
TOOLS-USA-1999-Dedene #case study #education #eiffel #experience #programming language #student: Experiences Teaching Eiffel as a First Programming Language to Economy Students (GD), pp. 584–592.
CADE-1999-Bishop: A Breadth-First Strategy for Mating Search (MB), pp. 359–373.
CADE-1999-DemriG #first-order #logic: Tractable Transformations from Modal Provability Logics into First-Order Logic (SD, RG), pp. 16–30.
CADE-1999-KonradW #first-order #generative #logic: System Description: Kimba, A Model Generator for Many-Valued First-Order Logics (KK, DAW), pp. 282–286.
CADE-1999-Weidenbach #analysis #automation #first-order #logic #protocol #security #towards: Towards an Automatic Analysis of Security Protocols in First-Order Logic (CW), pp. 314–328.
ICLP-1999-GavanelliLMM: Domains as First Class Objects in CLP(FD) (MG, EL, PM, MM), p. 608.
LICS-1999-AtseriasK #finite #first-order #fixpoint #logic #set: First-Order Logic vs. Fixed-Point Logic in Finite Set Theory (AA, PGK), pp. 275–284.
RTA-1999-DowekHK #first-order #higher-order #logic #named: HOL-λσ: An Intentional First-Order Expression of Higher-Order Logic (GD, TH, CK), pp. 317–331.
PODS-1998-Etessami #first-order #morphism: Dynamic Tree Isomorphism via First-Order Updates (KE), pp. 235–243.
ITiCSE-1998-LeeP #design #education #programming #student: Programming versus design (poster): teaching first year students (PAL, CP), p. 289.
ITiCSE-1998-MeyerV #bibliography #education #student: A survey of first computing course students (poster): new findings and their implications for the curriculum (JM, SAV), p. 293.
ITiCSE-1998-Richardson #information management #learning #optimisation: First year information systems papers — optimising learning — minimising administration (poster) (ASR), p. 301.
ITiCSE-1998-Taylor: Motivating the Church-Turing thesis in the twenty-first century (RGT), pp. 228–231.
ITiCSE-1998-WardS #javascript #multi #programming language #student: JavaScript as a first programming language for multimedia students (RW, MS), pp. 249–253.
ITiCSE-1998-Wolfer #bound #re-engineering: Graduate software engineering across international boundaries (poster): the first courses (JW), p. 311.
IWPC-1998-CanforaCLL #legacy #migration #source code #towards: Decomposing Legacy Programs: A First Step Towards Migrating to Client-Server Platforms (GC, AC, ADL, GADL), pp. 136–144.
SAS-1998-Volpe #alias #first-order #logic programming #source code: A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs (PV), pp. 184–199.
ICALP-1998-BorchertKS #first-order #on the: On Existentially First-Order Definable Languages and Their Relation to NP (BB, DK, FS), pp. 17–28.
CHI-1998-SchianoW #people: The First Noble Truth of CyberSpace: People are People (even when they MOO) (DJS, SW), pp. 352–359.
ICML-1998-ReddyT #first-order #learning #source code: Learning First-Order Acyclic Horn Programs from Entailment (CR, PT), pp. 472–480.
KR-1998-Levesque #first-order #knowledge base #reasoning: A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases (HJL), pp. 14–23.
ECOOP-1998-BonoF #calculus #first-order #imperative: An Imperative, First-Order Calculus with Object Extension (VB, KF), pp. 462–497.
TOOLS-USA-1998-Webre #eiffel #legacy: Rescuing a Legacy System as a First Eiffel Project (HW), p. 500–?.
CADE-1998-GorePSV #proving #smarttech #theorem proving: System Description: card TAP: The First Theorem Prover on a Smart Card (RG, JP, AS, HV), pp. 47–50.
CADE-1998-Pagano #calculus #first-order #higher-order #reduction: X.R.S : Explicit Reduction Systems — A First-Order Calculus for Higher-Order Calculi (BP), pp. 72–87.
CAV-1998-XuCSCM #first-order #graph #logic #model checking #multi #using: Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (YX, EC, XS, FC, OAM), pp. 219–231.
CSL-1998-KempeS #algebra #first-order #on the #power of #specification: On the Power of Quantifers in First-Order Algebraic Specification (DK, AS), pp. 45–57.
CSL-1998-Lukasiewicz #first-order #logic #probability #semantics: Many-Valued First-Order Logics with Probabilistic Semantics (TL), pp. 415–429.
LICS-1998-KolaitisO #bound #first-order #logic #on the #problem: On the Boundedness Problem for Two-Variable First-Order Logic (PGK, MO), pp. 513–524.
LICS-1998-MullerNT #constraints #first-order: The First-Order Theory of Ordering Constraints over Feature Trees (MM, JN, RT), pp. 432–443.
LICS-1998-Viswanathan #abstraction #first-order #recursion #type system: Full Abstraction for First-Order Objects with Recursive Types and Subtyping (RV), pp. 380–391.
VLDB-1997-HuangJR #optimisation #traversal #using: Spatial Joins Using R-trees: Breadth-First Traversal with Global Optimizations (YWH, NJ, EAR), pp. 396–405.
ITiCSE-1997-Goldberg #student: WebCT and first year: student reaction to and use of a Web-based resource in first year computer science (MWG), pp. 127–129.
ITiCSE-1997-HaganSM #monitoring #programming: Monitoring and evaluating a redesigned first year programming course (DH, JS, IM), pp. 37–39.
DLT-1997-Stefaneas #first-order #logic: Chartering first order logic (PSS), pp. 579–592.
ICALP-1997-Wilke #first-order #logic #strict: Star-Free Picture Expressions are Strictly Weaker Than First-Order Logic (TW), pp. 347–357.
WIA-1997-Maout #automaton #tool support: Tools to Implement Automata, a First Step: ASTL (VLM), pp. 104–108.
ICML-1997-BottaGP #first-order #learning #logic #named: FONN: Combining First Order Logic with Connectionist Learning (MB, AG, RP), pp. 46–56.
KDD-1997-AronisP #algorithm #data mining #mining #performance: Increasing the Efficiency of Data Mining Algorithms with Breadth-First Marker Propagation (JMA, FJP), pp. 119–122.
POPL-1997-Jones #morphism #polymorphism #type inference: First-class Polymorphism with Type Inference (MPJ), pp. 483–496.
SAC-1997-ShumskyWME #constraints #finite #first-order #generative #heuristic: Direct finite first-order model generation with negative constraint propagation heuristic (OS, RWW, WM, FE), pp. 25–29.
PPoPP-1997-YangO #parallel: Parallel Breadth-First BDD Construction (BY, DRO), pp. 145–156.
CADE-1997-BjornerSU #first-order #integration #reasoning: A Practical Integration of First-Order Reasoning and Decision Procedures (NB, MES, TEU), pp. 101–115.
ILPS-1997-JussienB #constraints #maintenance: Best-First Search for Property Maintenance in Reactive Constraint Systems (NJ, PB), pp. 339–353.
LICS-1997-EtessamiVW #first-order #logic: First-Order Logic with Two Variables and Unary Temporal Logic (KE, MYV, TW), pp. 228–235.
RTA-1997-Marcinkowski #first-order: Undecidability of the First Order Theory of One-Step Right Ground Rewriting (JM), pp. 241–253.
RTA-1997-Vorobyov #decidability #first-order #linear: The First-Order Theory of One Step Rewriting in Linear Noetherian Systems is Undecidable (SGV), pp. 254–268.
DAC-1996-TutuianuDP #approximate: An Explicit RC-Circuit Delay Approximation Based on the First Three Moments of the Impulse Response (BT, FD, LTP), pp. 611–616.
PODS-1996-AbiteboulHB #database #first-order #logic #query: Temporal Versus First-Order Logic to Query Temporal Databases (SA, LH, JVdB), pp. 49–57.
ICALP-1996-Pin #automaton #calculus #first-order #power of: The Expressive Power of Existential First Order Sentences of Büchi’s Sequential Calculus (JÉP), pp. 300–311.
ICFP-1996-QueinnecR: Sharing Code through First-class Environments (CQ, DDR), pp. 251–261.
ICFP-1996-Turbak: First-Class Synchronization Barriers (FAT), pp. 157–168.
IFL-1996-Pil: First Class File I/O (MP), pp. 233–246.
CIKM-1996-BayardoM #query: Processing Queries for First Few Answers (RJBJ, DPM), pp. 45–52.
KR-1996-Brafman #first-order #statistics: “Statistical” First Order Conditionals (RIB), pp. 398–409.
ALP-1996-Marchiori96a #abstract domain #first-order #logic #using: Prime Factorizations of Abstract Domains Using First Order Logic (EM), pp. 209–223.
PLILP-1996-FreireSW #logic programming #scheduling #source code: Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies (JF, TS, DSW), pp. 243–258.
POPL-1996-GordonR #calculus #first-order #similarity #type system: Bisimilarity for a First-Order Calculus of Objects with Subtyping (ADG, GDR), pp. 386–395.
RTA-1996-Treinen #decidability #first-order: The First-Order Theory of One-Step Rewriting is Undecidable (RT), pp. 276–286.
CSEE-1995-BeckmanB #process: CMM-Based Software Process Improvement Training: The First Year (KB, RB), p. 117.
FPLE-1995-JacquotG #requirements: Requirements for an Ideal First Language (JPJ, JG), pp. 51–63.
DLT-1995-SchieringT #automaton #first-order #logic: Counter-Free Automata, First-Order Logic and Star-Free Expressions (IS, WT), pp. 166–175.
FPCA-1995-MiraniH: First-Class Schedules and Virtual Maps (RM, PH), pp. 78–85.
AdaEurope-1995-Laurens #ada: PRONAOS Ground Control Center: First Operational Ada Application in C.N.E.S (AL), pp. 124–138.
KDD-1995-AugierVK #algorithm #first-order #learning #logic #search-based: Learning First Order Logic Rules with a Genetic Algorithm (SA, GV, YK), pp. 21–26.
SEKE-1995-Lee #execution #logic programming #parallel #source code: Parallel Execution of Logic Programs with Breadth-first Search (WSL), pp. 470–477.
OOPSLA-1995-DucasseBP #dependence: A Reflective Model for First Class Dependencies (SD, MBF, AMPD), pp. 265–280.
POPL-1995-KingL #algorithm #haskell: Structuring Depth-First Search Algorithms in Haskell (DJK, JL), pp. 344–354.
LICS-1995-Dutertre #first-order #logic #proving: Complete Proof Systems for First Order Interval Temporal Logic (BD), pp. 36–43.
LICS-1995-ParedaensBG #finite #first-order #query: First-order Queries on Finite Structures over the Reals (JP, JVdB, DVG), pp. 79–87.
RTA-1995-StickelZ #problem: Studying Quasigroup Identities by Rewriting Techniques: Problems and First Results (MES, HZ), pp. 450–456.
EDAC-1994-BernGMS: Boolean Manipulation with Free BDD’s. First Experimental Results (JB, JG, CM, AS), pp. 200–207.
CSEE-1994-PreyCF #re-engineering: Software Engineering Beginning in the First Computer Science Course (JCP, JPC, GF), pp. 359–374.
ESOP-1994-Kahrs #ml #morphism #polymorphism: First-Class Polymorphism for ML (SK), pp. 333–347.
ESOP-1994-Moreau #automaton #continuation #evaluation #functional #parallel #source code: The PCKS-Machine: An Abstract Machine for Sound Evaluation of Parallel Functional Programs with First-Class Continuations (LM), pp. 424–438.
ICALP-1994-CosmoK #algebra #first-order #recursion #term rewriting #λ-calculus: Combining First Order Algebraic Rewriting Systems, Recursion and Extensional λ Calculi (RDC, DK), pp. 462–472.
FME-1994-FitzgeraldBGL #case study #comparative #component #specification: Formal and Informal Specifications of a Secure System Component: first results in a comparative study (JSF, TMB, MAG, PGL), pp. 35–44.
CAiSE-1994-SwedeV #consistency #development #empirical: Consistent Development: Results of a First Empirical Study on the Relation Between Project Scenario and Success (VvS, HvV), pp. 80–93.
KDD-1994-BrachmanA #database #information management #process #sketching: The Process of Knowledge Discovery in Databases: A First Sketch (RJB, TA), pp. 1–12.
KR-1994-Koubarakis #complexity #constraints #first-order: Complexity Results for First-Order Theories of Temporal Constraints (MK), pp. 379–390.
KR-1994-LakemeyerM #decidability #first-order #power of: Enhancing the Power of a Decidable First-Order Reasoner (GL, SM), pp. 403–414.
SEKE-1994-Sakalauskaite #branch #calculus #first-order #logic: A complete sequent calculus for a first order branching temporal logic (JS), pp. 274–280.
ALP-1994-BidoitH #behaviour #first-order #logic #proving #standard #theorem: Proving Behavioural Theorems with Standard First-Order Logic (MB, RH), pp. 41–58.
LOPSTR-1994-TarauD #continuation #first-order #logic programming: Logic Programming and Logic Grammars with First-Order Continuations (PT, VD), pp. 215–230.
CADE-1994-ChuP #first-order #proving #semantics #theorem proving #using: Semantically Guided First-Order Theorem Proving using Hyper-Linking (HC, DAP), pp. 192–206.
CADE-1994-SturgillS #first-order #logic #novel #parallel: A Novel Asynchronous Parallelism Scheme for First-Order Logic (DBS, AMS), pp. 484–498.
CADE-1994-WirthG #equation #induction #on the: On Notions of Inductive Validity for First-Oder Equational Clauses (CPW, BG), pp. 162–176.
ILPS-1994-McCartyS #first-order #interpreter #logic #prolog: A PROLOG Interpreter for First-Order Intuitionistic Logic (LTM, LAS), p. 685.
LICS-1994-LincolnS #calculus #first-order #linear #logic #proving: Proof Search in First-Order Linear Logic and Other Cut-Free Sequent Calculi (PL, NS), pp. 282–291.
LICS-1994-Sewell #axiom #bisimulation #equation #first-order: Bisimulation is Not Finitely (First Order) Equationally Axiomatisable (PS), pp. 62–70.
ICDAR-1993-MatsuiNYWY #contest #recognition #state of the art: State of the art of handwritten numeral recognition in Japan-The results of the first IPTP character recognition competition (TM, TN, IY, TW, MY), pp. 391–396.
PLDI-1993-AdamsCS #data type: First-Class Data-Type Representations in SchemeXerox (NA, PC, MS), pp. 139–146.
DLT-1993-BreveglieriCCC #parallel: Fair First Languages and Parallel Programme Schemes (LB, AC, CC, SCR), pp. 389–418.
HCI-ACS-1993-Ala-Siuru #case study #experience #specification #user interface #using: Using QFD Techniques in User Interface Specification: First Experiences (PAS), pp. 456–461.
TRI-Ada-1993-FilareyRRSD #ada #framework: Software First: Applying Ada Megaprogramming Technology to Target Platform Selection Trades (ARF, WER, RR, PS, LDM), pp. 90–101.
CIKM-1993-CosarLS #bound #multi #optimisation #query: Multiple Query Optimization with Depth-First Branch-and-Bound and Dynamic Query Ordering (AC, EPL, JS), pp. 433–438.
SEKE-1993-MassariCCC #database #source code: Programs as Databases: Treating Code and Comments as First Class Objects (AM, GC, PKC, SKC), pp. 78–85.
SIGIR-1993-Harman #bibliography #retrieval: Overview of the First Text REtrieval Conference (DH), pp. 36–47.
ILPS-1993-Andrews #logic #prolog #semantics: A Logical Semantics for Depth-First Prolog with Ground Negation (JHA), pp. 220–234.
RTA-1993-NivelaN #first-order: Saturation of First-Order (Constrained) Clauses with the Saturate System (PN, RN), pp. 436–440.
TLCA-1993-BarbaneraF #higher-order #term rewriting: Combining First and Higher Order Rewrite Systems with Type Assignment Systems (FB, MF), pp. 60–74.
STOC-1992-GroveHK #first-order #logic: Asymptotic Conditional Probabilities for First-Order Logic (AJG, JYH, DK), pp. 294–305.
WSA-1992-Hamilton #analysis #first-order #functional #lazy evaluation #source code: Sharing Analysis of Lazy First-Order Functional Programs (GWH), pp. 68–78.
ICALP-1992-Straubing #complexity #first-order #power of: Circuit Complexity and the Expressive Power of Generalized First-Order Formulas (HS), pp. 16–27.
LFP-1992-DanvyL #continuation: Back to Direct Style II: First-Class Continuations (OD, JLL), pp. 299–310.
TRI-Ada-C-1992-Youtzy #ada #named: Ada: Still Our First Choice (HYJ), pp. 135–139.
ML-1992-ZytkowZZ #fault: The First Phase of Real-World Discovery: Determining Repeatability and Error of Experiments (JMZ, JZ, RZ), pp. 480–485.
SEKE-1992-Reif #correctness #first-order #specification: Correctness of Full First-Order Specifications (WR), pp. 276–283.
ALP-1992-AptMP #first-order #formal method #prolog: A Theory of First-Order Built-in’s of Prolog (KRA, EM, CP), pp. 69–83.
ALP-1992-BachmairGW #first-order #proving #theorem proving: Theorem Proving for Hierarchic First-Order Theories (LB, HG, UW), pp. 420–434.
LOPSTR-1992-ProiettiP #incremental #logic programming #source code: Best-first Strategies for Incremental Transformations of Logic Programs (MP, AP), pp. 82–98.
CADE-1992-Fisher #first-order #normalisation: A Normal Form for First-Order Temporal Formulae (MF), pp. 370–384.
DAC-1991-OchiIY: Breadth-First Manipulation of SBDD of Boolean Functions for Vector Processing (HO, NI, SY), pp. 413–416.
KBSE-1991-Sasso91a #question #what: Encouraging the Adoption of KBSE Technology: What Needs to Happen First? (WCS), pp. 237–238.
WSA-1991-Chin #deforestation #first-order #functional #source code: Generalising Deforestation for All First-Order Functional Programs (WNC), pp. 173–181.
VDME-1991-1-ChalmersDGPZ #using: Using RAISE — First Impressions from the LaCoS Applications (DLC, BD, JG, JSP, EZ), pp. 645–657.
FPCA-1991-JonesL #functional #strict: Unboxed Values as First Class Citizens in a Non-Strict Functional Language (SLPJ, JL), pp. 636–666.
ML-1991-RichardsM #first-order: First-Order Theory Revision (BLR, RJM), pp. 447–451.
POPL-1991-DubaHM #continuation #ml #type system: Typing First-Class Continuations in ML (BFD, RH, DBM), pp. 163–173.
POPL-1991-JoungS #coordination #first-order #interactive #multi: Coordinating First-Order Multiparty Interactions (YJJ, SAS), pp. 209–220.
SOSP-1991-MarshSLM: First-Class User-Level Theads (BDM, MLS, TJL, EPM), pp. 110–121.
CSL-1991-Dahlhaus #first-order #how #memory management #modelling: How to Implement First Order Formulas in Local Memory Machine Models (ED), pp. 68–78.
CSL-1991-Oguztuzun #equivalence #first-order #logic: A Fragment of First Order Logic Adequate for Observation Equivalence (HO), pp. 278–292.
ICLP-1991-Sato #first-order #logic programming: Full First Order Logic Programming and Truth Predicate (TS), p. 948.
ISLP-1991-Carpenter #first-order: Typed Feature Structures: A Generalization of First-Order Terms (BC), pp. 187–201.
ISLP-1991-SatoM #first-order #interpreter #source code #top-down: A Complete Top-Down Interpreter for First Order Programs (TS, FM), pp. 35–53.
LICS-1991-AvronH #database #first-order #on the #query: On First Order Database Query Languages (AA, YH), pp. 226–231.
LICS-1991-KiferW #first-order #logic programming #morphism #polymorphism: A First-Order Theory of Types and Polymorphism in Logic Programming (MK, JW), pp. 310–321.
RTA-1991-Deruyver #equation #first-order #logic #named #proving #theorem proving: EMMY: A Refutational Theorem Prover for First-Order Logic with Equation (AD), pp. 439–441.
PLDI-1990-HiebDB #continuation #representation: Representing Control in the Presence of First-Class Continuations (RH, RKD, CB), pp. 66–77.
LFP-1990-KatzW #continuation #interactive: Continuing into the Future: On the Interaction of Futures and First-Class Continuations (MK, DW), pp. 176–184.
LFP-1990-SheldonG #dependent type: Static Dependent Types for First Class Modules (MAS, DKG), pp. 20–29.
ALP-1990-Sato #equivalence #first-order: An Equivalence Preserving First Order Unfold/fold Transformation System (TS), pp. 173–188.
CADE-1990-PymW #first-order: Investigations into Proof-Search in a System of First-Order Dependent Function Types (DJP, LAW), pp. 236–250.
CLP-1990-LauP90 #first-order #logic #recursion #specification #synthesis #top-down: Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications (KKL, SDP), pp. 667–684.
PODS-1989-Cosmadakis #first-order #on the #query #recursion: On the First-Order Expressibility of Recursive Queries (SSC), pp. 311–323.
PLDI-1989-OTooleG #polymorphism #re-engineering: Type Reconstruction with First-Class Polymorphic Values (JO, DKG), pp. 207–217.
STOC-1989-AggarwalAK #graph #parallel: Parallel Depth-First Search in General Directed Graphs (Preliminary Version) (AA, RJA, MYK), pp. 297–308.
FPCA-1989-BjernerH #analysis #approach #composition #first-order #functional #lazy evaluation #source code: A Composition Approach to Time Analysis of First Order Lazy Functional Programs (BB, SH), pp. 157–165.
KR-1989-McAllesterGF #first-order #syntax #taxonomy: Taxonomic Syntax for First Order Inference (DAM, RG, TF), pp. 289–300.
ECOOP-1989-Yelland #object-oriented #semantics #towards: First Steps Towards Fully Abstract Semantics for Object-Oriented Languages (PMY), pp. 347–364.
CSL-1989-Ohlbach #first-order #logic #multi #proving: New Ways for Developing Proof Theories for First-Order Multi Modal Logics (HJO), pp. 271–308.
LICS-1989-AbiteboulV #first-order #fixpoint #logic: Fixpoint Extensions of First-Order Logic and Datalog-Like Languages (SA, VV), pp. 71–79.
NACLP-1989-ChenKW #first-order #higher-order #logic programming #named #semantics: HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs (WC, MK, DSW), pp. 1090–1114.
NACLP-1989-SaletoreK #execution #logic programming #parallel #performance #source code: Obtaining First Solutions Faster in AND-OR Parallel Execution of Logic Programs (VAS, LVK), pp. 390–406.
PLDI-1988-Reppy: Synchronous Operations as First-Class Values (JHR), pp. 250–259.
ML-1988-Helft #first-order #learning: Learning Systems of First-Order Rules (NH), pp. 395–401.
ML-1988-MuggletonB #first-order: Machine Invention of First Order Predicates by Inverting Resolution (SM, WLB), pp. 339–352.
POPL-1988-Felleisen #theory and practice: The Theory and Practice of First-Class Prompts (MF), pp. 180–190.
POPL-1988-JohnsonD #continuation: Stores and Partial Continuations as First-Class Objects in a Language and its Environment (GFJ, DD), pp. 158–168.
CADE-1988-ZhangK #first-order #proving #theorem proving #using: First-Order Theorem Proving Using Conditional Rewrite Rules (HZ, DK), pp. 1–20.
JICSCP-1988-McCroskyK88 #array #prolog #using: Improving First-Class Array Expressions Using Prolog (CM, AJK), pp. 18–25.
PLDI-1987-Johnson #continuation #named: GL — a denotational testbed with continuations and partial continuations as first-class objects (GFJ), pp. 165–176.
STOC-1987-AggarwalA #algorithm #random: A Random NC Algorithm for Depth First Search (AA, RJA), pp. 325–334.
ICALP-1987-Miyano #algorithm #problem: The Lexicographically First Maximal Subgraph Problems: P-Completeness and NC Algorithms (SM), pp. 425–434.
SIGIR-1987-Losee #database #documentation #modelling #random #retrieval: The Effect of Database Size on Document Retrieval: Random and Best-First Retrieval Models (RML), pp. 164–169.
OOPSLA-1987-Cointe #lisp: Metaclasses are First Class: the ObjVlisp Model (PC), pp. 156–167.
OOPSLA-1987-McCullough: Transparent Forwarding: First Steps (PLM), pp. 331–341.
POPL-1987-GelernterJL: Environments as First Class Objects (DG, SJ, TL), pp. 98–110.
LICS-1987-BachmairD #first-order #proving #theorem proving: Inference Rules for Rewrite-Based First-Order Theorem Proving (LB, ND), pp. 331–337.
LICS-1987-Emden #first-order #functional #logic #programming #relational: First-order Predicate Logic as a Common Basis for Relational and Functional Programming (Abstract) (MHvE), p. 179.
LICS-1987-Thomas #first-order #infinity #logic #on the: On Chain Logic, Path Logic, and First-Order Logic over Infinite Trees (WT), pp. 245–256.
PODS-1986-Naqvi #first-order #query: Negation as Failure for First-Order Queries (SAN), pp. 114–122.
ICALP-1986-Lai #communication #detection #distributed #termination: A Termination Detector for Static and Dynamic Distributed Systems with Asynchronous Non-first-in-first-out Communication (Extended Abstract) (THL), pp. 196–205.
OOPSLA-1986-LangP #named #object-oriented: Oaklisp: an Object-Oriented Scheme with First Class Types (KJL, BAP), pp. 30–37.
CADE-1986-BuningL #first-order #satisfiability: Classes of First Order Formulas Under Various Satisfiability Definitions (HKB, TL), pp. 553–563.
LICS-1986-Gunter #axiom: The Largest First-Order-Axiomatizable Cartesian Closed Category of Domains (CAG), pp. 142–148.
LICS-1986-Mason #equivalence #first-order #lisp #proving #source code: Equivalence of First Order LISP Programs. Proving Properties of Destructive Programs via Transformation (IAM), pp. 105–117.
SLP-1985-UmrigarP85 #empirical #first-order #logic #programming: An Experiment in Programming with Full First-Order Logic (ZDU, VP), pp. 40–47.
PODS-1984-AbiteboulB #normalisation: Non First Normal Form Relations to Represent Hierarchical Organized Data (SA, NB), pp. 191–200.
SLP-1984-AponteFR84 #editing #first-order #proving: Editing First-Order Proofs: Programmed Rules vs Derived Rules (MVA, JAF, PR), pp. 92–98.
VLDB-1983-ArisawaMM #database #relational: Operations and the Properties on Non-First-Normal-Form Relational Databases (HA, KM, TM), pp. 197–204.
DAC-1982-Grass #algorithm #bound: A depth-first branch-and-bound algorithm for optimal PLA folding (WG), pp. 133–140.
PODS-1982-JaeschkeS #algebra #normalisation: Remarks on the Algebra of Non First Normal Form Relations (GJ, HJS), pp. 124–138.
CADE-1982-HenschenN #database #first-order #infinity #recursion #representation #sequence: Representing Infinite Sequences of Resolvents in recursive First-Order Horn Databases (LJH, SAN), pp. 342–359.
STOC-1980-Yap #first-order #problem #source code #trade-off: Space-time Tradeoffs and First Order Problems in a Model of Programs (CKY), pp. 318–325.
POPL-1979-CartwrightM #first-order #logic #programming: First Order Programming Logic (RC, JM), pp. 68–80.
SIGMOD-1978-Nicolas #dependence #first-order #formal method #functional #logic #multi: First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies (JMN), pp. 40–46.
STOC-1972-JonesS #first-order #similarity #turing machine: Turing Machines and the Spectra of First-Order Formulas with Equality (NDJ, ALS), pp. 157–167.
SHARE-1965-Falkoff #automation #design #process: Formal description of processes — the first step in design automation (ADF).