Web Index
Stc
- 2001
- 2002
- 2003
- 2004
- 2005
- 2006
- 2007
- 2008
- 3APLALanguageForDescribingAgentBasedSystems
- ADomain-specificLanguageForGeneratingRichInternetApplications
- AFormalismOfComponentFramework
- AFrameworkToDistilSQLQueriesOutOfHostLanguagesInOrderToApplyQualityMetrics
- AGenericDerivingMechanismForHaskell
- AGenericUsageAnalysisWithSubeffectQualifiers
- ALibraryForLight-WeightInformation-FlowSecurityInHaskell
- ALightweightApproachToDatatype-GenericRewriting
- AProxima-basedHaskellIDE
- AProximaEditorForShuffle:ManipulatingFragmentedTextVisually
- ASOA-enabledEnterpriseContentManagementSystem
- ASurveyOfLegacyMigration
- ASystemAndLanguageForBuildingSystem-Specific,StaticAnalyses
- AbstractInterpretationOfFunctionalProgramsUsingAnAttributeGrammarSystem
- AbstractSyntaxTreesAndI
- AbstractTemplate
- AjaxRichInternetApplications
- AlgorithmicProblemSolving
- AlgorithmicTypeInferencerSpecificationsForDeclarativeTypeSystems
- AnExecutableOperationalSemanticsForPython
- AnIntroductionToProgramTransformation
- AnOptimalImplementationOfTheLambda-calculus
- AnOptimizerForAutoBayes
- AnOptimizerInStrategoForTheHeliumCoreLanguage
- AnalysisOfHeliumProgramsObtainedThroughLogging
- AnsweringReachabilityQueriesOnVeryLargeDirectedGraphs
- ApplicationDomainsForSoftwareTransformationsInPhilipsSemiconductors
- ApplyingAlgebraicSpecificationsAndTestingToJava
- AspectOrientedProgrammingAndDesignPatterns
- AspectOrientedProgrammingWithAspectJInJava
- AttributeEvaluationOnASharedMemoryMultiprocessor
- AttributeGrammarsFlyFirst-Class:HowToDoAspectOrientedProgrammingInHaskell
- AttributeRedefinitionsForSyntaxMacros
- AutomatedAnalysisofUnitTeststoImproveUnderstandingofSoftwareSystems
- AutomatedDiscoveryOfAlgebraicSpecificationsFromJavaClasses
- AutomatedModel-basedAnalysisOfWeb-basedUserInterface(UI)
- AutomaticInstructionSetGeneration
- AutomaticOptimizationOfGPGPUPrograms
- AutomaticProgramAnalysisForDataParallelKernels
- AvoidingTheLazinessTax
- Best-OnlyParsingForNaturalLanguages
- BetterStrategiesForParallelHaskell
- BeyondFunctionalProgrammingInHaskell:AnIntroductionToOCaml
- BeyondKleene:AnAlgebraFor(quantitative)RegularBehaviours
- BinaryRelationalQueryingForStructuralSourceCodeAnalysis
- Binding-TimeAnalysis:SubtypingVersusSubeffecting
- BindingTimeAnalysisForProgramSpecializationInTheESPrantoSynchronousParallelLanguage
- BrewingYourOwnVerificationEngine
- BuildAndReleaseManagementWithANix-basedBuildSystem
- Buildfarms
- BuildingFlashBasedGUISInHaskell
- BuildingGUIsInHaskell
- BuildingProductPopulationsWithKoala2
- BuildingVerificationConditionGeneratorsByCompositionalExtensions
- CLP,ALoadPerformanceFrameworkForTheConclusionTestPlatform
- CVSNoLonger
- Call-graphAnalysisOfPolymorphicConstructsInC#Sources?
- Call-patternSpecializationInHaskell
- ChainsOfRecurrencesWithApplications
- CheckingCorrectUsageOfAPIsByMeansOfStaticAnalysis
- CheckingNon-functionalPropertiesInTheKoalaDomain
- ClassificationOfDevelopmentActivitiesUsingSourceCodeMetrics
- ClickingOnDelimitedContinuations
- CodingStandards
- CollaborativeWebDevelopmentWithWikiWiki
- CombiningForwardAndBackwardParsers
- CommentsAndQuestions
- ComparingDistributedVersionControlSystems
- ComparingLibrariesForGenericProgrammingInHaskell
- ComparingMasonToOtherPlagiarismDetectors
- ComparingProgramPlagiarismDetectionTools
- ComparingTheCombinationOfInclusion-AndParametricPolymorphismInProgrammingLanguages
- CompilerOptimizationForDatabasesProgrammingLanguage
- CompilingHaskellToLLVM
- ComponentCompositionWithScala
- ComposingAndRefining
- ComputationalSemanticsWithFunctionalProgramming
- ComputingScienceColloquium
- ConciseTreeWalksUsingAttributeGrammars:InHaskellAndJava
- ConcreteSyntaxForObjects
- ConcreteSyntaxForObjectsSpecialEdition
- ConnectingXMLProcessingAndTermRewritingWithTreeGrammars
- ConstraintBasedTypeInferenceInHelium
- ConstraintsForTypeClassExtensions
- ConstructingAndComposingEfficientTop-downParsersAtRuntime
- CoordinationAndReconfigurationInReo
- CourseAssignments
- CourseDescription
- CourseLiterature
- CourseSchedule
- CreatingWebapplicationsUsingHaskell
- Curry,ATrulyIntegratedFunctionalLogicLanguage
- DSTM2:AFlexibleAndExtensibleTransactionalMemoryFramework
- DataParallelHaskell
- DatatypeGenericProgrammingInJava
- DebuggingHaskellProgramsByAskingTheOracle
- DeclarativeGraphRewriting
- DeclarativeProgrammingOfInteractiveSystemsWithGrapefruit
- DecouplingSourceTreesIntoBuild-LevelComponents
- DelegationInJava
- DeliverAndTheCaseStudyAtExactSoftware
- DependencyAnalysisInAttributeGrammars
- DependentlyTypedGrammarTransformations
- DesignAndImplementationOfEmbeddedDomain-SpecificLanguages
- DesignOfAFunctionalityLanguage
- DesigningAndImplementingAnOCLCompiler
- DevelopingInteractingDomainSpecificLanguages
- DevelopingOfAWebCubePrototype
- DevelopingXMLApplicationsWithApacheCocoon
- DiscretizationOfContinuous-valuedFeatureVariablesInNaiveBayesianNetworks
- DistantPast
- DitaZonderPijn
- DynamicArchiveManagement:AFrameworkForDynamicDatabaseSchemas
- DynamicAspectsOfPython
- DynamicTypingInCs4
- DynamicUpdatingForTheJVM
- EMMA:AFreeCodeCoverageTool
- EducationPage
- EfficientUpgrading
- EmbeddingPostfixLanguagesInHaskell
- EmpiricalResearchWithinSoftwareEngineering
- Equality-BasedUniquenessTyping
- EvaluatingRepositoriesStandardsTechniquesAndPerformanceSimulation
- EvaluatingThePerformanceOfWebApplications
- EvolutionOfAHaskellProgrammer
- ExceptionalGRIN
- ExceptionalModelMining
- ExplicitImplicitParameters
- ExploitingAlgebra-CoalgebraDualityForProgramFusionExtensions
- ExploitingHardwareErrors
- ExtendingASimpleFunctionalProgrammingLanguageWithDependentTypes
- ExtendingT2WithPrimePathCoverageExploration
- ExtendingTheUHCLLVMBackend:AddingSupportForAccurateGarbageCollection
- ExtendingXSLT
- ExtensibleRecordsWithScopedLabels
- FSharp-AFunctionalProgrammingLanguageWithinTheDotNETFramework
- FeedbackInAnInteractiveEquationSolver
- FeedbackOrientedSecurityAnalysis
- FinalPresentationsOfAdvancedCompilerConstructionSeminar
- First-classPolymorphismWithExistentialTypes
- FirstClassTreeTraversalIdiomsWithNestedAttributeGrammars
- FromNaturalSemanticsToStratego
- FunWithAttributeGrammars
- FunctionalDesignPatterns
- FunctionalDesignPatterns:StructuredReuseOfFunctionality
- FunctionalMetapostToolDemo
- FunctionalProgrammingInC++
- FunctionalReactiveProgramming
- FunctionalSelf-AdjustingProgramming
- FunctioneleDesignPatternsEnUserInterfacePatterns
- FunctioneleDesignPatternsVervolg
- GADTsInEHC
- GPUPerformancePredictionUsingParametrizedModels
- GarbageCollection
- GeneralizedType-BasedDisambiguationOfMetaProgramsWithConcreteObjectSyntax
- GeneratingGenericFunctions
- GeneratingSyntaxDiagramsFromEBNFWithAG
- GenerativeProgrammingByMixingJavaAndBytecode
- GenericGraphicalUserInterfaces
- GenericInconsistencyManagement
- GenericProgrammingWithFixedPointsForParametrizedDatatypes
- GenericSelectionsOfSubexpressions
- GenericType-safeDiffAndPatchForFamiliesOfDatatypes
- GenericValidationOfXPathDataBindings
- GenericViewsForGenericTypes
- GenericViewsOnDataTypes
- GenericsInJava
- GenuinelyFunctionalUserInterfaces
- GerardMichelsAbstract
- Grading
- GraphAlgorithmicTechniquesForPlagiarismDetection
- HavingFunWithRPM
- HermansRingAProgram-logicAnalysis
- HeuristicsForTypeErrorDiscoveryAndRecoveryInHelium
- Holmes:HuntingForHaskellFrauds
- HomogeneousMultiprocessingForTheMasses
- Hoopl:DataflowOptimizationsMadeEasy
- Hume:AFunctionally-basedDomainSpecificLanguageTargetingReal-timeEmbeddedSystems
- ICP:InteractiveCParallelization
- IDEAS:ImprovingTheFunctionalProgrammingDomain
- ImplementingADependentlyTypedLambdaCalculus
- ImplementingTraitsInJava
- ImposingAMemoryManagementDisciplineOnSoftwareDeployment
- ImpredicativeHigher-RankTypes
- ImprovingAndCustomizingData-flowTransformationsForObject-OrientedPrograms
- ImprovingAutomatedFeedback-BuildingAGenericRule-FeedbackGenerator
- ImprovingTypeErrorDiagnosticsForGenericJava
- ImprovingTypeErrorMessagesForGenericJava
- IncommunicadoEfficientCommunicationForIsolates
- InstanceChains:TypeClassProgrammingWithoutOverlappingInstances
- IntelligentProgrammingTutors
- InteractiveLoopParallelizationForCPrograms
- IntermediateSequenceRemoval
- InteroperabilityInPolylingualSoftwareSystems
- IntroductionAndComparationOfMobileAgentSystems
- IntroductionToJava2MicroEdition
- IntroductionToProgramAnalysis
- IntroductionToScala:AMulti-paradigmProgrammingLanguage
- Iteratee:TeachingAnOldFoldNewTricks
- IterateeIO--Safe,Practical,Declarative,IncrementalInputProcessing
- JML:ANotationForSpecifyingTheDetailedDesignOfJavaClassesAndInterfaces
- JastAdd
- JavaPathfinder
- JavaScript:PrototypeBasedInheritanceAndAnonymousFunctions
- JavascriptHaskellscript!!
- Kernelisation:AnalysisOfPreprocessing
- KeywordProgramming
- LaTeXPackage
- LanguageFeaturesForProgramMonitoring
- LanguageIntegratedQuery(LINQ)ForTheDotNETFramework
- LearningWithMonotonicityConstraints
- Lhs2Tex
- LightweightStaticGuarantees
- LiteratureList
- MakingStricternessMoreRelevant
- ManagingConsistencyBetweenDependentObjects
- ManagingStateInAPurelyFunctionalDeploymentModel
- MapReduce
- MastersAttendance
- MiningHeliumProgramsWithNeon
- MiningMetricsToPredictComponentFailures
- MobileAgents
- Mocha
- Model-BasedTestingWithSpecExplorer
- ModularPredicateTransformerSemantics
- ModularSemantics
- MultipleInheritance
- Neon,AnalyzingErrorsInHelium
- Nix:AFunctionalPackageManager
- NixASafeAndPolicy-FreeSystemForSoftwareDeployment
- NixOS:TheNixBasedOperatingSystem
- NixOSAStatusReport
- NoCode,JustGlory
- Non-CanonicalLALR(k)Parsing
- NopAnWebASystemForAutomaticSupportToWebApplicationVerification
- Object-RelationalMappingWithHibernate
- ObjectPersistenceInJ2EE
- ObjectsToUnifyTypeClassesAndGADTs
- OnTheRoleOfMinimalTypingDerivationsInType-drivenProgramTransformation
- OnlineLinearPrettyPrinting
- OptimizingAttributeGrammars
- OptimizingClosuresInLazyFunctionalLanguages
- OptimizingDazzle
- OverviewOfTheProximaGenericXMLEditor
- PHP-Sat-AnalyzingPHP
- ParallelExtensions
- PersistentDataStructuresInHaskell
- PlanningOfMedicationAdministrations
- Plug-and-playAttributeGrammars
- PolishParsersStepByStep
- PolyvariantEscapeAnalysis
- Position-BasedQuantumCryptography:ImpossibilityAndConstructions
- PowerOfPi
- PracticalAndGenericIncrementalization
- PreservingOrderInNon-orderPreservingParsers
- ProbabilityEstimationAndCompetenceModelsForRuleAndStrategy-basedE-TutoringSystems
- ProgramPlagiarismDetectionWithMarble
- ProgramVerification
- ProgramVerificationWithObjectInvariantsOnTheExampleOfSpec
- ProgrammingInD
- ProgrammingTheWebWithGenericEditorComponents
- ProgrammingWithRectanglesTrianglesAndCircles
- ProtocolAndInterfaceTestingWithTheConclusionTestPlatform
- ProvingProgramPropertiesAutomaticallyWithAgdaLight
- Proxima2WYSIWYGGenericEditingForTheWeb
- ProximaInPractice
- PugsBootstrappingPerl6WithHaskell
- PurelyFunctionalSystemConfigurationManagement
- QualifiedTypesAndMFL
- QualityOfServiceForRemoteUI
- QuickCheckingYourJavaClassesWithT2
- RainbowtablesAndPasswordProtection
- Record-basedLogging
- RecordOrientedProgramming
- Reflex:AVersatileKernelForMulti-languageAOP
- RelationsAsAFirst-ClassCitizenInJava
- RequirementsForAHuman-CentricTrustManagementSystemInAnOpenDe-PerimeterisedNetworkEnvironment
- ResearchAndEducationInProductSoftware
- RevenueManagementInKLM:WhyAndHowWeDifferentiateInTicketPricesAndOverbooking
- RewritingHaskellStrings
- RoadMap
- RulerProgrammingTypeRules
- SchedulingClassroomsForTheBetaFaculty
- Schema-BasedSynthesisOfDataAnalysisPrograms
- ScreenweaverOpenSource
- SecureSharingBetweenUntrustedUsersInATransparentSourceBinaryDeploymentModel
- SensitivityInGraphicalModels:BayesianNetworkSensitivityFunctionsForArcRemovalAndHiddenMarkovModels
- SessionTypesInHaskell
- Seuss-wayOfMulti-programming
- ShiftingTheStage
- Silk:MakingTheSemanticWebFunctional
- SimilarCourses
- SimplifyingEJBDevelopmentWithEJB3_0
- SiteMap
- SlicingIt:IndexedContainersInHaskell
- SmartRegressionTestingWithT2
- SoftTypingAndAnalysesForPHPPrograms
- SoftwareTechnologyColloquiumExcerpt
- SoftwareTransactionalMemory
- SourceModelAnalysisAnEvaluationOfTheJJTravelerVisitorCombinatorFramework
- SpatialLogicATutorialIntroduction
- Spicey,TranslatingEntityRelationshipModelsIntoFunctionalPrototypicApplications
- SpreadingTheJoy
- StaticContractCheckingForHaskell
- StaticTesting:UsingTheWeakestPre-condition
- StrategiesForDirectedGenerationOfTestSequences
- StrictifyingAttributeEvaluation
- StrictnessOptimizationInATypedIntermediateLanguage
- Subversion
- SuccesvolInformatiserenVanMaatschappelijkeKetens
- SummaryOfPointerAnalysisTechniques
- Swift:AScriptingSystemForHighPerformanceComputing
- THEMIS:FrameworkForAutomatedTestingOfGraphicalUserInterfaces
- TappingThePowerOfOpenCLForHaskellArithmetic
- TeachingInBolivia
- TerminatingCombinatorParsersInAgda
- TerminationCheckingInThePresenceOfMixedInductionAndCoinduction
- TheBurrows-WheelerTransform
- TheCurrentAndFutureOptimizationsPerformedByTheJavaHotSpotCompiler
- TheDefaultCaseInHaskell:CounterpartyCreditRiskCalculationAtABNAMRO
- TheEQuillEditor
- TheEdutainmentSensorPlatform
- TheEvolutionOfTheJavaMemoryModel
- TheGenericParadigm
- TheHaskellApplicationServer
- TheICFPContest2007
- TheICFPProgrammingContest
- ThePestoFramework
- ThePizzaCompiler:ExtendingJavaInAFunctionalWay
- TheQuinitySolutionDeliveryEnvironment
- TheRosettaMachineTranslationSystem
- TheSTCCoordinator
- TheSoftwareProductManagementWorkbench:AToolSupportingTheDailyActivitiesOfTheProductManager
- TheSpringFramework
- TheStateOfArtOfSoftwareComponentsAtPhilips:ResearchAndPractice
- TheStructureOfTheEssentialHaskellCompiler,OrCopingWithCompilerComplexity
- TheSystemAnalysisToolkit
- TheZipper
- Trace-basedLogicTesting
- TransformationToolComposition
- TreatingDesignPatternsMoreFormally
- TrendsInSoftwareEvolution
- TypeClassDirectives
- TypeInferenceForGenericHaskell
- TypeIsomorphismsSimplifyXMLProgramming
- TypeSafeSelfInspectingCode
- TypeSystemsUsingNextGenerationAttributeGrammars
- TypedContractsForFunctionalProgramming
- TypedQuoteAntiquote
- TypedTransformationsOfTypedAbstractSyntax
- UNITYCBS
- UnifyingTablesObjectsAndDocument
- UniquenessTyping
- UniversesForGenericPrograms
- UsefulLinks
- UsingPythonGeneratorsInMultiplexingServers
- Valgrind
- VectorLLVA
- WebChanges
- WebCube:2ndPrototypeAndTheTheoryBehind
- WebCustomMenus
- WebFunctions
- WebHome
- WebIndex
- WebLeftBar
- WebNews
- WebNotify
- WebPortalsAndServersideIntegration
- WebPreferences
- WebSearch
- WebStatistics
- WebTools
- WebTopicList
- WebservicesVoorB2B
- WhenInDoubt,BeIndecisive
- WirelessSensorNetworkFlowColumnGeneration
- WisselJeWachtwoordWisselaar:WouldYOUTrustYourGovernmentToGenerateYourPasswords
- WorkflowDescriptionLanguageComparison
- XComprezOverviewAndPlans
- XDocAnExtendibleDocumentationGenerator
- XMECHTowardsScalableSoftwareVerification
- Xbayes