Ma, Ran; Sun, WaiChing; Picu, Catalin R.; Sewell, Tommy Domain partitioning material point method for simulating shock in polycrystalline energetic materials. (English) Zbl 07644868 Comput. Methods Appl. Mech. Eng. 404, Article ID 115815, 30 p. (2023). MSC: 74-XX 76-XX PDFBibTeX XMLCite \textit{R. Ma} et al., Comput. Methods Appl. Mech. Eng. 404, Article ID 115815, 30 p. (2023; Zbl 07644868) Full Text: DOI
Pollicott, Mark; Sewell, Benedict Explicit examples of resonances for Anosov maps of the torus. (English) Zbl 1516.37048 Nonlinearity 36, No. 1, 110-132 (2023). Reviewer: Dahisy Lima (Santo André) MSC: 37E30 37C05 37D20 37A25 PDFBibTeX XMLCite \textit{M. Pollicott} and \textit{B. Sewell}, Nonlinearity 36, No. 1, 110--132 (2023; Zbl 1516.37048) Full Text: DOI arXiv
Davis, A.; Hobson, P. J.; Smith, T. X.; Morley, C.; Sewell, H. G.; Cotter, J.; Fromhold, T. M. Bi-planar magnetic stabilisation coils for an inertial sensor based on atom interferometry. arXiv:2312.05020 Preprint, arXiv:2312.05020 [physics.atom-ph] (2023). BibTeX Cite \textit{A. Davis} et al., ``Bi-planar magnetic stabilisation coils for an inertial sensor based on atom interferometry'', Preprint, arXiv:2312.05020 [physics.atom-ph] (2023) Full Text: arXiv OA License
Vlassis, Nikolaos N.; Zhao, Puhan; Ma, Ran; Sewell, Tommy; Sun, WaiChing Molecular dynamics inferred transfer learning models for finite-strain hyperelasticity of monoclinic crystals: Sobolev training and validations against physical constraints. (English) Zbl 07768010 Int. J. Numer. Methods Eng. 123, No. 17, 3922-3949 (2022). MSC: 74B20 74E15 74A25 68T05 68T07 PDFBibTeX XMLCite \textit{N. N. Vlassis} et al., Int. J. Numer. Methods Eng. 123, No. 17, 3922--3949 (2022; Zbl 07768010) Full Text: DOI arXiv
Pavlik, John A.; Sewell, Edward C.; Jacobson, Sheldon H. Iterative deepening dynamically improved bounds bidirectional search. (English) Zbl 07551220 INFORMS J. Comput. 34, No. 2, 974-989 (2022). MSC: 90-XX PDFBibTeX XMLCite \textit{J. A. Pavlik} et al., INFORMS J. Comput. 34, No. 2, 974--989 (2022; Zbl 07551220) Full Text: DOI
Pollicott, Mark; Sewell, Benedict An elementary proof that the Rauzy gasket is fractal. arXiv:2207.05003 Preprint, arXiv:2207.05003 [math.DS] (2022). MSC: 28A80 28A78 BibTeX Cite \textit{M. Pollicott} and \textit{B. Sewell}, ``An elementary proof that the Rauzy gasket is fractal'', Preprint, arXiv:2207.05003 [math.DS] (2022) Full Text: arXiv OA License
Sewell, Daniel K.; Penney, Journey; Jay, Melissa; Zhang, Ying; Paulsen, Jane S. Predicting an optimal composite outcome variable for Huntington’s disease clinical trials. (English) Zbl 1521.62470 J. Appl. Stat. 48, No. 7, 1339-1348 (2021). MSC: 62-XX PDFBibTeX XMLCite \textit{D. K. Sewell} et al., J. Appl. Stat. 48, No. 7, 1339--1348 (2021; Zbl 1521.62470) Full Text: DOI Link
Pavlik, John A.; Sewell, Edward C.; Jacobson, Sheldon H. Two new bidirectional search algorithms. (English) Zbl 1478.90136 Comput. Optim. Appl. 80, No. 2, 377-409 (2021). MSC: 90C35 90C59 PDFBibTeX XMLCite \textit{J. A. Pavlik} et al., Comput. Optim. Appl. 80, No. 2, 377--409 (2021; Zbl 1478.90136) Full Text: DOI
Pollicott, Mark; Sewell, Benedict An upper bound on the dimension of the Rauzy gasket. arXiv:2110.07264 Preprint, arXiv:2110.07264 [math.DS] (2021). BibTeX Cite \textit{M. Pollicott} and \textit{B. Sewell}, ``An upper bound on the dimension of the Rauzy gasket'', Preprint, arXiv:2110.07264 [math.DS] (2021) Full Text: arXiv OA License
Pollicott, Mark; Sewell, Benedict An infinite interval version of the {\alpha}-Kakutani equidistribution problem. arXiv:2103.10235 Preprint, arXiv:2103.10235 [math.DS] (2021). BibTeX Cite \textit{M. Pollicott} and \textit{B. Sewell}, ``An infinite interval version of the {\alpha}-Kakutani equidistribution problem'', Preprint, arXiv:2103.10235 [math.DS] (2021) Full Text: arXiv OA License
Bishop, Steve; Fairbairn, Matthew; Mehnert, Hannes; Norrish, Michael; Ridge, Tom; Sewell, Peter; Smith, Michael; Wansbrough, Keith Engineering with logic. Rigorous test-oracle specification and validation for TCP/IP and the sockets API. (English) Zbl 1425.68038 J. ACM 66, No. 1, Article No. 1, 77 p. (2019). MSC: 68M15 03B70 68M12 68Q60 PDFBibTeX XMLCite \textit{S. Bishop} et al., J. ACM 66, No. 1, Article No. 1, 77 p. (2019; Zbl 1425.68038) Full Text: DOI
Slater, Peter J.; Sewell, J. Louis Independent locating-dominating sets and identifying codes in graphs. (English) Zbl 1390.05178 J. Comb. Math. Comb. Comput. 104, 261-272 (2018). MSC: 05C69 PDFBibTeX XMLCite \textit{P. J. Slater} and \textit{J. L. Sewell}, J. Comb. Math. Comb. Comput. 104, 261--272 (2018; Zbl 1390.05178)
Simmons, Daniel; Cools, Kristof; Sewell, Phillip A hybrid boundary element unstructured transmission-line (BEUT) method for accurate 2D electromagnetic simulation. (English) Zbl 1371.76100 J. Comput. Phys. 324, 275-288 (2016). MSC: 76M15 65M38 78M05 PDFBibTeX XMLCite \textit{D. Simmons} et al., J. Comput. Phys. 324, 275--288 (2016; Zbl 1371.76100) Full Text: DOI Link
Pichon-Pharabod, Jean; Sewell, Peter A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions. (English) Zbl 1347.68091 Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 622-633 (2016). MSC: 68N30 68N15 68N19 68Q55 PDFBibTeX XMLCite \textit{J. Pichon-Pharabod} and \textit{P. Sewell}, in: Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '16, St. Petersburg, FL, USA, January 20--22, 2016. New York, NY: Association for Computing Machinery (ACM). 622--633 (2016; Zbl 1347.68091) Full Text: DOI Link
Mulligan, Dominic P.; Owens, Scott; Gray, Kathryn E.; Ridge, Tom; Sewell, Peter Lem: reusable engineering of real-world semantics. (English) Zbl 1346.68123 Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP ’14, Gothenburg, Sweden, September 1–3, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2873-9). 175-188 (2014). MSC: 68Q60 68Q55 68T15 PDFBibTeX XMLCite \textit{D. P. Mulligan} et al., in: Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP '14, Gothenburg, Sweden, September 1--3, 2014. New York, NY: Association for Computing Machinery (ACM). 175--188 (2014; Zbl 1346.68123) Full Text: DOI
Sewell, J. Louis; Slater, Peter J. A sharp lower bound for locating-dominating sets in trees. (English) Zbl 1305.05180 Australas. J. Comb. 60, Part 2, 136-149 (2014). MSC: 05C69 05C05 PDFBibTeX XMLCite \textit{J. L. Sewell} and \textit{P. J. Slater}, Australas. J. Comb. 60, Part 2, 136--149 (2014; Zbl 1305.05180) Full Text: Link
Smith, Philip L.; Ratcliff, Roger; Sewell, David K. Modeling perceptual discrimination in dynamic noise: time-changed diffusion and release from inhibition. (English) Zbl 1309.91116 J. Math. Psychol. 59, 95-113 (2014). MSC: 91E30 91B06 PDFBibTeX XMLCite \textit{P. L. Smith} et al., J. Math. Psychol. 59, 95--113 (2014; Zbl 1309.91116) Full Text: DOI
Ševčík, Jaroslav; Vafeiadis, Viktor; Zappa Nardelli, Francesco; Jagannathan, Suresh; Sewell, Peter CompCertTSO: a verified compiler for relaxed-memory concurrency. (English) Zbl 1281.68072 J. ACM 60, No. 3, Article No. 22, 50 p. (2013). MSC: 68N20 68N15 68T15 68Q60 PDFBibTeX XMLCite \textit{J. Ševčík} et al., J. ACM 60, No. 3, Article No. 22, 50 p. (2013; Zbl 1281.68072) Full Text: DOI
Al-Jarro, Ahmed; Salem, Mohamed A.; Bağcı, Hakan; Benson, Trevor M.; Sewell, Phillip; Vukovic, Ana Explicit solution of the time domain volume integral equation using a stable predictor-corrector scheme. (English) Zbl 1370.78085 IEEE Trans. Antennas Propag. 60, No. 11, 5203-5214 (2012). MSC: 78A45 78M12 PDFBibTeX XMLCite \textit{A. Al-Jarro} et al., IEEE Trans. Antennas Propag. 60, No. 11, 5203--5214 (2012; Zbl 1370.78085)
Alglave, Jade; Maranget, Luc; Sarkar, Susmit; Sewell, Peter Fences in weak memory models. (English) Zbl 1247.68155 Form. Methods Syst. Des. 40, No. 2, 170-205 (2012). MSC: 68Q60 68N30 68M99 68T15 PDFBibTeX XMLCite \textit{J. Alglave} et al., Form. Methods Syst. Des. 40, No. 2, 170--205 (2012; Zbl 1247.68155) Full Text: DOI
Gordon, Andrew D. (ed.); Harper, Robert (ed.); Harrison, John (ed.); Jeffrey, Alan (ed.); Sewell, Peter (ed.) Robin Milner 1934–2010. Verification, languages, and concurrency. (English) Zbl 1284.68185 Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 473-474 (2011). MSC: 68N30 01A70 PDFBibTeX XMLCite \textit{A. D. Gordon} (ed.) et al., in: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '11, Austin, TX, USA, January 26--28, 2011. New York, NY: Association for Computing Machinery (ACM). 473--474 (2011; Zbl 1284.68185) Full Text: DOI
Batty, Mark; Owens, Scott; Sarkar, Susmit; Sewell, Peter; Weber, Tjark Mathematizing C++ concurrency. (English) Zbl 1284.68165 Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 55-66 (2011). MSC: 68N30 68N19 68Q85 68M20 68N15 PDFBibTeX XMLCite \textit{M. Batty} et al., in: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '11, Austin, TX, USA, January 26--28, 2011. New York, NY: Association for Computing Machinery (ACM). 55--66 (2011; Zbl 1284.68165) Full Text: DOI Link
Ŝevčik, Jaroslav; Vafeiadis, Viktor; Zappa Nardelli, Francesco; Jagannathan, Suresh; Sewell, Peter Relaxed-memory concurrency and verified compilation. (English) Zbl 1284.68152 Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 43-54 (2011). MSC: 68N20 68N15 68T15 68Q60 PDFBibTeX XMLCite \textit{J. Ŝevčik} et al., in: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '11, Austin, TX, USA, January 26--28, 2011. New York, NY: Association for Computing Machinery (ACM). 43--54 (2011; Zbl 1284.68152) Full Text: DOI
Sewell, J. Louis; Slater, Peter J. Distance independence in graphs. (English) Zbl 1234.05073 Discuss. Math., Graph Theory 31, No. 2, 397-409 (2011). MSC: 05C12 05C38 05C69 05C70 05C76 PDFBibTeX XMLCite \textit{J. L. Sewell} and \textit{P. J. Slater}, Discuss. Math., Graph Theory 31, No. 2, 397--409 (2011; Zbl 1234.05073) Full Text: DOI
Owens, Scott; Böhm, Peter; Zappa Nardelli, Francesco; Sewell, Peter Lem: a lightweight tool for heavyweight semantics. (English) Zbl 1342.68300 Van Eekelen, Marko (ed.) et al., Interactive theorem proving. Second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22862-9/pbk). Lecture Notes in Computer Science 6898, 363-369 (2011). MSC: 68T15 PDFBibTeX XMLCite \textit{S. Owens} et al., Lect. Notes Comput. Sci. 6898, 363--369 (2011; Zbl 1342.68300) Full Text: DOI
Sewell, Thomas; Winwood, Simon; Gammie, Peter; Murray, Toby; Andronick, June; Klein, Gerwin seL4 enforces integrity. (English) Zbl 1342.68303 Van Eekelen, Marko (ed.) et al., Interactive theorem proving. Second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22862-9/pbk). Lecture Notes in Computer Science 6898, 325-340 (2011). MSC: 68T15 PDFBibTeX XMLCite \textit{T. Sewell} et al., Lect. Notes Comput. Sci. 6898, 325--340 (2011; Zbl 1342.68303) Full Text: DOI
Sewell, Peter \(\pi\)-calculi. Reprint of the 2001 hardback ed. (English) Zbl 1253.68252 Bowman, Howard (ed.) et al., Formal methods for distributed processing. A survey of object-oriented approaches. Cambridge: Cambridge University Press (ISBN 978-0-521-16875-5/pbk). 177-197 (2010). MSC: 68Q85 68-02 PDFBibTeX XMLCite \textit{P. Sewell}, in: Formal methods for distributed processing. A survey of object-oriented approaches. Cambridge: Cambridge University Press. 177--197 (2010; Zbl 1253.68252)
Vukovic, A.; Sewell, P.; Benson, T. M. An investigation of metal 3D spheroidal resonators using a body of revolution approach. (English) Zbl 1231.45002 CMES, Comput. Model. Eng. Sci. 55, No. 2, 171-190 (2010). MSC: 45B05 PDFBibTeX XMLCite \textit{A. Vukovic} et al., CMES, Comput. Model. Eng. Sci. 55, No. 2, 171--190 (2010; Zbl 1231.45002) Full Text: DOI
Sewell, J. Louis; Slater, Peter J. Locating mobile intruders using dominating sets. (English) Zbl 1223.05217 J. Comb. Math. Comb. Comput. 74, 253-267 (2010). MSC: 05C69 PDFBibTeX XMLCite \textit{J. L. Sewell} and \textit{P. J. Slater}, J. Comb. Math. Comb. Comput. 74, 253--267 (2010; Zbl 1223.05217)
Scott, Ian; Vukovic, Ana; Sewell, Phillip Reducing the computational requirements of time-reversal device optimizations. (English) Zbl 1204.78034 Int. J. Numer. Model. 23, No. 6, 458-469 (2010). MSC: 78M50 78A50 PDFBibTeX XMLCite \textit{I. Scott} et al., Int. J. Numer. Model. 23, No. 6, 458--469 (2010; Zbl 1204.78034) Full Text: DOI
Sewell, Peter; Nardelli, Francesco Zappa; Owens, Scott; Peskine, Gilles; Ridge, Thomas; Sarkar, Susmit; Strniša, Rok Ott: effective tool support for the working semanticist. (English) Zbl 1185.68201 J. Funct. Program. 20, No. 1, 71-122 (2010). MSC: 68N18 68Q55 68T15 PDFBibTeX XMLCite \textit{P. Sewell} et al., J. Funct. Program. 20, No. 1, 71--122 (2010; Zbl 1185.68201) Full Text: DOI
Scott, I.; Vukovic, A.; Sewell, P. Convergence acceleration for simulated time-reversal. (English) Zbl 1177.78076 COMPEL 28, No. 5, 1290-1297 (2009). MSC: 78M50 90C52 PDFBibTeX XMLCite \textit{I. Scott} et al., COMPEL 28, No. 5, 1290--1297 (2009; Zbl 1177.78076) Full Text: DOI
de Menezes, Leonardo; Ajayi, Ajibola; Christopoulos, Christos; Sewell, Phillip; Borges, Geovany A. Extracting statistical moments of output quantities from a small number of time-domain simulations. (English) Zbl 1158.78337 Int. J. Numer. Model. 22, No. 2, 143-157 (2009). MSC: 78M20 65C05 62P35 PDFBibTeX XMLCite \textit{L. de Menezes} et al., Int. J. Numer. Model. 22, No. 2, 143--157 (2009; Zbl 1158.78337) Full Text: DOI
De Menezes, Leonardo R. A. X.; Ajayi, Ajibola; Christopoulos, Christos; Sewell, Phillip; Borges, Geovany A. Recent advances in the combination of the unscented transform (UT) with the transmission line modeling method (TLM). (English) Zbl 1153.78342 Russer, Peter (ed.) et al., Time domain methods in electrodynamics. A tribute to Wolfgang J. R. Hoefer. Proceedings of the symposium on time domain methods in modern engineering electrodynamics, München, Germany, May 16–17, 2007. Berlin: Springer (ISBN 978-3-540-68766-5/hbk). Springer Proceedings in Physics 121, 135-145 (2008). MSC: 78M99 78M25 78A48 PDFBibTeX XMLCite \textit{L. R. A. X. De Menezes} et al., Springer Proc. Phys. 121, 135--145 (2008; Zbl 1153.78342) Full Text: DOI
Sewell, Peter; Stoyle, Gareth; Hicks, Michael; Bierman, Gavin; Wansbrough, Keith Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction. (English) Zbl 1153.68014 J. Funct. Program. 18, No. 4, 437-502 (2008). MSC: 68N18 PDFBibTeX XMLCite \textit{P. Sewell} et al., J. Funct. Program. 18, No. 4, 437--502 (2008; Zbl 1153.68014) Full Text: DOI
Sewell, Peter; Nardelli, Francesco Zappa; Owens, Scott; Peskine, Gilles; Ridge, Thomas; Sarkar, Susmit; Strniša, Rok Ott, effective tool support for the working semanticist. (English) Zbl 1291.68238 Proceedings of the 12th ACM SIGPLAN international conference on functional programming, ICFP ’07, Freiburg, Germany, October 1–3, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-815-2). ACM SIGPLAN Notices 42, No. 9, 1-12 (2007). MSC: 68Q55 68N15 68T15 PDFBibTeX XMLCite \textit{P. Sewell} et al., in: Proceedings of the 12th ACM SIGPLAN international conference on functional programming, ICFP '07, Freiburg, Germany, October 1--3, 2007. New York, NY: Association for Computing Machinery (ACM). 1--12 (2007; Zbl 1291.68238) Full Text: DOI
Sewell, Peter; Leifer, James J.; Wansbrough, Keith; Nardelli, Francesco Zappa; Allen-Williams, Mair; Habouzit, Pierre; Vafeiadis, Viktor Acute: high-level programming language design for distributed computation. (English) Zbl 1125.68023 J. Funct. Program. 17, No. 4-5, 547-612 (2007). MSC: 68N15 68M14 PDFBibTeX XMLCite \textit{P. Sewell} et al., J. Funct. Program. 17, No. 4--5, 547--612 (2007; Zbl 1125.68023) Full Text: DOI
Biwojno, Konrad; Smartt, Chris; Sewell, Phillip; Liu, Yafang; Christopoulos, Christos TLM node with arbitrary embedded objects. (English) Zbl 1241.78047 Int. J. Numer. Model. 20, No. 1-2, 65-73 (2007). MSC: 78M25 78A45 PDFBibTeX XMLCite \textit{K. Biwojno} et al., Int. J. Numer. Model. 20, No. 1--2, 65--73 (2007; Zbl 1241.78047) Full Text: DOI
Christopolous, C.; Sewell, P.; Paul, J. Wave models for networks and fields. (English) Zbl 1206.78020 Göknar, Izzet Cem (ed.) et al., Complex computing-networks. Brain-like and wave-oriented electrodynamic algorithms. Proceedings of the international symposium CCN2005 on Complex computing-networks: A link between brain-like and wave oriented electrodynamics algorithms’, Istanbul, Turkey, June 13–14, 2005. Berlin: Springer (ISBN 978-3-540-30635-1/hbk). Springer Proceedings in Physics 104, 3-12 (2006). MSC: 78A40 78A50 78M25 PDFBibTeX XMLCite \textit{C. Christopolous} et al., Springer Proc. Phys. 104, 3--12 (2006; Zbl 1206.78020)
Stoyle, Gareth; Hicks, Michael; Bierman, Gavin; Sewell, Peter; Neamtiu, Iulian Mutatis mutandis: safe and predictable dynamic software updating. (English) Zbl 1369.68157 Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’05, Long Beach, CA, USA, January 12–14, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-830-X). 183-194 (2005). MSC: 68N30 68N15 68Q55 PDFBibTeX XMLCite \textit{G. Stoyle} et al., in: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '05, Long Beach, CA, USA, January 12--14, 2005. New York, NY: Association for Computing Machinery (ACM). 183--194 (2005; Zbl 1369.68157) Full Text: DOI
Sewell, Peter; Leifer, James J.; Wansbrough, Keith; Nardelli, Francesco Zappa; Allen-Williams, Mair; Habouzit, Pierre; Vafeiadis, Viktor Acute: high-level programming language design for distributed computation. (English) Zbl 1302.68071 Proceedings of the 10th ACM SIGPLAN international conference on functional programming, ICFP ’05, Tallinn, Estonia, September 26–28, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-064-7). ACM SIGPLAN Notices 40, No. 9, 15-26 (2005). MSC: 68N18 68N15 68N19 PDFBibTeX XMLCite \textit{P. Sewell} et al., in: Proceedings of the 10th ACM SIGPLAN international conference on functional programming, ICFP '05, Tallinn, Estonia, September 26--28, 2005. New York, NY: Association for Computing Machinery (ACM). 15--26 (2005; Zbl 1302.68071) Full Text: DOI
Aydemir, Brian E.; Bohannon, Aaron; Fairbairn, Matthew; Foster, J. Nathan; Pierce, Benjamin C.; Sewell, Peter; Vytiniotis, Dimitrios; Washburn, Geoffrey; Weirich, Stephanie; Zdancewic, Steve Mechanized metatheory for the masses: the PoplMark challenge. (English) Zbl 1152.68516 Hurd, Joe (ed.) et al., Theorem proving in higher order logics. 18th international conference, TPHOLs 2005, Oxford, UK, August 22–25, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28372-2/pbk). Lecture Notes in Computer Science 3603, 50-65 (2005). MSC: 68T15 PDFBibTeX XMLCite \textit{B. E. Aydemir} et al., Lect. Notes Comput. Sci. 3603, 50--65 (2005; Zbl 1152.68516) Full Text: DOI
Cullen, M. J. P.; Douglas, R. J.; Roulstone, I.; Sewell, M. J. Generalized semi-geostrophic theory on a sphere. (English) Zbl 1071.76062 J. Fluid Mech. 531, 123-157 (2005). MSC: 76U05 86A05 PDFBibTeX XMLCite \textit{M. J. P. Cullen} et al., J. Fluid Mech. 531, 123--157 (2005; Zbl 1071.76062) Full Text: DOI
Cattani, Gian Luca; Sewell, Peter Models for name-passing processes: Interleaving and causal. (English) Zbl 1101.68693 Inf. Comput. 190, No. 2, 136-178 (2004). MSC: 68Q85 PDFBibTeX XMLCite \textit{G. L. Cattani} and \textit{P. Sewell}, Inf. Comput. 190, No. 2, 136--178 (2004; Zbl 1101.68693) Full Text: DOI
Bierman, Gavin; Hicks, Michael; Sewell, Peter; Stoyle, Gareth; Wansbrough, Keith Dynamic rebinding for marshalling and update, with destruct-time \(\lambda\). (English) Zbl 1315.68047 Proceedings of the 8th ACM SIGPLAN international conference on functional programming, ICFP ’03, Uppsala, Sweden, August 25–29, 2003. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-756-7). ACM SIGPLAN Notices 38, No. 9, 99-110 (2003). MSC: 68N18 68M14 PDFBibTeX XMLCite \textit{G. Bierman} et al., in: Proceedings of the 8th ACM SIGPLAN international conference on functional programming, ICFP '03, Uppsala, Sweden, August 25--29, 2003. New York, NY: Association for Computing Machinery (ACM). 99--110 (2003; Zbl 1315.68047) Full Text: DOI
Leifer, James J.; Peskine, Gilles; Sewell, Peter; Wansbrough, Keith Global abstraction-safe marshalling with hash types. (English) Zbl 1315.68052 Proceedings of the 8th ACM SIGPLAN international conference on functional programming, ICFP ’03, Uppsala, Sweden, August 25–29, 2003. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-756-7). ACM SIGPLAN Notices 38, No. 9, 87-98 (2003). MSC: 68N18 PDFBibTeX XMLCite \textit{J. J. Leifer} et al., in: Proceedings of the 8th ACM SIGPLAN international conference on functional programming, ICFP '03, Uppsala, Sweden, August 25--29, 2003. New York, NY: Association for Computing Machinery (ACM). 87--98 (2003; Zbl 1315.68052) Full Text: DOI Link
Wansbrough, Keith; Norrish, Michael; Sewell, Peter; Serjantov, Andrei Timing UDP: Mechanized semantics for sockets, threads, and failures. (English) Zbl 1077.68597 Le Métayer, Daniel (ed.), Programming languages and systems. 11th European symposium on programming, ESOP 2002, held as part of the joint European conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8–12, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43363-5). Lect. Notes Comput. Sci. 2305, 278-294 (2002). MSC: 68N19 68Q55 68T15 PDFBibTeX XMLCite \textit{K. Wansbrough} et al., Lect. Notes Comput. Sci. 2305, 278--294 (2002; Zbl 1077.68597) Full Text: Link
Choong, Y. K.; Sewell, P.; Christopoulos, C. New thin wire formulation for time-domain differential-equation models. (English) Zbl 1016.78007 Int. J. Numer. Model. 15, No. 5-6, 489-501 (2002). Reviewer: Nikolai Pleshchinskii (Kazań) MSC: 78A45 78A50 78M20 PDFBibTeX XMLCite \textit{Y. K. Choong} et al., Int. J. Numer. Model. 15, No. 5--6, 489--501 (2002; Zbl 1016.78007) Full Text: DOI
Sewell, Peter From rewrite rules to bisimulation congruences. (English) Zbl 0992.68122 Theor. Comput. Sci. 274, No. 1-2, 183-230 (2002). MSC: 68Q42 68Q85 PDFBibTeX XMLCite \textit{P. Sewell}, Theor. Comput. Sci. 274, No. 1--2, 183--230 (2002; Zbl 0992.68122) Full Text: DOI
Sewell, Peter Modules, abstract types, and distributed versioning. (English) Zbl 1323.68228 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’01, London, UK, January 17–19, 2001. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-336-7). 236-247 (2001). MSC: 68N30 68N15 68N20 68Q55 68Q85 PDFBibTeX XMLCite \textit{P. Sewell}, in: Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '01, London, UK, January 17--19, 2001. New York, NY: Association for Computing Machinery (ACM). 236--247 (2001; Zbl 1323.68228) Full Text: DOI
Unyapoth, Asis; Sewell, Peter Nomadic Pict: correct communication infrastructure for mobile computation. (English) Zbl 1323.68416 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’01, London, UK, January 17–19, 2001. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-336-7). 116-127 (2001). MSC: 68Q85 68N15 68Q55 PDFBibTeX XMLCite \textit{A. Unyapoth} and \textit{P. Sewell}, in: Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '01, London, UK, January 17--19, 2001. New York, NY: Association for Computing Machinery (ACM). 116--127 (2001; Zbl 1323.68416) Full Text: DOI
Reppy, John (ed.); Sewell, Peter (ed.) HLCL 2000. 4th international workshop on high-level concurrent languages (satellite to PLI 2000), Montreal, Canada, September 20, 2000. (English) Zbl 1262.68017 Electronic Notes in Theoretical Computer Science 41, No. 2. Amsterdam: Elsevier. 16 p., electronic only (2001). MSC: 68-06 68Q85 00B25 PDFBibTeX XMLCite \textit{J. Reppy} (ed.) and \textit{P. Sewell} (ed.), HLCL 2000. 4th international workshop on high-level concurrent languages (satellite to PLI 2000), Montreal, Canada, September 20, 2000. Amsterdam: Elsevier (2001; Zbl 1262.68017)
Serjantov, Andrei; Sewell, Peter; Wansbrough, Keith The UDP calculus: Rigorous semantics for real networking. (English) Zbl 1087.68555 Kobayashi, Naoki (ed.) et al., Theoretical aspects of computer software. 4th international symposium, TACS 2001, Sendai, Japan, October 29–31, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42736-8/pbk). Lecture Notes in Computer Science 2215, 535-559 (2001). MSC: 68N99 68M14 PDFBibTeX XMLCite \textit{A. Serjantov} et al., Lect. Notes Comput. Sci. 2215, 535--559 (2001; Zbl 1087.68555) Full Text: Link
Walsh, Joseph L. Rivlin, Theodore J. (ed.); Saff, Edward B. (ed.) [Sewell, W. E.; Widder, D. V.; Marden, Morris; Rahman, Q. I.; Gauthier, P. M.; Gaier, Dieter; Schempp, Walter] Selected papers. With brief biographical sketches by W. E. Sewell, D. V. Widder and Morris Marden and commentaries by Q. I. Rahman, P. M. Gauthier, Dieter Gaier, Walter Schempp and the editors. Edited by Theodore J. Rivlin and Edward B. Saff. (English) Zbl 0971.01015 New York, NY: Springer (ISBN 0-387-98782-7/hbk; 978-1-4614-6132-6/pbk). xxv, 682 p. (2000). Reviewer: Bogdan Choczewski (Kraków) MSC: 01A75 01A60 01A70 30-03 30E10 PDFBibTeX XMLCite \textit{J. L. Walsh} et al., Selected papers. With brief biographical sketches by W. E. Sewell, D. V. Widder and Morris Marden and commentaries by Q. I. Rahman, P. M. Gauthier, Dieter Gaier, Walter Schempp and the editors. Edited by Theodore J. Rivlin and Edward B. Saff. New York, NY: Springer (2000; Zbl 0971.01015)
Sewell, P.; Bradley, K. J.; Clare, J. C.; Wheeler, P. W.; Ferrah, A.; Magill, R. Efficient dynamic models for induction machines. (English) Zbl 0957.78503 Int. J. Numer. Model. 12, No. 6, 449-464 (1999). MSC: 78A55 78M20 PDFBibTeX XMLCite \textit{P. Sewell} et al., Int. J. Numer. Model. 12, No. 6, 449--464 (1999; Zbl 0957.78503) Full Text: DOI
Sewell, Peter Global/local subtyping and capability inference for a distributed \(\pi\)-calculus. (English) Zbl 0910.03021 Larsen, Kim G. (ed.) et al., Automata, languages and programming. 25th international colloquium, ICALP ’98. Aalborg, Denmark, July 13–17, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1443, 695-706 (1998). MSC: 03B70 68N01 PDFBibTeX XMLCite \textit{P. Sewell}, Lect. Notes Comput. Sci. 1443, 695--706 (1998; Zbl 0910.03021)
Sewell, Peter On implementations and semantics of a concurrent programming language. (English) Zbl 1512.68055 Mazurkiewicz, Antoni (ed.) et al., CONCUR ’97: concurrency theory. 8th international conference. Warsaw, Poland. July 1–4, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1243, 391-405 (1997). MSC: 68N15 68N19 68Q55 68Q85 PDFBibTeX XMLCite \textit{P. Sewell}, Lect. Notes Comput. Sci. 1243, 391--405 (1997; Zbl 1512.68055) Full Text: DOI
Broad, A. S.; Porter, D.; Sewell, M. J. New shallow flows over an obstacle. (English) Zbl 0917.76010 Q. J. Mech. Appl. Math. 50, No. 4, 625-653 (1997). Reviewer: Serguei B.Medvedev (Novosibirsk) MSC: 76B15 86A05 86A10 PDFBibTeX XMLCite \textit{A. S. Broad} et al., Q. J. Mech. Appl. Math. 50, No. 4, 625--653 (1997; Zbl 0917.76010) Full Text: DOI
Sewell, Peter Nonaxiomatisability of equivalences over finite state processes. (English) Zbl 0898.03012 Ann. Pure Appl. Logic 90, No. 1-3, 163-191 (1997). Reviewer: B.Wojdyło (Toruń) MSC: 03C05 68Q10 08B05 03B40 68Q45 68Q55 68Q70 PDFBibTeX XMLCite \textit{P. Sewell}, Ann. Pure Appl. Logic 90, No. 1--3, 163--191 (1997; Zbl 0898.03012) Full Text: DOI
Broad, A. S.; Porter, D.; Sewell, M. J. Shallow flow over general topography with applications to monotonic mountains. (English) Zbl 0900.76050 Castro, I. P. (ed.) et al., Stably stratified flows: flow and dispersion over topography. Based on the proceedings of the 4th conference on stably stratified flows, University of Surrey, Guildford, UK, September 1992. Oxford: Clarendon Press. Inst. Math. Appl. Conf. Ser., New Ser. 52, 133-138 (1994). MSC: 76B10 86A05 PDFBibTeX XMLCite \textit{A. S. Broad} et al., Inst. Math. Appl. Conf. Ser., New Ser. 52, 133--138 (1994; Zbl 0900.76050)
Chynoweth, S.; Porter, D.; Sewell, M. J. The parabolic umbilic and atmospheric fronts. (English) Zbl 0667.58006 Proc. R. Soc. Lond., Ser. A 419, No. 1857, 337-362 (1988). Reviewer: A.Dimca MSC: 58K35 86A10 PDFBibTeX XMLCite \textit{S. Chynoweth} et al., Proc. R. Soc. Lond., Ser. A 419, No. 1857, 337--362 (1988; Zbl 0667.58006) Full Text: DOI
Sewell, M. J.; Porter, D. Constitutive surfaces in fluid mechanics. (English) Zbl 0492.76075 Math. Proc. Camb. Philos. Soc. 88, 517-546 (1980). MSC: 76N15 76B10 44A15 76L05 80A10 PDFBibTeX XMLCite \textit{M. J. Sewell} and \textit{D. Porter}, Math. Proc. Camb. Philos. Soc. 88, 517--546 (1980; Zbl 0492.76075) Full Text: DOI
Pereyra, V.; Sewell, E. G. Mesh selection for discrete solution of boundary problems in ordinary differential equations. (English) Zbl 0318.65038 Numer. Math. 23, 261-268 (1975). MSC: 65L10 34B05 PDFBibTeX XMLCite \textit{V. Pereyra} and \textit{E. G. Sewell}, Numer. Math. 23, 261--268 (1975; Zbl 0318.65038) Full Text: DOI EuDML
Sewell, G. A. E.; Porter, B. Constraint algorithm for the optimal selection of manufacturing systems. (English) Zbl 0285.90044 Int. J. Systems Sci. 5, 511-521 (1974). MSC: 90B35 90C10 90B30 PDFBibTeX XMLCite \textit{G. A. E. Sewell} and \textit{B. Porter}, Int. J. Syst. Sci. 5, 511--521 (1974; Zbl 0285.90044) Full Text: DOI
Sewell, G. A. E.; Porter, B. Constraints on the synthesis of optimal manufacturing systems. (English) Zbl 0222.90024 Int. J. Syst. Sci. 1, 355-365 (1971). MSC: 90B30 PDFBibTeX XMLCite \textit{G. A. E. Sewell} and \textit{B. Porter}, Int. J. Syst. Sci. 1, 355--365 (1971; Zbl 0222.90024) Full Text: DOI
Sewell, G. A. E.; Porter, B. Domains of capability of manufacturing systems. (English) Zbl 0214.19003 Int. J. Syst. Sci. 1, 297-301 (1971). MSC: 91B99 PDFBibTeX XMLCite \textit{G. A. E. Sewell} and \textit{B. Porter}, Int. J. Syst. Sci. 1, 297--301 (1971; Zbl 0214.19003) Full Text: DOI
Sewell, W. P. Least squares, conditional predictions, and estimator properties. (English) Zbl 0175.17901 Econometrica 37, 39-43 (1969). PDFBibTeX XMLCite \textit{W. P. Sewell}, Econometrica 37, 39--43 (1969; Zbl 0175.17901) Full Text: DOI
Pitcher, Everett; Sewell, W. E. Existence theorems for solutions of differential equations of non- integral order, this Bulletin, vol. 44 (1938), pp. 100-107. (English) Zbl 0019.40801 Bull. Am. Math. Soc. 44, 888 (1938). PDFBibTeX XMLCite \textit{E. Pitcher} and \textit{W. E. Sewell}, Bull. Am. Math. Soc. 44, 888 (1938; Zbl 0019.40801) Full Text: DOI
Pitcher, Everett; Sewell, W. E. Existence theorems for solutions of differential equations of non- integral order. (English) Zbl 0018.30701 Bull. Am. Math. Soc. 44, 100-107 (1938). PDFBibTeX XMLCite \textit{E. Pitcher} and \textit{W. E. Sewell}, Bull. Am. Math. Soc. 44, 100--107 (1938; Zbl 0018.30701) Full Text: DOI
Pitcher, E.; Sewell, W. E. A correction. (English) JFM 64.0420.03 Bull. Amer. math. Soc. 44, 888 (1938). Reviewer: Doetsch, G., Prof. (Freiburg im Breisgau) PDFBibTeX XMLCite \textit{E. Pitcher} and \textit{W. E. Sewell}, Bull. Am. Math. Soc. 44, 888 (1938; JFM 64.0420.03) Full Text: DOI
Pitcher, E.; Sewell, W. E. Existence theorems for solutions of differential equations of non-integral order. (English) JFM 64.0420.02 Bull. Amer. math. Soc. 44, 100-107 (1938). Reviewer: Doetsch, G., Prof. (Freiburg im Breisgau) PDFBibTeX XMLCite \textit{E. Pitcher} and \textit{W. E. Sewell}, Bull. Am. Math. Soc. 44, 100--107 (1938; JFM 64.0420.02) Full Text: DOI