Entity usage
From MaRDI portal
This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.
Showing below up to 50 results in range #1 to #50.
- Dragon: A Fast Word Based Stream Cipher: Label: en
- DNA computing. 9th international workshop on DNA based computers, DNA9, Madison, WI, USA, June 1--3, 2003. Revised papers.: Label: en
- DNA computing. 10th international workshop on DNA computing, DNA10, Milan, Italy, June 7--10, 2004. Revised selected papers: Label: en
- DNA computing. 7th international workshop on DNA-based computers, DNA7, Tampa, FL, USA, June 10--13, 2001. Revised papers: Label: en
- DNA computing. 13th international meeting on DNA computing, DNA13, Memphis, TN, USA, June 4--8, 2007. Revised selected papers: Label: en
- Modeling decisions for artificial intelligence. 21st international conference, MDAI 2024, Tokyo, Japan, August 27--31, 2024. Proceedings: Label: en
- Rough sets. International joint conference, IJCRS 2024, Halifax, NS, Canada, May 17--20, 2024. Proceedings. Part II: Label: en
- Rough sets. International joint conference, IJCRS 2024, Halifax, NS, Canada, May 17--20, 2024. Proceedings. Part I: Label: en
- Relational and algebraic methods in computer science. 21st International conference, RAMiCS 2024, Prague, Czech Republic, August 19--22, 2024. Proceedings: Label: en
- Computer aided verification. 36th International conference, CAV 2024, Montreal, QC, Canada, July 24--27, 2024. Proceedings. Part II: Label: en
- ECOOP '92. European conference on object-oriented programming, Utrecht, The Netherlands, June 29 -- July 3, 1992. Proceedings: Label: en
- Research in computational molecular biology. 28th annual international conference, RECOMB 2024, Cambridge, MA, USA, April 29 -- May 2, 2024. Proceedings: Label: en
- Integer programming and combinatorial optimization. 25th international conference, IPCO 2024, Wrocław, Poland, July 3--5, 2024. Proceedings: Label: en
- Structural information and communication complexity. 31st international colloquium, SIROCCO 2024, Vietri sul Mare, Italy, May 27--29, 2024. Proceedings: Label: en
- Functional and logic programming. 17th international symposium, FLOPS 2024, Kumamoto, Japan, May 15--17, 2024. Proceedings: Label: en
- Mathematics and computation in music. 9th international conference, MCM 2024, Coimbra, Portugal, June 18--21, 2024. Proceedings: Label: en
- Combinatorial optimization. 8th international symposium, ISCO 2024, La Laguna, Tenerife, Spain, May 22--24, 2024. Revised selected papers: Label: en
- Logics and type systems in theory and practice. Essays dedicated to Herman Geuvers on the occasion of his 60th birthday: Label: en
- Large-scale scientific computations. 14th international conference, LSSC 2023, Sozopol, Bulgaria, June 5--9, 2023. Revised selected papers: Label: en
- Logic-based program synthesis and transformation. 33rd international symposium, LOPSTR 2023, Cascais, Portugal, October 23--24, 2023. Proceedings: Label: en
- Rules and reasoning. 7th international joint conference, RuleML+RR 2023, Oslo, Norway, September 18--20, 2023. Proceedings: Label: en
- Provable and practical security. 17th international conference, ProvSec 2023, Wuhan, China, October 20--22, 2023. Proceedings: Label: en
- Principles and practice of constraint programming -- CP98. 4th international conference, CP98, Pisa, Italy, October 26--30, 1998. Proceedings: Label: en
- Principles and practice of constraint programming -- CP 97. Third international conference, CP 97, Linz, Austria, October 29 -- November 1, 1997. Proceedings: Label: en
- ECOOP 2007 -- object-oriented programming. 21th European conference, Berlin, Germany, July 30 -- August 3, 2007. Proceedings: Label: en
- ECOOP 2006 -- object-oriented programming. 20th European conference, Nantes, France, July 3--7, 2006. Proceedings: Label: en
- Theoretical computer science. Essays in memory of Shimon Even: Label: en
- ECOOP 2005 -- object-oriented programming. 19th European conference, Glasgow, UK, July 25--29, 2005. Proceedings: Label: en
- ECOOP 2004 -- object-oriented programming. 18th European conference, Oslo, Norway, June 14--18, 2004. Proceedings: Label: en
- Euro-Par 2000 parallel processing. 6th international Euro-Par conference Munich, Germany, August 29 -- September 1, 2000. Proceedings: Label: en
- ECOOP 2000 -- object-oriented programming. 14th European conference, Sophia Antipolis and Cannes, France, June 12--16, 2000. Proceedings: Label: en
- ECOOP '99 -- object-oriented programming. 13th European conference Lisbon, Portugal, June 14--18, 1999. Proceedings: Label: en
- Foundations of intelligent systems. 11th international symposium, ISMIS'99, Warsaw, Poland, June 8--11, 1999, Proceedings: Label: en
- Conceptual structures: fulfilling Peirce's dream. Fifth international conference on conceptual structures, ICCS'97, Seattle, Washington, USA, August 3--8, 1997. Proceedings.: Label: en
- Compositionality: the significant difference. International symposium, COMPOS'97 Bad Malente, Germany, September 8--12, 1997. Revised lectures: Label: en
- ECOOP '98 -- object-oriented programming. 12th European conference, Brussels, Belgium, July 20--24, 1998. Proceedings: Label: en
- Application and theory of Petri nets and concurrency. 45th international conference, Petri NETS 2024, Geneva, Switzerland, June 26--28, 2024. Proceedings: Label: en
- Progress in cryptology -- AFRICACRYPT 2024. 15th international conference on cryptology in Africa, Douala, Cameroon, July 10--12, 2024. Proceedings: Label: en
- Graph transformation. 17th international conference, ICGT 2024, held as part of STAF 2024, Enschede, the Netherlands, July 10--11, 2024. Proceedings: Label: en
- Twenty years of theoretical and practical synergies. 20th conference on computability in Europe, CiE 2024, Amsterdam, the Netherlands, July 8--12, 2024. Proceedings: Label: en
- Automated reasoning. 12th international joint conference, IJCAR 2024, Nancy, France, July 3--6, 2024. Proceedings. Part II: Label: en
- Automated reasoning. 12th international joint conference, IJCAR 2024, Nancy, France, July 3--6, 2024. Proceedings. Part I: Label: en
- Post-quantum cryptography. 15th international workshop, PQCrypto 2024, Oxford, UK, June 12--14, 2024. Proceedings. Part II: Label: en
- Post-quantum cryptography. 15th international workshop, PQCrypto 2024, Oxford, UK, June 12--14, 2024. Proceedings. Part I: Label: en
- Formal techniques for distributed objects, components, and systems. 44th IFIP WG 6.1 international conference, FORTE 2024, held as part of the 19th international federated conference on distributed computing techniques, DisCoTec 2024, Groningen, the Nethe: Label: en
- Logic, language, information, and computation. 30th international workshop, WoLLIC 2024, Bern, Switzerland, June 10--13, 2024. Proceedings: Label: en
- Developments in language theory. 28th International conference, DLT 2024, Göttingen, Germany, August 12--16, 2024. Proceedings: Label: en
- Computer aided verification. 36th International conference, CAV 2024, Montreal, QC, Canada, July 24--27, 2024. Proceedings. Part III: Label: en
- Computer aided verification. 36th international conference, CAV 2024, Montreal, QC, Canada, July 24--27, 2024. Proceedings. Part I: Label: en
- Coalgebraic methods in computer science. 17th IFIP WG 1.3 international workshop, CMCS 2024, colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6--7, 2024. Proceedings: Label: en