Home
Address
Schedule
Personal
Research
Publications
Supervised MSc Theses
Ph D Students
Master Students
Reports
Talks
Downloads
Projects
Helium
Holmes
Marble
Neon
Top
Open projects
Master projects
Experimentation projects
Teaching
APA | COSC Coll
EA | B3SO
SP My other websites
IFL Symposia Axiom of Choice
iO Pages
Master OAC
Center
Master Program
Stc
Web Index
Hage
- AConstraint-basedBottom-upStrictnessAnalysisForHaskell
- AFrameworkForDynamicReal-TimeNavigation
- Address
- AnalyseOpDotNetSoftware
- AnalysisOfHeliumProgramsObtainedThroughLogging
- AnalyzingErrorsInHeliumLoggings
- AutomatedNormExtractionFromLegalTexts
- BalancingCostAndPrecisionForPythonSoftTyping
- BindingTimeAnalysisWithSubeffecting
- Cross-languageDependencyAnalysis
- DesignAndImplementationOfAUMLOCLCompiler
- Downloads
- EfficientInstructionSelectionUsingAttributeGrammars
- ExperimentationProjects
- Feedback-OrientedSecurityAnalysis
- FunctionalDesignPatterns
- Guidelines
- Holmes
- ImprovedUniquenessTypingForHaskell
- ImprovingAutomatedFeedback-BuildingAGenericRule-FeedbackGenerator
- ImprovingTypeErrorMessagesForGenericJava
- InProgress
- ManipulatingSoftwareDependenceGraphsToIncreaseSystemUnderstanding
- Marble
- MasterProjects
- MasterStudents
- MentorStudents
- ModelsForMeasuringPerformanceImpactOfGPUOptimisations
- NLALRParsing
- Neon
- OlderActivities
- PatternMatchAnalysisForHaskell
- Personal
- PhDStudents
- PlagiarismDetectionForHaskell
- PlagiarismDetectionInHaskellProgramsUsingCallGraphMatching
- PolyvariantEscapeAnalysis
- PublicationList
- Publications
- PublicationsByType
- PublicationsByTypeByYear
- PublicationsByYear
- QualityMeasuresForInjectedSQL
- RepairSystems-AutomaticCorrectionOfTypeErrorsInFunctionalPrograms
- ResearchTalks
- Resources
- RevDotNet:EenAssistantVoorGecompileerdeDotNetCode
- ScheduleAndTravelPlans
- SoftTypingAndCodingStylesForPHP
- StaticAnalysisForGPUs
- StrictnessAnalysisForUHC
- SupervisedMScTheses
- SwitchingClasses
- TeachingPortfolio
- TheSoftwareChopShop
- WebChanges
- WebCustomMenus
- WebHome
- WebIndex
- WebLeftBar
- WebLog
- WebNews
- WebNotify
- WebPreferences
- WebSearch
- WebStatistics
- WebTools
- WebTopicList