Travelled to:1 × Australia
1 × Cyprus
1 × Denmark
1 × Estonia
1 × France
1 × Germany
1 × Greece
1 × Italy
1 × Latvia
1 × The Netherlands
2 × Canada
2 × Hungary
2 × USA
3 × Austria
3 × Poland
5 × United Kingdom
Collaborated with:D.Pattinson ∅ T.Mossakowski S.Goncharov D.Gorín C.Lutz E.Schulz A.Tarlecki F.Carreiro D.Dietrich R.S.R.Myers D.Hausmann J.C.Jung T.Litak K.Sano R.Goré C.Kupke M.Kohlhase J.Lemburg F.Widmann T.Wißmann B.Klin P.Hoffman
Talks about:logic (17) coalgebra (9) modal (4) descript (3) generic (3) effect (3) model (3) casl (3) probabilist (2) calculus (2)
Person: Lutz Schröder
DBLP: Schr=ouml=der:Lutz
Contributed to:
2014
20142013
2013
20122012
2011201120102010
2010
2009200920082008200820072006200620052005
200420032003200120012001Wrote 27 papers:
- ICALP-v2-2014-JungLGS #first-order #logic #probability
- Monodic Fragments of Probabilistic First-Order Logic (JCJ, CL, SG, LS), pp. 256–267.
- IJCAR-2014-GorinPSWW #algebra #hybrid #logic #named
- Cool — A Generic Reasoner for Coalgebraic Hybrid Logics (DG, DP, LS, FW, TW), pp. 396–402.
- ICALP-v2-2013-CarreiroGS #algebra #logic
- Coalgebraic Announcement Logics (FC, DG, LS), pp. 101–112.
- LICS-2013-GoncharovS #hoare #logic
- A Relatively Complete Generic Hoare Logic for Order-Enriched Effects (SG, LS), pp. 273–282.
- FoSSaCS-2012-GorinS
- Narcissists Are Easy, Stepmothers Are Hard (DG, LS), pp. 240–254.
- ICALP-v2-2012-LitakPSS #algebra #logic
- Coalgebraic Predicate Logic (TL, DP, KS, LS), pp. 299–311.
- FASE-2011-DietrichSS #formal method #industrial #standard
- Formalizing and Operationalizing Industrial Standards (DD, LS, ES), pp. 81–95.
- LICS-2011-GoncharovS #monad
- Powermonads and Tensors of Unranked Effects (SG, LS), pp. 227–236.
- FoSSaCS-2010-SchroderP #algebra
- Coalgebraic Correspondence Theory (LS, DP), pp. 328–342.
- IJCAR-2010-GoreKPS #algebra #logic
- Global Caching for Coalgebraic Description Logics (RG, CK, DP, LS), pp. 46–60.
- KR-2010-LutzS #logic #nondeterminism #probability
- Probabilistic Description Logics for Subjective Uncertainty (CL, LS).
- FM-2009-KohlhaseLSS #process
- Formal Management of CAD/CAM Processes (MK, JL, LS, ES), pp. 223–238.
- FoSSaCS-2009-MyersPS #algebra #hybrid #logic
- Coalgebraic Hybrid Logic (RSRM, DP, LS), pp. 137–151.
- FASE-2008-MossakowskiSG #logic #reasoning
- A Generic Complete Dynamic Logic for Reasoning About Purity and Effects (TM, LS, SG), pp. 199–214.
- FoSSaCS-2008-PattinsonS #algebra #finite #logic #modelling #rank #semantics
- Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics (DP, LS), pp. 66–80.
- KR-2008-SchroderP #how #logic #strict
- How Many Toes Do I Have? Parthood and Number Restrictions in Description Logics (LS, DP), pp. 307–317.
- ICALP-2007-SchroderP #algorithm #composition #logic
- Modular Algorithms for Heterogeneous Modal Logics (LS, DP), pp. 459–471.
- FoSSaCS-2006-Schroder #algebra #finite #logic
- A Finite Model Construction for Coalgebraic Modal Logic (LS), pp. 157–171.
- LICS-2006-SchroderP #bound #logic
- PSPACE Bounds for Rank-1 Modal Logics (LS, DP), pp. 231–242.
- FASE-2005-HausmannMS #higher-order #induction
- Iterative Circular Coinduction for CoCasl in Isabelle/HOL (DH, TM, LS), pp. 341–356.
- FoSSaCS-2005-Schroder #algebra #logic
- Expressivity of Coalgebraic Modal Logic: The Limits and Beyond (LS), pp. 440–454.
- CSL-2004-Schroder #logic #similarity #λ-calculus
- The Logic of the Partial λ-Calculus with Equality (LS), pp. 385–399.
- CSL-2003-Schroder #calculus #modelling
- Henkin Models of the Partial σ-Calculus (LS), pp. 498–512.
- FASE-2003-SchroderM #hoare #independence #logic
- Monad-Independent Hoare Logic in HASCASL (LS, TM), pp. 261–277.
- CSL-2001-Schroder
- Life without the Terminal Type (LS), pp. 429–442.
- FASE-2001-SchroderMTKH #architecture #semantics #specification
- Semantics of Architectural Specifications in CASL (LS, TM, AT, BK, PH), pp. 253–268.
- ICALP-2001-SchroderMT
- Amalgamation in CASL via Enriched Signatures (LS, TM, AT), pp. 993–1004.