Frank S. de Boer - Concepedia

Author

Frank S. de Boer

Also Known As

Boer, F.S. (Frank) de, Boer, Frank S, Bonsangue, Marcello M, De Boer, Frank, De Boer, Frank S., F. Boer, F. S de Boer, F. S. Boer, F. S. de Boer, F.S de Boer

275

Publications

4.8K

Citations

H-Index

Concepts

All Affiliations

Centrum Wiskunde & Informatica Utrecht University Leiden University University of Tehran University of Oslo

About

Frank S. de Boer is an author at Centrum Wiskunde & Informatica specializing in engineering, formal methods, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	22	39	1.4K
2	Language Studies	3	3	54
3	Business	2	2	32
4	Management	2	2	99
5	Social Sciences	2	2	57

Frank S. de Boer

Publications

1.9K

Citations

H-Index

Page 1

	Year	Citations
Agent Programming in 3APL Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, Autonomous Agents and Multi-Agent Systems	1999	364
Modeling and Verification of Reactive Systems using Rebeca Marjan Sirjani, Ali Movaghar, Amin Shali, Fundamenta Informaticae EngineeringVerificationModel CheckingSoftware AnalysisFormal Verification	2004	158
A Timed Concurrent Constraint Language Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo Information and Computation EngineeringConcurrent ProgrammingConcurrency TheoryFormal MethodsParallel Programming	2000	91
Formalizing UML Models and OCL Constraints in PVS Marcel Kyas, Harald Fecher, Frank S. de Boer, Electronic Notes in Theoretical Computer Science Prototype ToolEngineeringConstraintsVerificationSoftware Engineering	2005	89
Change impact analysis of enterprise architectures Frank S. de Boer, Marcello Bonsangue, Luuk Groenewegen, Architectural DesignSoftware MaintenanceSoftware Architecture ModelingEngineeringArchitecture Analysis	2005	67
A verification framework for agent programming with declarative goals Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, Journal of Applied Logic Formal SpecificationEngineeringAutomated ReasoningVerificationFormal Methods	2006	65
Proving concurrent constraint programs correct Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, ACM Transactions on Programming Languages and Systems Constraint SolvingFormal SpecificationEngineeringConstraint SatisfactionAutomated Reasoning	1997	63
Nondeterminism and infinite computations in constraint programming Frank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi Theoretical Computer Science Mathematical ProgrammingConstraint SolvingEngineeringConstraint SatisfactionFormal Methods	1995	60
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS Elvira Albert, Frank S. de Boer, Reiner Hähnle, Service Oriented Computing and Applications Real-time AbsProvisioning (Technology)EngineeringCloud SchedulingCloud Computing	2013	57
Agent Programming with Declarative Goals Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, ArXiv.org Artificial IntelligenceAgent Development ToolAgent Programming FrameworksEngineeringAgent Decision-making	2002	52

Page 1