Majster : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (54)
Les plus populaires
Liste
- Liste
- Tableau

1

Data types, abstract data types and their specification problem

Mila E. Majster

Journal:

Theoretical Computer Science

Année:

1979

Langue:

english

Fichier:

PDF, 3.24 MB

english, 1979

2

Denotational semantics in the cpo and metric approach

Christel Baier, Mila E. Majster-Cederbaum

Journal:

Theoretical Computer Science

Année:

1994

Langue:

english

Fichier:

PDF, 2.76 MB

english, 1994

3

The comparison of a cpo-based semantics with a cms-based semantics for CSP

M.E. Majster-Cederbaum, F. Zetzsche

Journal:

Theoretical Computer Science

Année:

1994

Langue:

english

Fichier:

PDF, 1.89 MB

english, 1994

4

Bundle event structures: A revised cpo approach

Harald Fecher, Mila Majster-Cederbaum, Jinzhao Wu

Journal:

Information Processing Letters

Année:

2002

Langue:

english

Fichier:

PDF, 95 KB

english, 2002

5

Interleukin 34: a new modulator of human and experimental inflammatory bowel disease

Zwicker, Stephanie, Martinez, Gisele L., Bosma, Madeleen, Gerling, Marco, Clark, Reuben, Majster, Mirjam, Söderman, Jan, Almer, Sven, Boström, Elisabeth A.

Journal:

Clinical Science

Année:

2015

Langue:

english

Fichier:

PDF, 776 KB

english, 2015

6

Deciding Bisimilarity and Similarity for Probabilistic Processes

Christel Baier, Bettina Engelen, Mila Majster-Cederbaum

Journal:

Journal of Computer and System Sciences

Année:

2000

Fichier:

PDF, 2.08 MB

2000

7

Ensuring the existence of a BCNF- decomposition that preserves functional dependencies in O(N2) time

Mila E. Majster-Cederbaum

Journal:

Information Processing Letters

Année:

1992

Langue:

english

Fichier:

PDF, 531 KB

english, 1992

8

Denotational linear time semantics and sequential composition

Christel Baier, Mila E. Majster-Cederbaum

Journal:

Information Processing Letters

Année:

1996

Langue:

english

Fichier:

PDF, 822 KB

english, 1996

9

Liveness in Interaction Systems

Mila Majster-Cederbaum, Moritz Martens, Christoph Minnameier

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2008

Langue:

english

Fichier:

PDF, 369 KB

english, 2008

10

Reachability in Tree-Like Component Systems is PSPACE-Complete

Mila Majster-Cederbaum, Nils Semmelrock

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2010

Langue:

english

Fichier:

PDF, 321 KB

english, 2010

11

Trace Machines for Observing Continuous-Time Markov Chains

Verena Wolf, Christel Baier, Mila Majster-Cederbaum

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 355 KB

english, 2006

12

Trace Semantics for Stochastic Systems with Nondeterminism

Verena Wolf, Christel Baier, Mila Majster-Cederbaum

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 365 KB

english, 2006

13

Transition systems from event structures revisited

Mila Majster-Cederbaum, Markus Roggenbach

Journal:

Information Processing Letters

Année:

1998

Langue:

english

Fichier:

PDF, 580 KB

english, 1998

14

Underspecification for a simple process algebra of recursive processes

M.E. Majster-Cederbaum

Journal:

Theoretical Computer Science

Année:

2001

Langue:

english

Fichier:

PDF, 140 KB

english, 2001

15

Metric completion versus ideal completion

Mila E. Majster-Cederbaum, Christel Baier

Journal:

Theoretical Computer Science

Année:

1996

Langue:

english

Fichier:

PDF, 1.39 MB

english, 1996

16

Towards a unified view of bisimulation: a comparative study

Markus Roggenbach, Mila Majster-Cederbaum

Journal:

Theoretical Computer Science

Année:

2000

Langue:

english

Fichier:

PDF, 408 KB

english, 2000

17

Taking Decisions Late: End-Based Choice Combined with Action Refinement

Harald Fecher, Mila Majster-Cederbaum

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2002

Langue:

english

Fichier:

PDF, 459 KB

english, 2002

18

Refinement of Actions in a Real-Time Process Algebra with a True Concurrency Model

Harald Fecher, Mila Majster-Cederbaum, Jinzhao Wu

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2002

Fichier:

PDF, 1.23 MB

2002

19

Extended directed graphs, a formalism for structured data and data structures

Journal:

Acta Informatica

Année:

1977

Langue:

english

Fichier:

PDF, 886 KB

english, 1977

20

The connection between an event structure semantics and an operational semantics forTCSP

Christel Baier, Mila E. Majster-Cederbaum

Journal:

Acta Informatica

Année:

1994

Langue:

english

Fichier:

PDF, 921 KB

english, 1994

21

The connection between initial and unique solutions of domain equations in the partial order and metric approach

Christel Baier, Mila Majster-Cederbaum

Journal:

Formal Aspects of Computing

Année:

1997

Langue:

english

Fichier:

PDF, 1.26 MB

english, 1997

22

Elimination of redundant operations in relational queries with general selection operators

Mila E. Majster-Cederbaum

Journal:

Année:

1985

Langue:

english

Fichier:

PDF, 973 KB

english, 1985

23

Action Refinement Applied to Late Decisions

H. Fecher, M. Majster-Cederbaum

Journal:

Formal Aspects of Computing

Année:

2006

Langue:

english

Fichier:

PDF, 387 KB

english, 2006

24

Towards action refinement for true concurrent real time

Mila Majster-Cederbaum, Jinzhao Wu

Journal:

Acta Informatica

Année:

2003

Langue:

english

Fichier:

PDF, 406 KB

english, 2003

25

Refinement of actions for real-time concurrent systems with causal ambiguity

Mila Majster-Cederbaum, Jinzhao Wu, Houguang Yue

Journal:

Acta Informatica

Année:

2006

Langue:

english

Fichier:

PDF, 639 KB

english, 2006

26

Metric semantics from partial order semantics

Christel Baier, Mila E. Majster-Cederbaum

Journal:

Acta Informatica

Année:

1997

Langue:

english

Fichier:

PDF, 339 KB

english, 1997

27

The contraction property is sufficient to guarantee the uniqueness of fixed points of endofunctors in a category of complete metric spaces

Mila E. Majster-Cederbaum

Journal:

Information Processing Letters

Année:

1989

Langue:

english

Fichier:

PDF, 726 KB

english, 1989

28

Towards the hierarchical verification of reactive systems

Mila Majster-Cederbaum, Frank Salger

Journal:

Theoretical Computer Science

Année:

2004

Langue:

english

Fichier:

PDF, 514 KB

english, 2004

29

A simple relation between relational and predicate transformer semantics for nondeterministic programs

Mila E. Majster-Cederbaum

Journal:

Information Processing Letters

Année:

1980

Langue:

english

Fichier:

PDF, 362 KB

english, 1980

30

On the uniqueness of fixed points of endofunctors in a category of complete metric spaces

Mila E. Majster-Cederbaum

Journal:

Information Processing Letters

Année:

1988

Langue:

english

Fichier:

PDF, 385 KB

english, 1988

31

Towards a foundation for semantics in complete metric spaces

Mila E. Majster-Cederbaum, F. Zetzsche

Journal:

Information and Computation

Année:

1991

Langue:

english

Fichier:

PDF, 1.20 MB

english, 1991

32

On hierarchically developing reactive systems

Naijun Zhan, Mila Majster-Cederbaum

Journal:

Information and Computation

Année:

2010

Langue:

english

Fichier:

PDF, 447 KB

english, 2010

33

Efficient On-Line Construction and Correction of Position Trees

Majster, Mila E., Reiser, Angelika

Journal:

SIAM Journal on Computing

Année:

1980

Langue:

english

Fichier:

PDF, 2.24 MB

english, 1980

34

Deadlock-freedom in component systems with architectural constraints

Martens, Moritz, Majster-Cederbaum, Mila

Journal:

Formal Methods in System Design

Année:

2012

Langue:

english

Fichier:

PDF, 1.56 MB

english, 2012

35

Efficient deadlock analysis of component-based software architectures

Lambertz, Christian, Majster-Cederbaum, Mila

Journal:

Science of Computer Programming

Année:

2013

Langue:

english

Fichier:

PDF, 858 KB

english, 2013

36

[IEEE Comput. Soc 5th International Workshop on Microprocessor Test and Verification. Common Challenges and Solutions - Austin, TX, USA (9-10 Sept. 2004)] Fifth International Workshop on Microprocessor Test and Verification (MTV'04) - Formal specification of an asynchronous processor via action refinement

Xiuli Sun,, Xiaoyu Song,, Jinzhao Wu,, Majster-Cederbaum, M.

Année:

2004

Langue:

english

Fichier:

PDF, 149 KB

english, 2004

37

[IEEE Comput. Soc Seventh IEEE International Conference on Engineering of Complex Computer Systems - Skovde, Sweden (11-13 June 2001)] Proceedings Seventh IEEE International Conference on Engineering of Complex Computer Systems - Action refinement for true concurrent real time

Majster-Cederbaum, M., Jinzhao Wu,

Année:

2001

Langue:

english

Fichier:

PDF, 970 KB

english, 2001

38

[IEEE 2009 International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT) - Higashi Hiroshima, Japan (2009.12.8-2009.12.11)] 2009 International Conference on Parallel and Distributed Computing, Applications and Technologies - Modular Consensus Algorithms for the Crash-Recovery Model

Freiling, Felix C., Lambertz, Christian, Majster-Cederbaum, Mila

Année:

2009

Langue:

english

Fichier:

PDF, 342 KB

english, 2009

39

A basis for compositionally ensuring safety properties and its connection to relational algebraic operators

Majster-Cederbaum, Mila, Semmelrock, Nils

Journal:

Science of Computer Programming

Année:

2015

Langue:

english

Fichier:

PDF, 736 KB

english, 2015

40

[IEEE 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) - Tianjin, China (2009.07.29-2009.07.31)] 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering - Using Architectural Constraints for Deadlock-Freedom of Component Systems with Multiway Cooperation

Martens, Moritz, Majster-Cederbaum, Mila

Année:

2009

Langue:

english

Fichier:

PDF, 273 KB

english, 2009

41

Encapsulating peritoenal sclerosis: Case report

Djuric, Petar, Majster, Zdenka, Stankovic-Popovic, Verica, Maslarevic-Radovic, Vesna, Dimkovic, Nada

Journal:

Medicinski pregled

Année:

2013

Fichier:

PDF, 323 KB

2013

42

DNA Damage and Repair of Head and Neck Cancer Cells after Radio- and Chemotherapy

Rusin, Pawel, Walczak, Anna, Zwierzchlejska, Anita, Olszewski, Jurek, Morawiec-Bajda, Alina, Kaczmarczyk, Dariusz, Kusmierczyk, Krzysztof, Garncarek, Pawel, Pytel, Dariusz, Sliwinński, Tomasz, Majster

Journal:

Zeitschrift für Naturforschung C

Année:

2009

Langue:

english

Fichier:

PDF, 241 KB

english, 2009

43

SP530RISK FACTORS FOR TWO-YEAR SURVIVAL OF INCIDENT PD PATIENTS: MULTICENTER PROSPECTIVE STUDY

Dimkovic, Nada, Jankovic, Aleksandar, Majster, Zdenka, Damjanovic, Tatjana, Kostovic, Milica, Cekovic, Biljana, Zikic, Svetlana, Havidza Lilic, Branimir, Sokolovic, Miodrag, Andric, Branislav, Manasic

Journal:

Nephrology Dialysis Transplantation

Année:

2017

Langue:

english

Fichier:

PDF, 304 KB

english, 2017

44

MMP-12 and S100s in saliva reflect different aspects of periodontal inflammation

Holmström, Sofia Björnfot, Lira-Junior, Ronaldo, Zwicker, Stephanie, Majster, Mirjam, Gustafsson, Anders, Åkerman, Sigvard, Klinge, Björn, Svensson, Mattias, Boström, Elisabeth A.

Journal:

Année:

2018

Langue:

english

Fichier:

PDF, 905 KB

english, 2018

45

SP516STANDARD OF CARE IN PD UNITS IN SERBIA: QUESTIONNAIRE DATA

Dimkovic, Nada, Majster, Zdenka, Damjanovic, Tatjana, Aleksic, Jelena, Radivojevic, Jasmina, Cekovic, Biljana, Vukic, Jasmina, Andric, Branislav, Prokopovic, Miomir, Manasic, Mirjana, HavidzaLilic, Br

Journal:

Nephrology Dialysis Transplantation

Année:

2018

Fichier:

PDF, 69 KB

2018

46

SP516STANDARD OF CARE IN PD UNITS IN SERBIA: QUESTIONNAIRE DATA

Dimkovic, Nada, Majster, Zdenka, Damjanovic, Tatjana, Aleksic, Jelena, Radivojevic, Jasmina, Cekovic, Biljana, Vukic, Jasmina, Andric, Branislav, Prokopovic, Miomir, Manasic, Mirjana, HavidzaLilic, Br

Journal:

Nephrology Dialysis Transplantation

Année:

2018

Langue:

english

Fichier:

PDF, 69 KB

english, 2018

47

Salivary calprotectin is elevated in patients with active inflammatory bowel disease

Majster, Mirjam, Almer, Sven, Boström, Elisabeth A.

Journal:

Archives of Oral Biology

Année:

2019

Langue:

english

Fichier:

PDF, 1.22 MB

english, 2019

48

Metric completion versus ideal completion

Majster-Cederbaum, M

Journal:

Theoretical Computer Science

Année:

1996

Langue:

english

Fichier:

PDF, 1.39 MB

english, 1996

49

S100A12 Expression Is Modulated During Monocyte Differentiation and Reflects Periodontitis Severity

Lira-Junior, Ronaldo, HolmstrÃ¶m, Sofia BjÃ¶rnfot, Clark, Reuben, Zwicker, Stephanie, Majster, Mirjam, Johannsen, Gunnar, Axtelius, BjÃ¶rn, Ãkerman, Sigvard, Svensson, Mattias, Klinge, BjÃ¶rn, BostrÃ

Journal:

Frontiers in Immunology

Année:

2020

Langue:

english

Fichier:

PDF, 1.21 MB

english, 2020

50

CAPD Assisted by Family Member â a Single-Center Experience

Dimkovic, N., Majster, Z., Davidovic, Z., Dimkovic, S.

Journal:

Peritoneal Dialysis International

Année:

2009

Langue:

english

Fichier:

PDF, 87 KB

english, 2009