• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access:
    • free (14)
    • subject to license (1)

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Hits 1 – 14 of 14 1 Verification of Program Transformations with Inductive Refinement Types Al-Sibahi, Ahmad,; Jensen, Thomas,; Dimovski, Aleksandar,... In: ISSN: 1049-331X ; ACM Transactions on Software Engineering and Methodology ; https://hal.inria.fr/hal-03518825 ; ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2021, 30 (1), pp.1-33. ⟨10.1145/3409805⟩ (2021) BASE Show details 2 Verification of High-Level Transformations with Inductive Refinement Types Salim Al-Sibahi, Ahmad; Dimovski, Aleksandar,; Jensen, Thomas... In: GPCE 2018 - 17th International Conference on Generative Programming: Concepts & Experience ; https://hal.inria.fr/hal-01898058 ; GPCE 2018 - 17th International Conference on Generative Programming: Concepts & Experience, Nov 2018, Boston, United States. pp.147-160, ⟨10.1145/3278122.3278125⟩ (2018) BASE Show details 3 Modular Software Fault Isolation as Abstract Interpretation Besson, Frédéric; Jensen, Thomas; Lepiller, Julien In: SAS 2018 - 25th International Static Analysis Symposium ; https://hal.inria.fr/hal-01894116 ; SAS 2018 - 25th International Static Analysis Symposium, Aug 2018, Freiburg, Germany. pp.166-186, ⟨10.1007/978-3-319-99725-4_12⟩ (2018) BASE Show details 4 Doubleness in Experience: Toward a Distributed Enactive Approach to Metaphoricity Jensen, Thomas Wiben; Cuffari, Elena In: Metaphor and symbol. - Philadelphia : Routledge, Taylor & Francis Group 29 (2014) 4, 278-297 OLC Linguistik Show details 5 New perspectives on language, cognition, and values Jensen, Thomas Wiben In: Journal of multicultural discourses. - London [u.a.] : Routledge 9 (2014) 1, 71-78 OLC Linguistik Show details 6 SawjaCard: A Static Analysis Tool for Certifying Java Card Applications Besson, Frédéric; Jensen, Thomas; Vittet, Pierre In: 21st International Static Analysis Symposium (SAS 2014) ; https://hal.inria.fr/hal-01093327 ; 21st International Static Analysis Symposium (SAS 2014), 2014, Munich, Germany. pp.51 - 67, ⟨10.1007/978-3-319-10936-7_4⟩ (2014) BASE Show details 7 Emotion in languaging: languaging as affective, adaptive, and flexible behavior in social interaction Jensen, Thomas W.. - : Frontiers Media S.A., 2014 BASE Show details 8 Embodied emotional communication in learning activities involving children with intellectual disabilities Jensen, Thomas In: Journal of interactional research in communication disorders. - London : Equinox 4 (2013) 2, 185-210 OLC Linguistik Show details 9 Evaluating by feeling : the rhetorical design of emotions in the practice of mirroring Jensen, Thomas Wiben In: Evaluating cognitive competences in interaction (Amsterdam, 2012), p. 145-168 MPI für Psycholinguistik Show details 10 Evaluating by feeling. The rhetorical design of emotions in the practice of mirroring Jensen, Thomas Wiben In: Evaluating cognitive competences in interaction (2012), 145-168 IDS Bibliografie zur Gesprächsforschung Show details 11 Diglossie - Definitionen im Laufe der Zeit und die Abgrenzung zum Bilinguismus Jensen, Thomas Sebastian [Verfasser]. - München : GRIN Verlag GmbH, 2010 DNB Subject Category Language Show details 12 Diglossie - Definitionen im Laufe der Zeit und die Abgrenzung zum Bilinguismus Jensen, Thomas Sebastian [Verfasser]. - München : GRIN Verlag, 2010 DNB Subject Category Language Show details 13 Ponencia sobre Miguel Delibes "Los santos inocentes" : Curso: Clásicos y novísimos castellanos Jensen, Thomas Sebastian [Verfasser]. - München : GRIN Verlag, 2009 DNB Subject Category Language Show details 14 Ponencia sobre Miguel Delibes "Los santos inocentes" : Curso: Clásicos y novísimos castellanos Jensen, Thomas Sebastian [Verfasser]. - München : GRIN Verlag GmbH, 2009 DNB Subject Category Language Show details

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 3 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 4 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 1 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 1 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 5 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0