Eerke Boiten - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged refinement

Relational Concurrent Refinement: AutomataJohn Derrick, Eerke Boiten. ENTCS, 259:21-34, 2009. [doi]

Relational concurrent refinement part II: Internal operations and outputsEerke Boiten, John Derrick, Gerhard Schellhorn. fac, 21(1-2):65-102, 2009. [doi]

Modelling Divergence in Relational Concurrent RefinementEerke Boiten, John Derrick. IFM 2009: 183-199 [doi]

Reduction and RefinementEerke Boiten, Dan Grundy. ENTCS, 201:31-44, 2008. [doi]

More Relational Concurrent Refinement: Traces and Partial RelationsJohn Derrick, Eerke Boiten. ENTCS, 214:255-276, 2008. [doi]

Service RefinementJifeng He. apsec 2008: 5 [doi]

Some refinements on fixed income performance attributionG. M. Zambruno. eor, 185(3):1574-1577, 2008. [doi]

Relational Concurrent Refinement with Internal OperationsJohn Derrick, Eerke Boiten. ENTCS, 187:35-53, 2007. [doi]

Refinement and Theorem ProvingPanagiotis Manolios. sfm 2006: 176-210 [doi]

Finding the Smallest Eigenvalue by the Inverse Monte Carlo Method with RefinementVassil N. Alexandrov, Aneta Karaivanova. iccS 2005: 766-774 [doi]

A Dynamic Mpi-openmp Model for Structured Adaptive Mesh RefinementJarmo Rantakokko. ppl, 15(1-2):37-48, 2005. [doi]

Representation of Zn(II) complexes in polarizable molecular mechanics. Further refinements of the electrostatic and short-range contributions. Comparisons with parallel ab initio computationsNohad Gresh, Jean-Philip Piquemal, Morris Krauss. jcc, 26(11):1113-1130, 2005. [doi]

Recent Advances in RefinementJohn Derrick, Eerke Boiten. asmta 2003: 33-56 [doi]

Relational Concurrent RefinementJohn Derrick, Eerke Boiten. fac, 15(2-3):182-214, 2003. [doi]

Refinement and Hierarchical Coarsening Schemes for Triangulated SurfacesJosé P. Suárez, Angel Plaza. wscg 2003: [doi]

Loose Specification and Refinement in ZEerke Boiten. zum 2002: 226-241 [doi]

Unifying concurrent and relational refinementEerke Boiten, John Derrick. ENTCS, 70(3):94-131, 2002. [doi]

Parallel Adaptive Mesh Refinement with Load Balancing for Finite Element MethodSergey Kopyssov, Alexander Novikov. pact 2001: 266-276 [doi]

Refinement of actions and equivalence notions for concurrent systemsRob J. van Glabbeek, Ursula Goltz. ACTA, 37(4/5):229-327, 2001. [doi]

Some refinements of the Hodge decomposition and applicationsAdele Ferone, Mohamed Amin Jalal, Jean-Michel Rakotoson, Roberta Volpicelli. appml, 14(1):75-79, 2001. [doi]

Guards, Preconditions, and Refinement in ZRalph Miarka, Eerke Boiten, John Derrick. zum 2000: 286-303 [doi]

Liberating Data RefinementEerke Boiten, John Derrick. mpc 2000: 144-166

Refinement of objects and operations in Object-ZJohn Derrick, Eerke Boiten. fmoods 2000: 257

A Case Study in Partial Specification: Consistency and Refinement for Object-ZChris J. Taylor, John Derrick, Eerke Boiten. icfem 2000: 177 [doi]

Local Refinement in Non-overlapping Domain DecompositionVeselin Dobrev, Panayot Vassilevski. naa 2001: 253-264 [doi]

Total-Correctness Refinement for Sequential Reactive SystemsPaul B. Jackson. tphol 2000: 320-337

Non-atomic Refinement in ZJohn Derrick, Eerke Boiten. FM 1999: 1477-1496 [doi]

Testing Refinements of State-based Formal SpecificationsJohn Derrick, Eerke Boiten. stvr, 9(1):27-50, 1999.

Multigrid high-order mesh refinement techniques for composite grid electrostatics calculationsThomas L. Beck. jcc, 20(16):1731-1739, 1999. [doi]

Testing Refinements by Refining TestsJohn Derrick, Eerke Boiten. zum 1998: 265-283

Weak Refinement in ZJohn Derrick, Eerke Boiten, Howard Bowman, Maarten Steen. zum 1997: 369-388

Invariants, Bisimulations and the Correctness of Coalgebraic RefinementsBart Jacobs. amast 1997: 276-291

Beta-Sheet Prediction Using Inter-Strand Residue Pairs and Refinement with Hopfield Neural NetworkMinoru Asogawa. ismb 1997: 48-51

Comparing LOTOS and Z Refinement RelationsJohn Derrick, Howard Bowman, Eerke Boiten, Maarten Steen. forte 1996: 501-516

Consistency and Refinement for Partial Specification in ZEerke Boiten, John Derrick, Howard Bowman, Maarten Steen. FM 1996: 287-306

Action Refinement and Property Inheritance in Systems of Sequential AgentsMichaela Huhn. concur 1996: 639-654

Methodological Aspects of Action RefinementArend Rensink. procomet 1994: 227-246

Mechanized Support for Stepwise RefinementJan L. A. van de Snepscheut. plsa 1994: 35-48

Symbolic Local Refinement of Tetrahedral GridsDelma J. Hebert. JSC, 17(5):457-472, 1994.

Refinement of an inequality of G. BennettHorst Alzer. DM, 135(1-3):39-46, 1994. [doi]

A Refinement of Communicating ProcessesSylvie Damy, Guy-René Perrin. parle 1992: 949-950

Refinement, Conformance and InheritanceElspeth Cusack. fac, 3(2):129-141, 1991.

Equivalences and RefinementRob J. van Glabbeek, Ursula Goltz. litp 1990: 309-333

Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, ProceedingsJ. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg, editors, Volume 430 of Lecture Notes in Computer Science, Springer, 1990.

Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract)Rob J. van Glabbeek, Ursula Goltz. mfcs 1989: 237-248

Various Simulations and RefinementsJifeng He. rex 1990: 340-360

5-connected 3-polytopes are refinements of octahedraDavid W. Barnette. JCT, 42(2):250-254, 1987. [doi]

Stepwise refinement revisitedVaclav Rajlich. jss, 5(1):81-88, 1985. [doi]

On Correct Refinement of ProgramsRalph-Johan Back. jcss, 23(1):49-68, 1981.

Finite Element Mesh Refinement Algorithm Using Element ResidualsGraham F. Carey, D. L. Humphrey. ode 1979: 243-249

runs on WebDSL