Kammul: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2019 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops) - Kyoto, Japan (2019.3.11-2019.3.15)] 2019 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops) - Combining Secure System Design with Risk Assessment for IoT Healthcare Systems

Kammuller, Florian

Year:

2019

Language:

english

File:

PDF, 591 KB

english, 2019

2

Attack Trees in Isabelle extended with Probabilities for Quantum Cryptography

Kammüller, Florian

Journal:

Computers & Security

Year:

2019

Language:

english

File:

PDF, 885 KB

english, 2019

3

Vβ repertoire in rats and implications for endogenous superantigens

Lawrence R. Smith, Dwight H. Kono, Michael E. Kammuller, Robert S. Balderas, Argyrios N. Theofilopoulos

Journal:

European Journal of Immunology

Year:

1992

Language:

english

File:

PDF, 516 KB

english, 1992

4

On the antisymmetry of Galois embeddings

J. Burghardt, F. Kammüller, J.W. Sanders

Journal:

Information Processing Letters

Year:

2001

Language:

english

File:

PDF, 85 KB

english, 2001

5

A Formal Proof of Sylow's Theorem

Florian Kammüller, Lawrence C. Paulson

Journal:

Journal of Automated Reasoning

Year:

1999

Language:

english

File:

PDF, 142 KB

english, 1999

6

[ACM Press the 2010 ICSE Workshop - Cape Town, South Africa (2010.05.02-2010.05.02)] Proceedings of the 2010 ICSE Workshop on Product Line Approaches in Software Engineering - PLEASE '10 - Feature link propagation across variability representations with Isabelle/HOL

Kammüller, Florian, Rein, Alexander, Reiser, Mark-Oliver

Year:

2010

Language:

english

File:

PDF, 306 KB

english, 2010

7

Urinary biopterin levels in mice during graft-versus-host reactions and during exposure to 5,5-diphenylhydantoin

M.E. Kammüller, H.J.M. van Rooijen, W. Seinen, N. Bloksma

Journal:

International Journal of Immunopharmacology

Year:

1991

Language:

english

File:

PDF, 799 KB

english, 1991

8

Formalizing non-interference for a simple bytecode language in Coq

Florian Kammüller

Journal:

Formal Aspects of Computing

Year:

2008

Language:

english

File:

PDF, 207 KB

english, 2008

9

Biological and toxicological properties of leukemia inhibitory factor (LIF)

Journal:

Toxicology Letters

Year:

1994

Language:

english

File:

PDF, 110 KB

english, 1994

10

1-phenyl-5-vinyl-2-imidazolidinethione, a proposed causative agent of Spanish toxic oil syndrome: Synthesis, and identification in one of a group of case-associated oil samples

Kammüller, M.E., Verhaar, H.J.M., Versluis, C., Terlouw, J.K., Brandsma, L., Penninks, A.H., Seinen, W.

Journal:

Food and Chemical Toxicology

Year:

1988

Language:

english

File:

PDF, 649 KB

english, 1988

11

[IEEE 2009 Fourth International Conference on Internet Monitoring and Protection - Venice/Mestre, Italy (2009.05.24-2009.05.28)] 2009 Fourth International Conference on Internet Monitoring and Protection - Enhancing Privacy Implementations of Database Enquiries

Kammüller, Florian, Kammüller, Reiner

Year:

2009

Language:

english

File:

PDF, 189 KB

english, 2009

12

Investigative safety science as a competitive advantage for Pharma

Moggs, Jonathan, Moulin, Pierre, Pognan, Francois, Brees, Dominique, Leonard, Michele, Busch, Steve, Cordier, Andre, Heard, David J, Kammüller, Michael, Merz, Michael, Bouchard, Page, Chibout, Salah-D

Journal:

Expert Opinion on Drug Metabolism & Toxicology

Year:

2012

Language:

english

File:

PDF, 313 KB

english, 2012

13

Long-term treatment with 5,5-diphenylhydantoin reduces lymphadenopathy and anti-ssDNA autoantibodies in C57BL/6-lpr/lpr mice

N. Bloksma, J.M. de Bakker, H.J.M. van Rooijen, P. Punt, W. Seinen, M.E. Kammüller

Journal:

International Journal of Immunopharmacology

Year:

1994

Language:

english

File:

PDF, 569 KB

english, 1994

14

[Lecture Notes in Computer Science] Advances in New Technologies, Interactive Interfaces and Communicability Volume 7547 || Federation and Security Aspects for the Management of the EHR in Italy

Cipolla-Ficarra, Francisco, Veltman, Kim, Verber, Domen, Cipolla-Ficarra, Miguel, Kammüller, Florian

Year:

2012

Language:

english

File:

PDF, 758 KB

english, 2012

15

Popliteal lymph node reactions in mice induced by the drug zimeldine

C. Thomas, J. Groten, M.E. Kammüller, J.M. De Bakker, W. Seinen, N. Bloksma

Journal:

International Journal of Immunopharmacology

Year:

1989

Language:

english

File:

PDF, 829 KB

english, 1989

16

Die nachträgliche Berücksichtigung von Querschnittsänderungen bei statisch unbestimmten Systemen

Journal:

ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik

Year:

1947

Language:

german

File:

PDF, 168 KB

german, 1947

17

An industrial application of symbolic model checking

Florian Kammüller, Sören Preibusch

Journal:

Computer Science - Research and Development

Year:

2008

Language:

english

File:

PDF, 374 KB

english, 2008

18

Pathology induced by Interleukin-6

Ryffel, B., Kammüller, M., Robison, R., Myers, L.

Journal:

Toxicology Letters

Year:

1992

Language:

english

File:

PDF, 793 KB

english, 1992

19

[IEEE 2003 1st IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2003) - Mont Saint Michel, France (2003.06.24-2003.06.26)] First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. - Translating Fusion/UML to Object-Z

Bittner, M., Kammuller, F.

Year:

2003

Language:

english

File:

PDF, 231 KB

english, 2003

20

[IEEE 2016 IEEE Security and Privacy Workshops (SPW) - San Jose, CA, USA (2016.5.22-2016.5.26)] 2016 IEEE Security and Privacy Workshops (SPW) - Investigating Airplane Safety and Security Against Insider Threats Using Logical Modeling

Kammuller, Florian, Kerber, Manfred

Year:

2016

Language:

english

File:

PDF, 375 KB

english, 2016

21

Übergänge aus der Gruppe der Flavone in die des Catechins

Karl Freudenberg, Alfred Kammüller

Journal:

European Journal of Organic Chemistry

Year:

1927

Language:

german

File:

PDF, 209 KB

german, 1927

22

Structural requirements for hydantoins and 2-thiohydantoins to induce lymphoproliferative popliteal lym phnode reactions in the mouse

Michael E. Kammüller, Willem Seinen

Journal:

International Journal of Immunopharmacology

Year:

1988

Language:

english

File:

PDF, 886 KB

english, 1988

23

Book Reviews

Florian Kammüller

Journal:

Software Testing, Verification and Reliability

Year:

2002

Language:

english

File:

PDF, 49 KB

english, 2002

24

[IEEE 2010 Fifth International Conference on Internet Monitoring and Protection - Barcelona, Spain (2010.05.9-2010.05.15)] 2010 Fifth International Conference on Internet Monitoring and Protection - Implementing Privacy with Erlang Active Objects

Fleck, Andreas, Kammüller, Florian

Year:

2010

Language:

english

File:

PDF, 304 KB

english, 2010

25

[IEEE 2017 IEEE 15th International Conference on Software Engineering Research, Management and Applications (SERA) - London, United Kingdom (2017.6.7-2017.6.9)] 2017 IEEE 15th International Conference on Software Engineering Research, Management and Applications (SERA) - Security and privacy requirements engineering for human centric IoT systems using eFRIEND and Isabelle

Kammuller, Florian, Augusto, Juan C., Jones, Simon

Year:

2017

Language:

english

File:

PDF, 676 KB

english, 2017

26

Cytologische Untersuchung der Lymphknotenreaktion nach Antigen- und Fremdkörperinjektion bei der weissen Maus

K. Betke, L. Bickhoff, M. Kammüller, F. Helpenstein

Journal:

Journal of Molecular Medicine

Year:

1955

Language:

german

File:

PDF, 517 KB

german, 1955

27

Kalibrierung eines digitalen Bildverarbeitungssystems mit CCD-Kamera Teil II: Implementierung und Fehleranalyse / Calibration of a computer vision system with CCD camera Part II: Implementation and error analysis

Gerdes, R., Otterbach, R., Kammüller, R.

Journal:

tm - Technisches Messen

Year:

1993

Language:

german

File:

PDF, 644 KB

german, 1993

28

New approaches to investigate drug-induced hypersensitivity

Ogese, Monday O., Ahmed, Shaheda, Alfirevic, Ana, Betts, Catherine J., Dickinson, Anne, Faulkner, Lee, French, Neil S., Gibson, Andrew, Hirschfield, Gideon M., Kammüller, Michael Ernst, Meng, Xiaoli,

Journal:

Chemical Research in Toxicology

Year:

2016

Language:

english

File:

PDF, 1.74 MB

english, 2016

29

SPANISH TOXIC OIL SYNDROME IS A CHEMICALLY INDUCED GVHD-LIKE EPIDEMIC

Kammuller, MichaelE., Penninks, Andréh., Seinen, Willem

Journal:

Year:

1984

Language:

english

File:

PDF, 293 KB

english, 1984

30

[IEEE Proceedings. 15th International Workshop on Database and Expert Systems Applications, 2004. - Zaragoza, Spain (2004.09.3-2004.09.3)] Proceedings. 15th International Workshop on Database and Expert Systems Applications, 2004. - Self-managing remote object interconnections

Paal, S., Kammuller, R., Freisleben, B.

Year:

2004

Language:

english

File:

PDF, 336 KB

english, 2004

31

Long-term interleukin-6 administration stimulates sustained thrombopoiesis and acute-phase protein synthesis in a small primate-- the marmoset

Ryffel, B, Car, BD, Woerly, G, Weber, M, DiPadova, F, Kammuller, M, Klug, S, Neubert, R, Neubert, D

Journal:

Year:

1994

File:

PDF, 3.71 MB

1994

32

Recombinant human interleukin-6: safety issues of a pleiotropic growth factor

Michael E. Kammüller

Journal:

Year:

1995

Language:

english

File:

PDF, 1.84 MB

english, 1995

33

[Lecture Notes in Computer Science] Advances in New Technologies, Interactive Interfaces and Communicability Volume 7547 ||

Cipolla-Ficarra, Francisco, Veltman, Kim, Verber, Domen, Cipolla-Ficarra, Miguel, Kammüller, Florian

Year:

2012

Language:

english

File:

PDF, 12.67 MB

english, 2012

34

[IEEE 2013 IEEE International Conference on Systems, Man and Cybernetics (SMC 2013) - Manchester (2013.10.13-2013.10.16)] 2013 IEEE International Conference on Systems, Man, and Cybernetics - DNSsec in Isabelle - Replay Attack and Origin Authentication

Kammuller, Florian, Kirsal-Ever, Yoney, Cheng, Xiaochun

Year:

2013

Language:

english

File:

PDF, 414 KB

english, 2013

35

[Lecture Notes in Computer Science] Advances in New Technologies, Interactive Interfaces and Communicability Volume 7547 || An Architecture for Resource Behavior Prediction to Improve Scheduling Systems Performance on Enterprise Desktop Grids

Cipolla-Ficarra, Francisco, Veltman, Kim, Verber, Domen, Cipolla-Ficarra, Miguel, Kammüller, Florian

Year:

2012

Language:

english

File:

PDF, 238 KB

english, 2012

36

[IEEE Proceedings. 2000 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2000) - Takamatsu, Japan (31 Oct.-5 Nov. 2000)] Proceedings. 2000 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2000) (Cat. No.00CH37113) - A simplified criterion for repeatability and its application in constraint path planning problems

Schaufler, R., Fedrowitz, C.H., Kammuller, R.

Year:

2000

Language:

english

File:

PDF, 496 KB

english, 2000

37

[IEEE 2014 21st International Conference on Telecommunications (ICT) - Lisbon, Portugal (2014.5.4-2014.5.7)] 2014 21st International Conference on Telecommunications (ICT) - Verification of DNSsec Delegation Signatures

Kammuller, Florian

Year:

2014

Language:

english

File:

PDF, 271 KB

english, 2014

38

[IEEE 2014 IEEE Security and Privacy Workshops (SPW) - San Jose, CA (2014.5.17-2014.5.18)] 2014 IEEE Security and Privacy Workshops - Combining Generated Data Models with Formal Invalidation for Insider Threat Analysis

Kammuller, Florian, Probst, Christian W.

Year:

2014

Language:

english

File:

PDF, 386 KB

english, 2014

39

Messung dünner Wasserfilme durch Infrarotreflexion

Journal:

tm - Technisches Messen

Year:

1966

Language:

german

File:

PDF, 601 KB

german, 1966

40

Cataractogenic Effects in Rats Following Chronic Administration of SDZ ICT 322, a Selective 5-HT 3 Antagonist

LÄNGLE, U. W., WOLF, A., KAMMÜLLER, M. E.

Journal:

Toxicological Sciences

Year:

1993

Language:

english

File:

PDF, 6.71 MB

english, 1993

41

Functional Active Objects: Typing and Formalisation

Ludovic Henrio, Florian Kammüller

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 358 KB

english, 2009

42

279

Whibley, Natasha, Mamo, Anna J., Traggiai, Elisabetta, Kolbinger, Frank, Vogel, Beate, Kammüller, Michael, Siebenlist, Ulrich, Gaffen, Sarah L.

Journal:

Year:

2013

Language:

english

File:

PDF, 47 KB

english, 2013

43

Ober Druckmeßdosen

Journal:

tm - Technisches Messen

Year:

1961

Language:

german

File:

PDF, 255 KB

german, 1961

44

Modeling and Verification of Insider Threats Using Logical Analysis

Kammuller, Florian, Probst, Christian W.

Journal:

IEEE Systems Journal

Year:

2015

Language:

english

File:

PDF, 634 KB

english, 2015

45

The popliteal lymph node assay in mice to screen for the immune disregulating potential of chemicals — A preliminary study

M.E. Kammüller, C. Thomas, J.M. De Bakker, N. Bloksma, W. Seinen

Journal:

International Journal of Immunopharmacology

Year:

1989

Language:

english

File:

PDF, 624 KB

english, 1989

46

ASPfun : A typed functional active object calculus

Ludovic Henrio, Florian Kammüller, Bianca Lutz

Journal:

Science of Computer Programming

Year:

2012

Language:

english

File:

PDF, 594 KB

english, 2012

47

Chemical-induced autoimmune reactions and spanish toxic oil syndrome. Focus on hydantoins and related compounds

Kammuller, Michael E., Bloksma, Nanne, Seinen, Willem

Journal:

Clinical Toxicology (Informa Healthcare)

Year:

1988

Language:

english

File:

PDF, 894 KB

english, 1988

48

Kalibrierung eines digitalen Bildverarbeitungssystems mit CCD-Kamera Teil 1: Modellbildung und Verfahren / Calibration of a Computer vision system with CCD camera Part 1: Model description and calibration procedure

Gerdes, R., Otterbach, R., Kammüller, R.

Journal:

tm - Technisches Messen

Year:

1993

Language:

german

File:

PDF, 334 KB

german, 1993

49

[IEEE 2014 Workshop on Socio-Technical Aspects in Security and Trust (STAST) - Vienna, Austria (2014.7.18-2014.7.18)] 2014 Workshop on Socio-Technical Aspects in Security and Trust - Modeling Human Behaviour with Higher Order Logic: Insider Threats

Boender, Jaap, Ivanova, Marieta Georgieva, Kammuller, Florian, Primiero, Giuseppe

Year:

2014

Language:

english

File:

PDF, 341 KB

english, 2014

50

FRI0025 No Reactivation of Dormant Mycobacterium Tuberculosis in Human in Vitro Granuloma Model after anti-IL-17A Treatment, in Contrast To anti-TNFα Treatment

Kapoor, N., Kammüller, M., Kolattukudy, P.E.

Journal:

Annals of the Rheumatic Diseases

Year:

2016

Language:

english

File:

PDF, 67 KB

english, 2016

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски