Michael Tautschnig - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged refinement

Don t care in SMT: building flexible yet efficient abstraction/refinement solversAndreas Bauer 0002, Martin Leucker, Christian Schallhart, Michael Tautschnig. STTT, 12(1):23-37, 2010. [doi]

Refinements for Retrieval and Adaptation of the CookIIS ApplicationAlexandre Hanft, Norman Ihle, Régis Newo. wm 2009: 139-153

Service RefinementJifeng He. apsec 2008: 5 [doi]

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

Horn Query Learning with Multiple RefinementJosefina Sierra, Josefina Santibáñez. seal 2008: 503-513 [doi]

Electromagnetic particle-in-cell simulations on magnetic reconnection with adaptive mesh refinementKeizo Fujimoto, Richard D. Sydora. cphysics, 178(12):915-923, 2008. [doi]

Simulation Refinement for Concurrency VerificationWim H. Hesselink. ENTCS, 214:3-23, 2008. [doi]

Don t care in SMT-Building flexible yet efficient abstraction/refinement solversAndreas Bauer 0002, Martin Leucker, Christian Schallhart, Michael Tautschnig. ISoLA 2007: 135-146

Breaking EXTENDS relationships for use/misuse/mitigation use case refinementJoshua J. Pauli. sede 2007: 76-80

An Iterative Refinement Technique for Side Information Generation in DVCW. A. Rajitha Jayaruwan Weerakkody, Warnakulasuriya Anil Chandana Fernando, José Luis Martínez, Pedro Cuenca, Francisco J. Quiles. icmcs 2007: 164-167 [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]

On the expressive power of CSP refinementA. W. Roscoe. fac, 17(2):93-112, 2005. [doi]

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

A Refinement of the µ-measure for Stack ProgramsEmanuele Covino, Giovanni Pani. ENTCS, 90(1):37-44, 2003. [doi]

Concurrent Remembered Set Refinement in Generational Garbage CollectionDavid Detlefs, Ross Knippel, William D. Clinger, Matthias Jacob. jvm 2002: 13-26 [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]

Reformulation: A Way to Combine Dynamic Properties and B RefinementFrançoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko. FM 2001: 2-19 [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

Power Simulation and its Relation to Traces and Failures RefinementPaul Gardiner. ENTCS, 32:78-100, 2000. [doi]

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

Electromagnetic parasitic extraction via a multipole method with hierarchical refinementMichael W. Beattie, Lawrence T. Pileggi. iccad 1999: 437-444 [doi]

The Approximate Cell Decomposition with Local Node Refinement Global Path Planning Method: Path Nodes Refinement and Curve Parametric InterpolationNikos I. Katevas, Spyros G. Tzafestas, Christos G. Pnevmatikatos. jirs, 22(3-4):289-314, 1998. [doi]

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

An ::::n:::: log ::::n:::: Algorithm for Online BDD RefinementNils Klarlund. cav 1997: 107-118

The Selection of Training Cases for Automated Knowledge RefinementGareth J. Palmer, Susan Craw. eurovav 1997: 205-215

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]

Inductive Inference by RefinementPhilip D. Laird. AAAI 1986: 472-476

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

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

Algorithm 544: L2A and L2B, Weighted Least Squares Solutions by Modified Gram-Schmidt with Iterative Refinement [F4]Roy H. Wampler. TOMS, 5(4):494-499, 1979. [doi]

Solutions to Weighted Least Squares Problems by Modified Gram-Schmidt with Iterative RefinementRoy H. Wampler. TOMS, 5(4):457-465, 1979. [doi]

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

runs on WebDSL