Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Lucian Bentea

Probabilistic Real-Time Rewrite Theories and Their Expressive Power

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Related publications

Semantic Theories and Automated Tools for Real-Time and Probabilistic Concurrent Systems

1997English

Proving Safety Properties of Rewrite Theories

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Technological Aspect in Real Time Bidding: A Probabilistic Approach

2018English

War Crimes and Expressive Theories of Punishment: Communication or Denunciation?

Res Publica
PhilosophyLaw
2010English

Expressive Power of Pebble Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

The Expressive Power of Parallelism

Future Generation Computer Systems
HardwareComputer NetworksSoftwareArchitectureCommunications
1990English

Expressive Power and Complexity in Algebraic Logic

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1997English

Real-Time Determination of Power System Frequency

IEEE Transactions on Instrumentation and Measurement
Electronic EngineeringElectricalInstrumentation
1997English

Probabilistic Modelling, Inference and Learning Using Logical Theories

Annals of Mathematics and Artificial Intelligence
Applied MathematicsArtificial Intelligence
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy