Author of the publication

Agents Modeling under Fairness Assumption in Event-B.

, , and . IDC, volume 511 of Studies in Computational Intelligence, page 301-307. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Negreanu, Lorina
add a person with the name Negreanu, Lorina
 

Other publications of authors with the same name

Modeling Non-starvation in Multi-agent Systems.. CSCS, page 894-898. IEEE, (2015)Dataplane equivalence and its applications., , , , and . NSDI, page 683-698. USENIX Association, (2019)An Ontology-Based Dynamic Service Composition Framework for Intelligent Houses., , , , , and . ISADS, page 177-184. IEEE Computer Society, (2011)Hiding and Revealing Information in Boolean Games., and . CSCS, page 889-893. IEEE, (2015)Agents Modeling under Fairness Assumption in Event-B., , and . IDC, volume 511 of Studies in Computational Intelligence, page 301-307. Springer, (2013)A Modeling Method and Declarative Language for Temporal Reasoning Based on Fluid Qualities., , , , , and . ICCS, volume 6828 of Lecture Notes in Computer Science, page 215-228. Springer, (2011)Stability and Strategic Time-Dependent Behaviour in Multiagent Systems., and . Comput. Informatics, 34 (1): 4-22 (2015)Strategic Behaviour in Multi-Agent Systems Able to Perform Temporal Reasoning., and . IDC, volume 511 of Studies in Computational Intelligence, page 211-216. Springer, (2013)A Multi-Agent System for Service Acquiring in Smart Environments., , and . IDC, volume 446 of Studies in Computational Intelligence, page 297-306. Springer, (2012)Tricky Errors in C Programs and Their Detection by Knowledge-Based Reverse Engineering., and . Sci. Ann. Cuza Univ., (1998)