Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
59 | André Berger, Rudolf Müller, Seyed Hossein Naeemi |
Characterizing Incentive Compatibility for Convex Valuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAGT ![In: Algorithmic Game Theory, Second International Symposium, SAGT 2009, Paphos, Cyprus, October 18-20, 2009. Proceedings, pp. 24-35, 2009, Springer, 978-3-642-04644-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Mechanism design, Convexity, Incentive compatibility, Social choice theory |
58 | Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier |
Robust Model-Checking of Linear-Time Properties in Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN 2006: Theoretical Informatics, 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings, pp. 238-249, 2006, Springer, 3-540-32755-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
robust verification, Implementability, timed systems |
55 | Teruyoshi Zenmyo, Takashi Kobayashi 0001, Motoshi Saeki |
A Technique to Check the Implementability of Behavioral Specifications with Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 3-5 December 2008, Beijing, China, pp. 111-118, 2008, IEEE Computer Society, 978-0-7695-3446-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
55 | Xiayong Hu, Mark Lawford, Alan Wassyng |
Formal Verification of the Implementability of Timing Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers, pp. 119-134, 2008, Springer, 978-3-642-03239-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
55 | Martin De Wulf, Laurent Doyen 0001, Nicolas Markey, Jean-François Raskin |
Robustness and Implementability of Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS/FTRTFT ![In: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings, pp. 118-133, 2004, Springer, 3-540-23167-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
44 | Alex Kondratyev, Michael Kishinevsky, Alexander Taubin, Sergei Ten |
A Structural Approach for the Analysis of Petri Nets by Reduced Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings, pp. 346-365, 1996, Springer, 3-540-61363-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
40 | Keijo Heljanko, Alin Stefanescu |
Complexity Results for Checking Distributed Implementability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 6-9 June 2005, St. Malo, France, pp. 78-87, 2005, IEEE Computer Society, 0-7695-2363-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Yuh-Jzer Joung |
Characterizing Fairness Implementability for Multiparty Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 23rd International Colloquium, ICALP96, Paderborn, Germany, 8-12 July 1996, Proceedings, pp. 110-121, 1996, Springer, 3-540-61440-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
30 | Moez Krichen, Stavros Tripakis |
Conformance testing for real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 34(3), pp. 238-304, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
On-the-fly algorithms, Real-time systems, Test generation, Coverage, Timed automata, Conformance testing, Specification and verification, Partial observability |
30 | John Case, Samuel E. Moelius |
Characterizing Programming Systems Allowing Program Self-Reference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 45(4), pp. 756-772, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Computable operators, Programming systems, Recursive function theory, Recursive operators, Computability theory, Control structures, Self-reference, Recursion theorem, Numberings |
30 | Felix A. Fischer, Ariel D. Procaccia, Alex Samorodnitsky |
A new perspective on implementation by voting trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 10th ACM Conference on Electronic Commerce (EC-2009), Stanford, California, USA, July 6--10, 2009, pp. 31-40, 2009, ACM, 978-1-60558-458-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
copeland rule, voting trees, approximation, computational social choice |
30 | Riccardo Schiavi, Giorgio Grioli, Soumen Sen, Antonio Bicchi |
VSA-II: a novel prototype of variable stiffness actuator for safe and performing robots interacting with humans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2008 IEEE International Conference on Robotics and Automation, ICRA 2008, May 19-23, 2008, Pasadena, California, USA, pp. 2171-2176, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Laurent Doyen 0001, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov |
Interface theories with component reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008, pp. 79-88, 2008, ACM, 978-1-60558-468-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
interfaces, composition, refinement |
30 | Piotr Zielinski |
Automatic Classification of Eventual Failure Detectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007, Proceedings, pp. 465-479, 2007, Springer, 978-3-540-75141-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | John Case, Samuel E. Moelius |
Characterizing Programming Systems Allowing Program Self-reference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings, pp. 125-134, 2007, Springer, 978-3-540-73000-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Computability Theory, Programming Language Semantics, Self-Reference |
30 | Paul Benioff |
The Representation of Numbers in Quantum Mechanics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 34(4), pp. 529-559, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Victor Varshavsky, Vyacheslav Marakhovsky |
A Neuron-MOS Threshold Element with Switching Capacitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Days ![In: Computational Intelligence, Theory and Applications, International Conference, 7th Fuzzy Days, Dortmund, Germany, October 1-3, 2001, Proceedings, pp. 430-435, 2001, Springer, 3-540-42732-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Martin De Wulf, Laurent Doyen 0001, Nicolas Markey, Jean-François Raskin |
Robust safety of timed automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 33(1-3), pp. 45-84, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Robustness, Implementability, Perturbation, Timed automaton, Drift |
28 | Bob Mungamuru, Hector Garcia-Molina, Christopher Olston |
Configurations: a model for distributed data storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, PODC 2007, Portland, Oregon, USA, August 12-15, 2007, pp. 332-333, 2007, ACM, 978-1-59593-616-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
optimization, replication, implementability, encryption, taxonomy, configurations, secret sharing |
28 | Martin De Wulf, Laurent Doyen 0001, Jean-François Raskin |
Almost ASAP semantics: from timed models to timed implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 17(3), pp. 319-341, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Timed and Hybrid Automata, Verification, Semantics, Implementability |
28 | Sebastián Uchitel, Jeff Kramer, Jeff Magee |
Detecting implied scenarios in message sequence chart specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, Vienna, Austria, September 10-14, 2001, pp. 74-82, 2001, ACM, 978-1-58113-390-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
FSP, implementability, synthesis, labelled transition systems, message sequence charts, LTSA |
25 | Haidlir Naqvi, Muhammad Hafizhuddin Hilman, Bayu Anggorojati |
Implementability improvement of deep reinforcement learning based congestion control in cellular network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 233, pp. 109874, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Alberto Padoan, Jeremy Coulson, Florian Dörfler |
Controller implementability: a data-driven approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.15347, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Felix Stutz |
Asynchronous Multiparty Session Type Implementability is Decidable - Lessons Learned from Message Sequence Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.11272, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Yuji Suga |
A classification for commutative three-element semigroups with local XOR structure and its implementability of card-based protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCE-Taiwan ![In: International Conference on Consumer Electronics - Taiwan, ICCE-Taiwan 2023, PingTung, Taiwan, July 17-19, 2023, pp. 543-544, 2023, IEEE, 979-8-3503-2417-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Alberto Padoan, Jeremy Coulson, Florian Dörfler |
Controller Implementability: A Data-Driven Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023, pp. 6098-6103, 2023, IEEE, 979-8-3503-0124-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Felix Stutz |
Asynchronous Multiparty Session Type Implementability is Decidable - Lessons Learned from Message Sequence Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 32:1-32:31, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Mutsuki Deguchi, Masahiko Katoh, Ryotaro Kobayashi |
Evaluation of implementability in a malware detection mechanism using processor information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Netw. Comput. ![In: Int. J. Netw. Comput. 12(2), pp. 253-269, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
25 | Yaron Azrieli |
Delegated expertise: Implementability with peer-monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Games Econ. Behav. ![In: Games Econ. Behav. 132, pp. 240-254, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Matías Núñez, M. Remzi Sanver |
On the subgame perfect implementabılıty of voting rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soc. Choice Welf. ![In: Soc. Choice Welf. 56(2), pp. 421-441, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Jiaqing Jiang, Kun Wang, Xin Wang 0022 |
Physical Implementability of Linear Maps and Its Application in Error Mitigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum ![In: Quantum 5, pp. 600, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Mutsuki Deguchi, Masahiko Katoh, Ryotaro Kobayashi |
Evaluation of implementability in a malware detection mechanism using processor information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CANDAR (Workshops) ![In: Ninth International Symposium on Computing and Networking, CANDAR 2021 - Workshops, Matsue, Japan, 23-26 November 2021, pp. 313-319, 2021, IEEE, 978-1-6654-1218-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Jiaqing Jiang, Kun Wang, Xin Wang |
Physical Implementability of Quantum Maps and Its Application in Error Mitigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2012.10959, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
25 | Tao Zhang 0011, Quanyan Zhu |
Implementability of Honest Multi-Agent Sequential Decision-Making with Dynamic Population. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.03173, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
25 | Charles Zhoucheng Zheng |
Necessary and sufficient conditions for peace: Implementability versus security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Econ. Theory ![In: J. Econ. Theory 180, pp. 135-166, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Qiyao Wang, Haiyan Wang 0003, Chetan Gupta 0001, Susumu Serita |
Regularized Operating Envelope with Interpretability and Implementability Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1912.10158, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
25 | Parikshit De, Manipushpak Mitra |
Balanced implementability of sequencing rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Games Econ. Behav. ![In: Games Econ. Behav. 118, pp. 342-353, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Victor Bucarey, Martine Labbé |
Discussion of Fairness and Implementability in Stackelberg Security Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GameSec ![In: Decision and Game Theory for Security - 10th International Conference, GameSec 2019, Stockholm, Sweden, October 30 - November 1, 2019, Proceedings, pp. 97-117, 2019, Springer, 978-3-030-32429-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Qiyao Wang, Haiyan Wang 0003, Chetan Gupta 0001, Susumu Serita |
Regularized Operating Envelope with Interpretability and Implementability Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE BigData ![In: 2019 IEEE International Conference on Big Data (IEEE BigData), Los Angeles, CA, USA, December 9-12, 2019, pp. 1506-1516, 2019, IEEE, 978-1-7281-0858-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Patrick Beissner, Frank Riedel |
Non-implementability of Arrow-Debreu equilibria by continuous trading under volatility uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Finance Stochastics ![In: Finance Stochastics 22(3), pp. 603-620, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Juan Carlos Carbajal, Rudolf Müller |
Implementability under monotonic transformations in differences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Econ. Theory ![In: J. Econ. Theory 160, pp. 114-131, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Lucian M. Patcas, Mark Lawford, Tom Maibaum |
Implementability of requirements in the four-variable model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 111, pp. 339-362, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Ondrej Kuncar |
Correctness of Isabelle's Cyclicity Checker: Implementability of Overloading in Proof Assistants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 2015 Conference on Certified Programs and Proofs, CPP 2015, Mumbai, India, January 15-17, 2015, pp. 85-94, 2015, ACM, 978-1-4503-3296-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Andrea Freixa, Tiago Prazeres Moreira, Olivier Bill, Nadim Anani |
Implementability of stroke guidelines: a pragmatic comparison between US and European recommendations using eGLIA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIE ![In: Digital Healthcare Empowering Europeans - Proceedings of MIE2015, Madrid Spain, 27-29 May, 2015, pp. 256-260, 2015, IOS Press, 978-1-61499-511-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Yuelu Duan, Nima Honarmand, Josep Torrellas |
Asymmetric Memory Fences: Optimizing Both Performance and Implementability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2015, Istanbul, Turkey, March 14-18, 2015, pp. 531-543, 2015, ACM, 978-1-4503-2835-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Hoda Jannati, Abolfazl Falahati |
Mutual Distance Bounding Protocol with Its Implementability Over a Noisy Channel and Its Utilization for Key Agreement in Peer-to-Peer Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Pers. Commun. ![In: Wirel. Pers. Commun. 77(1), pp. 127-149, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | B. S. Aleshin, Sergey G. Bazhenov, Valentin G. Lebedev, Elena L. Kulida |
Assessment of implementability and safety of aircraft flight paths by an on-board mathematical model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Remote. Control. ![In: Autom. Remote. Control. 75(4), pp. 745-754, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Igal Milchtaich |
Implementability of correlated and communication equilibrium outcomes in incomplete information games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Game Theory ![In: Int. J. Game Theory 43(2), pp. 283-350, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Thomas Chatain |
Concurrency in Real-Time Distributed Systems, from Unfoldings to Implementability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
25 | Rouwaida Abdallah |
Implementability of distributed systems described with scenarios. (Implémentabilité de systèmes distribués décrits à l'aide de scénarios). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
25 | Richard N. Shiffman, George Michel, Richard M. Rosenfeld, Caryn Davidson |
Building better guidelines with BRIDGE-Wiz: development and evaluation of a software assistant to promote clarity, transparency, and implementability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Am. Medical Informatics Assoc. ![In: J. Am. Medical Informatics Assoc. 19(1), pp. 94-101, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Thomas A. Henzinger, Dejan Nickovic |
Independent Implementability of Viewpoints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Monterey Workshop ![In: Large-Scale Complex IT Systems. Development, Operation and Management - 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers, pp. 380-395, 2012, Springer, 978-3-642-34058-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Catalin Bogdan Ciobanu, Georgi Kuzmanov, Georgi Gaydadjiev |
On implementability of Polymorphic Register Files. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ReCoSoC ![In: 7th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC), York, United Kingdom, July 9-11, 2012, pp. 1-6, 2012, IEEE, 978-1-4673-2570-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Johan Eker, Jörn W. Janneck |
Dataflow programming in CAL - balancing expressiveness, analyzability, and implementability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSCC ![In: Conference Record of the Forty Sixth Asilomar Conference on Signals, Systems and Computers, ACSCC 2012, Pacific Grove, CA, USA, November 4-7, 2012, pp. 1120-1124, 2012, IEEE, 978-1-4673-5050-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Dmitry Ya. Novikov, Liudmila D. Cheremisinova |
Analysis of the implementability of descriptions with functional indeterminacy based on the verification of conjunctive normal form satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Control. Comput. Sci. ![In: Autom. Control. Comput. Sci. 45(4), pp. 206-217, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Shaik Fiaz, Harry L. Trentelman |
The decentralized implementability problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 49th IEEE Conference on Decision and Control, CDC 2010, December 15-17, 2010, Atlanta, Georgia, USA, pp. 7759-7764, 2010, IEEE, 978-1-4244-7745-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Manuela Berg, Katrin Borcea-Pfitzmann |
Implementability of the Identity Management Part in Pfitzmann/Hansen's Terminology for a Complex Digital World. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PrimeLife ![In: Privacy and Identity Management for Life - 6th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6/PrimeLife International Summer School, Helsingborg, Sweden, August 2-6, 2010, Revised Selected Papers, pp. 15-26, 2010, Springer, 978-3-642-20768-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Dominic Wist, Mark Schäfer, Walter Vogler, Ralf Wollowski |
STG Decomposition: Internal Communication for SI Implementability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 10th International Conference on Application of Concurrency to System Design, ACSD 2010, Braga, Portugal, 21-25 June 2010, pp. 13-23, 2010, IEEE Computer Society, 978-0-7695-4066-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
CSC, decomposition, STG, resynthesis, speed independent |
25 | Shaik Fiaz, Harry L. Trentelman |
Regular Implementability and Stabilization Using Controllers With Pre-Specified Input/Output Partition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 54(7), pp. 1561-1568, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Clemens Thielen, Sven Oliver Krumke |
Complexity of Strong Implementability ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACAC ![In: Proceedings Fourth Athens Colloquium on Algorithms and Complexity, ACAC 2009, Athens, Greece, August 20-21, 2009., pp. 1-12, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Dov Monderer |
Monotonicity and implementability: extended abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 9th ACM Conference on Electronic Commerce (EC-2008), Chicago, IL, USA, June 8-12, 2008, pp. 48, 2008, ACM, 978-1-60558-169-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
implementation, mechanism design, monotonicity, social choice |
25 | Harry L. Trentelman, Diego Napp Avelli |
On the regular implementability of nD systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Control. Lett. ![In: Syst. Control. Lett. 56(4), pp. 265-271, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Harry L. Trentelman, Shaik Fiaz |
On regular implementability using controllers with a priori input/output structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 46th IEEE Conference on Decision and Control, CDC 2007, New Orleans, LA, USA, December 12-14, 2007, pp. 464-469, 2007, IEEE, 978-1-4244-1497-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Victor Malyshkin |
On Implementability of the Formal Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoMeT ![In: New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Sixth SoMeT 2007, November 7-9, 2007, Rome, Italy, pp. 355-360, 2007, IOS Press, 978-1-58603-794-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
25 | Richard N. Shiffman, Jane Dixon, Cynthia Brandt, Abdelwaheb Essaihi, Allen Hsiao, George Michel, Ryan T. O'Connell |
The GuideLine Implementability Appraisal (GLIA): development of an instrument to identify obstacles to guideline implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Medical Informatics Decis. Mak. ![In: BMC Medical Informatics Decis. Mak. 5, pp. 23, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Nicolas Baudru, Rémi Morin |
Safe Implementability of Regular Message Sequence Chart Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: Proceedings of the ACIS Fourth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD'03), October 16-18, 2003, Lübeck, Germany, pp. 210-217, 2003, ACIS, 0-9700776-7-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
25 | Victor Varshavsky, Ilya Levin, Vladimir Ostrovsky |
Increasing Implementability of beta-driven Threshold Checkers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IOLTS ![In: 9th IEEE International On-Line Testing Symposium (IOLTS 2003), 7-9 July 2003, Kos Island, Greece, pp. 158, 2003, IEEE Computer Society, 0-7695-1968-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Ioannis Antoniou, Wladyslaw A. Majewski, Zdzislaw Suchanecki |
Implementability of Liouville Evolution, Koopman and Banach-Lamperti Theorems in Classical and Quantum Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Open Syst. Inf. Dyn. ![In: Open Syst. Inf. Dyn. 9(4), pp. 301-314, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Madhu N. Belur, Harry L. Trentelman |
Stabilization, pole placement, and regular implementability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 47(5), pp. 735-744, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Sang-Chul Suh |
An algorithm for verifying double implementability in Nash and strong Nash equilibria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Soc. Sci. ![In: Math. Soc. Sci. 41(1), pp. 103-110, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Yuh-Jzer Joung |
On Fairness Notions in Distributed Systems: I. A Characterization of Implementability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 166(1), pp. 1-34, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Madhu N. Belur, Harry L. Trentelman, Jan C. Willems |
Regular implementability and its application to stabilization of system behaviors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 40th IEEE Conference on Decision and Control, CDC 2001, Orlando, FL, USA, 4-7 Dec., 2001, pp. 3479-3484, 2001, IEEE, 0-7803-7061-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Victor Varshavsky, Vyacheslav Marakhovsky |
Beta-CMOS Artificial Neuron and Implementability Limits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (2) ![In: Engineering Applications of Bio-Inspired Artificial Neural Networks, International Work-Conference on Artificial and Natural Neural Networks, IWANN '99, Alicante, Spain, June 2-4, 1999, Proceedings, Volume II, pp. 117-128, 1999, Springer. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Victor Varshavsky, Vyacheslav Marakhovsky |
Implementability restrictions of the beta-CMOS artificial neuron. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECS ![In: 6th IEEE International Conference on Electronics, Circuits and Systems, ICECS 1999, Pafos, Cyprus, September 5-8, 1999, pp. 401-405, 1999, IEEE, 0-7803-5682-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Enric Pastor, Oriol Roig, Alexandre Yakovlev |
Checking signal transition graph implementability by symbolic BDD traversal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ED&TC ![In: 1995 European Design and Test Conference, ED&TC 1995, Paris, France, March 6-9, 1995, pp. 325-332, 1995, IEEE Computer Society, 0-8186-7039-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Jean-Pierre Jacquot, A. Valdenaire |
Trading legibility against implementability in requirement specifications: an experimental assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: Second IEEE International Symposium on Requirements Engineering, March 27 - 29, 1995, York, England, UK, pp. 181-189, 1995, IEEE Computer Society, 0-8186-7017-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
experimental assessment, elisions, flexible syntaxes, incomplete texts, GLIDER, rigorous assessment, term parsing, human factor features, formal specification, formal specifications, specification languages, specification language, requirement specifications, grammars |
25 | Juhani Iivari, Irja Ervasti |
User information satisfaction: IS implementability and effectiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Manag. ![In: Inf. Manag. 27(4), pp. 205-220, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Juhani Iivari |
Implementability of In-House Developed VS. Application Package Based Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Base ![In: Data Base 21(1), pp. 1-10, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Deepak Kapur, Mandayam K. Srivas |
Computability and Implementability Issues in Abstract Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 10(1), pp. 33-63, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
25 | Juhani Iivari |
Implementability of in-House Developed vs. Application package Based Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIS ![In: Proceedings of the 7th International Conference on Information Systems, ICIS 1986, San Diego, California, USA, 1986, pp. 29, 1986, Association for Information Systems. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
25 | G. Callegarin, Giuliano Pacini |
About the Implementability and the Power of Equationally Defined Data Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 14, pp. 305-315, 1981. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
15 | Gabriel Dos Reis, Bjarne Stroustrup |
General constant expressions for system programming languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 2131-2136, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
compile time evaluation, standardization |
15 | Nabil Hameurlain |
Compatibility and Conformance of Role-Based Interaction Components in MAS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES-AMSTA ![In: Agent and Multi-Agent Systems: Technologies and Applications, Third KES International Symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3-5, 2009. Proceedings, pp. 579-588, 2009, Springer, 978-3-642-01664-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Vincenzo Auletta, Paolo Penna, Giuseppe Persiano, Carmine Ventre |
Alternatives to Truthfulness Are Hard to Recognize. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAGT ![In: Algorithmic Game Theory, First International Symposium, SAGT 2008, Paderborn, Germany, April 30-May 2, 2008. Proceedings, pp. 194-205, 2008, Springer, 978-3-540-79308-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Francisco Fernández-Nogueira, Josep Carmona 0001 |
Logic Synthesis of Handshake Components Using Structural Clustering Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PATMOS ![In: Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation, 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers, pp. 188-198, 2008, Springer, 978-3-540-95947-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | João Pedro Sousa, Bradley R. Schmerl, Vahe Poladian, Alexander Brodsky 0001 |
uDesign: End-User Design Applied to Monitoring and Control Applications for Smart Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WICSA ![In: Seventh Working IEEE / IFIP Conference on Software Architecture (WICSA 2008), 18-22 February 2008, Vancouver, BC, Canada, pp. 71-80, 2008, IEEE Computer Society, 978-0-7695-3092-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
end-user design, ubiquitous computing, software architecture, ambient intelligence |
15 | Patricia Bouyer, Nicolas Markey, Pierre-Alain Reynier |
Robust Analysis of Timed Automata via Channel Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings, pp. 157-171, 2008, Springer, 978-3-540-78497-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Spyros C. Kontogiannis, Paul G. Spirakis |
Equilibrium Points in Fear of Correlated Threats. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WINE ![In: Internet and Network Economics, 4th International Workshop, WINE 2008, Shanghai, China, December 17-20, 2008. Proceedings, pp. 210-221, 2008, Springer, 978-3-540-92184-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Andy J. Wellings, M. S. Kim |
Processing group parameters in the real-time specification for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2008, 24-26 September 2008, Santa Clara, California, USA, pp. 3-9, 2008, ACM, 978-1-60558-337-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Soohan Ahn, Andrei L. Badescu, V. Ramaswami |
Time dependent analysis of finite buffer fluid flows and risk models with a dividend barrier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 55(4), pp. 207-222, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 60J25, 60K15, 60K25, 60K37 |
15 | Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier |
Robust Stabilizing Leader Election. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 219-233, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Yutaka Hatakeyama, Masatoshi Makino, Akimichi Mitsuta, Kaoru Hirota |
Detection Algorithm for Color Image by Multiple Surveillance Camera under Low Illumination Based-on Fuzzy Corresponding Map. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2007, IEEE International Conference on Fuzzy Systems, Imperial College, London, UK, 23-26 July, 2007, Proceedings, pp. 1-6, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Andres I. Vila Casado, Miguel Griot, Richard D. Wesel |
Informed Dynamic Scheduling for Belief-Propagation Decoding of LDPC Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2007, Glasgow, Scotland, UK, 24-28 June 2007, pp. 932-937, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Josep Carmona 0001, José Manuel Colom, Jordi Cortadella, Fernando García-Vallés |
Synthesis of asynchronous controllers using integer linear programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25(9), pp. 1637-1651, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Javier Esparza, Petr Jancar, Alexander Miller |
On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 28-30 June 2006, Turku, Finland, pp. 47-56, 2006, IEEE Computer Society, 0-7695-2556-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Lothar Thiele, Ernesto Wandeler, Nikolay Stoimenov |
Real-time interfaces for composing real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 6th ACM & IEEE International conference on Embedded software, EMSOFT 2006, October 22-25, 2006, Seoul, Korea, pp. 34-43, 2006, ACM, 1-59593-542-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
interface-based design, real-time interfaces, performance analysis, adaptive interfaces |
15 | Benedikt Bollig, Carsten Kern, Markus Schlütter, Volker Stolz |
MSCan - A Tool for Analyzing MSC Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings, pp. 455-458, 2006, Springer, 3-540-33056-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Jonne Poikonen, Ari Paasio |
On the topographic equivalence between voltage mode and current mode ranked order filters for array processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2006), 21-24 May 2006, Island of Kos, Greece, 2006, IEEE, 0-7803-9389-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | David Darjany, Burkhard Englert, Eun Heui Kim |
Implementing Overlapping Domain Decomposition Methods on a Virtual Parallel Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA Workshops ![In: Frontiers of High Performance Computing and Networking - ISPA 2006 Workshops, ISPA 2006 International Workshops, FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4-7, 2006, Proceedings, pp. 717-727, 2006, Springer, 3-540-49860-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Peter Gutmann |
PKI design for the real world. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSPW ![In: Proceedings of the New Security Paradigms Workshop 2006, Schloss Dagstuhl, Germany, September 19-22, 2006, pp. 109-116, 2006, ACM, 978-1-59593-923-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
certificate management, PKI |